Turning Dafny Sets into Sequences [video] (www.youtube.com)
X Users Have the Power to Edit Any Image Without Permission (petapixel.com)
We still don''t know what Elon Musk''s DOGE did (www.theguardian.com)
Waymo sues Santa Monica, and the city sues right back: Court fight ahead (www.latimes.com)
Attention Is Bayesian Inference (medium.com)
AI and politics and stagflation workplace fatigue (www.glassdoor.com)
Project ideas to appreciate the art of programming (codecrafters.io)
Penn and Teller Help Rob Pike and Dennis Ritchie Play a Prank on Arno Penzias [video] (www.youtube.com)
Christmas 500 years ago was a drunken 6-week feast (fortune.com)
Brain immune cells may drive more damage in females than males with Alzheimer''s (medicalxpress.com)
Feuding physicists and the bitter battle over the swirls in ''The Starry Night'' (www.washingtonpost.com)
The GDB JIT Interface (bernsteinbear.com)
I exposed my Homelab through Cloudflare Tunnels (ebourgess.dev)
Coverage.py sleepy snake logo (2019) (nedbatchelder.com)
NYC Mayoral Inauguration Bans Raspberry Pi and Flipper Zero Alongside Explosives (blog.adafruit.com)
HP told me I need to buy a new motherboard to reset the forgotten BIOS password (old.reddit.com)
Flint (www.flint.fyi)
Tw93/Mole: Deep clean and optimize your Mac (github.com)
Using Perplexity, Firecrawl and Gemini Flash to analyze 305 Links for 12.70 USD (vibegui.com)
Coase''s Penguin, Or, Linux and the Nature of the Firm [pdf] (www.benkler.org)
Gallery of Bad Shell Code (github.com)
Mamdani Will Be Sworn in at Abandoned Subway Station Beneath City Hall (www.nytimes.com)
Hubble Reveals Chaos in the Largest Planet Nursery Ever Seen (www.universetoday.com)
Elon Musk''s top Tesla predictions for 2025 that didn''t happen (electrek.co)
Important stuff most people get wrong (upgrader.gapminder.org)
Cybersecurity Employees Plead Guilty to Ransomware Attacks Using ALPHV BlackCat (www.justice.gov)
Review: Commodore 64 Ultimate (www.wired.com)
Introducing RalphOS, a vibe-coded operating system (www.loom.com)
Psilocybin triggers activity-dependent rewiring of large-scale cortical networks (www.cell.com)
The Honey Files Expose Major Fraud [video] (www.youtube.com)
Honey''s Dieselgate: Detecting and Tricking Testers (vptdigital.com)
XFCE-Winxp-Tc (github.com)
Former IBM CEO Lou Gerstner passes, aged 83 (www.theregister.com)
Eric Barone makes 125,000 donation to the C# framework (xcancel.com)
OpenAI''s cash burn will be one of the big bubble questions of 2026 (www.economist.com)
Leveraging insights from neuroscience to build adaptive artificial intelligence (www.nature.com)
The Honey Files Expose Major Fraud (docs.google.com)
A Battle with My Blood (www.newyorker.com)
A small collection of text-only websites (shkspr.mobi)
The moment GMV is labeled ARR, the business is built on sand (oswarld.com)
AI Labs Are Solving the Power Crisis: The Onsite Gas Deep Dive (newsletter.semianalysis.com)
Gestational diabetes rose every year in the US since 2016 (news.northwestern.edu)
Frontier Models are Capable of In-context Scheming (arxiv.org)
U.S. cybersecurity experts plead guilty for ransomware attacks (www.tomshardware.com)
Tatiana Schlossberg, granddaughter of John F Kennedy, dies aged 35 (www.bbc.com)
Tesla Owner Logs 10k Consecutive Miles on FSD Without a Single Intervention (driveteslacanada.ca)
Humans May Be Able to Grow New Teeth Within Just 4 Years (www.popularmechanics.com)
How the "Marvelization" of Cinema Accelerates the Decline of Filmmaking (www.openculture.com)
Framework Is Showing (dbushell.com)
The Slow Media Manifesto (en.slow-media.net)
/s3/static.nrc.nl/wp-content/uploads/2025/12/29132123/291225ECO_2028463901_NexperiaEngels2.jpg)
Nexperia in no-man''s-land: how the company became caught between 2 world powers (www.nrc.nl)
ADHD drugs don''t work the way we thought (www.sciencedaily.com)
Minification Doesnt Matter Much (gomakethings.com)
Wrapped Envy Season (www.wreflection.com)
Sabotaging Bitcoin (blog.dshr.org)
iPhone 17 Pro and Pro Max Users Report Static Speaker Noise While Charging (www.macrumors.com)
Rover: AI Coding Agent Manager (endor.dev)
Introduction to Machine Learning Systems (github.com)
Using lava lamps to break RSA (flak.tedunangst.com)
The Bruising Reality of Searching for a Job at 65 (www.wsj.com)
Rx Inspector – Look Up Where Your Generic Prescription Drugs Were Made (projects.propublica.org)
The Truth about Affordability (www.economist.com)
Mitigation needed to avoid unprecedented multi-decade North Atlantic Oscillation (www.nature.com)
Reverse Engineering Bluetooth on Amazon Kindle EReaders (sighery.com)
The sword-wielding man hired to kick squatters out of empty Oakland homes (oaklandside.org)
Sustainable 3D printing using rapid-set clay concrete with biobased additives (link.springer.com)
Where Are the Beautiful Cities? (twitter.com)
Google Home Users Are Trying to Hack Their Way to a Better Voice Assistant (gizmodo.com)
Cyberattack disrupts France''s postal service and banking during Christmas rush (apnews.com)
India has surpassed Japan to become the fourth-largest economy (www.dw.com)
ESPectre Sensor: open-source motion detection system for ESP32 (espectre.dev)
Painting with light in WebGL: terrain builder in the browser (medium.com)
New brain implant restores lost senses using light (newatlas.com)
Prof. Software Developers Don''t Vibe, They Control: AI Agent Coding Use in 2025 (arxiv.org)
Everything as Code: How We Manage Our Company in One Monorepo (www.kasava.dev)
Billionaire Superyachts in St. Barts for New Year''s Eve (www.forbes.com)
Social Media Posts Predict Unemployment Spikes Two Weeks Early (scienceblog.com)
Soldr, an open-source compact soldering station (www.soldr.pro)
Zpdf: PDF text extraction in Zig – 5x faster than MuPDF (github.com)
Growing Reddit Topics (freesubstats.com)
Common-Mode Chokes PDF (2006) (remoteqth.com)
Luna – Space Simulation (luna.watermelonson.com)
Amtrak: A Year of Records (media.amtrak.com)
Desktop Classic System – Spacial computing hearkening back to classic Mac OS (mycophobia.org)
Can a Commodore 1541 Disk Drive Be Used as a General Purpose Computer? [video] (www.youtube.com)
Easily create and view 3D splat files from 2D images with Apple''s ML Sharp model (github.com)
Troy: Turkish Payment Method Alternative (www.troyodeme.com)
Yet, another temple, but now in space (orbitaltemple.art)
China mandates 50% domestic equipment rule for chipmakers (www.reuters.com)
We Fall for Narcissistic Leaders, Starting in Grade School (www.nytimes.com)
The Napoleon of Notting Hill (en.wikipedia.org)
The birth of the internet, according to Jon Bois [video] (www.youtube.com)
Welcome to "necroprinting"–3D printer nozzle made from mosquito''s proboscis (arstechnica.com)
jless – A Command-Line JSON Viewer (jless.io)
Foreign tech workers are avoiding travel to the US (www.computerworld.com)
David Long''s "Adventure 6" (LONG0751) has been found (quuxplusone.github.io)
FediMeteo: A 4 FreeBSD VPS Became a Global Weather Service (it-notes.dragas.net)
5 Years, 12 Pivots (boundaryml.com)
Collaboration Sucks (posthog.com)
Cheap Solar Is Transforming Lives and Economies Across Africa (www.nytimes.com)
Escaping Containment: A Security Analysis of FreeBSD Jails [video] (media.ccc.de)
Internet Archive Wayback Machine is currently 503 (web.archive.org)
Iran Protests Enter Third Straight Day as Students Join In (www.wsj.com)
The Podcast ''Productivity'' Trap (www.theatlantic.com)
Mutatis – Database that mutates its schema based on semantic patterns (github.com)
Now That He Has No Power, Mitt Romney Says "Tax the Rich" (jacobin.com)
Questions for Jill Tarter, Astronomer (2014) (www.sciencefriday.com)
Company in a Box – 42 AI agents to run a software house (github.com)
The rise and fall of the OLAP cube (www.holistics.io)
Patriotism tests loom for big business (www.economist.com)
Funes.world (funes.world)
Building an in-memory background job queue in ASP.NET Core (abp.io)
Quickly Inspect Your Java Application with JStall (mostlynerdless.de)
Community Tools Bring Lockfile Support to GitHub Actions (nesbitt.io)
Intro to Foundation DB via a Distributed Mutex (jander.land)
Ohara – blockchain verification of non-AI media (github.com)
Russian number station UVB-76 suddenly plays Swan Lake and Erika [video] (www.youtube.com)
TRIZ (en.wikipedia.org)
CCC 25:Build a CPU in Factory Game Engine (www.youtube.com)
You''ve been targeted by government spyware. Now what? (techcrunch.com)
A faster heart for F-Droid. Our new server is here (f-droid.org)
Git''s HTTP server side design does not scale (xeiaso.net)
America''s economy looks set to accelerate (www.economist.com)
George and Amal Clooney granted French citizenship (www.cnn.com)
Chinese cars are beating European tariffs (www.economist.com)
Conditions in the Intel 8087 floating-point chip''s microcode (www.righto.com)
Bison return to Illinois'' Kane County after 200 years (phys.org)
Lottocracy: Democracy Without Elections (www.lottocracy.org)
The Problem with Letting AI Do the Grunt Work (www.theatlantic.com)
Wayland is flawed at its core and the community needs to talk about it (old.reddit.com)
I Sharted and Understood the Helpful Content Update (wskpf.com)
Electrolysis can solve one of our biggest contamination problems (ethz.ch)
Hiring a Series A/B CTO: Attributes That Matter (shailppatel.com)
Monolith OS Devblog for December 2025 (monolith-project.org)
Party of One for Code Review (tidyfirst.substack.com)
Every Hacker News Item Organized by Day (staticnews.dosaygo.com)
Gitdb.net (gitdb.net)
An AI generated wiki for exploring GitHub projects (deepwiki.com)
Nvidia insists it isn''t Enron (www.theguardian.com)
39C3 Asahi Linux – Porting Linux to Apple Silicon [video] (media.ccc.de)
Why Make Websites? (hypertext-engineering.pages.dev)
The Origin of Rot (www.owlposting.com)
How to Get Startup Ideas (2012) (paulgraham.com)
The great programming transformation: How AI and Rust are quietly dethroning C (www.zdnet.com)
Am I slop? Analyze the perplexity of your thoughts (www.amislop.com)
A Billionaire Wants to Reinvent Appalachia with a Utopian City (appalachianmemories.org)
Apple''s AI Strategy Could Pay Off in 2026 (www.macrumors.com)
We lost the habit of sleeping in two segments and that changed our sense of time (english.elpais.com)
Solar Slidewheel for Celestial Navigation (trmm.net)
Did Starmer Impose a Curfew in the U.K.? No, It''s a Fake TikTok Video (www.nytimes.com)
Money struggle is unhealed trauma (mibetterelli.substack.com)
The Oil Company Drilled. The Government Slaughtered. Who Is Guilty? (www.nytimes.com)
Note67 – Local-first AI meeting transcription and notes macOS app (note67.com)
Sova Study the friendly AI learning companion (www.sovastudy.com)
When the AI bubble pops, Nvidia becomes the most important software co overnight (www.theregister.com)
Mastering Function and Class Templates in C: A Complete Guide (techfortalk.co.uk)
Std: Span C20: When to Use (and Not Use) for Safe Buffer Passing (techfortalk.co.uk)
Raindrop-Powered Generator Using Carbon Fiber Composites (en.sedaily.com)
Flow Is a Property of the System and the Individual (russmiles.substack.com)
Tool Design Patterns for Agents (fred.glass)
AI showing signs of self-preservation and humans should be ready to pull plug (www.theguardian.com)
Alternative sweetener sorbitol linked to liver disease (medicalxpress.com)
Motorized aim assist system uses a moving mousepad for laser-accurate headshots (www.tomshardware.com)
US approves Samsung, SK Hynix chipmaking tool shipments to China (www.reuters.com)
Iran''s currency collapse sparks second day of trader protests (www.euronews.com)
The Star Gauge is a 4th-century Chinese poem that can be read 3k ways (en.wikipedia.org)
A Vulnerability in Libsodium (00f.net)
My Vibe Coded Projects in 2025 (blog.nawaz.org)
Assessing Public Support for Degrowth (www.thelancet.com)
Are There Fourth Amendment Rights in Google Search Terms? (reason.com)
''Commuting Is Bad''–Particularly for Women (www.theatlantic.com)
Local AI Needs to Become the Norm (unix.foo)
Toro: Deploy Applications as Unikernels (github.com)
Apache Kafka 2025 Wrapped (blog.2minutestreaming.com)
PostNord, Denmark''s Main Postal Carrier, Ends Letter Delivery (www.nytimes.com)
SoftBank has completed its 40B investment in OpenAI, CNBC reports (www.reuters.com)
Tamiko Thiel posting a new project emulating ELI5-like Feynman Lectures (www.youtube.com)
Tech Policy Should Look Like Engineering Requirements (howdytx.technology)
Agent Client Protocol: A protocol for connecting any editor to any agent (github.com)
Friendly Little Wrapper Types–high value, low cost, just use them (v5.chriskrycho.com)
Living with obesity: The people who are hard-wired to store fat (2021) (www.bbc.com)
What is the greatest artwork of the century so far? (marginalrevolution.com)
2025 in Review: Jagged Intelligence Becomes a Fault Line (www.dbreunig.com)
1Password extension breaks code blocks on all websites (twitter.com)
My shower head is racist [doechii] (doechii.substack.com)
Why Private-Equity Millionaires Love South Dakota (www.wsj.com)
Daily orange juice could be helping your heart (theconversation.com)
Image Sequence to GIF Converter [Gifify] (gifify.himthe.dev)
Turn Objections into Conditions (holenventures.substack.com)
Teach Yourself Programming in Ten Years (1998) (norvig.com)
Why people are mad at Framework (sgued.fr)
YouTuber Ross Creations probed for animal abuse over ''opossum launcher'' video (www.dexerto.com)
European Russophobia and Europe''s Rejection of Peace: A Two-Century Failure (www.jeffsachs.org)
What changes when AI memory stops being ephemeral? (ryjoxdemo.com)
Offenders in England and Wales to have alcohol levels tracked over newyearperiod (www.theguardian.com)
Fixing My System76 Laptop in 20 Minutes or Less (danielmangum.com)
Qwen Code v0.6.0 is available (github.com)
Manus Is a Tough Business (kippinitreal.substack.com)
Polish, the AI Whisperer (europeancorrespondent.com)
1M for Non-Specialists (pithlessly.github.io)
MIT Battlecode (programming competition) starts in 1 week (battlecode.org)
Children and Helical Time (moultano.wordpress.com)
EV Makers Just Got a New Problem in China, and It Starts in 2026 (www.carscoops.com)
On the Need for Understanding (blog.information-superhighway.net)
Volusia Error (2000) (en.wikipedia.org)
Bugs that survive the heat of continuous fuzzing (github.blog)
Dollar on track for steepest annual drop for almost a decade (www.ft.com)
52 Things I Learned in 2025 (probablyinteresting.substack.com)
2025 Was Another Exceptionally Hot Year (e360.yale.edu)
Balsa "2001: A Space Odyssey" Model (www.engineersneedart.com)
Grateful in Dubai (rozumem.xyz)
The State of LLMs 2025: Progress, Progress, and Predictions (magazine.sebastianraschka.com)
One incident, onion tech debt and layoffs (medium.com)
Fenian RAM Submarine (en.wikipedia.org)
AI Overviews Are Filtering Out Bad Traffic (wskpf.com)
700Credit data breach exposes SSNs of 5.8M consumers (www.foxnews.com)
/https://tf-cmsv2-smithsonianmag-media.s3.amazonaws.com/filer_public/4c/ad/4cadfb7f-235d-486b-b414-06a33958b9b2/gettyimages-2174441248.jpg)
The Oldest Restaurant in the World Just Turned 300 Years Old (www.smithsonianmag.com)
You Were the Smart Kid, So What Went Wrong? [video] (www.youtube.com)
Missing Brain Receptor May Hold the Key to Autism (psychiatryonline.org)
SoftBank funds 40B OpenAI Investment (www.cnbc.com)
Inlining (buttondown.com)
Z.ai is set for its IPO on Jan 8, 2026 (twitter.com)
Beating Myself at Chess (log.schemescape.com)
Memory Safety Is ... (matklad.github.io)
Harry Potter and the Rules of Quidditch (substack.com)
Advice for New Tech Bloggers (writethatblog.substack.com)
''peck'' – easy screenshots and screen captures on Wayland (github.com)
Formally Speaking, "Transpiler" Is a Useless Word (people.csail.mit.edu)
What Happened to Abit Motherboards (dfarq.homeip.net)
The ugly memes driving crypto sales (www.ft.com)
The Legacy of Undersea Cables (blog.sciencemuseumgroup.org.uk)
CSS-in-JS: The Great Betrayal of Front End Sanity (thenewstack.io)
Fruit Harvesting Robot Based on a Reachability and Inverse Reachability Map (www.mdpi.com)
AI hasn''t run out of data (openmined.org)
Toronto man outruns streetcars to show up sluggish transit network (www.theguardian.com)
Star of Bethlehem might have been a comet described in an ancient Chinese text (phys.org)
Public Sans – A strong, neutral typeface (public-sans.digital.gov)
Jan Łukasiewicz (plato.stanford.edu)
The 70% AI productivity myth: why most companies aren''t seeing the gains (sderosiaux.substack.com)
China holds military drills around Taiwan as warning to ''separatist forces'' (www.bbc.com)
A Second Year of Decline for Tesla''s EVs (electrek.co)
CRISPR Breakthrough Could Rewrite Future of Genetic Disease Treatment (scitechdaily.com)
The Last of Us – Fighting the EU Surveillance Law Apocalypse [video] (media.ccc.de)
16-bit Intel 8088 chip by Charles Bukowski (mypoeticside.com)
Building a React App with Formally Verified State (midspiral.com)
Tesla Model 3 sedans face federal safety probe over hidden emergency releases (www.latimes.com)
1Password extension is injecting Prism.js and breaking all highlighting (twitter.com)
Busy Work (en.wikipedia.org)
When the line stops going up (www.coryzue.com)
Decoding a V16 Beacon (destevez.net)
MH370 vanished in 2014.New search aims to find answers families desperately want (www.abc.net.au)
Ionice(1) – Linux Manual Page (man7.org)
Renewable energy project approvals hit record high in GB in 2025, data shows (www.theguardian.com)
The Discovery of Lin Yutang''s MingKwai Chinese Typewriter (typewriterrevolution.com)
The British Empire''s Resilient Subsea Telegraph Network (subseacables.blogspot.com)
MongoDB CVE CVE-2025-14847 – what K8s users should know? (www.armosec.io)
Top US law firms hand associates 300k-plus bonuses (www.ft.com)
Groq investor sounds alarm on data centers (www.axios.com)
The Ascent of the AI Therapist (www.technologyreview.com)
Far-right online dating site leaked (okstupid.lol)
Fucking Approachable Swift Concurrency (fuckingapproachableswiftconcurrency.com)
The state of AI – December 2025 (www.ashprabaker.com)
Calibri Wasn''t Fit for the State Department; Neither Is Times New Roman (hsu.cy)
Simple Made Easy – Rich Hickey (www.infoq.com)
Nano Banana Pro: The End of Photographic Evidence, Again (julienposture.substack.com)
Singapore Study Links Heavy Infant Screen Time to Teen Anxiety (www.bloomberg.com)
Raytracing in One Weekend (raytracing.github.io)
The U.S. offers Ukraine a 15-year security guarantee for now (www.npr.org)
Asahi Linux M1 DisplayPort working during CCC #39c3 (github.com)
When the lights went out, and the shooting started, Y2K [felt] all too real (www.theregister.com)
Why AV1 is not used more broadly (2023) (old.reddit.com)
My Three-Day Retreat in Total Darkness (www.nytimes.com)
Turkey''s ancient, caffeine-free coffee alternative (www.bbc.com)
How to Ruin All of Package Management (nesbitt.io)
Happy 16th Birthday, Krebsonsecurity.com (krebsonsecurity.com)
Why Vxlan? (goyalankit.com)
Wired Magazine Got Hacked (www.facebook.com)
Non-Zero-Sum Games (nonzerosum.games)
DeepMind Researcher''s Summary of 2025 (zhengdongwang.com)
The Path to Mojo 1.0 (www.modular.com)
AI Slop Is Spurring Record Requests for Imaginary Journals (www.scientificamerican.com)
Project Silica''s glass storage archive tech progress (blocksandfiles.com)
Daily Mosnodenvir as Dengue Prophylaxis in a Controlled Human Infection Model (www.nejm.org)
Are We Compressed Yet? (github.com)
Ruby Array Pack Bleed – Impacts Ruby 1.6.7 to 4.0.0 (nastystereo.com)
Video Streaming with the AV1 Video Codec in Mobile Devices (engineering.fb.com)
Nicolas Guillou, French ICC judge sanctioned by the US and "debanked" (www.lemonde.fr)
More on Shuffles (shreevatsa.net)
Bichon: A lightweight, high-performance Rust email archiver with WebUI (github.com)
Z.ai going to IPO Jan 8 (twitter.com)
Steve Wozniak was the technologist, Steve Jobs was the salesman [video] (www.youtube.com)
List of predictions for autonomous Tesla vehicles by Elon Musk (en.wikipedia.org)
Snowflake Gen2 vs. Gen1: performance and cost analysis (seemoredata.io)
I built justRead because existing reading apps ignore what readers want (justread.app)
Netflix: Open Content (opencontent.netflix.com)
The Coordination Tax (codegood.co)
Now we are done with these AI data centers (www.wired.com)
Marks and Spencer launches ''nutrient dense'' range for people on weight-loss jabs (www.theguardian.com)
An attempt on defining the nature of consciousness [pdf] (philpapers.org)
ffmpeg.wasm (ffmpegwasm.netlify.app)
