Bitcoin Heuristics
Behind the scenes of Sherlock Bitcoin: a practical walkthrough of the heuristics used to analyze Bitcoin transactions, score confidence, and explain results.
CS & Tech Blog
Notes, proofs, and practical references for computer science.
This space collects theory-heavy writeups and technical references.
Bitcoin Transactions
Comprehensive breakdown of Bitcoin transactions, covering inputs, outputs, locking/unlocking scripts, script types, raw transaction parsing, fees, and real-world examples.
Church's Thesis
A concise historical and conceptual overview of the Church-Turing thesis and why it still matters in modern CS.
Pumping Lemma for CFL
Pumping lemma for context-free languages with parse-tree intuition and contradiction examples.
Pumping Lemma
Formal statement, proof intuition, and contradiction-based usage of the pumping lemma for regular languages.
Myhill-Nerode Theorem
An intuitive guide to the Myhill-Nerode theorem with DFA minimization steps and worked examples.