News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
135
Palomar: A registry of Lean verified mathematics
(terrytao.wordpress.com)
by
matt_d
10 hours ago
|
13 comments
328
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome
(github.com)
by
phoenix120
15 hours ago
|
25 comments
55
Activation Energy is a good model for a lot of things
(homosabiens.substack.com)
by
surprisetalk
4 days ago
|
7 comments
52
λλ: A Programming Language for Silicon Photonics
(dl.acm.org)
by
matt_d
7 hours ago
|
3 comments
399
How does IKEA come up with names for its products?
(ikea.com)
by
NaOH
19 hours ago
|
58 comments
129
The Mojo language (by Modular, now Qualcomm) is now open-source
(modular.com)
by
flaburgan
5 hours ago
|
20 comments
161
Solo – a .so loader for static Linux binaries
(github.com)
by
zX41ZdbW
13 hours ago
|
16 comments
10
Win-V combo from Windows on Ubuntu
(leo98ml.github.io)
by
havaianaslife
6 days ago
|
9 comments
239
A 25-year-old video patent just expired, ending a legal headache for Linux
(xda-developers.com)
by
theanonymousone
3 days ago
|
10 comments
250
Finger: the 1971 social network that never died
(en.andros.dev)
by
andros
1 day ago
|
30 comments
< prev
1 / 10
more >