Archives
Here you can find all my previous posts:
- YubiKey EVM Signer
- The Future of Bitcoin Finance and L2s
- A letter to my son
- My current development workflow and tools
- The beauty of math's incompleteness or how self-references can beautifully screw things up
- Randomness in computation: sprinkle a little bit of randomness, and voilà!
- BitVM: how to bridge using 1-of-N trust assumptions
- Merkle trees and the Taproot protocol
- The road less travelled
- Zig comptime is such a powerful built-in feature
- Von Neumann: the sharpest mind of the 20th century
- Some intuitions on zero-knowledge proofs
- Shamir's secret sharing
- Sherlock Holmes final letter: a simple dead man's switch in Rust
- Seed phrases and entropy
- Basics of cryptographic signatures
- Fullstack and progressive web apps in Rust: a tale of a sudoku spyware
- htmx: an oasis in a desert of soy
- Zero-cost abstractions
- Lindley's paradox, or the consistency of Bayesian thinking
- Word embeddings
- What is soydev? And why do I hate it
By tag
agda
bayesian
bitcoin
- The Future of Bitcoin Finance and L2s
- BitVM: how to bridge using 1-of-N trust assumptions
- Merkle trees and the Taproot protocol
- Some intuitions on zero-knowledge proofs
- Shamir's secret sharing
- Seed phrases and entropy
- Basics of cryptographic signatures
compiler
cryptography
- YubiKey EVM Signer
- BitVM: how to bridge using 1-of-N trust assumptions
- Merkle trees and the Taproot protocol
- Some intuitions on zero-knowledge proofs
- Shamir's secret sharing
- Seed phrases and entropy
- Basics of cryptographic signatures
defi
dioxus
ethereum
haskell
julia
machine learning
math
- The beauty of math's incompleteness or how self-references can beautifully screw things up
- Randomness in computation: sprinkle a little bit of randomness, and voilà!
- BitVM: how to bridge using 1-of-N trust assumptions
- Merkle trees and the Taproot protocol
- Von Neumann: the sharpest mind of the 20th century
- Shamir's secret sharing
- Lindley's paradox, or the consistency of Bayesian thinking
- Word embeddings
nix
parenting
philosophy
privacy
probability
- Randomness in computation: sprinkle a little bit of randomness, and voilà!
- Seed phrases and entropy
- Lindley's paradox, or the consistency of Bayesian thinking
programming
- My current development workflow and tools
- Randomness in computation: sprinkle a little bit of randomness, and voilà!
- The road less travelled
- Zig comptime is such a powerful built-in feature
- Zero-cost abstractions
- What is soydev? And why do I hate it
python
rust
- Zig comptime is such a powerful built-in feature
- Sherlock Holmes final letter: a simple dead man's switch in Rust
- Fullstack and progressive web apps in Rust: a tale of a sudoku spyware
- Zero-cost abstractions
security
web development
- Fullstack and progressive web apps in Rust: a tale of a sudoku spyware
- htmx: an oasis in a desert of soy
- What is soydev? And why do I hate it