< prev1 / 10 more >

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

< prev1 / 10 more >