Partner with the AI, throw away the code
Matteo Vaccari shows why the common metric of AI code acceptance has big hole. An LLM can be helpful even if you throw away its code....
WeiterlesenMonth: July 2025
2000 words about arrays and tables
I’m way too discombobulated from getting next month’s release of Logic for Programmers ready, so I’m pulling a idea from the slush pile. Basically I wanted...
Weiterlesen
Cursor makes developers less effective?
Hi, this is Gergely with a bonus, free issue of the Pragmatic Engineer Newsletter. In every issue, I cover Big Tech and startups through the lens...
WeiterlesenProgramming Language Escape Hatches
The excellent-but-defunct blog Programming in the 21st Century defines “puzzle languages” as languages were part of the appeal is in figuring out how to express a...
WeiterlesenWho is LLM
It’s become a common habit for developers to give Large Language Models (LLMs) a persona when working with them. I describe four of them, a stubborn...
WeiterlesenGenerative AI in software and essaying
Korny Sietsma has a great example of how using an LLM for coding is very helpful but with limitations… and a thoughtful general essay on why...
WeiterlesenMaybe writing speed actually is a bottleneck for programming
I’m a big (neo)vim buff. My config is over 1500 lines and I regularly write new scripts. I recently ported my neovim config to a new...
Weiterlesen
The Pulse: Section 174 is reversed! Mostly, that is
Hi, this is Gergely with a bonus, free issue of the Pragmatic Engineer Newsletter. In every issue, I cover Big Tech and startups through the lens...
WeiterlesenThe FIPS 140-3 Go Cryptographic Module
The Go Blog The FIPS 140-3 Go Cryptographic Module Filippo Valsorda (Geomys), Daniel McCarney (Geomys), and Roland Shoemaker (Google) 15 July 2025 FIPS 140 is a...
WeiterlesenThree worthwhile articles yesterday
Three articles I enjoyed yesterday: Stephen O’Grady talks about how Gen AI tools break two common constants with developer tools: they are willing to flit between...
WeiterlesenI still care about the code
Even with LLMs, Birgitta Böckeler still cares about the code: “LLMs are NOT compilers, interpreters, transpilers or assemblers of natural language, they are inferrers. more…
Weiterlesen
Logic for Programmers Turns One
I released Logic for Programmers exactly one year ago today. It feels weird to celebrate the anniversary of something that isn’t 1.0 yet, but software projects...
WeiterlesenGeneric interfaces
The Go Blog Generic interfaces Axel Wagner 7 July 2025 There is an idea that is not obvious until you hear about it for the first...
Weiterlesen
Software engineering with LLMs in 2025: temperature check
How are devs using AI tools at Big Tech and startups, and what do they actually think of them? This was the topic of my annual...
WeiterlesenLogical Quantifiers in Software
I realize that for all I’ve talked about Logic for Programmers in this newsletter, I never once explained basic logical quantifiers. They’re both simple and incredibly...
WeiterlesenDeno 2.4: deno bundle is back
Deno bundle is back, alongside the addition of bytes and text imports, stabilized built-in OpenTelemetry, a new –preload flag, simplified dependency management with deno update, and...
WeiterlesenWhole-Body Conditioned Egocentric Video Prediction
× Predicting Ego-centric Video from human Actions (PEVA). Given past video frames and an action specifying a desired change in 3D pose, PEVA predicts the next...
Weiterlesen