Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering


Last active 1 year, 5 months ago


An alternative packaging for Common Lisp packages in Nix.

Last active 1 year, 8 months ago


Discussion about the Stahl projects.

Last active 2 years ago


Discussion, patches, and announcements about furing, a Forth implementation using io_uring.

Last active 3 years ago