news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Mistral.ai Leanstral: open-source model designed for engineering

https://docs.mistral.ai/models/leanstral-26-03

1•james2doyle•1h ago

Comments

james2doyle•1h ago

> Leanstral > Our first open-source code agent designed for Lean 4, built for formal proof engineering in realistic repositories. 119B parameters with 6.5B active.

Mentioned in the 2.5.0 release of the Vibe CLI tool: https://github.com/mistralai/mistral-vibe/releases/tag/v2.5.... A HuggingFace page is linked for the weights but it returns a 404: https://huggingface.co/mistralai/Leanstral-120B-A6B-2603

james2doyle•1h ago

Mentioned in the 2.5.0 release of the Vibe CLI tool: https://github.com/mistralai/mistral-vibe/releases/tag/v2.5....

The Cure for Snoring: A journey into my larynx

https://www.theatlantic.com/ideas/2026/03/snoring-treatment-sleep-apnea/686367/

1•fortran77•43s ago•0 comments

Ask HN: Why is HN so political?

1•quirk•2m ago•0 comments

New-generation laser obstacle remover improves tree-clearing efficiency

https://www.ecns.cn/video/2023-12-22/detail-ihcvyrst2946830.shtml

1•ZeljkoS•2m ago•0 comments

Paul R. Ehrlich, Who Alarmed the World with 'The Population Bomb,' Dies at 93

https://www.nytimes.com/2026/03/15/books/paul-r-ehrlich-dead.html

1•telotortium•5m ago•0 comments

Agent.email: A Landing Page for Agents

https://www.agentmail.to/blog/agent-email

1•redm•5m ago•0 comments

Show HN: Headcount Zero: How to Build an AI-Run Company with Paperclip

https://github.com/AnthonyDavidAdams/zero-employee-company-book/

1•ada1981•5m ago•0 comments

Browser-based interactive 3D Earth from OSM and real-time sky

https://worldexplorer3d.io/

1•sreid90•8m ago•0 comments

Nvidia Groq 3 LPX

https://www.nvidia.com/en-us/data-center/lpx/

1•buildbot•10m ago•0 comments

First Proof: Second batch announcement [pdf]

https://1stproof.org/documents/First_Proof_March_14_Announcement.pdf

1•robinhouston•11m ago•0 comments

Encyclopedia Britannica sues OpenAI for copyright and trademark infringement

https://www.engadget.com/ai/encyclopedia-britannica-sues-openai-for-copyright-and-trademark-infri...

4•dmitrygr•12m ago•0 comments

Nvidia Groq 3 LPX

https://www.nvidia.com/en-gb/data-center/lpx/

3•gchadwick•12m ago•0 comments

Cuba's national electric grid collapses, leaving millions without power

https://www.reuters.com/business/energy/cubas-national-electric-grid-collapses-says-grid-operator...

3•geox•13m ago•0 comments

Language and Thought: The View from LLMs (2025)

https://arxiv.org/abs/2505.13561

1•3willows•13m ago•0 comments

Where OpenAI's technology could show up in Iran

https://www.technologyreview.com/2026/03/16/1134315/where-openais-technology-could-show-up-in-iran/

1•joozio•13m ago•0 comments

Spectra – domain-first specs so AI agents stop guessing your business rules

https://github.com/GuiMiran/spectra

1•guimiran•13m ago•0 comments

Chromium dominance, it's getting worse

https://old.reddit.com/r/degoogle/comments/1ru48ol/chromium_dominance_its_getting_worse/

1•cft•14m ago•0 comments

[Nvidia] NemoClaw – Enterprise AI Agents, Redefined

https://nemoclaw.bot

3•weirdcat•14m ago•0 comments

Nvidia DLSS 5: AI-Powered Breakthrough in Visual Fidelity for Games

https://www.nvidia.com/en-us/geforce/news/dlss5-breakthrough-in-visual-fidelity-for-games/

2•freetonik•15m ago•0 comments

Show HN: GladAItor – We Built Street Fighter for Indie Hackers

https://glad-ia-tor.com/

1•Enjoyooor•15m ago•0 comments

FFmpeg 8.1

https://ffmpeg.org/index.html#pr8.1

1•gyan•16m ago•1 comments

Depguard MCP – Audit NPM packages for security, maintenance and licenses

https://github.com/mopanc/depguard

1•kka•17m ago•0 comments

Could nanoplastics nudge Salmonella toward antibiotic resistance?

https://phys.org/news/2026-02-food-safety-nanoplastics-nudge-salmonella.html

1•PaulHoule•19m ago•0 comments

Shipping a Button in 2026

https://www.youtube.com/watch?v=xE9W9Ghe4Jk

2•modinfo•19m ago•1 comments

Open protocol for shared memory between AI agents, Specification published

https://akashikprotocol.com/specifications/draft

2•sahildavid•20m ago•0 comments

Nvidia Launches Vera CPU, Purpose-Built for Agentic AI

https://nvidianews.nvidia.com/news/nvidia-launches-vera-cpu-purpose-built-for-agentic-ai

15•lewismenelaws•21m ago•2 comments

Hands-On with DLSS 5: Our First Look at Nvidia's Next-Gen Lighting [video]

https://www.youtube.com/watch?v=4ZlwTtgbgVA

3•mattas•21m ago•0 comments

Show HN: NSED v0.5.1: Don't Trust Your Agents. Verify Them

https://blog.peeramid.xyz/nsed-v0-5-0/

2•t_peersky•23m ago•0 comments

SEC Prepares Proposal to Eliminate Quarterly Reporting Requirement

https://www.wsj.com/finance/regulation/sec-prepares-proposal-to-eliminate-quarterly-reporting-req...

9•jaredwiener•23m ago•0 comments

All chains of events for the oil price

https://www.simplymacro.xyz/oil-price-timeline/

2•hackboyfly•24m ago•0 comments

Show HN: MaximusLLM – Train 262k-vocab LLMs on a single 16GB GPU

https://github.com/yousef-rafat/MaximusLLM/blob/main/README.md

2•yousef_g•25m ago•0 comments