Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainability, and modularity.

I’m a fan and long-term user of the Isabelle/HOL proof assistant. More recently I have been studying Lamport’s TLA+ system which is a popular choice for writing specifications of systems. This post is a slightly tidied-up version of some notes about my early…

SLIM will attempt to pull off Japan's first-ever moon landing next month.

An online emulator of the Commodore PET 2001 computer.

Customers, dealerships, and journalists alike are having issues with the Bowtie’s newest electric vehicle.

This is an engine from a 1972 Datsun 240Z that I'm told was long ago abandoned in a field and the car and engine were separated. I rebuilt and restored this engine slowly over the course of 2 years and it's finally at a place where I'd say I'm done! The original…

Innovative thinking has done away with problems that long dogged the electric devices — and both scientists and environmentalists are excited about the possibilities

Information regarding Nintendo's rollout of the Nintendo Network shutdown

Nutt used his experience as an engineer to give his opinions about the designs of public works on the internet.

This map story is about one specific map, the only one remaining from the Roman …

The U.S. Surgeon General's recent advisory highlights the perilous impact of social media on youth mental health, linking it to rising cases of eating disorders and body image dissatisfaction.

A legal dispute in a tiny Texas town unexpectedly reveals how Chinese nationals can move money to the U.S. without drawing the attention of authorities in either country.

(Updated 2024-01-29)

The new high ground in space?

This research introduces an innovative approach to soilless cultivation, or hydroponics, by integrating electronic soil, or eSoil.

I was 9 years old. A revision of the notebook containing my first Z80 assembly language program

Once the province of utopian free-love communities, consensual non-monogamy is now the stuff of Park Slope marriages and prestige television.

My personal website.