skysight-inc/HackerNews huggingface dataset:
In this Twitter thread I also describe how it works, here's it copy-pasted:

How it works:

- The system prompt describes the database structure and in which format to respond
- You ask a question
- The AI generates a MySQL query
- The query is executed locally, on your server
- The results are displayed in your dashboard
- For the charts, the AI also generates a Chart.js config
- (actually it's trickier than that, it makes the MySQL query generate a Chart.js config, that includes all chart settings AND the data)
- The Chart.js config is used to display the chart in the React application

As you can see, at no point does OpenAI see any of your data or query results. It only knows the DB structure and your question.

For the history (so you can ask follow-up questions), only the history of your questions + AI-generated responses are included, none of the query results.

Implementing it like this it works better than I expected, you can not only ask the AI questions about the data, but you can also ask it to stylize the chart, or change the chart type, or change colours.
I just downloaded this and read some of it out of curiosity. It’s probably one of the dumbest, most blatantly pseudoscientific things I’ve ever read. He freely recycles scientific vocabulary to mean… whatever the hell he wants, apparently, painting his mystical nonsense with a thin veneer of empirical legitimacy. I can’t believe tens of thousands of people actually read this stuff and see it as the work of a genius rather than the most obvious quackery.

It is possible to write scientifically about meditation and altered states of consciousness without liberally reinterpreting all of physics. See Sam Harris or John Yates for example (both neuroscientists). What the hell is this guy a doctor of, anyway…? Chiropractic. Why am I not surprised.
Oh whew. Apple isn't killing off Swift as in stopping development on it, moving away from it, and recommending new projects not use it. They're just exceptionally bad at managing Swift, the whole project.

That headline's a bit misleading. How about Apple is Strangling Swift?
IMO The AP's page is the best.

https://apnews.com/projects/election-results-2024/
absolutely no idea why public funds should be used for this kind of thing.

imagine going to the police "hi. i left all my money on the corner and went away to get some coffee. please send officers to arrest everyone who took it"
Analog I guess. I'm trying to make a chip for DNA synthesis, and so need physical contact with the real world, with electrodes, where electricity from the circuit will cause localized pH changes, which you can use for precise control of biological reactions. FPGAs can't do that kind of analog work.
Groupthink in Engineering Teams
Articles say the guy was an AI developer. But how did he actually steal money from Fisker?

He installed malware on his work computer. Was this then used by North Korea to hack Fisker's internal systems and syphon of money somehow? Maybe I missed the details in one of the articles linked below.
Ironically their policies are why I want to move there with my American dollars. I want to live somewhere that cares about my rights, not the rights of corporations.
> Do you know how we won World War 2?

https://en.wikipedia.org/wiki/Raising_a_Flag_over_the_Reichs...

I don't see any American flag here.
Haha what's your email and I'll add you to the beta once its available?
This is the reality IME. I'm currently in an org that has been "in the cloud" for over ten years but is only now architecting (some) new projects in a cloud-first way. Meanwhile there is big pressure to get out of our rented cages so there is even more lift-and-shift migration happening. My guess is that we eat roughly 5x as much compute as we would need with proper scaling, and paying cloud prices for almost all of it.
I think absolutely not, for several reasons. First off, the report mentions this failure of the zinc filled sockets never been reported elsewhere before.

Secondly, even if it had, the report mentions that written documentation of inspections and so on was spotty and inconsistent.

That said, if the failure mode had been published before, and inspections and maintenance was written down in a consistent and detailed manner, then perhaps an LLM-based tool could have linked the two. I'm thinking of a RAG-like search thing that compared inspection reports with published documents. Alternatively just assisting a human in finding relevant published reports.
That's to mobilize people to vote who would otherwise stay home if the gap was bigger
Unix Programmer's Manual Third Edition [pdf] (1973)
Yes a moderated wiki would be ideal. Isn't there readily available moderated wiki software (possibly even git-backed)? That seems more wiki (quick) than opening PRs.

The [Edit on Github] button didn't go anywhere for me and I don't see how to create a new 'card'/entry. There seems to be (IMO) too much friction for this to be well-maintained.
>I’m wondering why voting is considered a uniquely American experience.

America is the world's oldest democracy, so in the earlier days of the republic it was uniquely American. That's where a lot of the American national pride about elections comes from and I think the CFTC was conflating the rhetoric.

Europeans hate American national pride, so that's where a lot of the sniping comes from. (Europeans also snipe at each other, so they're not to be taken too seriously)
https://en.wikipedia.org/wiki/The_Backrooms#History
Another offender is AtomicWaker [1] which does the same on contention.

