1. 65
    Programming Isn’t Special blog.glyph.im
    via hugoarnal
    caches
    36 comments
  2. 31
    A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda blueberrywren.dev
    authored by blueberrywren
    caches
    6 comments
  3. 31
    Why Are Coding Agents So Dumb? mtlynch.io
    authored by mtlynch
    caches
    14 comments
  4. 35
    Python 3.15.0 python.org
    via kaycebasques
    caches
    1 comment
  5. 37
    Unison Cloud is now open source unison-lang.org
    via bontaq
    caches
    2 comments
  6. 30
    Cloudflare shutting down Deno is news, not just PR ☶
    authored by conartist6 7 comments
  7. 17
    There are many themes, but this one is yours earendil.com
    authored by mitsuhiko
    caches
    5 comments
  8. 8
    No Man Is an Island borretti.me
    via facundoolano
    caches
    no comments
  9. 6
    Lifeguard: A static analyzer for Python lazy imports compatibility github.com/facebook
    authored by zem
    caches
    no comments
  10. 14
    Branches in branch-free code 00f.net
    via rrampage
    caches
    no comments
  11. 11
    Deepthi Sigireddi from Supabase theconsensus.dev
    authored by eatonphil
    caches
    1 comment
  12. 12
    What are you doing this weekend? ☶
    authored by caius 27 comments
  13. 14
    "Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot robotgirlgang.com
    via icefox
    caches
    4 comments
  14. 12
    Vectorized CLZ and CTZ purplesyringa.moe
    via fanf
    caches
    no comments
  15. 14
    A minimal kernel in Swift, running in QEMU carette.xyz
    via hashemi
    caches
    1 comment
  16. 60
    Bevy 0.20 bevy.org
    via BD103
    caches
    2 comments
  17. 11
    Spinlocks Considered Harmful (2020) matklad.github.io
    via Qyriad
    caches
    1 comment
  18. 7
    Equality Saturation: An “Incomplete” Project blog.sigplan.org
    via dbremner
    caches
    no comments
  19. 12
    HIP and ROCm as first-class citizens in Guix hpc.guix.info
    via untrusem
    caches
    no comments
  20. 71
    The Missing Piece in Rust Error Handling mcmah309.github.io
    via snej
    caches
    23 comments
  21. 35
    64-Day Certificate Lifetimes Coming Feb 2027 letsencrypt.org
    via fanf
    caches
    20 comments
  22. 7
    The importance of communities around software lumi.codeberg.page
    via stilic
    caches
    no comments
  23. 92
    The people holding up the internet sheets.works
    via eaj
    caches
    27 comments
  24. 3
    A Practical Guide to “Plug&Pwn” for Pentesters and Defenders blog.scrt.ch
    via 7tehdt3cnw6kir6o
    caches
    no comments
  25. 55
    Ending the Casuarina Linux Experiment casuarina.org
    via FedericoSchonborn
    caches
    5 comments