< prev 12 / 12more >

• 2Composing TLA+ Specifications with State Machines (hillelwayne.com)
  by Jimmc4143 hours ago | 0 comments
• 2Constructing a lower-bound estimate of the global number of insect species (pnas.org)
  by rdmuser4 hours ago | 0 comments
• 3The Wisdom of Holden Caulfield (theatlantic.com)
  by petethomas4 hours ago | 0 comments
• 2Create Your Language (conlang.app)
  by natbennett4 hours ago | 1 comments
• 3Your Idea Is Brilliant, Your Idea Is Worthless (KS Lesson #204) (2016) (stonemaiergames.com)
  by downbad_4 hours ago | 0 comments
• 4U7in-32tb.224xlarge (instances.vantage.sh)
  by handfuloflight4 hours ago | 0 comments
• 9Disney accuses US media regulator of trying 'to sit in the editor's chair' (ft.com)
  by petethomas4 hours ago | 0 comments
• 4Qualcomm acquires Nexa AI, open-sources GenAI runtime for Hexagon NPUs (github.com)
  by BUFU4 hours ago | 1 comments
• 4Chorus: A fast WAL for object storage (rockwotj.com)
  by cbrewster4 hours ago | 1 comments
• 12Google Earth Pro Desktop downloads will be unavailable starting June 2027 (support.google.com)
  by KomoD4 hours ago | 0 comments

< prev 12 / 12more >