HNHacker News
TopNewBestAskShowJobs

binlog

1,067 karma · joined March 20, 2026

submissionscomments
binlog··on Cloudflare acquires Deno
Bun admitted defeat and sold themselves even before Deno. Node.js is and always was the winner.
binlog··on Cloudflare acquires Deno
This is a wild detail to just bury at the bottom. So many companies went all-in on Deno in recent years. Some even did major migrations off Node.js. Sucks for them I guess, but that's always the risk in chasing the shiny new thing over sticking to the old and dependable.
binlog··on Theranos.world
Feels like they are unintentionally marketing the new Elizabeth Holmes documentary rather than themselves.
binlog··on OpenAI withdraws three mathematical results
The people who released the papers weren't randos either. OpenAI has a ton of mathematicians on staff, including Jacob Tsimerman, a fields medal winner.

Scientific progress used to be people debating and correcting other people. Now it's going to be people with AI assistance debating and correcting other people with AI assistance.

binlog··on Port of the TypeScript compiler, checker and lsp to Rust, by LLM
NSF by itself contributes $200-300M a year towards math grants. Universities spend a billion+. Add corporate funding and other sources (DoD, other government agencies, private foundations) and you’re easily looking at a few billion dollars a year just in the US going to mathematicians.
binlog··on GPT‑6 and Intelligent UI for everyone
- Anthropic’s total user base is minuscule compared to the rest, and they have never claimed otherwise.

- People don’t have to stick to a single provider. They can all claim the same 20%.

binlog··on Meta and Microsoft take steps to reduce employee usage of Claude AI
Meta was #1 by far
binlog··on Navier–Stokes Lost in Translation
Because people need to understand what is being proven.
binlog··on Sharing AI progress in mathematics
What’s the nuance? Two researchers alleged theft. OpenAI investigated and confirmed that their research was not in the model’s training data. The world decided to take the first part as objective truth and ignored the second.
binlog··on Decisions API is in public beta
> just switched to Anthropic from OpenAI because of the ZDR guarantee

Did you get that reversed? OpenAI has a ZDR guarantee while Anthropic doesn't.

binlog··on Sharing AI progress in mathematics
It's unfortunate how toxic media reporting on AI has become. Everyone has abandoned even the pretence of objectivity. I know NYT is uniquely biased in this regard, but there was no need to add "Further Roiling Field" in the headline. Like, you published this minutes after OpenAI's announcement and claim to capture how the entire field of mathematics feels about the advancement? Before anyone has had a chance to even read let alone digest it?
binlog··on Sharing AI progress in mathematics
So they set up a whole "Advisory Group on Mathematics and Artificial Intelligence", filled it with renowned academics, promised to listen to the group on "review and communication of emerging results"...and then a week later went nah, we are just going to dump it all on github. OpenAI truly is a special company - in the best and worst way.
binlog··on Sharing AI progress in mathematics
They didn't change anything lol. The news cycle has just moved on.
binlog··on Sharing AI progress in mathematics
There are a dozen+ AIs available to you that can do that right now.
binlog··on Sharing AI progress in mathematics
Yet there are more software enginners employed today than another other point in history
binlog··on Sharing AI progress in mathematics
An open source model will reproduce it 6 months later
binlog··on Integer multiplication below n log n
I wonder if the AI spent extra time on this without being told to
binlog··on Integer multiplication below n log n
That would only mean we calculated c wrong
binlog··on Tell HN: GitHub refuses to remove cracked copies of my software after a month
Do you have the same stance on using adblockers when browsing the web?
binlog··on Tell HN: GitHub refuses to remove cracked copies of my software after a month
Yes you need a lawyer. You may not have filed the DMCA request correctly. You may not be understanding the law correctly.
binlog··on Sharing AI progress in mathematics
What makes you think no one can comprehend this? It has been less than an hour since it dropped and there is already a ton of online chatter from people explaining the results, pointing out their favorites and more. Some of it is happening on this very thread.
binlog··on Sharing AI progress in mathematics
Use whatever is published as the new base for your research. Use AI tools to help you going forward.
binlog··on Sharing AI progress in mathematics
So happy this is shared on GitHub rather than some gatekeeping paid journal. Truly a new age for science.
binlog··on Decisions API is in public beta
One of the examples on the docs page is it playing a video game. Doubt it’ll be able to run anything complex though. You’re simply trading accuracy for speed.
binlog··on The AI boom is making the cheapest smartphones disappear
It's by design, so they can lock you into monthly payments.
binlog··on JetBrains reports revenue growth, net financial loss for 2025
> They've invested in something big

Wonder what the "something big" could be that companies are throwing money into in 2026.

binlog··on OpenAI "rogue" agent activities found on Wikimedia projects
Why no mention of any dates in the post? There have been plenty of examples of OpenAI agents writing to wikis (the German one for example) or worse (huggingface) before June. If something like it happened again after all their public apologies and promises to fix their training sandbox and alignment issues then it would be a lot more concerning.
binlog··on I quit OpenAI because its culture is broken
What "whistleblowing" is in this article? Are there any names? Documents? Screenshots? Messages? Emails? Any evidence of the loose safety practices? Anything that implicates any higher ups for wrongdoing? They spent four years at the comany, plenty of time to collect all of this. Everything they've said has already been clear as day to people on the outside.
binlog··on I quit OpenAI because its culture is broken
"OpenAI is shady" isn't some massive secret. There's no big reveal in this article that we didn't know already. There are no names, no whistleblowing, no information of substance that we can act upon. In fact him realizing only now what people on the ouside have been shouting for years perfectly shows his bias in the matter.
binlog··on I Quit OpenAI Because Its Culture Is Broken
PPUs were all converted to RSUs when the company restructured to being for-profit.
← PreviousPage 3 of 6Next →