https://will62794.github.io/electronics/hardware/reverse-engineering/2014/02/05/scoreboard-decoder.html 2014-02-05T00:00:00+00:00 https://will62794.github.io/security/hacking/2017/06/30/cracking-golang-prng.html 2017-06-30T12:00:00+00:00 https://will62794.github.io/tlaplus/formal-methods/refinement/2020/07/21/specifying-systems-tla.html 2020-07-21T00:00:00+00:00 https://will62794.github.io/formal-methods/2020/08/01/safety-and-liveness.html 2020-08-01T00:00:00+00:00 https://will62794.github.io/tlaplus/formal-methods/2020/08/05/machine-closure.html 2020-08-05T00:00:00+00:00 https://will62794.github.io/distributed-systems/2024/02/09/note-on-raft-reconfig-bug.html 2024-02-09T00:00:00+00:00 https://will62794.github.io/distributed-systems/formal-methods/2024/10/15/inductive-proof-graphs.html 2024-10-15T00:00:00+00:00 https://will62794.github.io/distributed-systems/verification/2024/12/02/interaction-graphs.html 2024-12-02T00:00:00+00:00 https://will62794.github.io/formal-methods/specification/2024/12/12/interactive-formal-specs.html 2024-12-12T00:00:00+00:00 https://will62794.github.io/formal-methods/specification/2025/03/17/transaction-isolation-models.html 2025-03-17T00:00:00+00:00 https://will62794.github.io/databases/transactions/isolation/2025/05/04/transformers-not-transactions.html 2025-05-04T00:00:00+00:00 https://will62794.github.io/databases/transactions/isolation/2025/05/13/simple-serializable-snapshot-isolation.html 2025-05-13T00:00:00+00:00 https://will62794.github.io/distributed-systems/consensus/2025/08/25/logless-raft.html 2025-08-25T00:00:00+00:00 https://will62794.github.io/formal-methods/specification/writing/2025/09/19/on-writing-and-specification.html 2025-09-19T00:00:00+00:00 https://will62794.github.io/databases/transactions/isolation/2025/10/14/git-for-transactions.html 2025-10-14T00:00:00+00:00 https://will62794.github.io/verification/llms/compilation/2026/01/20/bespoke-compilation.html 2026-01-20T00:00:00+00:00 https://will62794.github.io/distributed-systems/2026/03/07/canonical-dist-protocols.html 2026-03-07T00:00:00+00:00 https://will62794.github.io/projects/littledata.html 2026-04-03T16:42:40+00:00 https://will62794.github.io/projects/penplotter.html 2026-04-03T16:42:40+00:00 https://will62794.github.io/projects/ultralight.html 2026-04-03T16:42:40+00:00 https://will62794.github.io/ https://will62794.github.io/posts/ https://will62794.github.io/about.html https://will62794.github.io/assets/tla-web-embed/js/hash-sum/ https://will62794.github.io/css/academicons-1.9.4/ https://will62794.github.io/assets/cv.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/ind-proof-decomp-draft.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/ind-proof-graphs/benchmarks/TwoPhase_ind-proof-tree-sd1.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/ind-proof-graphs/benchmarks/TwoPhase_ind-proof-tree-sd2.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/ind-proof-graphs/benchmarks/TwoPhase_ind-proof-tree-sd3.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/inductive-proof-decomp-berkeley-ps-25-talk.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/inductive-proof-decomp-cmu-talk-24.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/inductive-proof-slicing.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/logless-raft/log_tree.html 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/papers/LIPIcs-OPODIS-2021-26.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/papers/cpp22-formal-verification-reconfig.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/papers/egolf24-dist-synth.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/papers/fmcad22-tla-dist-invariant-inference.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/papers/fmcad22-tla-invariant-inference-presentation.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/papers/ind-proof-decomp.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/papers/interpretable-verification-2024.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/papers/nesvd24_inductive_proof_slicing.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/papers/nfm26-interactive-verif.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/papers/p2139-schultz-mdb-txns.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/simple2-state-graph.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/assets/slides/modular-transactions-verification-berkeley-skylab-25-talk.pdf 2026-04-03T16:42:38+00:00 https://will62794.github.io/logless-reconfig-anim/ 2026-04-03T16:42:38+00:00 https://will62794.github.io/projects.html 2026-04-03T16:42:38+00:00 https://will62794.github.io/staging/bespoke-compilation.html 2026-04-03T16:42:38+00:00 https://will62794.github.io/staging/decomposing-mdb-txns.html 2026-04-03T16:42:38+00:00 https://will62794.github.io/tla-web/ 2026-04-03T16:42:38+00:00 https://will62794.github.io/tla_animator.html 2026-04-03T16:42:38+00:00