1051
No more icons in every menu by default
Have you heard the good news? I bemoaned the approach of putting an icon in every menu item by default which shipped with macOS Tahoe — but now it’s gone in…
1052
Good Culture Is the Biggest Productivity Hack, Not AI
AI definitely helps with productivity, but only when you have the right culture in place first!
1053
How will OpenAI compete?
OpenAI has some big questions. It doesn’t have unique tech. It has a big user base, but with limited engagement and stickiness and no network effect. The incumbents have matched the tech and are leveraging their product and distribution. And a lot of the value and leverage will come from new experie
1054
How AI assistance impacts the formation of coding skills
A randomized trial with 52 developers found AI assistance lowered comprehension scores, except when used for explanations rather than delegation.
1055
Servo is now available on crates.io
Initial crates.io release and LTS version of Servo
1056
Mistral's Shieldstral: 3B open-weights model for multimodal moderation
Shieldstral introduces a 3B open-weights multimodal safety classifier that outperforms models up to 7x its size.
1057
I Inspected My Take-Home Interview Project. It Was a Whole Operation
Appaji, a Computer Science graduate from IIT Patna and former intern at Arista Networks, is a Software Engineer at Infinite Reality. Passionate about building innovative web experiences, with a strong interest in sustainable and customer-focused startups.
1058
Pebble Round 2
We’ve finally gotten around to it The entire Pebble relaunch would not be complete without revisiting one of our most iconic watches from 2015 Pebble Time Ro...
1059
Epoch confirms GPT5.4 Pro solved a frontier math open problem
"A Ramsey-style Problem on Hypergraphs" — a problem from FrontierMath: Open Problems, Epoch AI's benchmark of unsolved research mathematics.
1060
1061
No, it doesn't cost Anthropic $5k per Claude Code user
The viral claim that Anthropic loses $5,000 per Claude Code subscriber doesn't survive basic scrutiny. Let's do the actual maths.
1062
Doing gigabit Ethernet over my British phone wires
Disclaimer: None of this is written by AI, I’m still a real person writing my own blog like its 1999 I finally figured out how to do Gigabit Ethernet over my existing phone wires. Powerline adapter…
1063
Leaving Google has actively improved my life
In May of 2023, Google introduced “AI overviews” into their search engine.^1] This followed years of decisions leading to worse search quality and the consum...
1064
AI is a technology not a product
It’s not even a feature. It’s just technology.
1065
DuckDB Internals Part 1
Walk through DuckDB's internals: how it skips serialization overhead, parses and optimizes SQL, and stores data in columnar row groups with zone maps.
1066
The peril of laziness lost
In his classic Programming Perl — affectionately known to a generation of technologists as "the Camel Book" — Larry Wall famously wrote of the three virtues of a programmer as laziness, impatience, and hubris:
1067
Build your own decision model
"System one" decision models are models that infer and respond with calibrated probabilities or every allowed answer. Consider your everyday language model, to get typed output from it (JSON), you may use Structured Output to constrain the output to guaranteed valid JSON. While model prefills the input in one pass,
1068
Oomwoo, an open-source robot vacuum you build yourself
I’m starting a new build-in-public project: oomwoo, an open-source robot vacuum you build yourself. Raspberry Pi, ROS 2, 2D LiDAR, Home Assistant, 3D printed, local-first — and open from the first commit.
1069
"Don't You Just Upload It to ChatGPT?"
Can ChatGPT replace translators? A freelance translator shares a funny Ottawa story about AI translation, professional judgment and why human expertise still matters.
1070
Maybe you should learn something
You can learn new things. Pixel art, touch typing, 3d modelling, music, calligraphy, wood working, knitting, a language. Whatever is practical and calls to you, you can learn. In the long term, learning new things is fun and makes life richer in ways you can’t even imagine, and it’s a time investment that will pay…
1071
Migrating from Go to Rust
Out of all the migrations I help teams with, Go to Rust is a bit of an outlier. It’s not a question of “is Rust faster?” or “does Rust have types?”, Go already gets you most of the way there. The discussion is mostly about correctness guarantees, run…
1072
CISA Admin Leaked AWS GovCloud Keys on GitHub
Until this past weekend, a contractor for the Cybersecurity & Infrastructure Security Agency (CISA) maintained a public GitHub repository that exposed credentials to several highly privileged AWS GovCloud accounts and a large number of internal CISA systems. Security experts said the public archive included files…
1073
The AI cost of JavaScript frameworks
One of my pet peeves with the web development community is that so many of the decisions we make are vibes-based. Frameworks are “blazing fast,” tools will…
1074
1075
LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
1076
1077
1078
Porsche sold more electrified cars in Europe in 2025 than pure gas-powered cars
With a balanced sales structure across individual markets, Dr. Ing. h.c. F. Porsche AG, Stuttgart, delivered a total of 279,449 cars to customers around the world in 2025.
1079
Telegram Desktop vulnerability allowed any user's file to be stolen
An unescaped separator in Telegram Desktop’s single-instance IPC lets one clicked link read arbitrary files off the disk and send them to the attacker, session files included.
1080
A History of IDEs at Google
Laurent Le Brun's blog