news
How to Formalize All of Mathematics
97 pointsposted 4 days ago
by practalC++26: The New Debugging Header
111 pointsposted 3 days ago
by jandeboevrieVerisign .com Domain Name Registry Consumer Class Action
112 pointsposted a day ago
by greyface-Jev meets the Trolley Problem
649 pointsposted 5 days ago
by zlandes86Development statistics for the 7.2 kernel
141 pointsposted 3 days ago
by farlightIs Liquid Metal Killing Our PCs? Scientific Analysis and a 2-Year Test [video]
90 pointsposted 4 days ago
by zdwThe math that OpenAI keeps for itself
54 pointsposted 2 days ago
by dpalekaThe engineering that allows articulated buses to bend
135 pointsposted 5 days ago
by CharlesWAugust in Servo: CSS Grid, text selection, and more
29 pointsposted 2 days ago
by msub2The Folders Programming Language
218 pointsposted 4 days ago
by gurst/dev/null: social network for developers
181 pointsposted 4 days ago
by mnapoliBlocking the Internet Archive Will Not Stop AI
4 pointsposted 9 hours ago
by rbanffyThe history of development of Norton Commander (2011)
78 pointsposted 4 days ago
by Michelangelo11eBay Restricts Listings of Radio Equipment, but Exempts Ham-Band-Only Gear
280 pointsposted 4 days ago
by 7402Tiny Brutalism – Thanks to HN it's on Steam
86 pointsposted a day ago
by MatiErnstGeographical Fun: Being Humourous Outlines of Various Countries (1868)
12 pointsposted 3 days ago
by ThevetUkrainian drone flies wounded soldier from front line
6 pointsposted 5 hours ago
by GaishanUS threatens Europe over Starlink restrictions
90 pointsposted a day ago
by mranikiShow HN: OmniPTY – Opinionated terminal emulator for macOS and Linux
14 pointsposted a day ago
by bobbycoleman-deJPEG XL vs. AVIF for web use-cases
328 pointsposted 4 days ago
by farlightUS Global Entry revoked for importing $12 of ESP32 boards
32 pointsposted a day ago
by z2Writing is no longer proof of work
27 pointsposted a day ago
by gpiHomeland Security is requiring all civilian federal agencies to remove DeepSeek
5 pointsposted 10 hours ago
by sergiotapiaUS teens can access 'nudify' apps despite Apple and Google's parental controls
8 pointsposted 17 hours ago
by pseudolus