• news
  • newest
  • ask
  • show
  • jobs
  1. 771

    Leanstral: Open-source agent for trustworthy coding and formal proof engineering

    2 days agoPoudlardo188 comments
  2. 16

    Nvidia's Always-On Chip Detects Faces in Less Than a Millisecond

    5 hours ago01-_-1 comment
  3. 91

    Toward automated verification of unreviewed AI-generated code

    2 days agopeterlavigne84 comments
  4. 300

    Ryugu asteroid samples contain all DNA and RNA building blocks

    a day agobookofjoe163 comments
  5. 216

    Beyond has dropped “meat” from its name and expanded its high-protein drink line

    2 days agormason569 comments
  6. 51

    Launch an autonomous AI agent with sandboxed execution in 2 lines of code

    a day agowiseprobe17 comments
  7. 260

    Java 26 is here

    a day agomfiguiere285 comments
  8. 44

    Robotocore · a Digital Twin of AWS

    21 hours agopkaeding8 comments
  9. 75

    Show HN: Horizon – GPU-accelerated infinite-canvas terminal in Rust

    a day agopetersunde31 comments
  10. 557

    Every layer of review makes you 10x slower

    2 days agogreyface-310 comments
  11. 325

    Show HN: Claude Code skills that build complete Godot games

    2 days agohtdt197 comments
  12. 3

    Igbo-Ora, the scientific enigma of the 'twin capital of the world'

    3 hours agobookofjoe0 comments
  13. 17

    Aggregated File System (AGFS), a modern tribute to the spirit of Plan 9

    4 days agongaut10 comments
  14. 8

    WFP projects food insecurity could reach record levels

    5 hours agosaikatsg1 comment
  15. 235

    Meta Horizon Worlds on Meta Quest is being discontinued

    a day agopar257 comments
  16. 321

    Meta and TikTok let harmful content rise to drove engagement, say whistleblowers

    a day ago1vuio0pswjnm7192 comments
  17. 284

    Illinois Introducing Operating System Account Age Bill

    a day agoterminalbraid428 comments
  18. 11

    Meta is shutting down VR social platform Horizon Worlds

    7 hours agogscott0 comments
  19. 1001

    Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain

    3 days agoopengrass331 comments
  20. 221

    Lazycut: A simple terminal video trimmer using FFmpeg

    2 days agomasterpos65 comments
  21. 180

    Reverse-engineering Viktor and making it open source

    2 days agozggf81 comments
  22. 511

    Meta’s renewed commitment to jemalloc

    2 days agohahahacorn239 comments
  23. 543

    The “small web” is bigger than you might think

    2 days agospeckx227 comments
  24. 21

    UC Irvine researchers bring down AI powered drones with painted umbrellas

    21 hours agojcalvinowens7 comments
  25. 432

    Give Django your time and money, not your tokens

    2 days agodcreager168 comments
  26. 736

    Corruption erodes social trust more in democracies than in autocracies

    2 days agoPaulHoule386 comments
  27. 517

    The American Healthcare Conundrum

    2 days agorexroad631 comments
  28. 19

    Duranium: A More Reliable PostmarketOS

    a day agonikodunk4 comments
  29. 242

    GPT‑5.4 Mini and Nano

    a day agomeetpateltech144 comments
  30. 11

    DarkSword: iOS Exploit Chain Adopted by Multiple Threat Actors

    8 hours agoskilled1 comment
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10