< prev 4 / 10 more >

• 41Noctua Fan Swap on a Calnex Rb/GPS Frequency Reference (jeffgeerling.com)
  by aray072 days ago | 11 comments
• 189AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media)
  by datascientist2 days ago | 16 comments
• 51Show HN: Ghostman – A fast, keyboard-driven TUI API client and webhook inspector (github.com)
  by 4yk51 day ago | 13 comments
• 44Show HN: A USB-C LTE modem that gives my computer a phone line (github.com)
  by abijahkaj9 hours ago | 7 comments
• 209Casio Watches of the 1980s (casio.com)
  by karagenit9 hours ago | 38 comments
• 155GPT-5.6 Sol can beat Factorio on peaceful mode (ryanmadden.net)
  by ryanmadden6 hours ago | 25 comments
• 16Electrification Could Cut Global Energy Use in Half (fullycharged.show)
  by toomuchtodo5 hours ago | 2 comments
• 181Show HN: Marelleo, an open-source story box I built for my kids using ESP32 (zebra.rodeo)
  by foOg4 days ago | 28 comments
• 47I post trained a model on Demoscenes (datavorous.com)
  by datavorous_6 hours ago | 19 comments
• 230Malware uses LLMs to rank victims by how much they're worth (blog.talosintelligence.com)
  by khalidkhair10 hours ago | 20 comments

< prev 4 / 10 more >