prev 1 / 10 more

• 212
  Sick of smart TVs? Here are your best options (arstechnica.com)
  by fleahunter17 hours ago 39 comments
• 39
  So What Should We Call This – A Grue Jay? (cns.utexas.edu)
  by surprisetalk5 days ago 10 comments
• 68
  50 years of proof assistants (lawrencecpaulson.github.io)
  by baruchel7 hours ago 5 comments
• 99
  Show HN: I made a spreadsheet where formulas also update backwards (victorpoughon.github.io)
  by fouronnes31 day ago 25 comments
• 100
  Ensuring a National Policy Framework for Artificial Intelligence (whitehouse.gov)
  by andsoitis1 day ago 24 comments
• 58
  Freeing a Xiaomi humidifier from the cloud (0l.de)
  by stv0g1 day ago 3 comments
• 14
  Slax: Live Pocket Linux (slax.org)
  by Ulf9504 days ago 2 comments
• 10
  The Coming Need for Formal Specification (benjamincongdon.me)
  by todsacerdoti3 hours ago 4 comments
• 36
  The Checkerboard (99percentinvisible.org)
  by thread_id5 hours ago 3 comments
• 50
  Go is portable, until it isn't (simpleobservability.com)
  by khazit5 days ago 10 comments

prev 1 / 10 more