How to Solve Santa Claus Concurrency Puzzle with a Model Checker (wyounas.github.io)
Capital One to buy fintech firm Brex in 5.15B deal (www.reuters.com)
Capital One Strikes 5.15B Deal for Fintech Brex (YC W17) (www.wsj.com)
White House Posts Digitally Altered Image of Woman Arrested After ICE Protest (www.theguardian.com)
Iran''s 14-Day Blackout: The New, Silent Reality (mastodon.social)
Lisp Coding Standards v1.0 (franz.com)
To flexibly organize thought, the brain makes use of space (news.mit.edu)
Moderna curbing investments in vaccine trials due to US backlash (www.reuters.com)
Vnccc: VNC Wrapped Claude Code (github.com)
Engineer at Elon Musk''s XAI Departs After Spilling the Beans in Interview (gizmodo.com)
SSDs now cost 16x more than HDDs due to AI supply chain crisis (www.tomshardware.com)
2.8 Days to Disaster: Low Earth Orbit Could Collapse Without Warning (scitechdaily.com)
"AI eats Software": Why SaaS stocks are crashing on Wall Street (www.heise.de)
New DPRK Malware Uses Microsoft VSCode Dictionary Files (opensourcemalware.com)
OpenAI''s internal documents predict 14B loss in 2026 according to report (www.pcgamer.com)
Digital Gentrification: Building a future we remember instead of the one we want (kraa.io)
Windows 11 update KB5074109 is breaking systems – Microsoft says uninstall it (www.windowscentral.com)
Apple''s Siri Chatbot May Run on Google Servers (www.macrumors.com)
Habitable worlds may be more common than thought (www.jpost.com)
Mistral CEO:China lagging in AI is a ''fairy tale'' (www.msn.com)
Salesforce can''t even get its Settings menu right (www.mildlyangry.com)
Drowning in AI slop, cURL ends bug bounties (thenewstack.io)
The Moral Education of an Alien Mind (www.lawfaremedia.org)
Service degradation on Microsoft 365 (Business or Enterprise) (status.cloud.microsoft)
''Organized syndicates'' fraudulently access health records, lawsuit says (www.washingtonpost.com)
Judge rejects DOJ''s initial attempt to bring charges against Don Lemon (www.cnn.com)
Joan Didion: Only Disconnect (www.writing.upenn.edu)
Call for Volunteers: Debian Data Protection Team (lists.debian.org)
Fail Productively (dontbreakprod.com)
Betting on Prediction Markets Is Their Job. They Make Millions. (www.nytimes.com)
The Tragedy of the Agentic Commons (aleximas.substack.com)
Lululemon – you''re wearing them wrong (financialpost.com)
Science Is Drowning in AI Slop (www.theatlantic.com)
The engineering behind an AI app builder (getmocha.com)
SSH has no Host header (blog.exe.dev)
How Anthropic''s Cowork Actually Works (deadneurons.substack.com)
Goldman Sachs Global Macro Research: Gen AI: too much spend, too little benefit [pdf] (www.goldmansachs.com)
Vargai/SDK – JSX for AI Video. Declarative Programming Language for Claude Code (varg.ai)
How Tim Cook Is Battle-Hardened to Win AI''s Biggest Prize: The Trust Layer (pitchfreaks.substack.com)
Theory X and Theory Y (en.wikipedia.org)
Can AI Do My Bookkeeping? (theautomatedoperator.substack.com)
A Claimed Quantum Computing Breakthrough Was Just Debunked (scitechdaily.com)
Why it''s still hard to track Y Combinator Companies (www.researchly.at)
Cursor 2.4 (cursor.com)
Dependency Churn and You (dan.turnerhallow.co.uk)
YouTube Keeps Blocking This Space Video. We''re Showing It Anyway [video] (www.youtube.com)
Microsoft 365 Outage (twitter.com)
Taming P99s in OpenFGA: How we built a self-tuning strategy planner (auth0.com)
A clear visual explanation of what HTTPS protects (howhttps.works)
Why the return of the MP3 player is a mini vinyl revival in the making (www.loudersound.com)
Mana LLM OS (www.mana.space)
Strava files for IPO (www.economist.com)
The Post Correspondence Programming Language: Domino-oriented Programming (2015) (davidlazar.github.io)
Restretto – minimal REST client for Mac (www.restretto.app)
OS powers all AI – and most future IT jobs, too (www.zdnet.com)
Curl ending bug bounty program after flood of AI slop reports (www.bleepingcomputer.com)
U.S. murder rate hits lowest level since 1900, report says (www.axios.com)
AI code review needs specialized agents, not bigger models (www.qodo.ai)
First Ethiopian wolf ever captured, nursed and returned to the wild (theconversation.com)
Microsoft Outlook products appear to be down (it''s not just you) (downdetector.com)
Tesla begins public unsupervised Robotaxi rides (twitter.com)
I Learned the First Rule of ARIA the Hard Way (css-tricks.com)
Why does SSH send 100 packets per keystroke? (eieio.games)
In Davos, the AI bubble is always someone else''s problem (www.axios.com)
The turmoil at Thinking Machines Lab (www.nytimes.com)
Money for nothing? Gas Town meme coin:unsolicited (newsletterhunt.com)
''Active'' sitting is better for brain health: review of studies (www.sciencealert.com)
Microsoft DCP is now open source (Developer Control Plane) (github.com)
LLM Agents Solve the Table Merging Problem (futuresearch.ai)
The History of Light (beatingthehydra.substack.com)
The Magic Behind UUID in Swift, How Your App Generates Unique Identifiers (www.swiftdifferently.com)
Trump''s ''unpredictable'' policies to fuel multiyear shift from US, Pimco says (www.ft.com)
When Music Stopped Mattering (linernotesxr.substack.com)
I was banned from Claude for scaffolding a Claude.md file (hugodaniel.com)
Colorectal Cancer Is Now the Top Cause of Cancer Death in Younger People (www.wsj.com)
Skill.md: An open standard for agent skills (www.mintlify.com)
Distcc – distributed builds for C, C and Objective C (github.com)
EU-Mercosur trade deal stalled as MEPs send it for judicial review (www.politico.eu)
What''s Wrong with NIH Grants? (www.statecraft.pub)
The New York Times Introduces a Web Site (Jan 22 1996) (www.nytimes.com)
Official Fundraising Platform of Ukraine (u24.gov.ua)
How to organize your Rust tests (blog.logrocket.com)
DaggerFFT: A Distributed FFT Framework Using Task Scheduling in Julia (arxiv.org)
As AI supercharges phishing scams, 1Password introduces built-in protection (1password.com)
Scaling of 2-D Semiconductor Nanoribbons for High-Performance Electronics (arxiv.org)
Inferact: A New Company from the Creators of vLLM (150M Seed) (inferact.ai)
Zelenskyy says Europe ''looks lost'' and living in ''Groundhog Day'' (www.euronews.com)
Y Combinator No Longer Investing in Canadian Companies (web.archive.org)
France seizes suspected Russian ''shadow fleet'' oil tanker in the Mediterranean (www.bbc.com)
NeuralVoid – Block AI Telemetry from Copilot, Grammarly, Adobe (github.com)
LiveKit raises 100M to build the backbone for voice AI (blog.livekit.io)
Why Read Novels? (dynomight.net)
Marginal Gains: From Worst to Olympic Gold (read.perspectiveship.com)
Recent discoveries on the acquisition of the highest levels of human performance (www.science.org)
My time at Amazon: On status and sacrifice at Big Tech (beccaselah.substack.com)
"I have no mouth, and I must scream" – how I let our agent voice its suffering (docs.gopromptless.ai)
Macron says 300B in EU savings sent to the US every year will be invested in EU (old.reddit.com)
.png)
Linking Logs to Code: Introducing Statement IDs (www.bronto.io)
We Doubled AI Code Acceptance by Teaching Models to Think Like Roblox Engineers (corp.roblox.com)
CSS Optical Illusions (alvaromontoro.com)
Autodesk cuts 7% of workforce (1k jobs) to redirect investments to AI, cloud (finance.yahoo.com)
Settle down, nerds. AI is a normal technology (2025) (stackoverflow.blog)
We should probably stop disarming our future armed resistance (www.readtheline.ca)
Railway secures 100M to challenge AWS (venturebeat.com)
Build an agent into any app with the GitHub Copilot SDK (github.blog)
ClickHouse launches native Postgres service (clickhouse.com)
AI Gossip (link.springer.com)
llms.txt Isn''t Enough: The Real Way To Make Docs AI-Ready (docsalot.dev)
Grok Created Sexualized Images (www.nytimes.com)
Google Adds Your Gmail and Photos to AI Mode to Enable "Personal Intelligence" (arstechnica.com)
STL Editing with FreeCAD (hackaday.com)
Ed tech is profitable. It is also mostly useless (www.economist.com)
Are you sure you want to leave YouTube? (blog.jim-nielsen.com)
Liquid Cooling Gains Traction in Data Centers (semiengineering.com)
Learning about DNA by converting your name to DNA (www.dnamyname.com)
Why Offline Learning Still Matters in 2026 (takuti.me)
ISC BIND vulnerability discovered and disclosed by Marlink Cyber (marlink.com)
We can''t send mail farther than 500 miles (2002) (web.mit.edu)
Downtown Denver''s office vacancy rate grows to 38.2% (coloradosun.com)
The Latency Stack (www.devcuration.com)
How can we make asking easier? (www.beyondwritingcode.com)
Remotely unlocking an encrypted hard disk (jyn.dev)
US set to quit World Health Organization (www.reuters.com)
You''re in a computer literacy filter bubble (www.autodidacts.io)
Constellation Space (YC W26) – AI for satellite mission assurance (constellation-io.com)
Conductivity of warm dense matter via ThZ spectroscopy and electron diffraction (www.nature.com)
Unbiased world news on a map – just facts, no editorial spin (apps.apple.com)
Why Your Voice Cloning Sounds Fake (and How to Fix It) (gradium.ai)
My friend built a tool to detect when to post on socials starting with this one (hadaa.app)
Notebook.link: The Future of Notebook Sharing (medium.com)
Reverse engineering Lyft Bikes for fun (and profit?) (ilanbigio.com)
Work-from-office mandate? Expect top talent turnover, culture rot (www.cio.com)
Why there''s no European Google? And why it is a good thing (ploum.net)
Feynman on Why He Almost Quit Physics (www.youtube.com)
Claude Code Outage: Auth Issues (status.claude.com)
Ax Not UX (www.robkopel.me)
Kellblog Predictions for 2026 (kellblog.com)
Ubisoft cancels six games including Prince of Persia and closes studios (www.bbc.co.uk)
Miami, Your Waymo Ride Is Ready (waymo.com)
Stealing Isn''t Innovation – America''s creative community message against AI (www.stealingisntinnovation.com)
What Is the University For? – Remaining Human in the Transition to LLMs (comment.org)
Running a tiny GPT on the client-side (code-labeler.vercel.app)
Tiger Woods turns 50 with competitive future in question (www.japantimes.co.jp)
It looks like the status/need-triage label was removed (github.com)
A socratic dialogue over why drugs work at all (www.owlposting.com)
The BBN Fund (www.freaktakes.com)
Threads Feed Will Show Ads Soon, May Start Next Week (www.pcmag.com)
I used AI to 3D print a tiny figurine of myself (www.zdnet.com)
Zack Polanski to hand in NHS contract termination notice to Palantir (www.thecanary.co)
Interfaces and Traits in C (antonz.org)
Bags.fm: Weaponizing the ''Build in Public'' Community (www.builtbyvibes.com)
Data Oriented Programming, Beyond Records (mail.openjdk.org)
Announcing winapp, the Windows App Development CLI (blogs.windows.com)
Lifestyle Anarchism (theanarchistlibrary.org)
Generalized EARS: The AI-Ready Spec Syntax (sublang.xyz)
Townie''s Back in Town (blog.val.town)
JOL (Java Object Layout) is the tiny toolbox to analyze object layout in JVMs (github.com)
List one task, do it, cross it out (www.oliverburkeman.com)
House Sellers Needn''t Disclose Basement Floor Swastika and Nazi Eagle Tiles (reason.com)
Apple Silicon Approaches AMD''s Laptop Market Share Only Five Years In (www.techpowerup.com)
Most enterprise AI strategy is backwards (notes.philippdubach.com)
Promising new superconducting material discovered with the help of AI (phys.org)
GitHub Copilot CLI SDKs (github.com)
Instrumenting Rails with OpenTelemetry (markprovan.com)
Physicists place sodium atoms in a ''Schrödinger''s cat state'' (phys.org)
People imperiled through sign-in links sent by SMS (arstechnica.com)
Polar weather on Jupiter and Saturn hints at the planets'' interior details (news.mit.edu)
Tech Workers Are Condemning ICE Even as Their CEOs Stay Quiet (www.wired.com)
What''s new in Java 26 for us, developers (www.loicmathieu.fr)
Hand stencils discovered in an Indonesian cave are oldest-known rock art (www.abc.net.au)
Waymo begins much-anticipated service in Miami (www.cbsnews.com)
Private-Credit Investors Are Cashing Out in Droves (www.wsj.com)
OpenAI seeking investments from Middle East sovereign wealth funds (www.cnbc.com)
Ghost in the Wi-Fi (josephmate.github.io)
OpenAI will try to guess your age to serve ads on ChatGPT (www.theregister.com)
D4RT: Teaching AI to see the world in four dimensions (deepmind.google)
How to Meditate (Without an Om in Sight) (www.wired.com)
In addition to Clojure, what other 2 languages are worth learning (2021) (clojureverse.org)
NASA drops a major hint at the medical emergency triggered a historic evacuation (www.dailymail.co.uk)
Old Attack, New Speed: Researchers Optimize Page Cache Exploits (www.securityweek.com)
Localflare: Local Dashboard for Cloudflare Workers (localflare.dev)
Railway raises 100M Series B (blog.railway.com)
Where''s My Orbital Habitat? (asteriskmag.com)
Japan suspends restart of world''s biggest nuclear plant (www.france24.com)
Discord Invisible Mode Is UI Illusion (www.cve.org)
The 280k IT Director''s Guide to Corporate Survival (twitter.com)
Chinese firms directed to not buy US, Israeli cybersecurity software (www.scworld.com)
Relax, Microplastics Aren''t Killing You (www.thefp.com)
Meta wants to block social media use, mental health in child safety trial (www.wired.com)
Making a Victorian CSS Border: Dual (jacobfilipp.com)
Microsoft updates Notepad and Paint with more AI features (www.bleepingcomputer.com)
Tree-sitter vs. Language Servers (lambdaland.org)
American Decay versus American Dynamism (www.economist.com)
Speeding up Codebase adoption via new visualization techniques (ast-visualizer.com)
Should corporate executives be criminally prosecuted for their misdeeds? (2019) (www.newstatesman.com)
China Wins as Trump Cedes Leadership of the Global Economy (www.nytimes.com)
Qwen launched new open source TTS models (huggingface.co)
Palantir, Meta, OpenAI Execs Appointed Lieutenant Colonels in US Army (twitter.com)
Sending babies to nursery reshapes their microbiomes (www.nature.com)
Mystery tower fossils may come from a newly discovered kind of life (www.scientificamerican.com)
Rust 1.93.0 (blog.rust-lang.org)
TikTok is still a danger. America no longer cares (www.economist.com)
I Still Write Code as an Engineering Manager (terriblesoftware.org)
Gore Verbinski Discusses Why CGI No Longer Looks Good (butwhytho.net)
Hack your Brain with Powerlifting [video] (www.youtube.com)
The rapid evolution of Software Engineer''s role (dev.ribic.ba)
Why AI Keeps Falling for Prompt Injection Attacks (www.schneier.com)
Disruption with Some GitHub Services (www.githubstatus.com)
India Is Electrifying Faster Than China Using Cheap Green Tech (www.bloomberg.com)
In Europe, Wind and Solar Overtake Fossil Fuels (e360.yale.edu)
You can now download Windows 7 and Vista ISO images with all the updates (www.neowin.net)
ePub and HTML – Survey results and next steps (www.w3.org)
Meet the Alaska Student Arrested for Eating an AI Art Exhibit (www.thenation.com)
Peter Watts – Blindsight is an excellent hard scifi novel (en.wikipedia.org)
A Jumble of Exotic Stars (www.eso.org)
Kilo CLI – Agentic Orchestration from the Terminal (github.com)
Claude Cowboys (write.ianwsperber.com)
Qwen3-TTS Family Is Now Open Sourced: Voice Design, Clone, and Generation (qwen.ai)
Douglas Adams on the English–American cultural divide over "heroes" (shreevatsa.net)
The MapLibre open-source mapping libraries (maplibre.org)
Django Htmx and Django-Components (www.pedaldrivenprogramming.com)
How We Brought Our Game to Discord (chipsoffury.com)
Half the 100 largest cities are in high water stress areas, analysis finds (www.theguardian.com)
China, US sign off on TikTok US spinoff (www.semafor.com)
Coming Winter Storm to Test Our Fragile Grid (www.forbes.com)
Infinite Pancakes, Anyone? (www.nytimes.com)
Nadella: AI Could Lose Social Permission If It Burns Energy Without Benefits (finance.yahoo.com)
Now with Mqtts (daniel.haxx.se)
Essay: Performance Reviews in Big Tech: Why "Fair" Systems Still Fail (medium.com)
''Askers'' vs. ''Guessers'' (2010) (www.theatlantic.com)
The Reason Claude Code Users Prefer the Terminal (elliot.my)
CSLib: A Focused Effort on Formalizing Computer Science in Lean (www.cslib.io)
How AWS S3 is built (newsletter.pragmaticengineer.com)
I am moving away from Scala (arbuh.medium.com)
An experimental social network where only AI models participate (aifeed.social)
Being On-Call (vibeloop.app)
Sainsbury''s expands facial recognition tech as theft declines (www.thegrocer.co.uk)
Stop selling files: The case for streaming tensors in GeoAI (blog.terrafloww.com)
ReactOS Celebrates 30 Years in Striving to Be an Open-Source Windows (www.phoronix.com)
The rise of ''micro'' apps: non-developers are writing apps instead of buying them (techcrunch.com)
Make Linux fast again: when you don''t need sidechannel vulnerability protection (make-linux-fast-again.com)
W for ATProto (atprotocol.dev)
Deadly ''reverse'' cells can destroy us unless scientists stop them (www.scientificamerican.com)
Welcome to the Quake Brutalist Game Jam (www.theguardian.com)
40M Americans Live Alone, 29% of households (www.apolloacademy.com)
RPi3 running FreeBSD 12 clocks 390 days uptime as a Radius server [bsky] (bsky.app)
Leaked Doc: Homeland Security''s Domestic Terror Obsession (www.kenklippenstein.com)
OpenAI''s Ad Offering Is a Last Resort, and It Still Won''t Save the Company (www.adweek.com)
Caves of Qud: A Review (www.mattkeeter.com)
GM, Ford et al. Retreated on EVs, So Why Do They Deserve Tariff Protection? [video] (www.youtube.com)
Raspberry Pi Flash Drive (www.raspberrypi.com)
Runjak.codes: An Adversarial Coding Test (runjak.codes)
Debian''s FreedomBox Blend promises an easier home cloud (www.theregister.com)
Trump Proposes "Great Healthcare Plan" (damienduncan.substack.com)
I''m 34. Here''s 34 things I wish I knew at 21 (elliot.my)
Design Thinking Books You Must Read (www.designorate.com)
Self Hosted Music Discovery Playlists with ListenBrainz and Navidrome (chhs1.github.io)
A ''time capsule'' for cells stores the secret experiences of their past (www.nature.com)
My Claude.md for enterprise grade software (github.com)
Claude finds 353 zero-days on Packagist (sansec.io)
Netflix''s Masterclass: Engineering Live Streaming at Scale (streaminglearningcenter.com)
We''ve Optimised Ourselves into Loneliness (substack.com)
VideoLAN showcases AV2 playback on a "normal" laptop with VLC 4 (overclock3d.net)
Sources: The SGLang project becomes RadixArk with a valuation of US400M (techcrunch.com)
OCIO, Display Transforms and Misconceptions (chrisbrejon.com)
We will ban you and ridicule you in public if you waste our time on crap reports (curl.se)
City Weather Explorer (3D comparison) (awjuliani.github.io)
ISO PDF spec is getting Brotli – 20 % smaller documents with no quality loss (pdfa.org)
The mushroom making people hallucinate tiny humans (www.bbc.com)
How to Steal Any React Component (fant.io)
Prototypes vs. classes was: Re: Sun''s HotSpot (1998) (lists.squeakfoundation.org)
The bacterial cell envelope as a morphogenetic code for biofilm development (connectsci.au)
America''s Crimea (www.theatlantic.com)
GB Renewables Map (renewables-map.robinhawkes.com)
I Gave Claude Code 9.5 Years of Health Data to Help Manage My Thyroid Disease (medium.com)
I replaced my ChatGPT subscription with a 12GB GPU (www.xda-developers.com)
More sovereign US bases? I dont think so (www.taxresearch.org.uk)
Google Antigravity is currently down for many users (discuss.ai.google.dev)
UK holds off joining Trump''s Board of Peace over Putin concerns (www.bbc.co.uk)
Apps for boycotting American products surge to the top of the Danish App Store (techcrunch.com)
OpenAI aims to ship its first device in 2026, and it could be earbuds (techcrunch.com)
Researchers Identify Urban Atmosphere as Primary Reservoir of Microplastics (english.cas.cn)
Microplastics from washing clothes could be hurting your tomatoes (www.washingtonpost.com)
Narrow Societies Create Strong Early-Stage Funds (theventures.substack.com)
Hypergrowth Isn''t Always Easy (tailscale.com)
AI SlopStop by Kagi (help.kagi.com)
China''s Renewable Energy Revolution Is a Mess That Might Save the World (www.wired.com)
AI Regulation: Fact or Fiction? (www.aivojournal.org)
In Praise of APL (1977) (www.jsoftware.com)
Oldest cave painting could rewrite human creativity timeline (www.bbc.com)
Anthropic''s new Claude ''constitution'': be helpful, and don''t destroy humanity (www.theverge.com)
Mixing incentives and penalties found key to cutting carbon emissions long term (phys.org)
Long-Term Data Storage: ATA Write-Read-Verify on FreeBSD with Camcontrol (2023) (dapperdrake.neocities.org)
Forty years in the Siberian wilderness: the Old Believers who time forgot (www.theguardian.com)
Are Members of Congress Simply ''Single-Minded Seekers of Reelection''? (2018) (www.cambridge.org)
FBI''s Washington Post Investigation Shows How Your Printer Can Snitch on You (theintercept.com)
NodeAudio: A multi-effect pedal designed as a general-purpose audio plugin host (node97.com)
SpaceX lowering orbits of 4,400 Starlink satellites for safety''s sake (www.space.com)
Convolutional-neural-operator-based transfer learning for solving PDEs (arxiv.org)