prev 1 / 10 more

• 24
  Fermat's Last Theorem in Lean – Imperial College London (github.com)
  by anonyonoor2 days ago 3 comments
• 235
  The Art of Multiprocessor Programming 2nd Edition Book Club (eatonphil.com)
  by eatonphil12 hours ago 11 comments
• 36
  Mezzano, an operating system written in Common Lisp (github.com)
  by dargscisyhp3 days ago 1 comments
• 90
  At a Loss for Words: A flawed idea is teaching kids to be poor readers (2019) (apmreports.org)
  by Akronymus13 hours ago 23 comments
• 131
  Browser extension and local backend that automatically archives YouTube videos (github.com)
  by fcpguru10 hours ago 17 comments
• 8
  LangExtract: Python library for extracting structured data from language models (github.com)
  by simonpure3 days ago 0 comments
• 28
  Show HN: NaturalCron – Human-Readable Scheduling for .NET (With Fluent Builder) (github.com)
  by hugoj0s312 hours ago 3 comments
• 14
  Speed up suspend/resume for FreeBSD (eugene-andrienko.com)
  by speckx2 days ago 1 comments
• 70
  The Big Oops in type systems: This problem extends to FP as well (danieltan.weblog.lol)
  by ksymph2 days ago 13 comments
• 198
  Compressing Icelandic name declension patterns into a 3.27 kB trie (alexharri.com)
  by alexharri14 hours ago 19 comments

prev 1 / 10 more