philip's notes
Twitter
GitHub
AI ML
Expectimax Search
Markov Decision Process (MDP)
WSL
WSL2 custom kernel
android
ADB over TCP inside WSL2
OTA updates for rooted android phone
android cli setup
building signal-android in WSL2
linux ADB udev setup
root phone with magisk
b i g m o n e y l a w r e g u l a t i o n
financial instituion
foreign bank account report (FBAR)
monetary instruments
money services business (MSB)
b l o c k c h a i n
aptos
bip158 - compact block filters
btc utreexo - utxo accumulator
fastpay
oasis
sui
btc-ln
BOLT 11 - invoices
BOLT 2 - channel management protocol
BOLT 4 - onion routing protocol
BOLT 7 - p2p node and channel discovery
BOLT 8 - secure noise transport
atomic multipath payments (AMP)
breez lightning service providers
hosted channels
lightning libs
lightning network notes
lightning rod
lightningdevkit - rust-lightning
submarine swaps
zero-conf channels
combinatorics
k-combinations of a multiset
confidential computing
intel SGX
SGX lingo
overview
remote attestation
sealing
secure time
enarx (WASM TEE)
fortanix rust tutorial
gramine
intel TDX
marblerun
mystikos
remote attestation protocols
crypto
(talk) authenticated data structures for stateless validation
TLS self-signed pubkey-only certs
acme protocol
biscuit authz
dex - open-source OIDC & OAuth 2.0 provider
hkdf-sha256
smallstep - private online CA & ACME server
tls exported keying material
zkdocs
design
form design
devops
o11y
jaeger oss e2e tracing
secrets
1password - secrets automation
doppler
ejson (Shopify)
ejson-kms (AWS)
envkey
fortanix DSM
mozilla SOPS
sops-nix
sy - share secrets safely
AKS - azure kubernetes service
algo wireguard VPN server
azure CLI
consul
deployment strategies
docker compose
k3s
kind (kubernetes in docker)
kubernetes
linkerd
minikube
nomad
service mesh
distributed systems
papers
(2020) Semi-Fast Byzantine-tolerant Shared Register without Reliable Broadcast
(2021) Leaderless Consensus
the siren song of backpressure
fuzzing
bolero - fuzzing + property testing
fuzzcheck-rs
fuzzing
ios
ios setup
keyboards
moergo glove80
lang
ATS
ATS2 Notes
Install ATS2
flutter
dart lang
flutter setup
rust
optimizing binary size
rr with rust
rust verification tools
rust x SGX
self-referencing structs
sycamore x futures
understanding sycamore reactivity
gdb ref
koka-lang
lua
operator fixity and precedence
management
relieve often - why generals were more successful in WWII
misc
arm target triples
envsubst
git multirepo to monorepo
kintsugi
optimization solvers
pop_OS! tweaks
prepping RPI for embedded dev
rgbxmas
scanning QR codes on desktop
setting up a headless raspbian boot image
uptime to downtime conversion
water distillation setup
networking
CIDR
ipv6 address space
network interface card (NIC)
network interfaces
nix
links
nix auto-allocate-uids -> nixbld users
nix debug broken package build
nix debug spurrious rebuilds
nvim
universal-ctags Notes
performance
bit hacks
dtrace on macOS
profiling
simdjson talk
postgres
postgres performance tuning
snippets
types of scans
reproducible builds
earthly
rebuilderd
reproducible-builds.org
router
lightning router
captive portal
RFC 6585 (Additional HTTP Status Codes)
arubanetworks captive portal
captive portal
captive portal (wikipedia)
lightning router overview
statistics probability
CDF confidence bands - DKW inequality
G-test - multinomial goodness-of-fit
MAD - median absolute deviation
cheat sheet
herbie - float error fixer
kelly criterion + ELO
multinomial distribution
p-value
standard error
testing whether a coin is fair
winsorize
#flutter
flutter setup →
2022-12-02 · 1 min read
dart lang →
2022-12-05 · 6 min read