Notes

Granule 2026-01-02
- #functional-programming
- #linear-types
- #programming
SNES Emudev 2025-10-05
- #emulation
- #programming
Cait-Sith Security (0): Preliminaries 2023-04-30
- #cait-sith
- #cryptography
- #protocols
- #tss
Cait-Sith Security (4): Signing 2023-04-16
- #cait-sith
- #cryptography
- #protocols
- #tss
Cait-Sith Security 2023-04-16
- #cait-sith
- #cryptography
- #protocols
- #tss
Cait-Sith Security (3): Multiplication and Triples 2023-04-05
- #cait-sith
- #cryptography
- #protocols
- #tss
Cait-Sith Security (X): Cheat Sheet 2023-04-02
- #cait-sith
- #cryptography
- #protocols
- #tss
Cait-Sith Security (2): Key Sharing 2023-03-13
- #cait-sith
- #cryptography
- #protocols
- #tss
Cait-Sith Security (1): Echo Broadcast 2023-02-27
- #cait-sith
- #cryptography
- #protocols
- #tss
Some MPS Utilities 2023-02-23
- #cryptography
- #foundations
- #protocols
Notes on Chosen Generator Discrete Logarithms 2022-11-01
- #cryptography
- #foundations
- #math
- #programming
On Adding Chaining to SAFE 2022-09-15
- #cryptography
- #zk-proofs
Simple Multi-Round Fiat-Shamir with BLAKE3 2022-09-11
- #cryptography
- #zk-proofs
Powers of Tau Proofs 2022-09-07
- #cryptography
- #zk-proofs
The Goldilocks Field 2022-09-01
- #cryptography
- #zk-proofs
On RAM In Structured Computation 2022-08-24
- #cryptography
- #snarks
- #zk-proofs
On Verifying Public Coin Protocols inside ZK Proofs 2022-08-14
- #cryptography
- #zk-proofs
On Defining the One More Discrete Logarithm Problem 2022-06-02
- #cryptography
- #foundations
Bit Flipping in State Separable Proofs 2022-05-03
- #cryptography
- #foundations
- #math
RSA Schnorr Signatures 2022-04-05
- #cryptography
- #math
Some More Notes on Formalizing Games 2022-02-18
- #cryptography
- #foundations
- #math
- #programming
On Formalizing Security Games 2022-02-17
- #cryptography
- #foundations
- #math
- #programming
On Doerner et al's modifications to Extended Random OT 2021-08-28
- #cryptography
- #math
Better Notation for Matrices 2021-08-25
- #math
Avalanche Signatures 2021-08-05
- #cryptography
- #elliptic-curve
Reflexive Interfaces in Go 2021-05-11
- #go
- #programming-languages
Making Go's RSA Internals Constant Time 2021-05-07
- #cryptography
- #math
Montgomery Ladder in ECC 2021-04-21
- #cryptography
- #math
Thoughts on Big Number APIs 2021-01-28
- #cryptography
- #math
Nets define Topologies 2021-01-15
- #math
- #topology
Discrete, Indiscrete: Free, CoFree 2020-12-31
- #algebra
- #category-theory
- #topology
Universal Properties and Adjunctions 2020-12-27
- #algebra
- #category-theory
- #math
Misc 0 2020-12-26
- #algebra
- #green-threads
- #math
- #misc
- #programming
- #topology
Connectedness and Constant Maps 2020-12-25
- #math
- #topology
Topological Groups are Hausdorff 2020-12-24
- #algebra
- #math
- #topology
What this blog tries to cultivate 1970-01-01
WDC W65C816S 1970-01-01
Verilog 1970-01-01
VHDL 1970-01-01
The Inefficiency of Risk in Deferred Payment 1970-01-01
Systemd User Units 1970-01-01
Stream of Consciousness Writing 1970-01-01
Stereotypic Inertia 1970-01-01
Some Principles of Programming Language Design 1970-01-01
Social Media Addiction 1970-01-01
Signal (messaging) 1970-01-01
SaaS is Inevitable 1970-01-01
Reading Lists 1970-01-01
Power Laws in a Hyper-Connected World 1970-01-01
Monadic Cryptography in Lean 1970-01-01
Local-First Software 1970-01-01
Hidden Reliance 1970-01-01
FPGA Programming 1970-01-01
Drudgery and LLMs 1970-01-01
Computer Science is Special 1970-01-01
Competition and Predictability 1970-01-01
Cities should Capture more Tax Revenue 1970-01-01
Causality and History 1970-01-01
Book Lists 1970-01-01
Apps and Forms 1970-01-01
Anxious AI Assistant Use 1970-01-01
Anxiety about the future 1970-01-01
American Mortgage Market 1970-01-01
65816 Processor 1970-01-01
6502 ISA 1970-01-01