Posts
2026 Books
2026-01-07
Bridging, Risk, and Buck Passing
2025-06-08
#blockchain
2025 Books
2025-01-01
A Sketch of Synthetic Cryptography
2023-06-22
#category-theory
#cryptography
#foundations
Young Man Shouts at Computer
2023-03-23
#essay
Some Bits about Cait-Sith
2023-03-09
#cryptography
#mpc
Cryptography without Security
2023-02-19
#cryptography
#foundations
DKGs in Groups
2022-10-09
#cryptography
#protocols
Notes on STARK Arithmetization
2022-09-25
#cryptography
#zk-proofs
The Paper that Keeps Showing Up
2022-08-21
#cryptography
#zk-proofs
Some KEMs and Some Proofs
2022-08-14
#cryptography
#foundations
#kems
Basic Cryptography Without Fluff
2022-07-16
#cryptography
On Identifiable Aborts
2022-06-26
#cryptography
#protocols
State-Separable Proofs for the Curious Cryptographer
2022-05-28
#cryptography
#foundations
Some Cryptography Books I Like
2022-05-14
#books
#cryptography
Explaining Yao's Garbled Circuits
2022-05-01
#cryptography
#mpc
Canetti et al's Paradoxical Encryption Scheme
2022-04-23
#cryptography
What I've Been Working On: 2022-W13
2022-04-03
#wibwo
Encoding Traits with Go Generics
2022-03-20
#generics
#go
What I've Been Working On: 2022-W10
2022-03-13
#wibwo
On Monero's Ring Signatures
2022-03-07
#cryptography
#elliptic-curve
#signature
On The Malleability of ECDSA Signatures
2022-02-06
#cryptography
#signature
Porting Ludus to the Web
2021-10-02
#emulation
#rust
#wasm
My Quick Attempt at Bluesky's Satellite Challenge
2021-09-03
#cryptography
#decentralized
#security
Taproot Signatures and BIP-32
2021-08-03
#cryptocurrency
#cryptography
#security
On Multi-Set Hashing
2021-07-25
#cryptography
#math
Quantum Computing: Some Analogies
2021-07-18
#math
#quantum-computing
Signatures From Identification Schemes
2021-07-10
#cryptography
#math
#security
Introducing Nuntius
2021-07-05
#cryptography
#math
#security
End-to-End Encryption in Web Apps
2021-06-20
#cryptography
#security
#web
Introducing Nimotsu
2021-06-06
#cryptography
#math
#security
Constant-Time Big Numbers: An Introduction
2021-04-05
#cryptography
#math
#security
Some Thoughts on Numeric Classes
2021-02-28
#haskell
#math
Fractals on The Web
2021-02-21
#fractals
#graphics
#math
Spaced Repetition for Mathematics
2021-02-14
#math
#spaced-repetition
#study
Programming Problem: Run-Length Encoding
2021-02-05
#haskell
#programming
Tychonoff's Theorem and Zorn's Lemma
2021-02-02
#math
#set-theory
#topology
On Strings in Compilers
2021-01-24
#compiler
#programming-languages
Let's Describe Algorithms Better
2021-01-16
#algorithms
#programming
Making an IO
2021-01-10
#compiler
#haskell
(Basic) Universal Properties in Haskell
2020-12-31
#category-theory
#haskell
(Haskell in Haskell) 3. Parsing
2020-12-28
#compiler
#haskell
#programming-languages
Chinese Remainder Theorem for Programmers
2020-12-13
#algebra
#math
#programming
(Haskell in Haskell) 2. Lexing
2020-12-10
#compiler
#haskell
#programming-languages
(Un)fold as (Co)algebra
2020-12-07
#algebra
#category-theory
#haskell
A simple algorithm for UNIX's Tree
2020-12-05
#algorithms
#command-line
#rust
(Haskell in Haskell) 1. Setup
2020-11-23
#compiler
#haskell
#programming-languages
On Deep Immutability
2020-11-10
#programming-languages
(Haskell in Haskell) 0. Introduction
2020-11-01
#compiler
#haskell
#programming-languages
Always use offsetof
2020-10-19
#c
Lexer Combinators
2020-10-18
#haskell
#programming-languages
Monty Hall and Counterfactuals
2020-10-14
#math
#probability
My Blog: Version 4
2020-10-10
#frontend
#meta
Categorical Graphs
2020-10-02
#category-theory
#graph-theory
#math
Wrapping GtkImContext
2020-09-20
#c++
#gtk
Recursive Types as Initial Algebras
2020-09-09
#category-theory
#haskell
#math
Encoding the Naturals
2020-08-30
#category-theory
#haskell
#math
Empty vs NonEmpty Groups
2020-08-17
#algebra
#category-theory
#math
Monomorphisms vs Epimorphisms
2020-06-18
#category-theory
#math
Simple WebRTC Video Chat
2020-06-10
#project
#react
#typescript
#webrtc
Parsing A Whitespace-Sensitive Language
2020-06-03
#parsing
#programming-languages
What I like about Roam (so far)
2020-04-13
#notes
#productivity
Against Fullstack Data Sharing
2020-02-13
#backend
#frontend
#graphql
#javascript
#programming
Review: The New York Trilogy
2020-01-31
#literature
Integrating Notes and Spaced Repetition
2020-01-10
#learning
#spaced-repetition
React Pitfalls: useState initialization
2020-01-09
#frontend
#hooks
#javascript
#react
Structured Immersion
2019-12-28
#japanese
#programming
Layerability and Abstraction
2019-10-27
#networking
#programming
Poline
2019-08-31
#concurrency
#programming-languages
#rust
From Interfaces to Traits
2019-08-17
#programming-languages
#software-architecture
Sentence Banking
2019-07-07
#japanese
#rust
Data Races vs Race Conditions
2019-06-14
#concurrency
#go
Introducing Ludus
2019-06-13
#emulation
#rust
The Component Pattern
2019-05-14
#functional-programming
#software-architecture
Bittorrent Is Hard - 1
2019-05-03
#distributed-systems
#networking
Mutability Is a Great Secret To Have
2019-03-06
#functional-programming
