HNHacker News
TopNewBestAskShowJobs

mi_lk

1,044 karma · joined December 15, 2016

submissionscomments
mi_lk··on YC's Garry Tan uses AI agents so much, he spends up to $200K a year on tokens
What do you do that you are maxing out 5 accounts
mi_lk··on OpenAI to acquire Pierre Computer Company
tangent: I think mitchellh was talking about moving Ghostty off GitHub? Any update?
mi_lk··on Egoless Mathematics in the AI Era
Interesting you wrote all these observations without reading the first sentence of the post. Or you would notice it’s a guest post
mi_lk··on Toit v2.0.0
now we're talking.
mi_lk··on Toit v2.0.0
Who is using this? The company originally behind it has shut down
mi_lk··on HackerTube: YouTube built from videos recommended by HN
One of the better ones but in all honesty a random ass vibed site that's on front page because Karpathy
mi_lk··on Zillow to pay $212.5M to settle class action over failed real estate venture
Couldn't happen to a better company
mi_lk··on GPT-6.1 Terra
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?

mi_lk··on Type Server Protocol
OTOH I don't want to live in a universe where Haskell wins
mi_lk··on New iPad mini
iPhone Air is leaps and bounds better (source: owned 13 Mini)
mi_lk··on The Goose Programming Language
the rest of the thread yes but not the thread before
mi_lk··on The Goose Programming Language
Obviously the guy is replying to something that you can't see without logging in twitter. And without context this means little
mi_lk··on Kimi K3.1 Pro and K3.1 Pro Highspeed
Is that even a debate at this point? Doing my job as a netizen to maintain signal/noise ratio
mi_lk··on OpenShell – A safe, private runtime for fleets of autonomous AI agents
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?
mi_lk··on OpenShell – A safe, private runtime for fleets of autonomous AI agents
any recommendation for macOS users?
mi_lk··on Quad9 (DNS Resolver) to Exit France
typical France L as seen in the past few weeks
mi_lk··on OpenAI CLI
When should I use this over Codex? Is this supposed to be called by other tools/agents?
mi_lk··on What shall I teach my son?
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
mi_lk··on DeepSeek just open-sourced its inference engine
> 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.

mi_lk··on DeepInfer: High-performance inference framework for DeepSeek models
Still a vague argument. Why an open-sourced inference engine changes the game, drastically as some claimed?
mi_lk··on Bleached corals thrive within days when touching healthy neighbour
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

mi_lk··on Woman who rescued injured crow keeps getting 'thank-you gifts' from birds [video]
How did the elephants know he died, and how did they know where he lived?
mi_lk··on Simons Foundation launches $15M effort to help mathematicians navigate AI era
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'
mi_lk··on 11 year old unsoundness bugs found in Rust borrow checker
What aspects of it are remotely ironic?
mi_lk··on A look at the math that OpenAI claims computes faster Fourier transforms
Agree, my neighbor isn’t upset about it. But he also doesn’t know mathematics
mi_lk··on GPT‑6 and Intelligent UI for everyone
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
mi_lk··on What is Codemode
> Claude’s scripts can’t call MCP tools

Why is that?

mi_lk··on What is Codemode
> no simple system level picture

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

mi_lk··on Decisions API is in public beta
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
mi_lk··on What is Codemode
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."

Page 1 of 16Next →