Blog

...

YubiKey GPG-Agent Forwarding and Crypt4GH

Written by Dominik Pantůček on 2025-08-28

pgpyubikey

Working on YubiKey support through GnuPG to enable working with Crypt4GH containers protected by private key stored in a trusted device, it seemed like a natural extension to keep the key locally and use it remotely - for example on a high-performance computing server.

...
...

Future let++ Bindings

Written by Dominik Pantůček on 2025-07-31

racketscheme

In a previous post we wrote about the challenges of implementing DAG scoping model for bindings in certain Qi forms. Today we are about to witness an attempt to bring similar scoping rules to plain Scheme and we may reason a bit whether it could be useful in practice.

...

Tree Versus DAG Bindings

Written by Dominik Pantůček on 2025-07-17

racket

Qi is an interesting, flow-oriented programming language. It has a very tacit vibe. But still - sometimes it is useful to bind values to named identifiers. And with certain flow forms you end up with strange binding scopes.

...