< prev 7 / 10 more >

• 17Structural Correctness (blog.sao.dev)
  by stuartaxelowen1 day ago | 0 comments
• 74Google's New reCAPTCHA Wants Your Camera Access and 21 Points of Your Hand (reclaimthenet.org)
  by Cider99861 day ago | 19 comments
• 54Counterexamples in type systems (2021) (counterexamples.org)
  by bramadityaw1 day ago | 3 comments
• 91I'm building a Space Cadet Pinball Machine! [video] (youtube.com)
  by skibz4 days ago | 6 comments
• 204Linux for the Sega MegaDrive (github.com)
  by HardwareLust1 day ago | 13 comments
• 75Antares achieves criticality of Mark-0 reactor (antaresindustries.com)
  by clarionbell1 day ago | 10 comments
• 10Show HN: C++, Java and C# light-weight-logger (github.com)
  by PenguineDavid20 hours ago | 0 comments
• 76Mathematics: Its Content, Methods and Meaning (old.maa.org)
  by teleforce4 days ago | 11 comments
• 274LongCat-2.0, a large-scale MoE model with 1.6T total and 48B Active (longcat.chat)
  by benjiro291 day ago | 21 comments
• 7Anthropic says US lifts export ban on Fable 5 (bbc.com)
  by tobr5 hours ago | 1 comments

< prev 7 / 10 more >