Login
故事
< prev
page 23
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
11
US Senate confirms private astronaut, Musk ally Jared Isaacman as NASA chief
(reuters.com)
by
voxadam
7 hours ago |
1 comments
32
Volkswagen to close German plant, a first in their company history
(nytimes.com)
by
OgsyedIE
a day ago |
19 comments
15
Inside the Trump Administration's Man-Made Hunger Crisis
(propublica.org)
by
tastyface
8 hours ago |
2 comments
5
The Uncertain Origins of Aspirin
(asimov.press)
by
dearwell
a day ago |
1 comments
349
I tried Gleam for Advent of Code
(blog.tymscar.com)
by
tymscar
4 days ago |
209 comments
59
Venezuela explained in 10 maps and charts
(aljazeera.com)
by
Anon84
4 days ago |
76 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
7
Cisco says Chinese hackers are exploiting its customers with a new zero-day
(techcrunch.com)
by
fortran77
6 hours ago |
discuss
18
Breach at South Korea's Equivalent of Amazon Exposed Data of Almost Every Adult
(wsj.com)
by
bookofjoe
a day ago |
2 comments
3
A centennial look back at Edward Gorey's macabre art and guarded life
(washingtonpost.com)
by
prismatic
a day ago |
discuss
262
Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem
(trigger.dev)
by
nkko
4 days ago |
182 comments
20
Instacart's AI-Enabled Pricing Experiments May Be Inflating Your Grocery Bill
(consumerreports.org)
by
bookofjoe
a day ago |
5 comments
4
The Interactive Fiction Database – Reviews
(ifdb.org)
by
dustfinger
a day ago |
discuss
134
Async DNS
(flak.tedunangst.com)
by
todsacerdoti
5 days ago |
48 comments
4
AI will replace you at your job if you let it
(read.technically.dev)
by
keyshapegeo99
a day ago |
discuss
64
'It's surreal': How US sanctions lock ICC judges out of daily life
(irishtimes.com)
by
rendx
a day ago |
48 comments
9
Nvidia Plans to Reduce RTX 50 Production by Up to 40% in Early 2026
(techpowerup.com)
by
akyuu
9 hours ago |
discuss
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
181
Guarding My Git Forge Against AI Scrapers
(vulpinecitrus.info)
by
todsacerdoti
6 days ago |
132 comments
54
Generative Optogenetics
(darpa.mil)
by
birriel
3 days ago |
18 comments
17
Warner Bros to rebuff $108B Paramount hostile offer
(ft.com)
by
mfiguiere
a day ago |
2 comments
66
Illuminating the processor core with LLVM-mca
(abseil.io)
by
ckennelly
4 days ago |
5 comments
279
Computer animator and Amiga fanatic Dick van Dyke turns 100
by
ggm
5 days ago |
92 comments
5
Bitwarden / KeePass Diff
(codeberg.org)
by
cicko
a day ago |
1 comments
91
Capsudo: Rethinking sudo with object capabilities
(ariadne.space)
by
fanf2
5 days ago |
58 comments