Tag: racket

...
...

Define Deforestable in Qi

Written by Dominik Pantůček on 2026-09-10

racket

Having dealt with equality allowed us to add the missing link between a year of stream fusion development and a new rolling Qi release. Let us have a quick look at what is finally out in the fields and which operations are now optimized!

...

Equality Considered Harmful

Written by Dominik Pantůček on 2026-08-27

racket

Implementing optimized versions of certain operations is typically both useful and fun. However, once the implementations have to replicate a particular equality predicate, verifying - or at least testing - becomes a nightmarish experience. Let us dive knee-deep in the behavioral predicates of different equality definitions.

...

Ledum Definers Released

Written by Dominik Pantůček on 2026-07-16

racketledum

Last time we have touched the topic of designing custom CPU explicitly, we were already preparing the whole package for release. Today, we introduce the Ledum Definers package which allows anyone to design an Instruction Set Architecture and get an assembler, disassembler and components for building emulators for free.

...