new | ask | show | jobs
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
771 points by Poudlardo 2 days ago | 188 comments
Nvidia's Always-On Chip Detects Faces in Less Than a Millisecond
16 points by 01-_- 5 hours ago | 1 comments
Toward automated verification of unreviewed AI-generated code
91 points by peterlavigne 2 days ago | 84 comments
Ryugu asteroid samples contain all DNA and RNA building blocks
300 points by bookofjoe a day ago | 163 comments
Beyond has dropped “meat” from its name and expanded its high-protein drink line
216 points by rmason 2 days ago | 569 comments
Launch an autonomous AI agent with sandboxed execution in 2 lines of code
51 points by wiseprobe a day ago | 17 comments
Java 26 is here
260 points by mfiguiere a day ago | 285 comments
Robotocore · a Digital Twin of AWS
44 points by pkaeding 21 hours ago | 8 comments
Show HN: Horizon – GPU-accelerated infinite-canvas terminal in Rust
75 points by petersunde a day ago | 31 comments
Every layer of review makes you 10x slower
557 points by greyface- 2 days ago | 310 comments
Show HN: Claude Code skills that build complete Godot games
325 points by htdt 2 days ago | 197 comments
Igbo-Ora, the scientific enigma of the 'twin capital of the world'
3 points by bookofjoe 3 hours ago | 0 comments
Aggregated File System (AGFS), a modern tribute to the spirit of Plan 9
17 points by ngaut 4 days ago | 10 comments
WFP projects food insecurity could reach record levels
8 points by saikatsg 5 hours ago | 1 comments
Meta Horizon Worlds on Meta Quest is being discontinued
235 points by par a day ago | 257 comments
Meta and TikTok let harmful content rise to drove engagement, say whistleblowers
321 points by 1vuio0pswjnm7 a day ago | 192 comments
Illinois Introducing Operating System Account Age Bill
284 points by terminalbraid a day ago | 428 comments
Meta is shutting down VR social platform Horizon Worlds
11 points by gscott 7 hours ago | 0 comments
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain
1001 points by opengrass 3 days ago | 331 comments
Lazycut: A simple terminal video trimmer using FFmpeg
221 points by masterpos 2 days ago | 65 comments
Reverse-engineering Viktor and making it open source
180 points by zggf 2 days ago | 81 comments
Meta’s renewed commitment to jemalloc
511 points by hahahacorn 2 days ago | 239 comments
The “small web” is bigger than you might think
543 points by speckx 2 days ago | 227 comments
UC Irvine researchers bring down AI powered drones with painted umbrellas
21 points by jcalvinowens 21 hours ago | 7 comments
Give Django your time and money, not your tokens
432 points by dcreager 2 days ago | 168 comments
Corruption erodes social trust more in democracies than in autocracies
736 points by PaulHoule 2 days ago | 386 comments
The American Healthcare Conundrum
517 points by rexroad 2 days ago | 631 comments
Duranium: A More Reliable PostmarketOS
19 points by nikodunk a day ago | 4 comments
GPT‑5.4 Mini and Nano
242 points by meetpateltech a day ago | 144 comments
DarkSword: iOS Exploit Chain Adopted by Multiple Threat Actors
11 points by skilled 8 hours ago | 1 comments