Login
故事
< prev
page 14
more >
Loading...
141
50 years of proof assistants
(lawrencecpaulson.github.io)
by
baruchel
5 days ago |
30 comments
209
CM0 – A new Raspberry Pi you can't buy
(jeffgeerling.com)
by
speckx
6 days ago |
60 comments
6
Why Were Medieval Europeans So Obsessed with Long, Pointy Shoes? (2019)
(atlasobscura.com)
by
Brajeshwar
12 hours ago |
discuss
3
Luigi Pirandello's Broken Men
(thenation.com)
by
Caiero
a day ago |
discuss
27
The Arctic Is in Dire Straits, 20 Years of Reporting Show
(scientificamerican.com)
by
quapster
a day ago |
2 comments
349
I tried Gleam for Advent of Code
(blog.tymscar.com)
by
tymscar
5 days ago |
209 comments
32
Volkswagen to close German plant, a first in their company history
(nytimes.com)
by
OgsyedIE
a day ago |
19 comments
5
The Uncertain Origins of Aspirin
(asimov.press)
by
dearwell
a day ago |
1 comments
136
We put Flock under surveillance: Go make them behave differently [video]
(youtube.com)
by
huvarda
3 days ago |
57 comments
81
Advent of Swift
(leahneukirchen.org)
by
chmaynard
3 days ago |
27 comments
76
Put a ring on it: a lock-free MPMC ring buffer
(h4x0r.org)
by
signa11
2 days ago |
44 comments
59
Venezuela explained in 10 maps and charts
(aljazeera.com)
by
Anon84
4 days ago |
76 comments
262
Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem
(trigger.dev)
by
nkko
4 days ago |
182 comments
18
Breach at South Korea's Equivalent of Amazon Exposed Data of Almost Every Adult
(wsj.com)
by
bookofjoe
a day ago |
2 comments
10
Parents of sextortion victim sue Meta for alleged wrongful death
(theguardian.com)
by
n1b0m
9 hours ago |
discuss
134
Async DNS
(flak.tedunangst.com)
by
todsacerdoti
6 days ago |
48 comments
3
A centennial look back at Edward Gorey's macabre art and guarded life
(washingtonpost.com)
by
prismatic
a day ago |
discuss
4
The Interactive Fiction Database – Reviews
(ifdb.org)
by
dustfinger
a day ago |
discuss
20
Instacart's AI-Enabled Pricing Experiments May Be Inflating Your Grocery Bill
(consumerreports.org)
by
bookofjoe
a day ago |
5 comments
16
Inside the Trump Administration's Man-Made Hunger Crisis
(propublica.org)
by
tastyface
8 hours ago |
2 comments
12
US Senate confirms private astronaut, Musk ally Jared Isaacman as NASA chief
(reuters.com)
by
voxadam
8 hours ago |
1 comments
13
Trump Administration Aims to Strip More Foreign-Born Americans of Citizenship
(nytimes.com)
by
sipofwater
4 hours ago |
2 comments
4
AI will replace you at your job if you let it
(read.technically.dev)
by
keyshapegeo99
a day ago |
discuss
181
Guarding My Git Forge Against AI Scrapers
(vulpinecitrus.info)
by
todsacerdoti
6 days ago |
132 comments
64
'It's surreal': How US sanctions lock ICC judges out of daily life
(irishtimes.com)
by
rendx
a day ago |
48 comments
26
Rivian Will Add Lidar in 2026, Says Tesla's Cameras Aren't Enough
(thedrive.com)
by
belter
a day ago |
29 comments
233
Kimi K2 1T model runs on 2 512GB M3 Ultras
(twitter.com)
by
jeudesprits
4 days ago |
120 comments
54
Generative Optogenetics
(darpa.mil)
by
birriel
3 days ago |
18 comments
279
Computer animator and Amiga fanatic Dick van Dyke turns 100
by
ggm
5 days ago |
92 comments
66
Illuminating the processor core with LLVM-mca
(abseil.io)
by
ckennelly
4 days ago |
5 comments