corpus.blog
41554 blogs · [ { "id": "01a08c61-50fb-7336-9cb7-535b3ada7063", "title": "The State of Chez Scheme in Debian", "url": "https://weinholt.se/articles/state-of-chezscheme-in-debian/", "published_at": "2026-07-31T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b3af8f5a9", "title": "Loko Scheme 0.13.0", "url": "https://weinholt.se/articles/loko-scheme-0-13-0/", "published_at": "2026-06-27T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b3b4373f6", "title": "Chez Scheme 10 in Debian experimental", "url": "https://weinholt.se/articles/chezscheme-10-in-debian-experimental/", "published_at": "2024-07-21T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b3c188017", "title": "Fuzzing Scheme with AFL++", "url": "https://weinholt.se/articles/fuzzing-scheme-with-aflplusplus/", "published_at": "2023-05-18T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b3d17baac", "title": "Akku website updates", "url": "https://weinholt.se/articles/akku-website-updates/", "published_at": "2023-01-15T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b3ddf86c4", "title": "Loko Scheme 2022 Q4 Update", "url": "https://weinholt.se/articles/loko-scheme-2022-q4/", "published_at": "2022-11-06T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b3ed3b511", "title": "Cond-expand and #ifdef", "url": "https://weinholt.se/articles/cond-expand-and-ifdef/", "published_at": "2022-06-09T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b3eef0b66", "title": "Valve Index in Infrared", "url": "https://weinholt.se/articles/valve-index-in-infrared/", "published_at": "2022-02-05T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b3f956132", "title": "Loko Scheme 0.9.0", "url": "https://weinholt.se/articles/loko-scheme-0-9-0/", "published_at": "2021-08-21T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b404eac65", "title": "A Record Type Representation Trick", "url": "https://weinholt.se/articles/record-type-representation-trick/", "published_at": "2021-08-14T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b40c73a6b", "title": "Akku.scm 1.1.0 released", "url": "https://weinholt.se/articles/akku-scm-1-1-0/", "published_at": "2021-02-06T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4163b0e4", "title": "Non-POSIX file systems", "url": "https://weinholt.se/articles/non-posix-filesystems/", "published_at": "2020-08-30T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b41bbb735", "title": "Loko Scheme 0.6.0", "url": "https://weinholt.se/articles/loko-scheme-0-6-0/", "published_at": "2020-08-29T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b424eacb2", "title": "Akku Archive Improvements", "url": "https://weinholt.se/articles/akku-archive-improvements/", "published_at": "2020-06-20T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4305c6cf", "title": "Real Internet on an RTOS", "url": "https://weinholt.se/articles/real-internet-on-an-rtos/", "published_at": "2020-05-16T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4312c69d", "title": "Quasiquote - Literal Magic", "url": "https://weinholt.se/articles/quasiquote-literal-magic/", "published_at": "2020-05-15T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4319887b", "title": "Device Drivers in Loko Scheme", "url": "https://weinholt.se/articles/drivers-loko-scheme/", "published_at": "2020-03-02T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b439cdc1e", "title": "Loko Scheme 0.4.3", "url": "https://weinholt.se/articles/loko-scheme-0-4-3/", "published_at": "2020-03-02T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b43affa96", "title": "Booting a Video BIOS", "url": "https://weinholt.se/articles/booting-a-video-bios/", "published_at": "2019-11-10T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b44039ed1", "title": "A New R6RS Scheme Compiler", "url": "https://weinholt.se/articles/new-r6rs-compiler/", "published_at": "2019-10-02T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4421aa91", "title": "On recent events", "url": "https://weinholt.se/articles/on-recent-events/", "published_at": "2019-10-01T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4444a992", "title": "Announcing Akku.scm 1.0.0", "url": "https://weinholt.se/articles/announcing-akku-scm-1-0-0/", "published_at": "2019-07-26T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b446c3b78", "title": "Terminfo and its DSL", "url": "https://weinholt.se/articles/terminfo-and-its-dsl/", "published_at": "2019-02-05T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b44deae28", "title": "Alignment Checking & Meltdown", "url": "https://weinholt.se/articles/low-bit-tagging-meltdown/", "published_at": "2019-01-06T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b45057bbe", "title": "Design Your Low-Bit Tagging with Z3Py", "url": "https://weinholt.se/articles/design-low-tagging-z3py/", "published_at": "2018-11-18T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b45715854", "title": "R7RS versus R6RS", "url": "https://weinholt.se/articles/r7rs-vs-r6rs/", "published_at": "2018-06-22T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b45721a9d", "title": "R7RS comes to Akku", "url": "https://weinholt.se/articles/r7rs-comes-to-akku/", "published_at": "2018-06-10T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b45baabd5", "title": "Columns Game for Arduino", "url": "https://weinholt.se/articles/columns-game-arduino/", "published_at": "2018-04-22T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4665dd13", "title": "So many package managers", "url": "https://weinholt.se/articles/so-many-scheme-package-managers/", "published_at": "2018-02-25T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4729ed37", "title": "Introduction to Akku.scm", "url": "https://weinholt.se/articles/introduction-to-akku-scm/", "published_at": "2018-02-24T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b472bbb9b", "title": "Turn Websites into APIs", "url": "https://weinholt.se/articles/turn-websites-into-apis/", "published_at": "2017-11-11T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b47818ae1", "title": "Improvised Remote Control", "url": "https://weinholt.se/articles/improvised-remote-control/", "published_at": "2017-07-30T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b47cc86bf", "title": "Linting Scheme with r6lint", "url": "https://weinholt.se/articles/linting-r6rs-scheme/", "published_at": "2017-04-08T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b489244d7", "title": "Structure of the ARM A64 instruction set", "url": "https://weinholt.se/articles/arm-a64-instruction-set/", "published_at": "2017-01-29T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b49849f5f", "title": "Splitting Industria", "url": "https://weinholt.se/articles/splitting-industria/", "published_at": "2017-01-14T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4997d50d", "title": "Automated Testing of Zabavno", "url": "https://weinholt.se/articles/zabavno-automated-testing/", "published_at": "2016-12-23T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4a53c15e", "title": "AI for the Columns Game", "url": "https://weinholt.se/articles/columns-game-ai/", "published_at": "2016-12-10T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4a7db2b5", "title": "Make Test Inputs with Prolog", "url": "https://weinholt.se/articles/make-test-inputs-prolog/", "published_at": "2016-11-23T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4aec1a09", "title": "Debugging PC Boot Sectors", "url": "https://weinholt.se/articles/debugging-boot-sectors/", "published_at": "2016-11-09T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4b8b0c7e", "title": "AI Solver for Coded Crosswords", "url": "https://weinholt.se/articles/solve-coded-crossword-ai/", "published_at": "2016-11-05T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4bf5b802", "title": "Compact Encoding of Routing Prefixes", "url": "https://weinholt.se/articles/compact-routing-prefixes/", "published_at": "2016-10-26T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4cde906a", "title": "Efficient computation of the \"man or boy\" test", "url": "https://weinholt.se/articles/man-or-boy-test/", "published_at": "2016-10-25T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4d85e24a", "title": "Internals of Zabavno the x86 emulator", "url": "https://weinholt.se/articles/zabavno-pc-emulator/", "published_at": "2016-10-24T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4da7a369", "title": "Shiny new website layout", "url": "https://weinholt.se/articles/shiny-new-layout/", "published_at": "2016-10-23T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4e2bcb71", "title": "Supercompiling Erlang", "url": "https://weinholt.se/articles/supercompiling-erlang/", "published_at": "2013-03-29T00:00:00+00:00" }, { "id": "01a08c61-50fb-7336-9cb7-535b4e9f00c5", "title": "Faster Dynamic Type Checks", "url": "https://weinholt.se/articles/alignment-check/", "published_at": "2012-03-07T00:00:00+00:00" } ] posts Claim your blog
Back to weinholt.se
Blog · corpus.blog/blogs/weinholt.se/posts

