ecmm
Gently persuading Rust to work on CHERIoT.
pgp
6956ad36416d138f
This is the (low) half md5sum of my pgp key
github
xdoardo
sr.ht
~ecmm
2023-04-04
What are type systems?
introduces type systems and their role in programming languages and logic
2023-03-31
A brief introduction to information theory in computer science
introduces concepts like entropy and self-information and their link with data structures
