news
How to Formalize All of Mathematics
97 pointsposted 4 days ago
by practalDevelopment statistics for the 7.2 kernel
141 pointsposted 3 days ago
by farlightC++26: The New Debugging Header
111 pointsposted 3 days ago
by jandeboevrieJev meets the Trolley Problem
649 pointsposted 5 days ago
by zlandes86Is 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 dpalekaAugust in Servo: CSS Grid, text selection, and more
29 pointsposted 2 days ago
by msub2The engineering that allows articulated buses to bend
135 pointsposted 5 days ago
by CharlesWThe Folders Programming Language
218 pointsposted 4 days ago
by gurst/dev/null: social network for developers
181 pointsposted 4 days ago
by mnapoliThe history of development of Norton Commander (2011)
78 pointsposted 4 days ago
by Michelangelo11Tiny Brutalism – Thanks to HN it's on Steam
86 pointsposted a day ago
by MatiErnsteBay Restricts Listings of Radio Equipment, but Exempts Ham-Band-Only Gear
280 pointsposted 3 days ago
by 7402Geographical Fun: Being Humourous Outlines of Various Countries (1868)
12 pointsposted 3 days ago
by ThevetUS 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-deHomeland 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 16 hours ago
by pseudolusUS 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 gpiDHS Orders DeepSeek Technology Removed from Federal Civilian IT Systems
9 pointsposted 10 hours ago
by tatersolidEfficacy of Ibuprofen versus Acetaminophen for Acute Fever in Febrile Children
5 pointsposted 10 hours ago
by XzetaU8JPEG XL vs. AVIF for web use-cases
328 pointsposted 4 days ago
by farlightShow HN: CallSitter – bot that answers my calls and wastes scammers' time
14 pointsposted 2 days ago
by szert