Home
Updates
:Updated my publications.
Posts
- My Ltac2 Tutorials - June 19, 2024
- Perl6 notes: Numbers and strings - April 29, 2023
- Hex editing with Emacs - March 26, 2023
- Configuring LinVst on Arch Linux - March 9, 2020
…or you can find more in the archives.