logoNewsNewestAskShowJobs Open on GitHub
< 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 >