[1] https://docs.rs/atomic-waker/latest/atomic_waker/
I'm not a bounty hunter myself, but trying to think beyond the big names I found the Dutch government's <https://english.ncsc.nl/contact/reporting-a-vulnerability-cv...> as an example that looks good to me. One point of improvement could be that they're not very concrete about any reward (or the lack thereof, also fine, but better to be up front). Some of the exclusions are also a bit broad, e.g. I'd still say XSS on a static site is worth fixing even if it's not a major risk, but I can understand where they're coming from when you consider there's thousands of websites run by the government. On the plus side, they give a clear timeline so you know they're going to pick it up in a timely manner, and they have practical guidelines on what (not) to do

Just remembered: One thing I didn't like about e.g. Google's report mechanism is that it basically required a Google account. There were instructions for if you don't have one, but they didn't work (probably outdated) so you just have to agree with the extremely broad blanket statement that is the Google privacy policy. That could be something to avoid if you're setting up a policy of your own: don't require agreeing to wholly unrelated terms; hackers (in the HN sense of the word) sometimes don't take very well to that

A good experience I had was with Threema (private/encrypted chat application like Wire or Signal). The report process consisted of just sending a service account a chat message (probably there's also other ways), which was nice and easy. My report turned out to be mostly invalid (the risk was real but my imagined fix was flawed and it turned out contact discovery is a hard problem) but their answer was quick and thorough, I was impressed that they didn't just brush it off like so many orgs do.

Being on something like Hackerone, like Valve and Keybase, has pros and cons. I'm probably just old but it feels odd to me to let direct threats to your organisation be handled by a third party, sometimes even having them triage and decide whether to inform your org of a claimed vulnerability at all (recent story on HN; probably it works fine in 99% of cases), as well as it being an instance of having to sign up for something unrelated when I just want to ping an email address with the steps to reproduce. On the other hand, it standardises the whole thing so you know where to find different things if you use it more than the sporadic amount I have. I also wonder if this attracts the beg bounty hunters who see potential easy money, based on that the orgs on Hackerone seem to take reports less seriously when you didn't invest a ton of time in developing an exploit, or if the causality is reversed (maybe they chose Hackerone because they already had too many beg reports, hoping to be able to use accounts' reputation as an indicator for triage)
Sorry, what decision are you saying is being made because China can nuke Boise more easily than other places? Are you envisioning a limited tactical strike by China that bombs half the country but leaves the Eastern seaboard militarily relevant?
There is already plenty of historical data that would have demonstrated the quality of the predictions. This specific bet, however, could be the worst way to judge the prediction markets given that the key demographics of the gamblers, young risk taking males, are the same that strongly favor the GOP candidate. In that regard, your bet alone demonstrates loyalty which feels like a soft win. Also, when you win if you win, and if you lose, you were still right because you can cite the heavily skewed prediction market as proof the election was stolen.
In a one-turn voting system, polls are very useful as a kind of "turn zero". The important point is that one should always tell the poller who they actually want to vote for (a possible third candidate) so that if this candidate actually stands a chance it can be seen in the poll and be voted for. In the actual election, if you see your third candidate has no chance you can vote for someone that can actually win.

Changing the voting system seems much more important than trying to mess with the polls. However, regulating polls to enforce their trustworthiness is probably a good idea since they may have so much power.

In France the presidential election is two-turns and even then I think we need polls since there are so many candidates in the first turn diluting votes.
What are you Haydn? The hoaxers who fooled the classical music world
I'm pretty sure they are just using your IP address which I personally think is totally ok.
I tested this by asking "What time is it?" and it responded "It's currently xx:xx at [location]", and the location in the response wasn't my exact location, but the location I'd get after putting my IP address in one of those IP-to-Location websites.
I'd argue that the Atom core itself could compete - it hit pretty much the same perf/watt targets as it's performance-competitive ARM equivalents.

But having worked with Intel on some of those SoCs, it's everything else that fell down. They were late, they were the "disfavored" teams by execs, they were the engineer's last priority, they had stupid hw bugs they refused to fix and respin, they were everything you could do to set up a project to fail.
At least in St Paul they are actively replacing lead service lines in whole neighborhoods at a time. The line replacement itself is free although there may be some costs and logistical hurdles to the homeowner to prepare the house and get the existing line inspected.
> Encyclopedias are copyrightable. Phone books are not.

It depends on the jurisdiction. The US Supreme Court ruled that phone books are not copyrightable in the 1991 case Feist Publications, Inc., v. Rural Telephone Service Co.. However, that is not the law in the UK, which generally follows the 1900 House of Lords decision Walter v Lane that found that mere "sweat of the brow" is enough to establish copyright – that case upheld a publisher's copyright on a book of speeches by politicians, purely on the grounds of the human effort involved in transcribing them.

Furthermore, under its 1996 Database Directive, the EU introduced the sui generis database right, which is a legally distinct form of intellectual property from copyright, but with many of the same features, protecting mere aggregations of information, including phone directories. The UK has retained this after Brexit. However, EU directives give member states discretion over the precise legal mechanism of their implementation, and the UK used that discretion to make database rights a subset of copyright – so, while in EU law they are a technically distinct type of IP from copyright, under UK law they are an application of copyright. EU law only requires database rights to have a term of 15 years.

Do not be surprised if in the next couple of years the EU comes out with a "AI Model Weights Directive" establishing a "sui generis AI model weights right". And I'm sure US Congress will be interested in following suit. I expect OpenAI / Meta / Google / Microsoft / etc will be lobbying for them to do so.
And other places don’t understand the sheer amount of wealth and freedom other people have. "It costs a lot of money to look this cheap" and San Francisco spends billions to look that cheap btw.

Especially Europe. Europeans don’t even seem to understand how large America is, which is why so few have passports.
Sure, Ramsey's Theorem guarantees that Ramsey numbers exist. But at no point is it assumed that the graph is connected. The section you linked puts it quite simply:

> The Ramsey number is the minimum number of vertices, v = R(m, n), such that all undirected simple graphs of order v, contain a clique of order m, or an independent set of order n.

The graph is undirected and simple. But it need not be connected.
If you buy for yourself you can. If you buy for investment, then not.
Adding keyboard shortcuts to the Python REPL
It's a dumb conspiracy theory at the macro-scale, and the overlap between CBRE or JLL and a company's board is minimal
It is, but I’m curious about why it’s so popular. Is it a Musk thing?
How are key/value pairs encrypted at rest?
One of the interesting things about this whole story is that Tony Hawk was born the year before Shaunda was, making them both 56 this year. Interesting that they were (in a way) contemporaries.
It actually isn't, that's what makes it fused.

If you separate the operations like that, the intermediate result is rounded. The final result is then often different from the result of the FMA, which doesn't do the intermediate rounding.
And I rarely see such a rush to judge someone so harshly over something so relatively innocuous. Setting aside the fact that it's OK for someone to be wrong and for us to correct them in a constructive manner, I'm not even sure that that user being wrong is so dangerous to one's health, as the end of your comment implies.

Now, if the user had said something to the effect of, "Bleach and ammonia are perfectly fine to mix together, I am not aware of any documentation that suggests otherwise," then, yes, that is a tremendously dangerous thing to tell someone and reasonable people should absolutely call them out for spreading FUD. But what happened here is different.

The user simply said, "Hey, I don't know that these kinds of filters can actually work to remove lead". That's it. Anybody reading this, who is concerned that there may be lead in their water, isn't at any greater risk of consuming it now than they were prior to reading the user's statement.
It does seem like a pretty big gamble to admit to the criminal charge.

If it works, of course, there's every reason to think that the new government will just fail to prosecute.

If it fails... it's true that the Justice Department seems very wary of prosecuting when there's even the slightest bit of gray area. They want their cases to be absolutely airtight, especially when there are political ramifications.

Even if he loses, and there's just a fine, it would be just the cost of doing business.

But if jail time is an option -- and I have no idea if it is -- this is a mighty big risk to be taking.
I wouldn't call SF office price a "theoretical".
The supply/demand curve is one of the most time tested economic law.
15 years of bad zoning regulation and limiting suply doesn't disprove it.
Basically. They upload the PDFs and LuLu charges whatever they need/want. Intel doesn’t make income on them.
It's an HN+Reddit thing.

The userbases overlap significantly now.
I don't use LeetCode, and you probably shouldn't either
To reflect on HN trends for a second: people seem to really like "uncovered" things. Like some lost song, or archeological piece or, as here, identity of a person in a mostly inconsequential context.

I also don't seem to recall these kinds of posts hitting front page much until recently. What is this? A new wave of nostalgia for long lost past on the internet? Hacker News demographic change? Discovery of a new marketing vector? Or just me seeing a pattern where there is none?
But how is a prediction market any good if you need to correct for the demographics of the gamblers for each bet?
The real issue is that technology has rendered office raiding useless. People are welcome to explore alternatives.
Nice collection. Do you have a recommendation for flowcharts, or more specifically for state charts? I’d like to be able to generate a DSL from a workflow engine with the current state and history of execution of a workflow instance and then display it to my users. I.e. something like temporal.
If that counts, how about common table alias declarations?

WITH a AS b c
The EU should just tax Apple at a higher rate. It’d be more transparent that way what they’re doing.
Secretary of the Doge
In a vacuum, valid. You can do that. Depending on someone’s reasoning, I might do the same, but I don’t draw the line specifically at whether someone voted or not. It’s not decisive criteria.
Oh my, allow me to reminisce.

When the Intel 80386-33 came out we thought it was the pinnacle of CPUs, running our Novell servers! We now had a justification to switch from arcnet to token ring. Our servers could push things way faster!

Then, in the middle 1991, the AMD 80386-40 CPU came out. Mind completely blown! We ordered some (I think) Twinhead motherboards. They were so fast we could only use Hercules mono cards in them; all other video cards were fried. 16Mb token ring was out, so some of my clients moved to it with the fantastic CPU.

I have seen some closet-servers running Novell NetWare 3.14 (?) with that AMD CPU in the late '90s. There was a QUIC tape & tape drive in the machine that was never changed for maybe a decade? The machine never went down (or properly backed up).
The scammers in question use stolen US citizens' identities. Same thing happens in Europe to a lesser degree.
Are Language Models Replacing Programmers?
This sounds reasonable to me. I used to think you could guess what someone's first programming language was based on if they wrote methods or procedures. :D
The problem is deeper than that. When a physical space is raided, its scope is obvious. Digital spaces don't have that characteristic. There can always be hidden indexes.
you're wrong. The only evidence we have for gravity is the correlation of mass and attraction. The theory of gravity does not contain any hint of a reason why, it simply points out what we can observe. Correlation is the only evidence we have.

And you have not ruled out that complaining about sleep in various ways isn't a direct side effect of brain shrinkage so the hypothesis remains open.
Oh, and make it open source, so that people that know more than I about all things math can contribute. If you hadn't noticed, SpeQ Math is not open source.
I imagine it would be in preparedness for a time when you could no longer get such powerful chips so cheaply and quickly, or for one where you no longer trusted the chips you could get for some reason.
Dutch are extremely business friendly with streamlined simple bureaucracy but they won't tolerate tax evasion. The correct approach would be to negotiate with the tax service.
Well, fun story: you can just use this api to unban yourself :-D

I am not a lawyer but I bet a sane judge would have little sympathy for a CFAA claim against your own account
"having a feeling" plus anecdata is not a long term longitudinal study.
- "But how did he actually steal money from Fisker?"

AFAICT, he merely worked for them. The only cash flows mentioned in the indictment [0] are simple wages.

The title is a bit misleading. "Millions" is the total haul of the North Korean remote workers over some 60-ish (??) companies. Fisker by itself paid no more than $214,596.00 (page 27, as "Company 6"). The article focuses on Fisker because it's an automotive news site.

[0] https://www.justice.gov/usao-dc/media/1352191/dl (pdf)
I was lucky enough to meet Alonzo Church and Haskell Curry at the ACM Symposium on LISP and Functional Programming at CMU in August 1982. Curry was clearly not well and only lived about two weeks after the conference, but Church was in good form and lived about 13 more years. Gerry Sussman was very excited while he went around the room at the reception introducing them, and of course it was a great thrill for us to meet them.
LEM doesn't overlook completeness within the context of an axiom system. Independent results remain, by definition, without correspondence to any proof.

Believe it or not, constructive math actually does have a LEM, but a derived one. Any computable value can be shown to either equal or not equal another. Only for uncomputable predicates does the absence of LEM result in our inability to conclude x from not not x.
It depends on what you mean by reliably. There's always short term variance, often a lot of it, but a player with an edge will absolutely win reliably in the long run.
> The whole article hinges on the fact that the author seems to be unfamiliar with the term arity (?)

how does it hinge tho?
1) You may more than pay for that labor in cloud costs, but you can also pretty easily operate rented dedicated hardware with a 3-man team if they know how to do it, the tools to scale are there they're just different.

2) I don't know what your setup looks like, but renting a dedicated server off of Hetzner takes a few minutes, maybe hours at most.

