Mistral Large 4
Triple-A Minesweeper
Cloudflare acquires Deno
Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Why isn't the industry freaking out about DeepSeek 4.1 Flash?
The author has been using DeepSeek 4.1 Flash heavily across a dozen projects for about a month.
Claude Haiku 5.5
Sorry, I'm in a meeting
Whistle: Speech to Text in 16.9 MB
Whistle is an open speech recognition model that transcribes seven languages and reaches the first token in 11 ms.
Trump administration is suspending Microsoft from a green card program
The Trump administration is suspending Microsoft from a green card program.
Yes, and
REA Reverse β Engineer Anything
Tell HN: I've been paying for a rural Tanzanian's education for 10 years
The author has been funding the education of a person from rural Tanzania for a decade.
GPTβ6 and Intelligent UI for everyone
GPTβ6 is rolling out globally in ChatGPT with Intelligent UI, delivering faster responses with visuals and interactive experiences you can explore and use directly.
Show HN: Bigwords.page β Turn any screen into a sign. The URL is the app
The tool allows users to turn a phone, tablet or TV into a sign.
Passkeys are a trap
The excerpt states that passkeys are not designed to prioritize your interests.
Our $445M Series D
Oxide paid income tax because its ordinary operations generated taxable income.