1. Icons in Menus Everywhere – Send Help (blog.jim-nielsen.com)
    menu designuser experienceiconography
    825 points by ArmageddonIt 3 days | 329 comments
  2. The Z3 Theorem Prover (github.com)
    formal verificationtheorem provingartificial intelligence
    33 points by benoitg 1 day | 2 comments
  3. Constructing the Word's First JPEG XL MD5 Hash Quine (stackchk.fail)
    128 points by luispa 10 days | 22 comments
  4. Rust in the kernel is no longer experimental (lwn.net)
    kernelrustexperiment
    944 points by rascul 1 day | 769 comments
  5. Donating the Model Context Protocol and establishing the Agentic AI Foundation (www.anthropic.com)
    ai foundationartificial intelligencemachine learning
    286 points by meetpateltech 2 days | 132 comments
  6. 10 Years of Let's Encrypt (letsencrypt.org)
    certificationssl/tlsencryption
    801 points by SGran 2 days | 339 comments
  7. My First Language Front End with LLVM Tutorial (llvm.org)
    15 points by hybridtupel 1 day | discuss
  8. Show HN: I built a system for active note-taking in regular meetings like 1-1s (withdocket.com)
    meeting notesactive takingproductivity
    171 points by davnicwil 3 days | 130 comments
  9. Federal Reserve cuts rates to 3-year low after fractious meeting (www.ft.com)
    6 points by kaycebasques about 2 hours | 1 comments
  10. Using extended attributes to tag files (alexlance.blog)
    4 points by alance about 13 hours | 2 comments
  11. Operando interlayer expansion of curved graphene for dense supercapacitors (www.nature.com)
    32 points by westurner 7 days | 3 comments
  12. Bad Dye Job (daringfireball.net)
    dyeing hairbeauty mistakeshaircare failures
    254 points by mpweiher 3 days | 121 comments
  13. Epsilon: A WASM virtual machine written in Go (github.com)
    150 points by ziggy42 11 days | 41 comments
  14. The ultra-rich are claiming an increasing share of global wealth (www.lemonde.fr)
    income inequalitywealth gapglobal economy
    68 points by geox about 17 hours | 59 comments
  15. Unrolling Loops (xania.org)
    15 points by brewmarche 1 day | discuss
  16. Proton now has an end-to-end encrypted spreadsheet app (www.theverge.com)
    9 points by austinallegro about 6 hours | discuss
  17. Launch HN: Mentat (YC F24) – Controlling LLMs with Runtime Intervention
    language modelsmachine learningnatural language processing
    52 points by cgorlla 2 days | 34 comments
  18. Data Infrastructure for All: Free Kafka and $5 PostgreSQL (aiven.io)
    kafkadata infrastructureopen source databases
    30 points by alanfranz 1 day | 2 comments
  19. Malaysia uncovers $1B in power theft losses from illegal crypto mining (www.theblock.co)
    power theftcryptocurrency miningenergy losses
    28 points by walterbell about 15 hours | discuss
  20. Show HN: Fanfa – Interactive and animated Mermaid diagrams (fanfa.dev)
    151 points by bairess 7 days | 33 comments
  21. So you want to speak at software conferences? (dylanbeattie.net)
    conference speakingsoftware conference presentationspublic speaking tips
    235 points by speckx 2 days | 127 comments
  22. China Vows to Stabilize Property Market as Crisis Deepens (www.bloomberg.com)
    5 points by toomuchtodo about 1 hour | 1 comments
  23. 30 Year Anniversary of WarCraft II: Tides of Darkness (www.jorsys.org)
    warcraft iitides of darknessretro gaming
    267 points by sjoblomj 2 days | 196 comments
  24. A supersonic engine core makes the perfect power turbine (boomsupersonic.com)
    artificial intelligencesupersonic technologypower grid
    171 points by simonebrunozzi 2 days | 284 comments
  25. We Need to Die (willllliam.com)
    deathmortalityexistentialism
    103 points by ericzawo 2 days | 174 comments
  26. Flow: Actor-based language for C++, used by FoundationDB (github.com)
    actor-based programmingfoundationdbc++
    188 points by SchwKatze 3 days | 53 comments
  27. After NPR and PBS defunding, FCC receives call to take away station licenses (arstechnica.com)
    nprpbsfcc
    57 points by Bender about 19 hours | 4 comments
  28. Italy's longest-serving barista reflects on six decades behind the counter (www.reuters.com)
    284 points by NaOH 7 days | 168 comments
  29. OpenEvolve: Teaching LLMs to Discover Algorithms Through Evolution (algorithmicsuperintelligence.ai)
    artificial intelligencemachine learningalgorithm discovery
    53 points by codelion 1 day | 9 comments
  30. Glyphosate safety article retracted 8 years after Monsanto ghostwriting revealed (retractionwatch.com)
    monsantoglyphosatescientific integrity
    63 points by robtherobber about 23 hours | 2 comments
More