#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere - Stirling-Tools/Stirling-PDF

Introduction # The Tillitis TKey is a small computer in a USB stick form factor that can run small device applications that are loaded onto it. The purpose of the TKey is to be a secure environment for applications that provide some kind of security function.…

A Clock Projector can project the time to a ceiling in the night. There are lots of commercial alarm clocks with integrated clock projector on the market but I thought, it would be fun to build one…

<p>The life and career of the legendary developer celebrated as the “godfather of computer gaming” and creator of <em>Civilization</em>, featuring his rules of good game design.</p><p>'Sid Meier is a foundation of what gaming is for me today.' — Phil Spencer…

The MIT and New Jersey schools of software design, and how big lies turned into holy truths

Created with Gemini

Describes how to create reproducible and deterministic one-file bundles of git repositories for use cases such as backups.

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