Login
故事
< prev
page 8
more >
Loading...
91
Some Junk Theorems in Lean
(github.com)
by
saithound
7 days ago |
61 comments
22
PhDs Can't Find Work as Boston's Biotech Engine Sputters
(wsj.com)
by
JumpCrisscross
13 hours ago |
12 comments
410
The best things and stuff of 2025
(blog.fogus.me)
by
adityaathalye
7 days ago |
97 comments
164
Windows 2 for the Apricot PC/Xi
(ninakalinina.com)
by
todsacerdoti
3 days ago |
43 comments
152
Liberating Bluetooth on the ESP32
(exquisite.tube)
by
todsacerdoti
3 days ago |
27 comments
7
Shipping at Inference Speed
(steipete.me)
by
dvrp
a day ago |
discuss
346
Always bet on text (2014)
(graydon2.dreamwidth.org)
by
jesseduffield
4 days ago |
179 comments
13
LineageOS for QEMU Virtual Machines
(github.com)
by
boronine
a day ago |
4 comments
92
Overlooked No More: Inge Lehmann, Who Discovered the Earth's Inner Core
(nytimes.com)
by
Hooke
8 days ago |
20 comments
153
Functional programming and reliability: ADTs, safety, critical infrastructure
(blog.rastrian.dev)
by
rastrian
3 days ago |
183 comments
509
Show HN: Witr – Explain why a process is running on your Linux system
(github.com)
by
pranshuparmar
4 days ago |
99 comments
1530
Rob Pike goes nuclear over GenAI
(skyview.social)
by
christoph-heiss
4 days ago |
1786 comments
8
Comparative Overview of EU-US Vehicle Standards
(etsc.eu)
by
throw0101c
14 hours ago |
discuss
16
Intermission: Battle Pulses
(acoup.blog)
by
Khaine
4 days ago |
2 comments
69
Detect memory leaks of C extensions with psutil and psleak
(gmpy.dev)
by
grodola
6 days ago |
10 comments
11
Parsing IP addresses quickly (portably, without SIMD magic)
(lemire.me)
by
ibobev
2 days ago |
4 comments
122
MongoBleed
(github.com)
by
gpi
4 days ago |
16 comments
30
NextDNS is my new favourite DNS service (2020)
(stanislas.blog)
by
mefengl
2 days ago |
13 comments
113
Dialtone – AOL 3.0 Server
(dialtone.live)
by
rickcarlino
2 days ago |
53 comments
14
PhDs Can't Find Work as Boston's Biotech Engine Sputters
(wsj.com)
by
nradov
21 hours ago |
2 comments
501
My insulin pump controller uses the Linux kernel. It also violates the GPL
(old.reddit.com)
by
davisr
4 days ago |
259 comments
5
Year in a Word: Taco
(ft.com)
by
KnuthIsGod
12 hours ago |
1 comments
97
Moravec's Paradox and the Robot Olympics
(physicalintelligence.company)
by
beklein
7 days ago |
16 comments
14
No Strcpy Either
(daniel.haxx.se)
by
8organicbits
16 hours ago |
discuss
19
People negatively judge others who glitch on video calls, according to study
(mashable.com)
by
gnabgib
19 hours ago |
3 comments
20
Kiorg v1.4.1 – A modern battery included file manager with Vim inspired keybind
(github.com)
by
todsacerdoti
a day ago |
2 comments
25
Father rescues abducted daughter by tracking her cell phone after kidnapping
(nypost.com)
by
smurda
a day ago |
3 comments
7
Measuring out-of-sync clocks on the Internet
(alexsci.com)
by
todsacerdoti
a day ago |
discuss
327
Publishing your work increases your luck
(github.com)
by
magoghm
4 days ago |
125 comments
547
FFmpeg has issued a DMCA takedown on GitHub
(twitter.com)
by
merlindru
4 days ago |
185 comments