skysight-inc/HackerNews huggingface dataset:
Copilot is good, but code completion has been a thing since the 90s, and even earlier. Fundamentally it's iterative.

I mean enabling use cases that simply were not possible before. For example LLMs themselves are groundbreaking, but I haven't seen anything enabled by them that's also groundbreaking.
It’s a string but TS is crazily powerful. The generated types would verify it’s the correct string says like table_name and the columns name also matches with table_name.
There is a mathematical description of programming compilers I read once (think it was a survey paper) that I found very clear but I've never been able to find since. Basically defined a compiler as a type of function. Any good suggestions?
Funny, every company I have ever been a part of has taken out life insurance policies on me explicitly because if I suddenly die, it will take a while to replace me and it will cost a good amount to replace me.
Yeah for some people e-readers are great. For others they ruin the experience of reading.

I have an e-reader because there are some out of print books, particularly related to stage magic, that I can only find in digital form. But I despise reading on the thing. As much as "e-ink" is a better experience than reading on a computer screen, it still doesn't quite match the aesthetic and "ergonomic" qualities of reading ink on paper for me. The smell is missing. The joy of turning the pages is missing and if I'm dealing with a particularly large or graphic-heavy PDF then the performance problems remind me that I'm dealing with a piece of flawed modern technology that is still iterating towards perfection rather than the brilliant simplicity of a tool that has "just worked" near-perfectly for hundreds of years (with obvious caveats related to long-term storage and preservation).

But I also don't travel much, I'm a home owner and I work from home so I don't have the majority of the problems that e-readers are good at solving.

If I were moving a lot, had to commute for an hour or two each day or lived in a small condo then my book collection would be impractical and an e-reader would begin to look a lot different to me.
Gotta love how people blame lack of a company's success on those bad workers. How about actually doing the unimaginable and build decent cars? Almost every time I get a rental from a US car company I am reminded that they don't seem to care about building good cars. They just throw a bunch of options together and make the car bigger. Nobody seems to actually try the car and see if it drives well.
TypeScript allows strongly typed string constants. It's actually not a red flag, it's just idiomatic TypeScript.
I remember being at the Facebook weekly Q&A session when this was announced and Mark definitely stated it quite differently than the author's perspective. Basically that the Facebook deal was already "done" and just pending final signatures when Google swooped in at the 11th hour and stole the acquisition.

