< prev1 / 10 more >

• 135Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
  by matt_d10 hours ago | 13 comments
• 328A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com)
  by phoenix12015 hours ago | 25 comments
• 55Activation Energy is a good model for a lot of things (homosabiens.substack.com)
  by surprisetalk4 days ago | 7 comments
• 52λλ: A Programming Language for Silicon Photonics (dl.acm.org)
  by matt_d7 hours ago | 3 comments
• 399How does IKEA come up with names for its products? (ikea.com)
  by NaOH19 hours ago | 58 comments
• 129The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)
  by flaburgan5 hours ago | 20 comments
• 161Solo – a .so loader for static Linux binaries (github.com)
  by zX41ZdbW13 hours ago | 16 comments
• 10Win-V combo from Windows on Ubuntu (leo98ml.github.io)
  by havaianaslife6 days ago | 9 comments
• 239A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
  by theanonymousone3 days ago | 10 comments
• 250Finger: the 1971 social network that never died (en.andros.dev)
  by andros1 day ago | 30 comments

< prev1 / 10 more >