2026 Archive
11851.
The extended predicative Mahlo universe in Martin-Löf type theory (2023)
(academic.oup.com)
11852.
Time Travel Without Borders
(guix.gnu.org)
11853.
The Latest News in Vaccine Obstruction
(science.org)
11856.
San Francisco streets with confusingly similar names
(j-nelson.net)
11857.
11858.
11859.
Show HN: I Built Paul Graham's Intellectual Captcha Idea
(mentwire.com)
11860.
Developers Are Solving the Wrong Problem
(caseysoftware.com)
11861.
11862.
AI coders are carrying half-open laptops through airports, offices, ice rinks
(businessinsider.com)
11863.
11866.
Explain it like I'm 5: Why is everyone on speakerphone in public?
(arstechnica.com)
11867.
Your codebase doesn't care how it got written
(robbyonrails.com)
11868.
11869.
Military models Canadian response to hypothetical American invasion
(theglobeandmail.com)
11870.
Show HN: Social Network for Corporate Cringe
(CringeOut.com)
11871.
US Diesel prices surpass $5.38
(truckingdive.com)
11872.
11873.
11874.
Donald Trump 'orders army chiefs to draw up plan to invade Greenland'
(dailymail.co.uk)
11875.
Show HN: Codiff, a local diff review tool
(github.com)
11876.
DOJ to Allow Hiring of US Prosecutors Straight Out of Law School
(news.bloomberglaw.com)
11878.
A New Year's letter to a young person
(siliconcontinent.com)
11879.
Tesla (TSLA) can't find the bottom in Europe
(electrek.co)
11880.