notes
scratchpad · phemantics.xyz
About
Presentations
Systems · inside the binary
bpftime · three parts, one function call
-
01 Move the observer
The big idea: a BPF runtime inside the application, with a loader, shared state, an agent, and a hook.
-
02 Follow the detour
Step through Frida-Gum interception, BPF execution, native helpers, and return. Then follow the zpoline syscall route.
-
03 Before the first probe
Agent startup, process boundaries, and a downloadable lab: install, attach, and run an entry/return counter.
Morning learning
Machine Learning / Physical Computing
Computer Networks
-
Who owns a QUIC connection?
A five-minute mental model for QUIC through firewalls, NAT, CGNAT, connection IDs, and migration.
-
BBR: how fast is the path, really?
One path, two measurements, and the cost of probing. An argument for BBR, with interactive examples and contrasts with Reno, Copa, and CoDel.
Advanced Operating Systems
-
From One Bit to a Queue
Lecture 6 recap: TAS, cache-local spinning, backoff, ticket and array locks, NUMA locality, and the MCS queue lock.
Python concurrency · the series
-
01 The GIL is Not Your Enemy
Refcounting, the 5ms handoff, and what the lock actually protects.
-
02 The Loop is the Trick
epoll, coroutines,
_run_once, and the Task spine that drives them.
-
03 Asyncio Sidequests
The self-pipe, signals, debug mode,
asyncio.run, contextvars, uvloop.
-
04 The Two-Way Door
Generators,
send, throw, yield from, and what await desugars to.
-
05 Scopes and Checkpoints
anyio 101 — cancel scopes, checkpoints, task groups, memory streams.
-
06 Two Ways to Cancel
The pre-armed peek and the task group that quietly turns it into a lie.
-
07 Servers, in Earnest
Putting the loop to work behind a real request-serving stack.
Python concurrency · standalones
Video compression · the series
-
01 Motion is the Message
Prediction, residue, quantization, entropy, and why AV1 is still built around guesses plus mistakes.
The Spectral Habit · the series
DSA · stock span