weinholt.se

weinholt.se

2026

The State of Chez Scheme in Debianoriginal ↗
31 Jul 2026
Loko Scheme 0.13.0original ↗
27 Jun 2026

2024

Chez Scheme 10 in Debian experimentaloriginal ↗
21 Jul 2024

2023

Fuzzing Scheme with AFL++original ↗
18 May 2023
Akku website updatesoriginal ↗
15 Jan 2023

2022

Loko Scheme 2022 Q4 Updateoriginal ↗
6 Nov 2022
Cond-expand and #ifdeforiginal ↗
9 Jun 2022
Valve Index in Infraredoriginal ↗
5 Feb 2022

2021

Loko Scheme 0.9.0original ↗
21 Aug 2021
A Record Type Representation Trickoriginal ↗
14 Aug 2021
Akku.scm 1.1.0 releasedoriginal ↗
6 Feb 2021

2020

Non-POSIX file systemsoriginal ↗
30 Aug 2020
Loko Scheme 0.6.0original ↗
29 Aug 2020
Akku Archive Improvementsoriginal ↗
20 Jun 2020
Real Internet on an RTOSoriginal ↗
16 May 2020
Quasiquote - Literal Magicoriginal ↗
15 May 2020
Device Drivers in Loko Schemeoriginal ↗
2 Mar 2020
Loko Scheme 0.4.3original ↗
2 Mar 2020

2019

Booting a Video BIOSoriginal ↗
10 Nov 2019
A New R6RS Scheme Compileroriginal ↗
2 Oct 2019
On recent eventsoriginal ↗
1 Oct 2019
Announcing Akku.scm 1.0.0original ↗
26 Jul 2019
Terminfo and its DSLoriginal ↗
5 Feb 2019
Alignment Checking & Meltdownoriginal ↗
6 Jan 2019

2018

Design Your Low-Bit Tagging with Z3Pyoriginal ↗
18 Nov 2018
R7RS versus R6RSoriginal ↗
22 Jun 2018
R7RS comes to Akkuoriginal ↗
10 Jun 2018
Columns Game for Arduinooriginal ↗
22 Apr 2018
So many package managersoriginal ↗
25 Feb 2018
Introduction to Akku.scmoriginal ↗
24 Feb 2018

2017

Turn Websites into APIsoriginal ↗
11 Nov 2017
Improvised Remote Controloriginal ↗
30 Jul 2017
Linting Scheme with r6lintoriginal ↗
8 Apr 2017
Structure of the ARM A64 instruction setoriginal ↗
29 Jan 2017
Splitting Industriaoriginal ↗
14 Jan 2017

2016

Automated Testing of Zabavnooriginal ↗
23 Dec 2016
AI for the Columns Gameoriginal ↗
10 Dec 2016
Make Test Inputs with Prologoriginal ↗
23 Nov 2016
Debugging PC Boot Sectorsoriginal ↗
9 Nov 2016
AI Solver for Coded Crosswordsoriginal ↗
5 Nov 2016
Compact Encoding of Routing Prefixesoriginal ↗
26 Oct 2016
Efficient computation of the "man or boy" testoriginal ↗
25 Oct 2016
Internals of Zabavno the x86 emulatororiginal ↗
24 Oct 2016
Shiny new website layoutoriginal ↗
23 Oct 2016

2013

Supercompiling Erlangoriginal ↗
29 Mar 2013

2012

Faster Dynamic Type Checksoriginal ↗
7 Mar 2012