My personal opinion is that most workloads that have a load balancer anyways would be best suited to a mix of dedicated/owned infrastructure for baseline operation and dynamic scaling to a cloud for burst. The downsides to that approach are it requires all of skillset A (systems administration, devops) and some amount of skillset B (public cloud), and the networking constraints can be challenging depending on how state is managed.
I feel so bad for kids growing up watching sports now. The beer commercials were bad enough, now kids are going to grow up to be gambling addicts too.
That's interesting, I have only looked recently at polymarket, and it's at 62/38 right now. Robinhood is at 59/43. I wonder why PredictIt is so much closer.
on the scale that nature does it, the consumers of plants also evolve.

I can't believe what I'm being asked to argue here, it's "environmentalism" and "public health" and "anti big X" all rolled up into one. I'm on the other sides of all those issues, so I wish you'd all get back in your lanes.
> then street power gets cut

Or the electrician doing maintenance on the backup generator doesn't properly connect the bypass and no one notices until he disconnects the generator and the entire DC instantly goes quiet.

Or your DC provisions rack space without knowing which servers are redundant with which other servers, and suddenly when two services go from 10% CPU use to 100% CPU across ten servers the breaker for that circuit gives up entirely and takes down your entire business.
Taxing monopolies at a higher rate. Not a bad idea actually.