#git #lean #neovim #os #sec #tla #zig
- Tools built on tree-sitter's concrete syntax trees
- found ssr.nvim, Structural search and replace for Neovim, seems more convenient than `ast-grep`
- should take a look at
- GritQL
- srgn
- found mergiraf, a syntax-aware git merge driver
- reviewed Quint, a modern and executable specification language, as "an updated take on TLA+"
- My experience so far with Zig – a Go dev’s journey
- found backstage: an experimental implementation of an actor framework: a great example Zig project using libxev
- found Zignite: Cross-Platform Graphics Engine
- tao's post on mathstodon.xyz
- Tao launched a "Lean companion" to his real analysis undergraduate textbook "Analysis I" at teorth/analysis
- blog post: A Lean companion to “Analysis I”
- Half Spectre, Full Exploit: Hardening Rowhammer Attacks with Half-Spectre Gadgets
- ProbeHammer, the first crash-free end-to-end Rowhammer exploit that does not rely on templating or massaging
- monitor a controlled victim’s physical memory activity at the cache line granularity
- found prose: Serve your blog using SSH
- learn 2 new formulas for Rubik's cube, see Test TwistySim and Test Twizzle