Solving a “Layton Puzzle” with Prolog
I have a lot in the works for the this month’s Logic for Programmers release. Among other things, I’m completely rewriting the chapter on Logic Programming...
Read moreNews
Repurposing Protein Folding Models for Generation with Latent Diffusion
PLAID is a multimodal generative model that simultaneously generates protein 1D sequence and 3D structure, by learning the latent space of protein folding models. The awarding...
Read moreOur Best Customers Are Now Robots
We’re Fly.io, a developer-focused public cloud. We turn Docker containers into hardware-isolated virtual machines running on our own metal around the world. We spent years coming...
Read moreUsing OpenTelemetry and the OTel Collector for Logs, Metrics, and Traces
OpenTelemetry (fondly known as OTel) is an open-source project that provides a unified set of APIs, libraries, agents, and instrumentation to capture and export logs, metrics,...
Read moreTaking a responsible path to AGI
We’re exploring the frontiers of AGI, prioritizing technical safety, proactive risk assessment, and collaboration with the AI community.
Read moreEvaluating potential cybersecurity threats of advanced AI
Our framework enables cybersecurity experts to identify which defenses are necessary—and how to prioritize them
Read more[April Cools] Gaming Games for Non-Gamers
My April Cools is out! Gaming Games for Non-Gamers is a 3,000 word essay on video games worth playing if you’ve never enjoyed a video game...
Read more
Exploring Art with TypeScript, Jupyter, Polars, and Observable Plot
With Deno’s Jupyter support, you can explore, interact, and create interactive charts with TypeScript and HTML. Here’s a tutorial featuring data of over 130,000 famous artworks.
Read moreDeno v Oracle Update 3: Fighting the JavaScript Trademark
Oracle has filed a partial motion to dismiss our fraud claim. We’re now waiting on the USPTO to weigh in.
Read moreOperationalizing Macaroons
We’re Fly.io, a security bearer token company with a public cloud problem. You can read more about what our platform does (Docker container goes in, virtual...
Read moreBetteridge’s Law of Software Engineering Specialness
Logic for Programmers v0.8 now out! The new release has minor changes: new formatting for notes and a better introduction to predicates. I would have rolled...
Read moreGemini 2.5: Our most intelligent AI model
Gemini 2.5 is our most intelligent AI model, now with thinking built in.
Read more