logoNewsNewestAskShowJobs Built with Nuxt3
< prev1/10 more >
  • 35In Praise of Idleness (1932) (harpers.org)
    by awanderingmind2 hours ago | 4 comments
  • 190A dumb introduction to z3 (asibahi.github.io)
    by kfl1 day ago | 9 comments
  • 13Normal-order syntax-rules and proving the fix-point of call/cc (okmij.org)
    by Bogdanp3 days ago | 0 comments
  • 306About the security content of iOS 15.8.5 and iPadOS 15.8.5 (support.apple.com)
    by jerlam8 hours ago | 23 comments
  • 65AMD Open Source Driver for Vulkan project is discontinued (github.com)
    by haunter8 hours ago | 4 comments
  • 628Waymo has received our pilot permit allowing for commercial operations at SFO (waymo.com)
    by ChrisArchitect15 hours ago | 38 comments
  • 43CubeSats are fascinating learning tools for space (jeffgeerling.com)
    by calcifer3 days ago | 2 comments
  • 13Tuberculosis shaped Victorian fashion (2016) (smithsonianmag.com)
    by franze2 days ago | 5 comments
  • 54I just want an 80×25 console, but that's no longer possible (changelog.complete.org)
    by teddyh4 hours ago | 20 comments
  • 241I built my own phone because innovation is sad rn [video] (youtube.com)
    by Timothee2 days ago | 13 comments
< prev1/10 more >