-
97
How to Formalize All of Mathematics
(xenaproject.wordpress.com)
-
111
C++26: The New Debugging Header
(sandordargo.com)
-
6
Ask HN: Why HN dosen't have bot problem?
()
ask -
649
Jev meets the Trolley Problem
(zachlandes.com)
-
141
Development statistics for the 7.2 kernel
(lwn.net)
-
90
Is Liquid Metal Killing Our PCs? Scientific Analysis and a 2-Year Test [video]
(youtube.com)
-
112
Verisign .com Domain Name Registry Consumer Class Action
(hbsslaw.com)
-
88
GifCities
(gifcities.org)
-
54
The math that OpenAI keeps for itself
(newsletter.danielpaleka.com)
-
135
The engineering that allows articulated buses to bend
(theautopian.com)
-
218
The Folders Programming Language
(danieltemkin.com)
-
29
August in Servo: CSS Grid, text selection, and more
(servo.org)
-
181
/dev/null: social network for developers
(dev-null.sh)
-
78
The history of development of Norton Commander (2011)
(softpanorama.org)
-
280
eBay Restricts Listings of Radio Equipment, but Exempts Ham-Band-Only Gear
(arrl.org)
-
4
Blocking the Internet Archive Will Not Stop AI
(theatlantic.com)
-
86
Tiny Brutalism – Thanks to HN it's on Steam
(store.steampowered.com)
-
12
Geographical Fun: Being Humourous Outlines of Various Countries (1868)
(publicdomainreview.org)
-
90
US threatens Europe over Starlink restrictions
(ft.com)
-
213
FLUX 3 Image Klein
(bfl.ai)
-
14
Show HN: OmniPTY – Opinionated terminal emulator for macOS and Linux
(github.com)
-
139
An Apology
(elevationlab.com)
-
73
We still use paper
(humanpro.co)
-
328
JPEG XL vs. AVIF for web use-cases
(jakearchibald.com)
-
6
Ukrainian drone flies wounded soldier from front line
(abc.net.au)
-
701
Tiny Little Office
(tinylittleoffice.com)
-
32
US Global Entry revoked for importing $12 of ESP32 boards
(reddit.com)
-
27
Writing is no longer proof of work
(seangoedecke.com)
-
14
Show HN: CallSitter – bot that answers my calls and wastes scammers' time
(github.com)
-
131
Thank You, Deno
(vlt.io)