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