Learning diary › Year 2025 › May, 2025 › 2025-05-15 [2025-05-15]

✍️source

#formal #forth #os #tla #zig
- Introducing oniux: Kernel-level Tor isolation for any Linux app
    - code
    - found smoltcp
- The cryptography behind passkeys
- How fast is CeTZ-Plot?
- ZJIT has been merged into Ruby
    - Instead of compiling YARV bytecode directly to the low-level IR (LIR), it uses an high-level SSA-based intermediate representation (HIR)
        - In the bytecode, which is tersely encoded, jumps are offsets, some control-flow is implicit, and most dataflow is via the stack.
        - By contrast, HIR looks more like a graph. Jumps have pointers to their targets and there’s no stack: instructions that use data have pointers directly to the instructions that create the data.
- found Warteschlangensimulator, a event-driven, stochastic simulator for queueing systems
- found kowk, a ~100k-pod k8s cluster simulator
- Data is code, about philosophy behind Forth
    - also What the hell is Forth?
- found Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI Architectures
- found Marigold: Affordable Adaptation of Diffusion-Based Image Generators for Image Analysis
    - Marigold Computer Vision
- Zig App Release and Updates via Github ⚡