- 58Designing Predictable LLM-Verifier Systems for Formal Method Guarantee(arxiv.org)
by PaulHoule a day ago | 12 comments - 13Is Reality Under a New Management?(helenofdestroy.substack.com)
by yubblegum 7 hours ago | 1 comments - 120Public Domain Day 2026(web.law.duke.edu)
by rolph 2 days ago | 14 comments - 51If you care about security you might want to move the iPhone Camera app(blog.jgc.org)
by jgrahamc a day ago | 38 comments - 4Next Five Asteroid Approaches(jpl.nasa.gov)
by gnabgib 4 hours ago | discuss - 24Father rescues abducted daughter by tracking her cell phone after kidnapping(nypost.com)
by smurda 11 hours ago | 2 comments - 206Pre-commit hooks are broken(jyn.dev)
by todsacerdoti 3 days ago | 156 comments - 200OrangePi 6 Plus Review(boilingsteam.com)
by ekianjo 2 days ago | 178 comments - 1257How uv got so fast(nesbitt.io)
by zdw 3 days ago | 457 comments - 35Time in C++: Inter-Clock Conversions, Epochs, and Durations(sandordargo.com)
by ibobev 4 days ago | 9 comments - 269One year of keeping a tada list(ducktyped.org)
by egonschiele 7 days ago | 81 comments - 1499Fabrice Bellard Releases MicroQuickJS(github.com)
by Aissen 6 days ago | 564 comments - 129Dolphin Progress Report: Release 2512(dolphin-emu.org)
by akyuu a day ago | 14 comments - 162Hungry Fat Cells Could Someday Starve Cancer(ucsf.edu)
by mrtnmrtn 2 days ago | 50 comments - 13Sauron, home security startup, plucks CEO out of Sonos(techcrunch.com)
by ohjeez 8 hours ago | 17 comments - 24John Malone and the Invention of Liquid-Based Engines(permalink.lanl.gov)
by akshatjiwan 5 days ago | 3 comments - 141Mruby: Ruby for Embedded Systems(github.com)
by nateb2022 8 days ago | 37 comments - 12Musk, Bezos, and Zuckerberg Are Full of Shit (Literally) in New Art Exhibit(gizmodo.com)
by gnabgib 7 hours ago | discuss - 211Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize(github.com)
by bahaAbunojaim 6 days ago | 176 comments - 4Factory farming in Africa: development banks like it, but it's bad for climate(theconversation.com)
by PaulHoule 6 hours ago | 1 comments - 225Clock synchronization is a nightmare(arpitbhayani.me)
by grep_it 6 days ago | 154 comments - 192LLMs Are Not Fun(orib.dev)
by todsacerdoti 4 hours ago | 164 comments - 12LineageOS for QEMU Virtual Machines(github.com)
by boronine 21 hours ago | 4 comments - 24Show HN: LoongArch Userspace Emulator(github.com)
by fwsgonzo 5 days ago | 9 comments - 38All my Deutschlandtickets gone: Fraud at an industrial scale [video](media.ccc.de)
by Kyro38 a day ago | 9 comments - 680How we lost communication to entertainment(ploum.net)
by 8organicbits 2 days ago | 390 comments - 795Growing up in “404 Not Found”: China's nuclear city in the Gobi Desert(substack.com)
by Vincent_Yan404 2 days ago | 362 comments - 306Janet Jackson had the power to crash laptop computers (2022)(devblogs.microsoft.com)
by montalbano 2 days ago | 124 comments - 17Oral History of Richard Greenblatt (2005) [pdf](archive.computerhistory.org)
by 0xpgm 4 days ago | discuss - 31Vibration Isolation of Precision Objects (2005) [pdf](sandv.com)
by nill0 8 days ago | 4 comments