< prev1 / 10 more >

• 9C*: Unifying Programming and Verification in C (arxiv.org)
  by rramadass36 minutes ago | 2 comments
• 19Disappointed Optimists (cwodtke.com)
  by adrianhoward1 hour ago | 1 comments
• 138DHS 'Predictive Policing' Unit Is Analyzing Americans' Financial Habits (404media.co)
  by abraham1 hour ago | 18 comments
• 116Paramount Caught Using 'Astroturf' Group to Drum Up Fake Support for Merger (techdirt.com)
  by hn_acker1 hour ago | 8 comments
• 353Among European Companies That Use a CDN, Nearly 9 in 10 Use Cloudflare (ciphercue.com)
  by adulion7 hours ago | 57 comments
• 20AlphaGenome Atlas predictive map of every DNA letter change in the human genome (deepmind.google)
  by fady02 hours ago | 2 comments
• 175Antiquated HTML Snippets and Artefacts (vale.rocks)
  by patadune6 hours ago | 24 comments
• 40US police fear Meta smart glasses could be used to secretly record them (theguardian.com)
  by bookofjoe53 minutes ago | 16 comments
• 12Reverse engineering the 2008 LogiCola, a logic drill program (logicola.org)
  by kotk1 hour ago | 0 comments
• 41Extracting Steering Vectors from J space (darshanmakwana412.github.io)
  by martianvoid2 days ago | 3 comments

< prev1 / 10 more >