< prev1 / 10 more >

• 36Why is it worth spending time on type theory? (2013) (math.stackexchange.com)
  by mindcrime2 days ago | 5 comments
• 43Gleam v1.12.0 Released (github.com)
  by Alupis1 hour ago | 1 comments
• 111303Gen – 303 acid loops generator (303-gen-06a668.netlify.app)
  by ankitg126 hours ago | 20 comments
• 43Show HN: Sinkzone DNS – Forwarder that blocks everything except your allowlist (github.com)
  by dominis3 hours ago | 13 comments
• 56We shouldn't have needed lockfiles (tonsky.me)
  by tobr3 hours ago | 41 comments
• 55The 1090 Megahertz Riddle: A Guide to Decoding Mode S and ADS-B Signals (open.tudelft.nl)
  by toomuchtodo3 days ago | 5 comments
• 35Congress Just Deleted Habeas Corpus from the Constitution on Its Website (abovethelaw.com)
  by akudha22 minutes ago | 2 comments
• 94About the BLOBs in Ventoy (github.com)
  by turrini8 hours ago | 7 comments
• 122Qwen3-4B-Thinking-2507 (huggingface.co)
  by IdealeZahlen3 hours ago | 8 comments
• 47The Origin of Cisco Systems (tcracs.org)
  by thunderbong2 days ago | 4 comments

< prev1 / 10 more >