RSS.Social

weinholt.se

follow: @[email protected]

Posts

Chez Scheme 10 in Debian experimental

Fuzzing Scheme with AFL++

Akku website updates

Loko Scheme 2022 Q4 Update

Cond-expand and #ifdef

Valve Index in Infrared

Loko Scheme 0.9.0

A Record Type Representation Trick

Akku.scm 1.1.0 released

Non-POSIX file systems

Loko Scheme 0.6.0

Akku Archive Improvements

Real Internet on an RTOS

Quasiquote - Literal Magic

Device Drivers in Loko Scheme

Loko Scheme 0.4.3

Booting a Video BIOS

A New R6RS Scheme Compiler

On recent events

Announcing Akku.scm 1.0.0

Terminfo and its DSL

Alignment Checking & Meltdown

Design Your Low-Bit Tagging with Z3Py

R7RS versus R6RS

R7RS comes to Akku

Columns Game for Arduino

So many package managers

Introduction to Akku.scm

Turn Websites into APIs

Improvised Remote Control

Linting Scheme with r6lint

Structure of the ARM A64 instruction set

Splitting Industria

Automated Testing of Zabavno

AI for the Columns Game

Make Test Inputs with Prolog

Debugging PC Boot Sectors

AI Solver for Coded Crosswords

Compact Encoding of Routing Prefixes

Efficient computation of the "man or boy" test

Internals of Zabavno the x86 emulator

Shiny new website layout

Supercompiling Erlang

Faster Dynamic Type Checks