Leanstral: Open-source agent for trustworthy coding and formal proof engineering
2 days ago (mistral.ai)
Nvidia's Always-On Chip Detects Faces in Less Than a Millisecond
5 hours ago (spectrum.ieee.org)
Toward automated verification of unreviewed AI-generated code
2 days ago (peterlavigne.com)
Ryugu asteroid samples contain all DNA and RNA building blocks
1 day ago (phys.org)
Beyond has dropped “meat” from its name and expanded its high-protein drink line
2 days ago (plantbasednews.org)
Launch an autonomous AI agent with sandboxed execution in 2 lines of code
1 day ago (amaiya.github.io)
Java 26 is here
1 day ago (hanno.codes)
Robotocore · a Digital Twin of AWS
21 hours ago (github.com)
Show HN: Horizon – GPU-accelerated infinite-canvas terminal in Rust
1 day ago (github.com)
Every layer of review makes you 10x slower
2 days ago (apenwarr.ca)
Show HN: Claude Code skills that build complete Godot games
2 days ago (github.com)
Igbo-Ora, the scientific enigma of the 'twin capital of the world'
3 hours ago (english.elpais.com)
Aggregated File System (AGFS), a modern tribute to the spirit of Plan 9
4 days ago (github.com)
WFP projects food insecurity could reach record levels
5 hours ago (wfp.org)
Meta Horizon Worlds on Meta Quest is being discontinued
1 day ago (communityforums.atmeta.com)
Meta and TikTok let harmful content rise to drove engagement, say whistleblowers
1 day ago (bbc.com)
Illinois Introducing Operating System Account Age Bill
1 day ago (ilga.gov)
Meta is shutting down VR social platform Horizon Worlds
7 hours ago (cnbc.com)
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain
3 days ago (michaelgeist.ca)
Lazycut: A simple terminal video trimmer using FFmpeg
2 days ago (github.com)
Reverse-engineering Viktor and making it open source
2 days ago (matijacniacki.com)
Meta’s renewed commitment to jemalloc
2 days ago (engineering.fb.com)
The “small web” is bigger than you might think
2 days ago (kevinboone.me)
UC Irvine researchers bring down AI powered drones with painted umbrellas
21 hours ago (arxiv.org)
Give Django your time and money, not your tokens
2 days ago (better-simple.com)
Corruption erodes social trust more in democracies than in autocracies
2 days ago (frontiersin.org)
The American Healthcare Conundrum
2 days ago (github.com)
Duranium: A More Reliable PostmarketOS
1 day ago (postmarketos.org)
GPT‑5.4 Mini and Nano
1 day ago (openai.com)
DarkSword: iOS Exploit Chain Adopted by Multiple Threat Actors
8 hours ago (cloud.google.com)