Blog

Outer Expression Context

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

racket

Sometimes it is necessary to use syntax context of macro use site. For example when explicitly relying on the outer expression context for honoring modified application semantics.

...

Deforestation Progress

Written by Dominik Pantůček on 2026-03-26

racket

Although it has been more than a year since Qi 5 was released, the work on deforastation in qi/list has steadily progressed forward finally yielding an (almost) unified interface for defining new deforestable operations.

...

On Querying Bibliography

Written by Dominik Pantůček on 2026-03-12

racketlatex

Sometimes you are working on a research and you need to manage BibTeX bibliography. However as the number of entries grows it becomes harder to manage. There has to be a better way.

...

Dynamic Mutable Bit Slices

Written by Dominik Pantůček on 2026-02-26

racket

Designing a brand new CPU is not only about opcodes, it is also about its internal workings. One such internal thing is how certain multi-bit values can be split into different single and multi-bit slices.

...

Opcode Mask Pict

Written by Dominik Pantůček on 2026-02-12

racket

In previous post we have introduced a nice way to encode machine opcodes and their arguments as a bit mask. What about visualizing such opcodes? There surely is a way to include nice pictures to aid with reading the bit masks.

...