10
13
50 years of proof assistants (lawrencecpaulson.github.io)
56
OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI (simonwillison.net)
16
Capsudo: Rethinking Sudo with Object Capabilities (ariadne.space)
13
Can I use HTTPS RRs? (netmeister.org)
12
Ukrainians sue US chip firms for powering Russian drones, missiles (arstechnica.com)
12
Arizona city rejects data center after AI lobbying push (politico.com)
12
Immigration Agents Are Using Air Passenger Data for Deportation Effort (nytimes.com)
12
Pg_ClickHouse: A Postgres extension for querying ClickHouse (clickhouse.com)
10
iOS 26.2 Release Notes (developer.apple.com)
11
Meta's New A.I. Superstars Are Chafing Against the Rest of the Company (nytimes.com)
24
Ensuring a National Policy Framework for Artificial Intelligence (whitehouse.gov)
22
Wine 11.0 RC2 – Run Windows Applications on Linux, BSD, Solaris and macOS (winehq.org)
32
Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig (github.com/ringtailsoftware)
13
Ask HN: Go all-in on AI Boom vs. enjoy parenthood?
28
The Average Founder Ages 6 Months Each Year (tomtunguz.com)
36
Tesla US sales drop to nearly 4-year low in November (reuters.com)
169
macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt (developer.apple.com)
104
Rats Play DOOM (ratsplaydoom.com)
32
When did the job market get so rude? (theatlantic.com)
97
GNU Unifont (unifoundry.com)
57
Security issues with electronic invoices (secvuln.info)
129
New Kindle feature uses AI to answer questions about books (reactormag.com)
10
Fed Chair Warns Trump Admin May Be Seriously Exaggerating Jobs Numbers (newrepublic.com)
68
The true story of the Windows 3.1 'Hot Dog Stand' color scheme (pcgamer.com)
10
AI coding is sexy, but accounting is the real low-hanging automation target
146
Benn Jordan’s flock camera jammer will send you to jail in Florida now [video] (youtube.com)
20
Amazon pulls AI-powered Fallout recap after getting key story details wrong (ign.com)
21
Waymo cars ignored stopped school buses in Atlanta. What happens now? (ajc.com)
11
Ask HN: Did anyone else notice that the OpenAI Labs website was completely gone?
109
Home Depot GitHub token exposed for a year, granted access to internal systems (techcrunch.com)
18
Microservices should form a polytree (bytesauna.com)
66
String theory inspires a brilliant, baffling new math proof (quantamagazine.org)
91
Nuclear energy key to decarbonising Europe, says EESC (europa.eu)
278
Id Software devs form "wall-to-wall" union (rockpapershotgun.com)
104
Google releases its new Google Sans Flex font as open source (omgubuntu.co.uk)
25
Stanford Medicine study shows mRNA-based Covid-19 vaccines can cause myocarditis (stanford.edu)
106
Using secondary school maths to demystify AI (raspberrypi.org)
24
Show HN: tomcp.org – Turn any URL into an MCP server (github.com/ami3466)
14
Utah Leaders Are Hindering Efforts to Develop Solar Despite Energy Supply Goal (propublica.org)
47
Async DNS (tedunangst.com)
113
Oracle made a $300B bet on OpenAI. It's paying the price (yahoo.com)
24
Instacart reaches into your pocket and lops a third off your dollars (pluralistic.net)
59
Japan law opening phone app stores to go into effect (nhk.or.jp)
11
Trump repeats baseless claim about Haitian immigrants eating pets (clipnotebook.com)
66
CM0 – A new Raspberry Pi you can't buy (jeffgeerling.com)
46
Why more American seniors are getting high (economist.com)
10
Executive order to reclassify marijuana as soon as Monday (cnbc.com)
64
Senator endorses discredited book that claims chemical treats autism, cancer (propublica.org)
127
America's betting craze has spread to its news networks (newyorker.com)
11
Nintendo Switch 2 RAM prices rise 41%, NAND flash up 8% – shares nosedive (tomshardware.com)
211
Epic celebrates "the end of the Apple Tax" after court win in iOS payments case (arstechnica.com)
125
Framework Raises DDR5 Memory Prices by 50% for DIY Laptops (phoronix.com)
17
Cut off by their banks and from Alexa, sanctioned ICC staffers remain resolute (apnews.com)
18
Super-Emitter of the Most Damaging Greenhouse Gas Found in Germany (industrydecarbonization.com)
18
Show HN: Tripwire: A new anti evil maid defense (github.com/fr33-sh)
20
Show HN: Base UI v1.0 Unstyled UI Components from the Creators of Radix and MUI (github.com/mui)
91
Berlin Approves New Expansion of Police Surveillance Powers (reclaimthenet.org)
20
BpfJailer: eBPF Mandatory Access Control [pdf] (lpc.events)
11
Lot of software engineers don't understand basic networking (oneuptime.com)
21
From text to token: How tokenization pipelines work (paradedb.com)
11
Our "enterprise" experience with Stripe after $1B+ processed (be careful)
10
The Quiet Scandal of Affirmative Action for Men (yaschamounk.substack.com)
31
Training LLMs for Honesty via Confessions (arxiv.org)
131
SQLite JSON at full index speed using generated columns (dbpro.app)
67
Why isn't online age verification just like showing your ID in person? (eff.org)
46
Fedora: Open-source repository for long-term digital preservation (fedorarepository.org)
15
Show HN: Epstein's emails reconstructed in a message-style UI (OCR and LLMs) (github.com/toon-noot)
13
A Chinese whistleblower living in the US is being hunted by Beijing with US tech (apnews.com)
14
Chinese foundry SMIC achieves 5nm production without EUV tools (techpowerup.com)
10
Censorship in Western Academia and the War in Ukraine (newglobalpolitics.org)
63
Sick of smart TVs? Here are your best options (arstechnica.com)
11
The Boot Order of the Raspberry Pi Is Unusual (patrickmccanna.net)
189
The Tor Project is switching to Rust (itsfoss.com)
59
4 billion if statements (2023) (andreasjhkarlsson.github.io)
12
What Is the Nicest Thing a Stranger Has Ever Done for You? (louplummer.lol)
10
Show HN: Jottings; Anti-social microblog for your thoughts (jottings.me)
169
Koralm Railway (infrastruktur.oebb.at)
21
US threatens new ICC sanctions unless court pledges not to prosecute Trump (reuters.com)
31
Native ads coming soon to Stack Overflow and Stack Exchange (meta.stackexchange.com)
19
How does a "you interview for US company, we do the work" scam work?
25
[flagged] You are dating an ecosystem (razor.blog)
33
Smartphone without a battery (2022) (yaky.dev)
64
Guarding My Git Forge Against AI Scrapers (vulpinecitrus.info)
93
Young journalists expose Russian-linked vessels off the Dutch and German coast (digitaldigging.org)
39
He set out to walk around the world. After 27 years, his quest is nearly over (washingtonpost.com)
81
The tiniest yet real telescope I've built (lucassifoni.info)
12
The HTML-First Approach: Why Htmx and Lightweight Frameworks Are Revolutionizin (danieleteti.it)
16
Ask HN: What are you buying your kids for Christmas?
125
Google de-indexed Bear Blog and I don't know why (james-zhan.com)
10
Mercury Personal Banking (mercury.com)
112
CRISPR fungus: Protein-packed, sustainable, and tastes like meat (isaaa.org)
20
Cadmium Zinc Telluride: The wonder material powering a medical 'revolution' (bbc.com)
32
Stoolap: High-performance embedded SQL database in pure Rust (github.com/stoolap)
22
Laying out the 404 Media zine (tedium.co)
13
TerraUSD creator Do Kwon sentenced to 15 years over $40B crypto collapse (reuters.com)
13
Show HN: Gotui – a modern Go terminal dashboard library (github.com/metaspartan)
17
Powder and stone, or, why medieval rulers loved castles (1517.substack.com)
142
Nokia N900 Necromancy (yaky.dev)
11