philip's notes Twitter GitHub

AI ML
1. Expectimax Search
2. Markov Decision Process (MDP)
WSL
1. WSL2 custom kernel
android
b i g m o n e y l a w r e g u l a t i o n
b l o c k c h a i n
btc-ln
combinatorics
1. k-combinations of a multiset
confidential computing
crypto
design
1. form design
devops
distributed systems
1. papers
  1. (2020) Semi-Fast Byzantine-tolerant Shared Register without Reliable Broadcast
  2. (2021) Leaderless Consensus
2. the siren song of backpressure
fuzzing
ios
1. ios setup
keyboards
1. moergo glove80
lang
management
1. relieve often - why generals were more successful in WWII
misc
networking
nvim
1. universal-ctags Notes
performance
postgres
reproducible builds
router
1. lightning router
  1. captive portal
  2. lightning router overview
statistics probability

#property-testing

fuzzcheck-rs →

2022-08-21 · 2 min read

bolero - fuzzing + property testing →

2022-02-20 · 1 min read