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
Re:Zillow to pay $212.5M to settle class action for real estate venture
on Thursday October 29, 2026 @07:35AM (#50287405)
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)
Re:John Carmack on the Goose Language: multiple data stacks and relati...
on Saturday October 24, 2026 @03:43PM (#50224419)
the rest of the thread yes but not the thread before
Re:John Carmack on the Goose Language: multiple data stacks and relati...
on Saturday October 24, 2026 @03:40PM (#50224392)
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
Re:OpenShell – A safe, private runtime for fleets of autonomous AI agents
on Thursday October 22, 2026 @05:00PM (#50200953)
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?
Re:OpenShell – A safe, private runtime for fleets of autonomous AI agents
on Thursday October 22, 2026 @04:54PM (#50200879)
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
Re:Woman who rescued injured crow keeps getting 'thank-you gifts' from...
on Friday October 16, 2026 @08:28AM (#50117557)
How did the elephants know he died, and how did they know where he lived?
Re:Simons Foundation Launches $15M Effort to Help Mathematicians Navig...
on Thursday October 15, 2026 @12:09PM (#50105729)
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?
Re:A look at OpenAI’s math that’s claimed computes faster Fourier tran...
on Tuesday October 13, 2026 @02:43AM (#50067682)
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