I still think it's a shame that there isn't a second major tech company with a serious mapping product. Apple Maps has always seemed laughably inferior even to what Waze offered 10 years ago.
One very likely trait among rich people seems to be that they never have enough money. So I doubt it.
Gigapixel AI works fantastic (https://www.topazlabs.com/gigapixel-ai) and has a perpetual license.
The ePrivacy Directive (collaqually Cookie Law) doesn’t actual specify only cookies. Section 66 of https://eur-lex.europa.eu/legal-content/EN/TXT/HTML/?uri=CEL... just talks about third parties storing information on equipment:

Third parties may wish to store information on the equipment of a user, or gain access to information already stored, for a number of purposes, ranging from the legitimate (such as certain types of cookies) to those involving unwarranted intrusion into the private sphere (such as spyware or viruses). It is therefore of paramount importance that users be provided with clear and comprehensive information when engaging in any activity which could result in such storage or gaining of access. The methods of providing information and offering the right to refuse should be as user-friendly as possible. Exceptions to the obligation to provide information and offer the right to refuse should be limited to those situations where the technical storage or access is strictly necessary for the legitimate purpose of enabling the use of a specific service explicitly requested by the subscriber or user. Where it is technically possible and effective, in accordance with the relevant provisions of Directive 95/46/EC, the user’s consent to processing may be expressed by using the appropriate settings of a browser or other application. The enforcement of these requirements should be made more effective by way of enhanced powers granted to the relevant national authorities.
Yeah, it's not such a laughable idea when you consider just how much of the dynamic behavior of a software system can be modeled as a series of messages between independent resources. This is part of why UML was so pervasive. People had spent intense amounts of energy modeling systems using messaging and interconnection, and UML gave us a uniform way of doing this.

I've got a lot of experience working in systems that model everything as a series of resources passing messages and it works very well. The entire QNX operating system right down to its POSIX support uses this underlying primitive and, while you would never see it in your own code their system-wide profiler leans on this design to make it easy to see how control flow moves between isolated threads and processes within the software system.
Ditto on my Framework laptop with an i5-1240p (running Fedora).

Might be because I'm running Firefox?
REMEMBER THE MAINE!
I also find generally that both Apple Maps and Google Maps are extremely unsatisfying to use if you typically travel by bicycle.

Google Maps looks like it supports combining public transit and bicycle, since you can select bike as a connecting mode to/from public transit, but then it never proposes bike routes. Apple Maps doesn't pretend to be able to do this. It is annoying, because mixing and matching bike/bus/train is a very common way of getting around in the DC area.
Yes, this explanation did the trick! I feel like I generally stay overly considerate in order to avoid confrontation, or because there is a chance it makes the other person feel good, which I guess makes me feel good. Things like letting anyone in front of me in traffic, etc...
The unions were instrumental in getting the people pushing globalism elected.
Specifically Larry Ellison, who is a massive donor to right-wing political groups (and now part-owner of Twitter).
...stacked in favor of due to abuse by a single party.
> At least IIRC, it's been a 20+ years since I last took a Discrete Math course :)

Your memory is correct and there is very simple intuition for this. Regular languages are those that can be matched by a machine with bounded memory. So, let's say that bound is "n" bits. Then your machine will not be able to read in unary strings larger than 2^n.
The stores sure, but the individual retail workers definitely aren't, and are probably fairly replaceable.
It's true, the article doesn't make that claim. We think of primes as being mysterious and out of reach, and we're conditioned to think "mathematical / computational breakthrough" when we read the words "prime number" in a headline, but this is only because we've found all of them that aren't huge enough to be mysterious. Computing prime numbers is trivial as long as you don't mind them being the same ones everybody else already found.
I would encourage the court to religitate Citizens United to fix this.

In current law, though, it's entirely acceptable for organizations like Soros's to donate to political campaigns. If Soros starts sending DAs on free fishing trips on a private jet, then it becomes comparable.
Formal logic is a great tool for rationalization too, which is ultimately how most people seem to use it in my experience.
I totally believe it and it's the right way. Few jobs ago I advocated to shut down a business unit that wasn't profitable and as far as I could tell (this was controversial) had no path to profitability.

Shutting it down, we freed up about 200 million per year, which is the same or better as earnings that amount.
> International IP laws come from the time of Dickens, when people were copying his books in the states because he couldn't enforce ownership from over here.

Copyright is a different game to trademarks. Copyright has its origins in the Statute of Anne (also known as the Copyright Act 1710), and was designed specifically to protect the investment of publishers and printers in royalties to authors: copyright protects neither producers nor consumers, but rather distributors, whereas trademarks protect consumers.

The idea of extraterritorial and multi-jurisdictional copyright is, as you say, a more recent innovation; the American film industry is based in Hollywood because California refused to enforce Edison's claim on all films made with his cameras.

> The same game has been played any number of times at smaller scales too, though in the smaller cases the big boys tend to force the “being a net detriment” with sanctions and other indirect influences (or simply by buying out the smaller concerns).

All of international politics works like this. Western politicians and diplomats are naturally supportive of the 'rules-based order' we keep hearing about: we wrote the rules in our favour after the Second World War.
This was a whole therapy session in like 5 comments.
I think you're just inventing your own definition of the word "emergent", then getting on your high horse when people, quite obviously, don't use the same definition as the one you just made up.
The precedent is that the NLRB has issued a warning past this point. Apple can respond however they want, but this is their shot across the bow.
All this shows Microsoft has never changed. That is why I am and always have been suspicious about WSL and Microsoft's influence on the Linux Foundation.
Unlikely, auth mediation never gives out your password as part of logging into some service, it gets asks to confirm you are logged in and if so, to issue a temporary auth tokens that acts as proof that Google thinks your session is authenticated. So if you explicitly log out, then that token should get invalidated, and logging back in should yield a new auth token.
Campaign donations are not personal gifts, and regulated by election laws. This is a false equivalency and at best whataboutism.

This is not to say Citizen's United shouldn't be repealed and campaign contributions much more tightly regulated. But it ain't the same.
AI Workbooks – A notebook interface for LLMs, image and audio models
You think guys like Harlan Crow would hang out with Clarence Thomas if he wasn't a SCOTUS judge? Clearly Crow is getting something out of the deal.
The term sheet potentially had a clause that (a) prevented him from soliciting other offers, and crucially (b) disclose any unsolicited offers immediately. (I don't have a ton of experience with m&a, but we had something similar in my previous exit and it did seemed like a standard clause in such contracts).

So yeah, the leak may be intentional to in effect solicit an offer from Google (and would definitely explain ill will from Facebook).
The F150 Lightning does V2L via the CCS port. It's supported, just the only car that I'm aware of that does this is the F150 Lightning.
The tax is collected by the state and sent to the church. No politician decided to take money here.

The real scandal is that the German state subsidizes the churches tax collection. We are not a secular state.
Unsurprising. Microsoft has not changed and will never change.

They will do anything to lobby and bribe the regulators such as the ones in the EU to support their anti-competitive and horizontal integration of buying already established multi-billion dollar franchises.

There is always an extinguish part with Microsoft and they are getting very clever at redefining the method, as the strategy has always been the same. The only time people realize this is when it is too late, despite all the warnings and red flags.
This is the same strategy used by Palm-E and Mini-GPT4. They have a projection layer that transforms the vision embeddings into the token embedding space.
> In current law, though, it's entirely acceptable

You mean legal.
> Some of the left wing judges

Left wing judges??!!

We have supreme court judges who are far-right extremists who were appointed by Republicans, and we have right wing judges who were appointed by Democrats.

There is no one on the left in any position of power in the US federal government, and never has been. The closest we have/had would be considered centrist or even center-right in other countries.
A defining moment in the conservative legal movement was Planned Parenthood v Casey. They'd appointed conservative judges and were finally ready to reverse Roe v Wade. Then the court ruled (mostly) against them. This followed a general historical trend of judges moderating over time.

The federalist society planned to fix this in two ways: vet judges better and provide judges with a rightwing social circle so they won't be gradually moderated by having mostly liberal friends.

These trips are a small investment if they make sure Thomas is less likely to have occasional idiosyncratic rulings like Gorsuch does.
Absolutely amazing. Thank you!
Exactly, I am still not clear who got compromised, the users or the platform. Seems like the users.

Which is not surprising at all, some of the phones owned by other people that I've had in my hands were so infested that barely anything worked. The amount of malware changing just about anything in the phone was comical.
There's no obvious reason to suspect a political motivation. That Amazon is an enormous retailer, and newspapers are not, seems like rather sufficient explanation for why the Federal Trade Commission might pay more attention to one than the other.
Well, I found this: https://cepr.org/voxeu/columns/higher-government-wages-may-r...

GPT4 summary: "Research suggests that higher government wages can reduce corruption, particularly in poorer countries. However, as a country's income per capita increases, this method becomes less effective, leading to a need for other measures such as improving rule of law, transparency, and better mechanisms for detecting and punishing corruption."
Fedora, especially one of the recent immutable versions.
Why are exposed API keys the responsibility of openai? This has nothing to do with them cutting corners or security.
> corporations aren't fighting them for their employees' benefit.

But they are. The long-term profitability of the company is essential for ensuring the jobs of everyone. History is filled with the bankruptcies of unionized companies where the workers asked for more than what the market would support.

I hate to rain on your parade, but in my experience the union leadership were much more like a parallel track of management. They definitely played favorites and took sides in political battles to protect some people and hurt others. Everyone dreams that the unions will be neutral protectors of the workers. That wasn't what I saw.
Also, ChatGPT (and many other services today) allow their users to sign in via Google and other 3rd party auth services which feature 2FA.
Am I at risk if I connect through Google or Apple API ?
Contrarian observations from the article:

- Singer was another guest on the trip, not the one paying for Alito.

- Singer's side won the later case by 7-1.

- $100k was the cost of the entire plane, not Alito's seat.
Most of the people sounding the alarm on this still seem to me people really alarmed at losing control of the flow of information / narrative.
No. It's not satire. It's art!
tldr;

"Just as a comprehensive, well-crafted textbook can provide a student with the necessary knowledge to
master a new subject, our work demonstrates the remarkable impact of high-quality data in honing a
language model’s proficiency in code-generation tasks. By crafting “textbook quality” data we were able
to train a model that surpasses almost all open-source models on coding benchmarks such as HumanEval
and MBPP despite being 10x smaller in model size and 100x smaller in dataset size. We hypothesize
that such high quality data dramatically improves the learning efficiency of language models for code as
they provide clear, self-contained, instructive, and balanced examples of coding concepts and skills."
There's only 1.9 million samples in their database, and to be fair, the people who go to that site to test their fingerprint, are probably the kind of user who is going to have a unique fingerprint, notsomuch a common user. So a common user going there is likely a bit unique.
> Mr. Liang, who immigrated from Beijing six years ago, said cooking Chinese food can be time-consuming, labour-intensive and pricey.

Sure, but the opposite can also be true:

Chinese food can be fast, healthy, effortless and inexpensive, at the same time.

You just don't also get ready-made + home-delivered without sacrificing some of the others.

I think the problem is comparing your food options in China.

Living in China you have easy access to healthy, well-made, inexpensive, ready-made, home-delivered in record time, due to low costs of ingredients and labor cooking and delivering. Living in most places outside of China, the same ingredients and the cost of means you have to pay more, or cook yourself.

If you cook yourself and go with only the vegetables that are also cheap outside of China, and you stick to dishes that can be made fast and don't generate a lot of kitchen mess, then the only difference between "white people food" (macro-oriented and poorly cooked but otherwise healthy) is cooking technique.

Getting a gradually better technique, I can't imagine eating less Chinese food.
I always wonder how much money Amazon makes from their UI "tweakers". The people, originally Bezos, who tweaked the UI to be more or less painful selectively throughout the site.

If it makes Amazon Customers 1% LESS LIKELY to unsubscribe, then $$MILLION DOLLAR AMAZONCOM MISSION ACCOMPLISHED$$.
Glyn Johns setup made my drums sound alive. Such a basic setup but it does so much. Makes small rooms sound bigger too.
If you have the means to get to Berlin, Superbooth is like a bigger version of what Moogfest was, all built around a giant GDR-era youth center.
You are. They have a pro audio arm that mostly makes location recorders and a few playback devices. Mostly broadcast focused.
Thanks for your insights! Haven't had to think about these issues as an individual dev.
The pressure is greater outside the sub. Nothing is getting sucked out.
If you just cancelled, you saw improvements they made as a result of FTC pressure. Before April 2023 the process was much more difficult.
Probably because they seem to have the most egregious examples based on works that seem to everyone else to be pretty successful?

"the Tolkien estate sued New Line, claiming that their contract entitled them to 7.5% of the gross receipts of the $6 billion hit.[23] According to New Line's accounts, the trilogy made "horrendous losses" and no profit at all."

I think most people would find it surprising that both Return of the Jedi and the Lord of the Rings movies failed to make a profit?

https://en.wikipedia.org/wiki/Hollywood_accounting
Why do you use Waze instead of Google maps? I read the wikipedia article and it sounds like google maps with a bit of extra user input.

Never felt a reason to switch.
Once you start following/helping/participating in the labor movement it becomes clear that virtually every company will go to great lengths to stop a union from being formed and winning a contract, they will even break the law. The question for organizers is not "will this company do it?" but "what do we do about it when they do?"
Does the result get better if you upscale multiple times, in smaller intervals, so that the single jump extrapolation of detail is not as large going from the original to 8x?
Not DX, but security, yeah. I do this for one-shot automations inside a LAN or to talk to my own transient VMs inside the same box, but it is something you absolutely SHOULD NOT DO if you are connecting to a public host that may be compromised/spoofed whatever. Working at an ISP really opens your eyes to how easy that is to achieve.

(I am assuming that this, and the attempt to do passwordless sudo on the remote machine, simplifies the developers' life a lot since they don't have to put up prompts for you to validate the host key or do privilege escalation remotely, but they are must haves if I am to trust this solution.)

As to the iPad, I have been doing that for many, many years: https://taoofmac.com/space/blog/2016/11/06/1930 (the date on the URL does not denote the first mention). It is an excellent way to work for many hours with a quiet, cool (as in temperature) machine from remote locations.
That wiki page does not really give me any context.

I see here [0] that solar is ~4% of TX electricity supply vs Germany's ~8%. [1]

Texas has twice the land area and 50 million less people taking up space. Let's not even consider the relative insolation.

It seems to me that Texas could do a lot more.

I wonder if investment in Texas PV would be more attractive if you could sell the power to other states in non-summer months. As I understand it, a solar farm in Texas would not be connected to the national grids, correct?

[0] https://comptroller.texas.gov/economy/fiscal-notes/2022/sep/...

[1] https://en.wikipedia.org/wiki/Solar_power_in_Germany
I doubt it, important people just plain live in a different world, especially those in positions of prestige and power. Trading favors with people in their class is part of the game, its how you stay socially relevant.

I have little money myself, but I have relatives who were high society types and the stuff they talk about is mind-boggling. Massive corruption is just baked in at those levels.
Spoilers: "The contents of the message are redacted, but the plaintiffs say [...]"

The email may well prove that Microsoft has this plan, I certainly wouldn't put it past Microsoft. It is in the established nature of Microsoft to behave in such anti-competitive ways, the shoe fits. But when the plantiff is using circumstantial evidence to deduce what the email must have contained, I think it's quite a stretch to say the email "proves" anything.
As someone who regularly gets the 1-week trial of Prime (and cancels), the cancellation process has gotten a lot less deceptive recently. E.g. they used to invert the colors of the buttons to make the "Cancel Membership" look like the negative option, etc. These days it's still unnecessarily long, but requires less double-takes to figure out.
I can admit to smirking a little when I read the article, knowing that some bad actor in the world has spent even a little time and attention poring over my collection of stupid chats, looking for valuable corporate secrets, and finding that each and every one of my conversations ends with "now express this as a limerick."
FB ca 2012-13 was a pretty sure bet, imho. They basically had no competition in social. TikTok hadn't come out yet. G+ had perished not long ago. Apple hadn't yet kneecapped them on privacy. They hadn't yet turned into supervillains.

If all I cared about was money and the potential upside, I'd have taken FB any day over all the no/low strings cash Google could throw at me.

Noam talks about the civic breakdown caused by FB and how he is happy he chose Google but that could be a case of post facto justification. Google, sans its "Don't be evil" is no saint either. I'm sure if he had gone with FB, he'd find five different things to ding Google on - e.g. firing the AI ethics team, sunsetting products without notice, dropping "don't be evil" from their charter, having no North Star other than maximizing ad rev.