News for hackers. Stuff that matters.

mi_lk

Re:Egoless Mathematics in the AI Era on Tuesday November 03, 2026 @08:34AM (#50351796)
Interesting you wrote all these observations without reading the first sentence of the post. Or you would notice it’s a guest post
Re:Toit v2.0.0 on Tuesday November 03, 2026 @07:06AM (#50350967)
now we're talking.
Re:Toit v2.0.0 on Tuesday November 03, 2026 @03:15AM (#50349391)
Who is using this? The company originally behind it has shut down
Re:HackerTube: YouTube built from videos recommended by HN on Saturday October 31, 2026 @05:00PM (#50320187)
One of the better ones but in all honesty a random ass vibed site that's on front page because Karpathy
Couldn't happen to a better company
Re:GPT-6.1 Terra on Monday October 26, 2026 @03:43PM (#50249823)
What prevents OAI (and Ant for that matter) from releasing new version for all models at once?

Instead, we got Opus 5.5, Sonnet 5.5 and Haiku 5.5 released weeks apart, and so are Sol 6.1 and Terra 6.1?

Re:Type Server Protocol on Monday October 26, 2026 @03:32PM (#50249663)
OTOH I don't want to live in a universe where Haskell wins
Re:OLED iPad Mini on Monday October 26, 2026 @11:12AM (#50245153)
iPhone Air is leaps and bounds better (source: owned 13 Mini)
the rest of the thread yes but not the thread before
Obviously the guy is replying to something that you can't see without logging in twitter. And without context this means little
Re:Kimi K3.1 Pro and K3.1 Pro Highspeed on Friday October 23, 2026 @05:09PM (#50215375)
Is that even a debate at this point? Doing my job as a netizen to maintain signal/noise ratio
Do I miss it or you don't specify which VC you work for in your profile. How is that clear for people to make connections to companies in your portfolio?
any recommendation for macOS users?
Re:Quad9 (DNS Resolver) to Exit France on Thursday October 22, 2026 @04:47PM (#50200812)
typical France L as seen in the past few weeks
Re:OpenAI CLI on Thursday October 22, 2026 @02:11AM (#50191772)
When should I use this over Codex? Is this supposed to be called by other tools/agents?
Re:What shall I teach my son? on Tuesday October 20, 2026 @07:22PM (#50174062)
Not me teaching my kids this loser mentality that you’ll win/lose in life if you get/don’t get into certain private schools at the age fking five
Re:DeepSeek just open-sourced its inference engine on Tuesday October 20, 2026 @12:20PM (#50168717)
> it harms them unless the government compensates

not an expert but it looks like you just describe the entire China playbook. See EV, rare earth etc.

Re:DeepSeek just open-sourced its inference engine on Tuesday October 20, 2026 @11:53AM (#50168282)
Still a vague argument. Why an open-sourced inference engine changes the game, drastically as some claimed?
Re:Bleached corals thrive within days on Saturday October 17, 2026 @06:42PM (#50135852)
I wonder if coral coverage is a meaningful stat itself. Does that directly translate to diversified creatures?

Was in central GBR this year, can't say I'm super impressed but not sure how I should set my expectation

How did the elephants know he died, and how did they know where he lived?
Maybe you get conditioned on how the rich usually treats other people, but this view isn't well supported by healthy discussions among the math community wrt recent AI 'disruption'
Re:11 year old unsoundness bugs found in Rust borrow checker on Tuesday October 13, 2026 @08:44AM (#50070793)
What aspects of it are remotely ironic?
Agree, my neighbor isn’t upset about it. But he also doesn’t know mathematics
Re:Muse Wonder on Monday October 12, 2026 @03:59PM (#50062130)
Not that there’s only two choices but I distrust Altman way more than Zuckerberg so good news for me
Re:GPT‑6 and Intelligent UI for everyone on Wednesday October 07, 2026 @03:28PM (#49997645)
You could say the same thing about Anthropic because I don't really see much differences. Not sure about amazing part but both are high quality and I probably like Anthropic's aesthetic more
Re:What Is Codemode on Wednesday October 07, 2026 @06:28AM (#49990786)
> Claude’s scripts can’t call MCP tools

Why is that?

Re:What Is Codemode on Wednesday October 07, 2026 @05:10AM (#49990178)
> no simple system level picture

proceed to drop the word homoiconicity... Of course I know what it means without looking up

Re:Decisions API is in public beta on Wednesday October 07, 2026 @04:02AM (#49989705)
I don't know if they invented it since I've seen other papers floating around. All about marketing that's why it's hard to root for Jev's success
Re:What Is Codemode on Wednesday October 07, 2026 @03:56AM (#49989660)
Why is this a personal blog, not a Pi post?

https://earendil.com/posts/you-said-no-mcp/ remains difficult to read without understanding what codemode is, with some quote like "Now we talked so much about Codemode, it might be worth explaining what that even is."

Re:Sharing AI progress in mathematics on Tuesday October 06, 2026 @06:55PM (#49985330)
Curious if Sébastien Bubeck still work at OpenAI? He came out quite dirty after Navier-Stokes drama

Older »