prev 1 / 10 more

• 36
  In Praise of Idleness (1932) (harpers.org)
  by awanderingmind2 hours ago 4 comments
• 191
  A dumb introduction to z3 (asibahi.github.io)
  by kfl1 day ago 9 comments
• 308
  About the security content of iOS 15.8.5 and iPadOS 15.8.5 (support.apple.com)
  by jerlam8 hours ago 23 comments
• 13
  Normal-order syntax-rules and proving the fix-point of call/cc (okmij.org)
  by Bogdanp3 days ago 0 comments
• 68
  AMD Open Source Driver for Vulkan project is discontinued (github.com)
  by haunter8 hours ago 4 comments
• 631
  Waymo has received our pilot permit allowing for commercial operations at SFO (waymo.com)
  by ChrisArchitect16 hours ago 38 comments
• 20
  Samsung 870 QVO 4TB SATA SSD-s: how are they doing after 4 years of use? (ounapuu.ee)
  by furkansahin2 days ago 1 comments
• 243
  I built my own phone because innovation is sad rn [video] (youtube.com)
  by Timothee2 days ago 13 comments
• 43
  CubeSats are fascinating learning tools for space (jeffgeerling.com)
  by calcifer3 days ago 2 comments
• 5
  Mixed Excitation Linear Predictive (MELP) Vocoders (melpe.org)
  by brudgers2 days ago 0 comments

prev 1 / 10 more