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


Last active 1 year, 11 months ago


An alternative packaging for Common Lisp packages in Nix.

Last active 2 years ago


Discussion about the Stahl projects.

Last active 3 years ago


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

Last active 3 years ago