< prev1/10 more >

• 50SpecForge – A Platform for Authoring Formal Specifications (docs.imiron.io)
  by agnishom4 hours ago | 2 comments
• 15Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem (claire-blackshaw.com)
  by ibobev1 hour ago | 0 comments
• 307User Interfaces of the Demo Scene (datagubbe.se)
  by zdw10 hours ago | 28 comments
• 20A Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT) (jcgt.org)
  by ibobev2 hours ago | 2 comments
• 156SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)
  by ankitg127 hours ago | 14 comments
• 14Hunter-gatherers introduced fish to a mountain lake 7000 years ago (newscientist.com)
  by stevenwoo2 days ago | 5 comments
• 74Lisp moving Forth moving Lisp (letoverlambda.com)
  by fallat2 days ago | 3 comments
• 557Codex Security (github.com)
  by bakigul17 hours ago | 52 comments
• 187French musician Kavinsky found dead (euronews.com)
  by bristleworm2 hours ago | 15 comments
• 20ALP: Adaptive lossless floating-point compression (github.com)
  by fanf23 days ago | 0 comments

< prev1/10 more >