2026-W21 › 🔗 › 2026-05-21 [2026-05-21]
✍️source

  • May 18, 2026
 
- #fediverse
    - Open Source P2P Network for Social Apps
    - rocksky.app/rocksky
    - Discover European products and services
- #forge #idea
    - Before GitHub
- #forge #jj
    - ejoffe/spr: Stacked Pull Requests on GitHub
- #formal #lean
    - Using algebra and LLMs to verify a flight-plan bug fix in Lean
- #gpu
    - alternbits/awesome-cuda-books: A curated list of best cuda programming books
- #gpu #disect
    - Designing a Scientific Calculator from scratch in FPGA
- #idea
    - Don't answer the first question
    - Holiday Smorgasbord
- #lang
    - XS
- #math
    - Doron Zeilberger's 82nd Opinion