Leanstral 1.5: Proof Abundance for All
Article URL: https://mistral.ai/news/leanstral-1-5/ Comments URL: https://news.ycombinator.com/item?id=48780801 Points: 4 # Comments: 0
Latest
RT Ashlee Vance: America needs to build again, and it is building. We kick off our @corememory 4th of July American manufacturing extravaganza with th…
RT Ashlee VanceAmerica needs to build again, and it is building. We kick off our @corememory 4th of July American manufacturing extravaganza with the latest temple…
Claude Desktop (code) but use local API?
Hey all, So I tend to favor the Claude Desktop app in Code mode as the GUI does a great job of previewing code, MCP browser…
RT ali: we distilled 2.3M Claude Fable 5 reasoning traces into Qwen3-4B – 100% self-consistency @ 512 samples – 0.00 bits output entropy – zero halluc…
RT aliwe distilled 2.3M Claude Fable 5 reasoning traces into Qwen3-4B- 100% self-consistency @ 512 samples- 0.00 bits output entropy- zero hallucination varianceturns out the student…
Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
Mistral AI released Leanstral 1.5, a free Apache-2.0 code agent model for Lean 4. It saturates miniF2F and solves 587 of 672 PutnamBench problems. The 119B…
On "gendertropes" in dath ilan
I have sometimes been asked with respect to my fiction, "What the hell is a 'gendertrope'?""Gendertrope" is a word from Baseline, the language of the fictional…
Open Source AI Gap Map
Open Source AI Gap Map Current AI is "a global partnership building a public option for AI", founded as a non-profit at the AI Action Summit…
I kept asking Claude Fable to make the game "more AAA" over and over again. The results are… interesting. In Claude's view, this meant upgrading gra…
I kept asking Claude Fable to make the game "more AAA" over and over again. The results are... interesting.In Claude's view, this meant upgrading graphics, boss…
I have argued myself that CUDA is a moat, but it's a fragile one; a tensegrity moat. It relied entirely on Nvidia hardware being available in China at…
I have argued myself that CUDA is a moat, but it's a fragile one; a tensegrity moat. It relied entirely on Nvidia hardware being available in…
This 3 slot 3080 20GB with 12v2x6 I got for €422,45
submitted by /u/xw1y [link] [comments]
Customers are not an abstraction for us: we exist to help enterprises, public institutions, and industries build their own intelligence, so the value …
Customers are not an abstraction for us: we exist to help enterprises, public institutions, and industries build their own intelligence, so the value created from their…
The Demoralization of the White-Collar Worker
Article URL: https://nooneshappy.com/article/the-demoralization-of-the-white-collar-worker/ Comments URL: https://news.ycombinator.com/item?id=48780469 Points: 3 # Comments: 0
I'd say ≈5 months behind Seed but this is good
I'd say ≈5 months behind Seed but this is goodAlbert Jiang: https://mistral.ai/news/leanstral-1-5/Leanstral 1.5 is here. SoTA on FATE-H/X, 587 on PutnamBench, saturating miniF2F, all with an…
GLM5.2 on AMD MI355X at 2626 tok/s/node at over 2x lower cost than Blackwell
Article URL: https://www.wafer.ai/blog/glm52-amd Comments URL: https://news.ycombinator.com/item?id=48780417 Points: 4 # Comments: 0
American AI if the boom is a bubble: the Karp-Zitron scenario
(Warning note: This is a brief attempt to intuit the economic big picture of AI in the immediate future, by someone who is not in America,…
We're releasing the full slides for our 2 hr deepdive session from the AI Engineer World's Fair. We covered how we build inference engines to serve ag…
We're releasing the full slides for our 2 hr deepdive session from the AI Engineer World's Fair.We covered how we build inference engines to serve agentic…
b9870
chat: trim messages sent to StepFun parser (fixes long reasoning loops) (#25238) chat: trim messages sent to StepFun parser (fixes long reasoning loops) add regression test;…
How to migrate from Proxmox VE 8 to 9: step-by-step guide (2026)
Article URL: https://lucasaguiar.xyz/en/posts/migracao-proxmox-8-9-2026/ Comments URL: https://news.ycombinator.com/item?id=48780281 Points: 3 # Comments: 1
RT Gopi: Individual AIE World's Fair SFO videos aren't out yet — so here's a timestamped index of all 3 days of main-stage. See all sessions summary …
RT GopiIndividual AIE World's Fair SFO videos aren't out yet — so here's a timestamped index of all 3 days of main-stage. See all sessions summary…
Software, from First Principles
Article URL: https://fazamhd.com/mental-models/software/ Comments URL: https://news.ycombinator.com/item?id=48780224 Points: 10 # Comments: 0
Show HN: Updated my landing page with Fable (retro pixel style)
I'm building Guildly, a Slack-like interface where you can run a company of AI employees. I recently used Fable to revamp the whole website into a…
Quoting Josh W. Comeau
I just launched my third course, Whimsical Animations, and so far, it’s on track to sell roughly ⅓ as many copies as a typical course launch.…
Designing a Schema-Guided Invoice Intelligence Pipeline with lift-pdf for Accounts-Payable Extraction, Validation, and Ledger Generation
In this tutorial, we build an end-to-end accounts-payable extraction pipeline with lift-pdf, using synthetic invoice PDFs as controlled test documents and a structured JSON schema as…
AI First: How the Federal Government Is Prioritizing AI over People and Planet
Article URL: https://stopgreedbuildgreen.climateandcommunity.org/posts/ai-first Comments URL: https://news.ycombinator.com/item?id=48780128 Points: 12 # Comments: 3