GPT-52

Benchmarking NVENC video transcoding on the Pi Now that Nvidia GPUs run on the Raspberry Pi, I’ve been putting all the ones I own through their paces. Many people have an older Nvidia card (like a 3060) laying around from an upgrade. So could a Pi be suitable for GPU-accelerated video transcoding, either standalone for conversion, or running

Understanding vs impact the paradox of how to spend my time Not long ago William MacAskill, the founder of the Effective Altruist movement, visited Austin, where I got to talk with him in person for the first time. I was a fan of his book What We Owe the Future, and found him as thoughtful and eloquent face-to-face as I did

Useful patterns for building HTML tools

Revisiting Lets Build a Compiler

Under the hood of Canada Spends with Brendan Samek

Blue Current I am excited to join the Blue Current Board of Directors as Amazon anchors their Series D round. Blue Current has taken a practical approach to safe solid-state batteries and their technology addresses critical needs in both stationary storage and electric vehicles. What sets them apart is their ability to

The DC-ROMA II is the fastest RISC-V laptop and is odd Inside this Framework 13 laptop is a special mainboard developed by DeepComputing in collaboration with Framework. It has an 8-core RISC-V processor, the ESWIN 7702X—not your typical AMD, Intel, or even Arm SoC. The full laptop version I tested costs $1119 and gets you about the performance of a Raspberry

Prediction AI will make formal verification go mainstream Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for decades has been a bit of a fringe pursuit, into the software engineering mainstream. Proof

Theory and AI Alignment The following is based on a talk that I gave (remotely) at the UK AI Safety Institute Alignment Workshop on October 29, and which I then procrastinated for more than a month in writing up. Enjoy! Thanks for having me! I’m a theoretical computer scientist. I’ve spent most of my