1. Help My c64 caught on fire (c0de517e.com)
    commodore 64 fire hazardvintage computer safetyretro gaming emergency
    118 points by ibobev 2 days | 40 comments
  2. Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4 (abhamra.com)
    62 points by todsacerdoti 5 days | 3 comments
  3. Claude Code changed my life (spader.zone)
    5 points by dboon about 11 hours | 2 comments
  4. Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com)
    27 points by litexlang 6 days | 7 comments
  5. We replaced H.264 streaming with JPEG screenshots (and it worked better) (blog.helix.ml)
    streamingvideo compressiontechnology improvements
    513 points by quesobob 2 days | 313 comments
  6. Flock Exposed Its AI-Powered Cameras to the Internet. We Tracked Ourselves (www.404media.co)
    home securityai-powered camerasinternet hacking
    809 points by chaps 3 days | 470 comments
  7. Show HN: Microsoft Agent Viewer (acs-viewer.pages.dev)
    8 points by ellg about 19 hours | discuss
  8. Show HN: CineCLI – Browse and torrent movies directly from your terminal (github.com)
    movie torrentsterminal appcinecli
    337 points by samsep10l 3 days | 106 comments
  9. Fabrication Techniques Using Myco-Materials (encyclopedia.pub)
    20 points by andsoitis 4 days | 4 comments
  10. Could lockfiles just be SBOMs? (nesbitt.io)
    lockfilessoftware bill of materialspackage management
    72 points by zdw 2 days | 57 comments
  11. Nabokov's guide to foreigners learning Russian (twitter.com)
    russian language learningforeigner's guide to russianvladimir nabokov
    218 points by flaxxen 2 days | 459 comments
  12. Show HN: Turn raw HTML into production-ready images for free (html2png.dev)
    html image generationweb design toolsfree conversion
    143 points by alvinunreal 2 days | 80 comments
  13. I rebuilt FlashAttention in Triton to understand the performance archaeology (aminediro.com)
    90 points by amindiro 4 days | 17 comments
  14. How did DOGE disrupt so much while saving so little? (www.nytimes.com)
    dogecoincryptocurrencyblockchain
    309 points by JumpCrisscross 2 days | 190 comments
  15. Fixing HN comments with breadth-first navigation (pratik.is)
    hn commentsbreadth-first navigationalgorithmic problem solving
    22 points by news_hacker 1 day | 4 comments
  16. Donald E. Knuth and Peter van Emde Boas on priority deques (1977) [pdf] (staff.fnwi.uva.nl)
    data structurespriority queuescomputer science
    62 points by vismit2000 2 days | 5 comments
  17. Lua 5.5 (lua.org)
    programming languagescriptingsoftware development
    385 points by km 3 days | 130 comments
  18. Instant database clones with PostgreSQL 18 (boringsql.com)
    postgresqldatabase cloningsql
    428 points by radimm 3 days | 161 comments
  19. Debian adds LoongArch as officially supported architecture (lists.debian.org)
    linuxopen sourcedebian
    156 points by cbmuser 6 days | 48 comments
  20. Show HN: LazyPromise = Observable – Signals (github.com)
    33 points by ivan7237d 7 days | 6 comments
  21. Carnap – A formal logic framework for Haskell (carnap.io)
    formal logichaskell programming languagemathematical reasoning
    110 points by ravenical 2 days | 20 comments
  22. How GNU Guile is 10x better (2021) (www.draketo.de)
    scheme programminggnu guileprogramming languages
    100 points by Tomte 4 days | 12 comments
  23. Towards a secure peer-to-peer app platform for Clan (clan.lol)
    securitypeer-to-peer appsblockchain
    92 points by throawayonthe 2 days | 26 comments
  24. Datafun – functional language that generalizes Datalog (www.rntz.net)
    7 points by todsacerdoti about 21 hours | discuss
  25. Rack makes Pion SCTP 71% faster with 27% less latency (pion.ly)
    server optimizationnetwork performancecloud computing
    20 points by mosura 1 day | 4 comments
  26. Silicon Valley's tone-deaf take on the AI backlash will matter in 2026 (fortune.com)
    ai backlashsilicon valley technologyartificial intelligence
    71 points by howToTestFE about 21 hours | 23 comments
  27. Researchers achieved 1,270 Wh/L in an anode-free lithium metal battery (postech.ac.kr)
    lithium metal batteriesanode-free batteriesenergy density
    111 points by giuliomagnifico 1 day | 54 comments
  28. 'Dracula's Chivito': Hubble reveals largest birthplace of planets ever observed (phys.org)
    star formationplanetary sciencegalaxy evolution
    75 points by wglb 2 days | 13 comments
  29. Font with Built-In Syntax Highlighting (2024) (blog.glyphdrawing.club)
    font syntax highlightingprogramming font
    151 points by california-og 2 days | 36 comments
  30. Local AI is driving the biggest change in laptops in decades (spectrum.ieee.org)
    large language modelslaptop evolutionai integration
    248 points by barqawiz 3 days | 252 comments
More