< prev1 / 10 more >

• 20Normal-order syntax-rules and proving the fix-point of call/cc (okmij.org)
  by Bogdanp3 days ago | 0 comments
• 4Why We're Building Stategraph: Terraform State as a Distributed Systems Problem (stategraph.dev)
  by lawnchair57 minutes ago | 0 comments
• 74I got the highest score on ARC-AGI again swapping Python for English (jeremyberman.substack.com)
  by freediver7 hours ago | 9 comments
• 45In Praise of Idleness (1932) (harpers.org)
  by awanderingmind3 hours ago | 5 comments
• 200A dumb introduction to z3 (asibahi.github.io)
  by kfl1 day ago | 10 comments
• 30Samsung 870 QVO 4TB SATA SSD-s: how are they doing after 4 years of use? (ounapuu.ee)
  by furkansahin2 days ago | 2 comments
• 79AMD Open Source Driver for Vulkan project is discontinued (github.com)
  by haunter9 hours ago | 4 comments
• 311About the security content of iOS 15.8.5 and iPadOS 15.8.5 (support.apple.com)
  by jerlam9 hours ago | 23 comments
• 20Tuberculosis shaped Victorian fashion (2016) (smithsonianmag.com)
  by franze2 days ago | 6 comments
• 637Waymo has received our pilot permit allowing for commercial operations at SFO (waymo.com)
  by ChrisArchitect16 hours ago | 38 comments

< prev1 / 10 more >