About
Personal info, contact & projects.
Lμthenwałd/Luth/λμτη, He/Him
Working at the intersection/propagation of Programming Language Theory, Category Theory, & High-Performance Computing.
Contact
Reachable by email. Would be my pleasure to hear from you.
-----BEGIN PGP PUBLIC KEY BLOCK-----
mDMEaaWe2RYJKwYBBAHaRw8BAQdA6WwBCw3rXlRckwbtBaiTZqKf5uVcUglsh6+4
/XT0RT+0L2x1dGhlbndhbGQgKGdlbmVyYWwgcHVycG9zZSkgPGx1dGhlbndhbGRA
cG0ubWU+iJMEExYKADsWIQRsi/Wc6vpgBqWdf7EsGv56B/cAgQUCaaWe2QIbAwUL
CQgHAgIiAgYVCgkICwIEFgIDAQIeBwIXgAAKCRAsGv56B/cAgToXAQDXsg+Pi6wD
fYN5cLrbjyRbY7KdVuyNenkt8xADEk7PAgEAwp4ETpZUq665IGXEURapaStVdQ9N
TK861YsNLbZu6QS4OARppZ7ZEgorBgEEAZdVAQUBAQdA3eM2NjSbsmZDdp6ua79p
BBMvOGtEC47usZuVj2GfOHkDAQgHiHgEGBYKACAWIQRsi/Wc6vpgBqWdf7EsGv56
B/cAgQUCaaWe2QIbDAAKCRAsGv56B/cAgQz9AP4kHSktIsowrc4OBFU+zMrqMu69
8qXHgX86KuirrCw+DAD/Zc9JN6Nb03QzGACq8phFhWMPJVKvtsCXeyxsq5hYUQk=
=DTwu
-----END PGP PUBLIC KEY BLOCK-----Projects
Splined
Iterative image reconstruction using random cubic bézier strokes, accelerated on metal.
The image used here is under open access by The Met.
Links
Blogsites
Computer Artworks
Textbooks
Category Theory for Programmers
Programming Language Foundations in Agda