< prev1 / 10 more >

• 17The foundations of a provably secure operating system (PSOS) (1979) [pdf] (csl.sri.com)
  by rurban48 minutes ago | 2 comments
• 329GenCAD (gencad.github.io)
  by dagenix12 hours ago | 23 comments
• 16Where Are the Vibecoded Photoshops? (indiepixel.de)
  by gizmo64k1 hour ago | 1 comments
• 86Crystals found inside wreckage from the first nuclear bomb test (scientificamerican.com)
  by jumploops2 days ago | 11 comments
• 96It is time to give up the dualism introduced by the debate on consciousness (noemamag.com)
  by ahalbert47 hours ago | 48 comments
• 34Multiple commencement speakers booed for AI comments during graduation speeches (nbcnews.com)
  by wrxd1 hour ago | 4 comments
• 372I turned a $80 RK3562 Android tablet into a Debian Linux workstation (github.com)
  by tech4bot21 hours ago | 27 comments
• 29Germany goes from labour shortages to hiring freezes (ft.com)
  by doener1 hour ago | 6 comments
• 152Ask an Astronaut: 333 hours of Q&A footage with astronauts (askanastronaut.issinrealtime.org)
  by gaws2 days ago | 11 comments
• 145Jank now has its own custom IR (jank-lang.org)
  by DASD2 days ago | 5 comments

< prev1 / 10 more >