< prev 6 / 10 more >

• 18Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com)
  by litexlang5 days ago | 2 comments
• 18Fabrication Techniques Using Myco-Materials (encyclopedia.pub)
  by andsoitis3 days ago | 3 comments
• 76Beijing is enforcing tough rules to ensure chatbots don’t misbehave (wsj.com)
  by bookofjoe8 hours ago | 7 comments
• 92Permission Systems for Enterprise That Scale (eliocapella.com)
  by eliocs18 hours ago | 8 comments
• 25Spice: A 40-year old open-source success story (2011) (edn.com)
  by stmw11 hours ago | 1 comments
• 101Researchers achieved 1,270 Wh/L in an anode-free lithium metal battery (postech.ac.kr)
  by giuliomagnifico10 hours ago | 7 comments
• 159AMD entered the CPU market with reverse-engineered Intel 8080 clone 50 years ago (tomshardware.com)
  by ksec14 hours ago | 11 comments
• 38The IPv4 address swamp: The new normal (blog.apnic.net)
  by speckx1 day ago | 3 comments
• 21Confessions to a Data Lake (confer.to)
  by kkl1 day ago | 4 comments
• 42Scaling Go Testing with Contract and Scenario Mocks (funnelstory.ai)
  by preetamjinka6 days ago | 7 comments

< prev 6 / 10 more >