Lobsters
- How to transform code into arithmetic circuits https://www.notamonadtutorial.com/how-to-transform-code-into-arithmetic-circuits/ 2 comments cryptography
- Verifiable AES: encryption using zero-knowledge proofs https://www.notamonadtutorial.com/verifiable-encryption-using-zero-knowledge-proofs/ 9 comments cryptography , math , programming , rust
- Weird ways to multiply really fast with Karatsuba, Toom–Cook and Fourier https://www.notamonadtutorial.com/weird-ways-to-multiply-really-fast-with-karatsuba-toom-cook-and-fourier/ 2 comments math , programming
- BEAM all the things! ClojErl, an implementation of Clojure on the Erlang Virtual Machine https://www.notamonadtutorial.com/clojerl-an-implementation-of-the-clojure-language-that-runs-on-the-beam/ 2 comments clojure , erlang
- Using Metal and Rust to make FFT even faster https://www.notamonadtutorial.com/using-metal-and-rust-to-make-fft-even-faster/ 3 comments rust
- Verifiable AES: encryption using zero-knowledge proofs https://www.notamonadtutorial.com/verifiable-encryption-using-zero-knowledge-proofs/ 3 comments programming
- Secure computation in Rust: Using Intel's SGX instructions with Teaclave and Fortanix https://www.notamonadtutorial.com/secure-computation-in-rust-using-intels-sgx-instructions-with-teaclave-and-fortanix/ 9 comments rust
- Simulations are about to get way, way faster with JuliaSim https://www.notamonadtutorial.com/simulations-are-about-to-get-way-way-faster-with-juliasim/ 24 comments julia
- BEAM all the things! ClojErl, an implementation of Clojure on the Erlang Virtual Machine https://www.notamonadtutorial.com/clojerl-an-implementation-of-the-clojure-language-that-runs-on-the-beam/ 3 comments programming