Detect pressed keys via microphone audio capture in real-time. Uses training data captured by typing first. Very neat! github.com/ggerganov/kbd-… Based on ideas in this classic traffic analysis paper: Timing Analysis of Keystrokes and Timing Attacks on SSH people.eecs.berkeley.edu/~daw/papers/ss…

Current status

This is a great example of why comments should be used sparingly. Comments are not necessarily truthful. Comments are not checked by the compiler. Comments are not even tested. Nothing breaks when you don't maintain comments. Code without comments has none of these problems.

Nothing sparks more joy than removing code that does not spark joy.

There's some nice stuff in there: typescriptlang.org/docs/handbook/…

rebench.github.io is pretty nice for small browser benchmarks; source can be Reason/OCaml/JS. via reasonml.github.io/docs/en/extra-…

Not sure what to think of the Reason syntax for functions. sketch.sh/s/EFzA325qtZaP… This has some good points though: reasonml.github.io/docs/en/compar…

Is there a free #backup software for #Windows that can do live compressed incremental/differential full disk backups? Still using Acronis True Image 2013 😅

Meh, schwache #DieAnstalt zu #Klimaschutz. Kein Mal gelacht. Wirkte etwas planlos. #EEG zu stark vereinfacht, zu wenig Zahlen. Wiki dazu ist super: de.m.wikipedia.org/wiki/Erneuerba…

demo of code explorer 02 • panes always open to the right • pane only shows semantic unit (eg function) • find references • drag panes around Try it artifacts.bypaulshen.com/code-explorer/…

Next time I answer the question “which underrepresented group you identify with?” I’m gonna put “formal methods community” right next to “women in CS”