Login
故事
< prev
page 33
more >
Loading...
91
Some Junk Theorems in Lean
(github.com)
by
saithound
8 days ago |
61 comments
13
Russian number station UVB-76 suddenly plays Swan Lake and Erika [video]
(youtube.com)
by
agentifysh
8 hours ago |
2 comments
20
Return of wired headphones is restoring friction to our convenience-addled lives
(theguardian.com)
by
walterbell
20 hours ago |
17 comments
39
2025 Was Another Exceptionally Hot Year
(e360.yale.edu)
by
Brajeshwar
11 hours ago |
27 comments
92
Overlooked No More: Inge Lehmann, Who Discovered the Earth's Inner Core
(nytimes.com)
by
Hooke
8 days ago |
20 comments
346
Always bet on text (2014)
(graydon2.dreamwidth.org)
by
jesseduffield
4 days ago |
179 comments
1534
Rob Pike goes nuclear over GenAI
(skyview.social)
by
christoph-heiss
5 days ago |
1791 comments
509
Show HN: Witr – Explain why a process is running on your Linux system
(github.com)
by
pranshuparmar
4 days ago |
99 comments
164
Windows 2 for the Apricot PC/Xi
(ninakalinina.com)
by
todsacerdoti
3 days ago |
43 comments
6
Robots Are Hard – Revisiting the original Roomba and its simple architecture
(robotsinplainenglish.com)
by
ArmageddonIt
a day ago |
discuss
152
Liberating Bluetooth on the ESP32
(exquisite.tube)
by
todsacerdoti
3 days ago |
27 comments
26
Show HN: LoongArch Userspace Emulator
(github.com)
by
fwsgonzo
7 days ago |
9 comments
171
Lessons from the PG&E outage
(waymo.com)
by
scoofy
7 days ago |
165 comments
36
The Silicon Valley Stack Doesn't Work Here: Why Africa Will Lead the Post-Bloat
(paulallies.medium.com)
by
todsacerdoti
a day ago |
5 comments
5
Good technology blogs: a reading list for the holidays
(clickhouse.com)
by
samaysharma
a day ago |
discuss
23
EV battery leader CATL is gearing up for sodium-ion batteries in 2026
(electrek.co)
by
breve
a day ago |
9 comments
122
MongoBleed
(github.com)
by
gpi
4 days ago |
16 comments
12
Show HN: A solar system simulation in the browser
(luna.watermelonson.com)
by
watermelonson
a day ago |
4 comments
1026
Some Epstein file redactions are being undone
(theguardian.com)
by
vinni2
7 days ago |
780 comments
502
My insulin pump controller uses the Linux kernel. It also violates the GPL
(old.reddit.com)
by
davisr
4 days ago |
260 comments
69
Detect memory leaks of C extensions with psutil and psleak
(gmpy.dev)
by
grodola
6 days ago |
10 comments
97
Moravec's Paradox and the Robot Olympics
(physicalintelligence.company)
by
beklein
8 days ago |
16 comments
9
Spacetime as a Neural Network
(benr.build)
by
bisonbear
a day ago |
5 comments
154
Functional programming and reliability: ADTs, safety, critical infrastructure
(blog.rastrian.dev)
by
rastrian
3 days ago |
186 comments
548
FFmpeg has issued a DMCA takedown on GitHub
(twitter.com)
by
merlindru
4 days ago |
185 comments
17
Oral History of Richard Greenblatt (2005) [pdf]
(archive.computerhistory.org)
by
0xpgm
5 days ago |
discuss
501
Last Year on My Mac: Look Back in Disbelief
(eclecticlight.co)
by
vitosartori
3 days ago |
412 comments
328
Publishing your work increases your luck
(github.com)
by
magoghm
4 days ago |
125 comments
75
Geometric Algorithms for Translucency Sorting in Minecraft [pdf]
(douira.dev)
by
HeliumHydride
5 days ago |
22 comments
668
Phoenix: A modern X server written from scratch in Zig
(git.dec05eba.com)
by
snvzz
6 days ago |
421 comments