Code research projects with async coding agents like Claude Code and Codex

UT Austins Statement on Academic Integrity A month ago William Inboden, the provost of UT Austin (where I work), invited me to join a university-wide “Faculty Working Group on Academic Integrity.” The name made me think that it would be about students cheating on exams and the like. I didn’t relish the prospect but I said

Its not that hard to stop a Trane Six years ago, I replaced the old HVAC system that came with our house, a central forced air system installed in 19951. The new system is a Trane XR AC paired with an S9V2 96% efficiency forced-air gas furnace. And it ran great! Better efficiency, quieter, multiple fan speeds so I

A new SQL-powered permissions system in Datasette 10a20

New prompt injection papers Agents Rule of Two and The Attacker Moves Second

On keeping a packed suitcase Update (Nov. 6): I’ve closed the comments, as they crossed the threshold from “sometimes worthwhile” to “purely abusive.” As for Mamdani’s victory: as I like to say in such cases (and said, e.g., after George W. Bush’s and Trump’s victories), the silver lining to which I cling is that either

The Arduino Uno Q is a weird hybrid SBC The Arduino Uno Q is… a weird board. It’s the first product born out of Qualcomm’s buyout of Arduino. It’s like if you married an Intel CPU, and a Raspberry Pi RP2040 microcontroller—oh wait, Radxa’s X4 did that. Arduino even tried it before with their old Yún board, which had Linux running

An Experimental Program for AI-Powered Feedback at STOC Guest Post from David Woodruff This year for STOC, we decided to run an experiment to explore the use of Large Language Models in the theoretical computer science community, and we’re inviting the entire community to participate. We—a team from the STOC PC—are offering authors the chance to get automated pre-submission feedback from an advanced, Gemini-based LLM tool

Hacking the WiFi-enabled color screen GitHub Universe conference badge

LaTeX LLMs and Boring Technology