logo
NewsNewestShowJobs
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