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