181
Web development is fun again
AI tools brought me back to levels of productivity I haven't felt in years. Web development is fun again.
182
Codex is now in the ChatGPT mobile app
Use Codex anywhere with the ChatGPT mobile app. Monitor, steer, and approve coding tasks in real time across devices and remote environments.
183
Upcoming breaking changes for npm v12
Our next npm major version, v12, introduces security-related default changes to npm install. All these changes are available behind warnings in npm today on 11.16.0 or newer, so you can…
184
Python 3.15's JIT is now back on track
Python 3.15’s JIT is now back on track
185
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.
186
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…
187
188
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.
189
A History of IDEs at Google
Laurent Le Brun's blog
190
Apple randomly closes bug reports unless you "verify" the bug remains unfixed
Why do I file bug reports with Apple Feedback Assistant ? I plead insanity. Or perhaps addiction. I seesaw between phases of abstinence and falling off the wagon. I’ve even tried organizing a public boycott of Feedback Assistant, with a list of demands to improve the experience for users, but the boycott never caught…
191
Polars 2.0
The release Python Polars 2.0, bringing the streaming engine, out-of-core and first class blazingly fast SQL support
192
193
Windows native app development is a mess
I tried to build a Windows native app using Microsoft's latest technologies. Now I understand why everyone builds Electron apps.
194
A Design Space Exploration of Async/Await
Every language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven modern runtimes agree on what even the simplest async programs should do! In this paper we map the design space of…
195
The Emacsification of Software
Everything looks like Emacs now: personal, complicated, idiosyncratic, and shrink-wrapped around exactly what you want it to do. Does shipping software even make sense in the long run?
196
Date is out, Temporal is in
Temporal is the Date system we always wanted in JavaScript. It's extremely close to being available so Mat Marquis thought it would be a good idea to explain exactly what is better about this new JavaScript date system.
197
The new rules of context engineering for Claude 5 generation models
We removed over 80% of Claude Code's system prompt for more advanced models. How to apply the lessons we learned to your own context engineering in Claude Code and with your own agents.
198
Agentic Coding Is a Trap
Remaining vigilant about cognitive debt and atrophy.
199
DuckDB 2.0.0 LTS “Cinnamon Teal”
The DuckDB team is happy to announce that today we're releasing DuckDB version 2.0.0 LTS, codenamed “Cinnamon Teal” (Spatula cyanoptera). This is our biggest feature release so far, and it ships a polished version of the Quack protocol, asynchronous I/O, a first-class VARIANT type, agent mode, triggers, an extensible…
200
LLMs work best when the user defines their acceptance criteria first
One of the simplest tests you can run on a database:
201
The git history command
Working with lots of changes in parallel on git can be painful. You end up juggling branches and commits, and running scary rebase -i commands that can leave your tree in a half-broken state if you so …
202
Make tmux pretty and usable (2024)
Customize the look and feel of tmux
203
Auto-research with codex: How I achieved a 232x Faster Kernel
Table of Contents Intro Contest in short Problem intro Why this problem is auto-research-able Learning Enough to Ask Better Questions (Optional) Math f...
204
Unrolling the Codex agent loop
A technical deep dive into the Codex agent loop, explaining how Codex CLI orchestrates models, tools, prompts, and performance using the Responses API.
205
Old and new apps, via modern coding agents
I have been interested in machine-assisted ways to do and teach mathematics from as far back as 1999, when I started coding several applets in Java 1.0, both for my complex analysis and linear alge…
206
Cursor 0day: When Full Disclosure Becomes the Only Protection Left
A seven-month-old arbitrary code execution vulnerability remains present in Cursor, leaving 1 million daily users to rely on public disclosure after months of unsuccessful attempts to obtain remediation updates.
207
I switched from VSCode to Zed
For many years VSCode has been my day-to-day IDE for everything: Python, Go, C, occasional frontend development, and what not. It was never...
208
Native all the way, until you need text
Why building a rich, selectable, streaming Markdown chat UI on macOS still pushes you toward WebKit or Electron.
209
'No way to prevent this,' says only package manager where this regularly happens
Kevin Patel - Application Security Engineer @ NISC
210
ggsql: A Grammar of Graphics for SQL
Introducing ggsql, a grammar of graphics for SQL that lets you describe visualizations directly inside SQL queries.