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
1. intel SGX
2. enarx (WASM TEE)
3. fortanix rust tutorial
4. gramine
5. intel TDX
6. marblerun
7. mystikos
8. remote attestation protocols
crypto
design
1. form design
devops
1. o11y
  1. jaeger oss e2e tracing
2. secrets
3. AKS - azure kubernetes service
4. algo wireguard VPN server
5. azure CLI
6. consul
7. deployment strategies
8. docker compose
9. k3s
10. kind (kubernetes in docker)
11. kubernetes
12. linkerd
13. minikube
14. nomad
15. service mesh
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
1. ATS
  1. ATS2 Notes
  2. Install ATS2
2. flutter
  1. dart lang
  2. flutter setup
3. rust
4. gdb ref
5. koka-lang
6. lua
7. operator fixity and precedence
management
1. relieve often - why generals were more successful in WWII
misc
networking
nix
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