1. Spherical Cow (lib.rs)
    physicsmathematicshumor
    125 points by Natfan 1 day | 18 comments
  2. 62 years in the making: NYC's newest water tunnel nears the finish line (ny1.com)
    water tunnelsnew york city infrastructurenyc construction projects
    140 points by eatonphil 1 day | 99 comments
  3. Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
    natural language processingformal methodsartificial intelligence
    58 points by PaulHoule 1 day | 12 comments
  4. Public Domain Day 2026 (web.law.duke.edu)
    public domain daycopyright lawcreative commons
    120 points by rolph 2 days | 14 comments
  5. Testosterone administration reduces lying in men (2012) (pubmed.ncbi.nlm.nih.gov)
    6 points by rgrieselhuber about 5 hours | 4 comments
  6. If you care about security you might want to move the iPhone Camera app (blog.jgc.org)
    securityiphone camera appvulnerability
    51 points by jgrahamc 1 day | 38 comments
  7. Pre-commit hooks are broken (jyn.dev)
    commit hookspre-commitsoftware development
    206 points by todsacerdoti 3 days | 160 comments
  8. OrangePi 6 Plus Review (boilingsteam.com)
    arm64 single board computersorangepi 6 plus featureslow power computing devices
    200 points by ekianjo 2 days | 178 comments
  9. Shipping at Inference Speed (steipete.me)
    6 points by dvrp about 13 hours | discuss
  10. How uv got so fast (nesbitt.io)
    ultraviolet speedphoton technologyquantum leap
    1257 points by zdw 3 days | 457 comments
  11. Are We Ready to Be Governed by Artificial Intelligence? (www.merionwest.com)
    13 points by leephillips about 9 hours | 24 comments
  12. Kiorg v1.4.1 – A modern battery included file manager with Vim inspired keybind (github.com)
    file managersvim inspiredlinux
    16 points by todsacerdoti about 17 hours | 2 comments
  13. Fabrice Bellard Releases MicroQuickJS (github.com)
    javascriptmicroservicesquickjs
    1499 points by Aissen 6 days | 564 comments
  14. One year of keeping a tada list (www.ducktyped.org)
    270 points by egonschiele 7 days | 81 comments
  15. Father rescues abducted daughter by tracking her cell phone after kidnapping (nypost.com)
    abducted childrenparent kidnappingscell phone tracking
    24 points by smurda about 12 hours | 2 comments
  16. Time in C++: Inter-Clock Conversions, Epochs, and Durations (www.sandordargo.com)
    35 points by ibobev 4 days | 9 comments
  17. Is Reality Under a New Management? (helenofdestroy.substack.com)
    13 points by yubblegum about 8 hours | 1 comments
  18. Hungry Fat Cells Could Someday Starve Cancer (www.ucsf.edu)
    cancer researchfat cell metabolismtumor suppression
    162 points by mrtnmrtn 1 day | 50 comments
  19. Dolphin Progress Report: Release 2512 (dolphin-emu.org)
    game boy advance emulationretro gaming newsdolphin emulator update
    130 points by akyuu 1 day | 14 comments
  20. Researchers make "neuromorphic" artificial skin for robots (arstechnica.com)
    4 points by Bender about 4 hours | discuss
  21. Mruby: Ruby for Embedded Systems (github.com)
    141 points by nateb2022 8 days | 37 comments
  22. Next Five Asteroid Approaches (www.jpl.nasa.gov)
    4 points by gnabgib about 5 hours | discuss
  23. John Malone and the Invention of Liquid-Based Engines (permalink.lanl.gov)
    24 points by akshatjiwan 5 days | 3 comments
  24. Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize (github.com)
    211 points by bahaAbunojaim 6 days | 176 comments
  25. Clock synchronization is a nightmare (arpitbhayani.me)
    225 points by grep_it 6 days | 154 comments
  26. Sauron, home security startup, plucks CEO out of Sonos (techcrunch.com)
    13 points by ohjeez about 9 hours | 17 comments
  27. How we lost communication to entertainment (ploum.net)
    entertainment addictioncommunication skillstechnology overload
    681 points by 8organicbits 2 days | 390 comments
  28. Show HN: LoongArch Userspace Emulator (github.com)
    24 points by fwsgonzo 5 days | 9 comments
  29. All my Deutschlandtickets gone: Fraud at an industrial scale [video] (media.ccc.de)
    train ticket fraudgermanypublic transportation
    38 points by Kyro38 1 day | 9 comments
  30. LineageOS for QEMU Virtual Machines (github.com)
    12 points by boronine about 22 hours | 4 comments
More