weinholt.se weinholt.se

Terminfo and its DSL

weinholt.se·380w

Alignment Checking & Meltdown

weinholt.se·384w

Design Your Low-Bit Tagging with Z3Py

weinholt.se·391w

R7RS versus R6RS

weinholt.se·412w

R7RS comes to Akku

weinholt.se·414w

Columns Game for Arduino

weinholt.se·421w

So many package managers

weinholt.se·429w

Introduction to Akku.scm

weinholt.se·429w

Turn Websites into APIs

weinholt.se·444w

Improvised Remote Control

weinholt.se·459w

Linting Scheme with r6lint

weinholt.se·475w

Structure of the ARM A64 instruction set

weinholt.se·485w

Splitting Industria

weinholt.se·487w

Automated Testing of Zabavno

weinholt.se·490w

AI for the Columns Game

weinholt.se·492w

Make Test Inputs with Prolog

weinholt.se·495w

Debugging PC Boot Sectors

weinholt.se·497w

AI Solver for Coded Crosswords

weinholt.se·497w

Compact Encoding of Routing Prefixes

weinholt.se·499w

Efficient computation of the "man or boy" test

weinholt.se·499w

Log in to enable infinite scrolling