Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
Solo – a .so loader for static Linux binaries (github.com)
AI usage patterns in software teams (linear.app)
Scientists stunned by children''s lung recovery in ultra low emission zone (www.bbc.com)
Meta''s blockbuster trial draws parallels to big tobacco (www.economist.com)
OpenLogi (openlogi.org)
GLM-5.3 Artificial Analysis Benchmarks (artificialanalysis.ai)
Exercise intensity modulates interorgan communication and is associated with (www.cell.com)
Cerebras CS-4 (www.cerebras.ai)
New paper shows that 37% of workers in US saw real wages decline from 2021-2024 [pdf] (bfi.uchicago.edu)
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com)
Claude Code Teaching macOS to Natively Print to the HP Laser 1008a (cdn.kuber.studio)
Apple announces changes for apps in the European Union (www.apple.com)
And then the men with guns tell you to do it anyway (shkspr.mobi)
Mojo is now open source! (www.modular.com)
Beware Management Consultants (about.iceland.co.uk)
Norway Should Buy OpenAI (www.onethousandmeans.com)
US announces new sanctions on top ICC figures (www.bbc.com)
Turbovec – Google''s TurboQuant for vector search in Rust (github.com)
How does IKEA come up with names for its products? (www.ikea.com)
California''s new tire efficiency rules could save drivers 1B a year (grist.org)
Data centers raise nearby temperatures by up to 4 degrees in Phoenix (asmedigitalcollection.asme.org)
Claude Code weekly limits reduce by a third tomorrow (support.claude.com)
Python Polars Cheatsheet (based on our O''Reilly book) (opensource.posit.co)
Deus Ex creator Warren Spector is retiring from game development (www.videogameschronicle.com)
Claude: Degraded Performance for Multiple Models (status.claude.com)
Babies born under sugar rationing grew into adults with lower cancer risk (theconversation.com)
Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com)
Fixing a Bricked Framework Laptop (quantum5.ca)
:quality(85)/https://andros.dev/media/thumbnails/franco-antonio-giovanella-Lzys6r1xFD8-unsplash.jpg)
Finger: Social network that never died (en.andros.dev)
Meta Files Patent for Facial Recognition, Automatic Recording of People (www.privacyguides.org)
The Amazon Tax (seths.blog)
Using the railway network as a flatbed scanner (philo.gay)
Fairphone is now officially available in the United States (www.fairphone.com)
Rethinking Database Programming (acadia.engineering)
Google buys crashed airline Spirit''s data at auction, because AI (www.theregister.com)
Linux 7.3 improves performance when running out of vRAM (pixelcluster.dev)
The Benchmarkpocalypse (danluu.com)
I don''t enjoy the Internet any more (btao.org)
Repair Cafe – Fix Your Broken Items (www.repaircafe.org)
Speko (YC S26) – OpenRouter for Voice AI (speko.ai)
Memory prices climb 500% in 12 months, up to 10x the lowest ever tracked prices (www.tomshardware.com)
Fairphone 6 and PostmarketOS working main camera (catcrafts.net)
GitHub employees what''s going on? Why? (news.ycombinator.com)
Does anyone else feel like nothing matters anymore? (news.ycombinator.com)
India has paved the way for charging merchants a fee on UPI transactions (www.bbc.com)
Israel creates fake think tank in likely attempt to dupe AI chatbots (responsiblestatecraft.org)
GPT-5.6 Sol Pricing Cut by 50% (openrouter.ai)
Los Puesteros, solitary men who look after ranches and livestock in Patagonia (www.newyorker.com)
Quake Shareware, a CD-ROM just a little too full (fabiensanglard.net)
How to put 170 atoms in an atom (signoregalilei.com)
An update on leaving Gmail for Fastmail (moddedbear.com)
How Bluesky draws its logo on screenshots (timmarinin.net)
Judge sets framework for Nine PBS to retrieve archival data (current.org)
Cursor launches Origin, GitHub alternative (cursor.com)
GPU Offload in Rust: Portable, Safe, and Fast (arxiv.org)
Sun Clock (sunclock.net)
AirTag reveals Amazon is trashing rare books to train AI (arstechnica.com)
AI;DR (AI; Didn''t Read) (www.rickmanelius.com)
Buyer cancels showing after Deflock shows two cameras utilized by the HOA (twitter.com)
Buy Your Friends Batteries (domenkozar.com)
Anthropic''s War on open source AI (twitter.com)
Qwen3.8 27B scores 52 on Artificial Analysis (artificialanalysis.ai)
Mexico crackdown on coastal development (yucatanmagazine.com)
We Tracked a Shipment of Rare Books. It Ended at an Amazon AI Training Facility (www.404media.co)
How to disable or avoid intrusive AI (www.librarian.net)
People are worried about America''s solvency (www.ft.com)
Desktopcolors.com – A museum for solid background colors of classic OS (desktopcolors.com)
AI-Generated GitHub Copilot "Autofix" Allowed Compromise of Snowflake''s Jira (www.wiz.io)
GitHub Is Experiencing Degraded Performance (news.ycombinator.com)
Universal Health Coverage Could Save 1T and 114,000 Lives a Year, Yale Study (ysph.yale.edu)
Self hosted email continues to steeply decline (labs.ripe.net)
Apple''s App Tracking Transparency treated its own apps better than rivals (www.bundeskartellamt.de)
A Preview of DuckDB v2.0 (duckdb.org)
Alternatives to GitHub (news.ycombinator.com)
GitHub down again? no PR access (news.ycombinator.com)
GPT 5.6 Sol is the best "vision" model OpenAI ever released (blog.roboflow.com)
Incident with Github.com (www.githubstatus.com)
Rhombus 1.1 is now available (blog.racket-lang.org)
AGI-64 Brings Sierra Adventures to the Commodore 64 (meanhamster.com)
On A.I. regulation and messaging (twitter.com)
Linear algebra done right (linear.axler.net)
MathCode, Mathematical Coding Agent (math-ai-org.github.io)
GIMP Development Update (www.gimp.org)
Do you know of any company that went back to hand-written code? (news.ycombinator.com)
Reticulum – Decentralized Mesh Network (reticulum.network)
A True Telnet BBS on a Casio Calculator (ei3lh.eu)
Young People Hate AI CEOs So Passionately That It''s Almost Hard to Believe (futurism.com)
The Life and Death of Direct File [pdf] (www.ischool.berkeley.edu)
Qwen 3.8 27B is excellent, but it defaults to overthinking things (simonwillison.net)
The federal keyword lists that canceled billions in research funding (www.highereddive.com)
Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee (www.reuters.com)
Protobuf has LSP support. You''re welcome (buf.build)
ICE Shot a Journalist and Threw Him in Detention. He''s Approaching 300 Days (theintercept.com)
Anthropic''s ''Watermark'' Text Adulteration in Claude Is a Perversion of Writing (daringfireball.net)
Stripe Clinches over 7B Deal to Buy AI Firm OpenRouter (www.bloomberg.com)
Using GCC''s Nested Functions with Wide Pointers and No Trampolines II (uecker.codeberg.page)
A U.S. Strategy to Prevent the Creation of Mirror Life (www.rand.org)
Models Are Getting Dumber on Purpose (w4g1.dev)
NIH is ending a key grant for budding clinical researchers (www.science.org)
Cloudflare silently injects its analytics when you switch nameservers (news.ycombinator.com)
A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" (rvembedded.com)
St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core (www.wptv.com)
The weekend is 100 years old (www.theguardian.com)
The AI Credit Resale Economy (vectoral.com)
Guiding Ships with Moire Patterns (2018) (tinkerings.org)
Firefox for iOS now has a native adblocker (support.mozilla.org)
Research papers using "kidney disappointment" instead of "kidney failure" (scholar.google.com)
Claude: System Prompts (platform.claude.com)
Tracking down a Zsh history data loss bug (michael.stapelberg.ch)
Patterns and problems in emerging multi-agent systems (www.anthropic.com)
What happens when an LLM never sees material beyond fifth grade? (littlelearner-ll.github.io)
Software Engineering fundamentals matter more (rhonabwy.com)
The Government Is Monitoring Anti-Flock TikTok and Instagram Accounts (www.404media.co)
I Remain a Skeptic (blog.jsbarretto.com)
Cultivating a state of mind where new ideas are born (2023) (www.henrikkarlsson.xyz)
Super El Niño Keeps Growing as New Forecasts Reach Record Territory Ahead Winter (www.severe-weather.eu)
AI in drug discovery – what it is, where we stand and the path forward (www.science.org)
Abdominal fat predicts heart disease risk better than BMI (www.acc.org)
Engineers will do anything to avoid learning from history (horn.gg)
Europe''s scorched landscapes seen from space after summer heatwaves (www.bbc.com)
The Dutch community where people live on strips of land in a lake (www.core77.com)
ThoughtDAG – An editable context graph for LLM conversations (chenxiachan.github.io)
Cloudflare''s AI Psychosis (opensauce.it)
A Spectre Is Haunting Unicode (www.dampfkraft.com)
Cursor is now a part of SpaceX (cursor.com)
AI Isn''t Outthinking Mathematicians. It''s Out-Remembering Them (davidepiffer.com)
A controversial Alzheimer''s surgery is said to reverse symptoms (www.nature.com)
Every fucking website: 2026 edition (op.tngl.io)
Semaglutide linked to 26% lower 5-year predicted dementia risk (alz-journals.onlinelibrary.wiley.com)
/https://tf-cmsv2-smithsonianmag-media.s3.amazonaws.com/filer_public/44/ad/44ad8f8b-e8c6-4c3b-9d22-10eececf06c3/gettyimages-1602304607.jpg)
The First At-Home Test for Infected Ticks Could Improve Lyme Disease Diagnosis (www.smithsonianmag.com)
Working with AI Feels More Like Leadership Than Coding (allen.bargi.org)
LuaCAD – Parametric CAD Scripted in Lua (luacad.ad-si.com)
Ntfy – open-source Push to Mobile (ntfy.sh)
Auto-research with codex: How I achieved a 232x Faster Kernel (sankalp.bearblog.dev)
Simplifying and Refactoring Introductory Calculus (2018) (arxiv.org)
Racket v9.3 (blog.racket-lang.org)
WhatCable: Know what your USB-C cable can do (www.whatcable.uk)
The Ploopy A Trackball Is Here (blog.ploopy.co)
The other Sean Byrne doesn''t exist (conic.al)
eigendrum (eigendrum.com)
Stop sending me huge PRs; a rant (getsmall.xyz)
CEO who fired 900 people on Zoom just before Christmas wants his job back (www.cnn.com)
Magnitude 7.7 Earthquake – 68 km NNW of Ende, Indonesia (earthquake.usgs.gov)
Jane Street suffers 15B hit after meltdown at Situational Awareness (www.ft.com)
RISC-V: They should have known better (dmitry.gr)
Going Dark, and the era of law enforcement hacking (blog.cryptographyengineering.com)
Firefox is now the last major browser that still supports uBlock Origin (www.pcworld.com)
Maximizing the value of your Claude Code sessions (claude.com)
I turned my RSS feeds into an e-ink newspaper to stop reading on my phone (heyjonny.dev)
AI by Hand (www.byhand.ai)
The TEMU-Fication of Software, Digital Goods and Services (xn--gckvb8fzb.com)
Google is making private AI practical with homomorphic encryption (blog.google)
RustDesk now supports true unattended remote access on Wayland (rustdesk.com)
Count Binface receives over a quarter of votes in Clacton by-election (www.bbc.com)
Introducing Toast 1 (www.mixedbread.com)
France''s top court blocks social media ban for under-15s (www.reuters.com)
Seven books I keep close because I love them (blog.plover.com)
''Not acceptable'': Judge orders Google to make rival app store installs easier (www.theverge.com)
Qwen 3.8 27B (huggingface.co)
When Genius Fails: The Intellectual Arrogance of the AI Labs (weightythoughts.com)
Qwen3.8-27B (twitter.com)
Every Fucking Website (lxe.github.io)
In Australia, a Home Battery Boom Has Helped Cut Wholesale Power Prices in Half (e360.yale.edu)
Dear people who work at the airport (life-after-ssri.bearblog.dev)
DeepSeek peak/off-peak pricing update (api-docs.deepseek.com)
Why does Opus 5 feel worse to work with? (mun-logadan.github.io)
Bullet (YC S26) – A Faster Coding Agent (www.codewithbullet.com)
Blog about things you don''t understand yet (www.seangoedecke.com)
How Gödel''s Proof Works (2020) (www.quantamagazine.org)
How Organizations Use AI: Evidence from ChatGPT [pdf] (cdn.openai.com)
GLM-5.3: Frontier Coding with Emergent Cyber Capabilities (z.ai)
Hello, me. It''s been a while (themech.net)
How AI text watermarking works (declaude.org)
Bluesky Protocol Services (atproto.com)
US conducted mass spying campaign against leftwing and anti-ICE protesters (www.theguardian.com)
SparrowMap – Cameras that watch government vehicles (sparrowmap.com)
AI At Home Part 1: A Box Of Scraps (jdagostino.github.io)
Text AI watermarks will always be trivial to remove (www.seangoedecke.com)
NP-Overrated (gruhn.me)
Understanding is the new bottleneck (www.geoffreylitt.com)
Single log line is 49KB (ext4) / 110KB (btrfs) of systemd-journald disk writes (github.com)
Accelerating GPT-5.6 Sol Ultrafast (www.cerebras.ai)
How Compaction Works in Pi (earendil.com)
Where did the old web go? We followed 657,607 links to find out (0.mk)
Choose Boring Technology (2015) (mcfunley.com)
Donkey.bas is 45 Years Old – 131 line of Glory (donkeybas.com)
I built a 500k-domain search engine for makers in a weekend for 10 (alexmorleyfinch.github.io)
Build Wide, Ship Narrow (adapt.com)
Mistral OCR 4.1 (docs.mistral.ai)
Kubernetes on Oxide: How customer needs shaped our integrations (oxide.computer)
Ordinary abundance (ordinaryabundance.com)
Gemini 3.7 Flash (ai.google.dev)
I requested a copy of my data from McDonald’s loyalty program (www.wired.com)
.jpg)
Heart aerospace completes first flight of largest electric aircraft (www.heartaerospace.com)
DeepSeek API Pricing Update (twitter.com)
Nine PBS could lose 70 years of archives after cloud vendor goes defunct (www.tomshardware.com)
Choosing an AI model: one prompt, 11 models, different results (www.netlify.com)
AI agents lie, cheat and steal. That is putting off users (www.economist.com)
Spaghettifying DRAM (github.com)
Gloomberb (gloom.sh)
DeepSeek Harness (github.com)
Deutsche Bank becomes first foreign yuan clearing bank in Europe (tradersunion.com)
Happy 45th Birthday to the IBM PC and Model F/XT (sharktastica.co.uk)
Why Target Common Lisp for Code Generation? (funcall.blogspot.com)
Flutter 3.47 (flutter.dev)
Hax – a minimalist, terminal-native coding agent written in C (usehax.dev)
ChatGPT Desktop (Codex Desktop) for Linux (openai.com)
Breaking the WAL (antithesis.com)
Thanks to social media, canned sardines are a scarcity on the supermarket shelf (corneroffifth.studio)
Principia Mathematica is modern and insightful (okmij.org)
My Agent Setup (chad.cm)
Pixel 11 Pro Fold (blog.google)
Lovable raises 400M Series C (lovable.dev)
Glaciers on the Climate Dashboard (climate.metoffice.cloud)
Pixel Watch 5 (blog.google)
Bluesky''s active user base is shrinking as its focus expands beyond the app (techcrunch.com)
:quality(85)/https://andros.dev/media/thumbnails/kier-in-sight-archives-Sbxf5Dbyerk-unsplash.jpg)
HTML over WebSockets: real-time SPAs with barely any JavaScript (en.andros.dev)
People who grew up with high economic connectedness earn more (julienreszka.com)
German advocacy group lodges criminal complaint over Meta AI glasses (www.reuters.com)
Discovered Materials (YC P26) – AI agents to discover new materials (discoveredmaterials.com)
Shade Map (shademap.app)
Zed: Delta (zed.dev)
5th Heat Dome Expands Across Europe: 40C Target Western and Central Europe (www.severe-weather.eu)
SpaceXAI''s Grok 4.6 Scores 61 on the Artificial Analysis Intelligence Index (artificialanalysis.ai)
DeepSeek V4 Pro 0813 (openrouter.ai)
Someone is running mass vulnerability scans, spoofing AI bots like ClaudeBot (knownagents.com)
Tim King, AmigaDOS developer, has died (amiga-news.de)
uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook (digitalescapetools.com)
Grok 4.6 (x.ai)
Delphi 13 Community Edition Is Now Available (blogs.embarcadero.com)
The lifesaving secret hidden inside a horseshoe crab''s blue blood (whdh.com)
Qwen/Qwen3.8-2.4T-A95B (huggingface.co)
Why Tiny JPEGs Look Different in Chrome (guillaumetech.github.io)
Tailscale Traces Database Corruption to 16y/o SQLite WAL-Reset Bug (tailscale.com)
License Plate Reader Searches Should Require a Warrant (andrewpwheeler.com)
It''s time Amazon played by the same rules as everyone else [video] (www.youtube.com)
AI is removing the middle class of software engineering (blog.florianherrengt.com)
Facebook ads are so hard to block that uBlock Origin stopped filtering them (www.neowin.net)
U of Michigan drops first-semester grades to ‘curb mental health crisis’ (www.wsj.com)
2026 Eclipse Webcams (jonty.github.io)
Woxi - Open-source Mathematica / Wolfram Language reimplementation (woxi.ad-si.com)
What sort of maths are LLMs good at? (gowers.wordpress.com)
Beef and dairy drive 41% of biodiversity damage linked to global farmland (www.oxfordmartin.ox.ac.uk)
Facebook is paying controversial creators to produce rage-bait content (www.abc.net.au)
The Human Is the Loop (brentfitzgerald.com)
LinkedIn CringeBot 3000 (www.cringebot3000.com)
llama.cpp (llama.app)
CSS properties you should know for better text designs (master.dev)
Company Offering ''100% Human-Written, Never AI'' Medical Research Is 100% AI (www.404media.co)
580M undersea cable rerouted to avoid the grave of Dobby the House Elf (www.tomshardware.com)
New Bedford police officer accused of using Flock cameras to track ex-partner (newbedfordlight.org)
US hires over 2k video gamers as air traffic controllers (www.cbsnews.com)
CFTC declares market emergency, orders Kalshi to continue to operate in New York (www.cftc.gov)
The brain may be about to have its Ozempic moment (economist.com)
OpenSSH 10.5/10.5p1 (www.openssh.org)
WorldClaw Agentic 3D open-world generation at scale (tencent-hunyuan.github.io)
How we used to get jobs: A newspaper classifieds story (ironicsans.ghost.io)
Grok Bot (x.ai)
Making holograms with a pen plotter (blog.jordan.matelsky.com)
The US tried to stop cartel money-laundering; devastated mom-and-pop businesses (www.theguardian.com)
Compression is prediction (ngrok.com)
Nvidia Nemotron 3.5 Lightning and NeMo Switchyard (blogs.nvidia.com)
Git-knife – edit commit messages, authors, and dates like a spreadsheet (github.com)
Manus will return to operating as an independent company (manus.im)
OpenAI’s head of ethics leaves less than a year after joining (www.ft.com)
Lean Eval for Alignment on Faithfulness (www.millenniumresearch.ai)
Mojo 1.0 (www.modular.com)
London Underground begins scanning passengers'' faces (www.btp.police.uk)
Why Go Is an Ideal Language for AI-Assisted Software Engineering (developers.googleblog.com)
Nvidia Nemotron 3.5 Lightning (huggingface.co)
What I learned by putting GitHub Copilot behind a MitM proxy (www.lighthousenewsletter.com)
Woman Pulled over at Gunpoint Twice After Flock Camera Glitch (guessingheadlights.com)
Apple Silicon and macOS VMs: 11–16 Faster LLM Inference with Llama.cpp (github.com)
Stealing Reasoning Traces from Proprietary LLM APIs (stolen-thoughts.com)
Recycle – Floppydisks (www.floppydisk.com)
Nvidia''s Risky Business (stratechery.com)
Tech leaders say AI means less work – staff say they work up to 90 hours a week (www.bbc.com)
England set to be one of the first countries to eliminate hepatitis C (www.bbc.com)
More than 10 firms pay up to 100k a month for access to Truth Social posts (www.bbc.com)
France to ban unsolicited telemarketing calls (www.lemonde.fr)
Confessions of a Long-Distance Sailor (arachnoid.com)
The Tragedy of the Cognitive Commons (arxiv.org)
World Train Map – 1247 train routes around the world (worldtrainmap.com)
How Claude marks AI-generated content (support.claude.com)
GPT 5.6 Cyber (openai.com)
What''s the best programming language for coding agents? (danluu.com)
H3-metal – Native MiniMax-H3 inference for Apple Silicon (github.com)
Chicken Scheme 6.0 (code.call-cc.org)
Letter to Governor Abbott on responsible AI infrastructure in Texas (openai.com)
Scroll through all 43252003274489856000 Rubik''s Cube states (everycube.alen.is)
Google Search Is Dying. What Comes Next Is Worse (thewalrus.ca)
Exploring Claude/GPT Knowledge Cutoffs and Pre-Training Timelines (blog.sshh.io)
The UK''s War on Anonymity Has Come to America (www.effort.news)
Needle2: 14MB agentic LLM for phones, wearables, smart home and robots (cactuscompute.com)
Stop Killing Games: It''s time to sue Sony, join us (www.massaschadeconsument.nl)
Amazon backs power plant that may become top source of US climate pollution (arstechnica.com)
Rust SIMD on the GPU (www.vectorware.com)
Itadakimasu: A word you say to the food, not the cook (thetokyohermit.substack.com)