#elixir #formal #os
- Common shell script mistakes
- Four Years of Jai
- My journey from Ruby to Elixir: lessons learned
- Revisiting an early critique of formal verification

#gpu #os #zig
- found Matrix Calculus for Machine Learning and Beyond
- Reflections on Unikernels
    - found OSv
    - revisit Seastar, a C++ server framework that uses a shared-nothing model
- Stop Writing `__init__` Methods
    - for potential gotchas, read also Python dataclasses, a package full of surprises
- Weird / irritating build issue with raylib
    - so I should also start using the new hash format
- Zig and GPUs

#agent #news #os #rust #sec #tui #zig #✍️
- found A practical hacker's guide to the C programming language
- An Intro to DeepSeek's Distributed File System
    - my takeaway: DeepSeek's 3FS sacrifices small-file performance, POSIX compatibility, and fault tolerance (single-master risk) to maximize large-file throughput via CRAQ-based chain replication and RDMA-optimized chunk writes on 512B-sector SSDs
- Development On Apple Silicon with UTM
    - cloud-init
    - Windows ARM64 Download | MAS #win
- TLS Certificate Lifetimes Will Officially Reduce to 47 Days
- found Torque – A lightweight meta-assembler for any processor
- found Unsure Calculator
- Zigistry about to reach 300 stars on GitHub ⭐️
- [AINews] OpenAI o3, o4-mini, and Codex CLI
    - and particularly codex: Lightweight coding agent that runs in your terminal
- the lifecycle of a pull request and tried to login to https://tangled.sh/
- learned about `std::autodiff` in Rust via `Enzyme`
- converted some of my playlist to Youtube Music and scrobble them to libre.fm
    - found also cmus, a TUI music player that plays from local files, and supports scrobbling
- wrote some more Taiji notes

#dspy #tla #tui #web #webgl #zig
- A flowing WebGL gradient, deconstructed
- found An Introduction to Modern CMake
- JSX Over The Wire
- found ax, DSPy in TypeScript
- looked for HEIC libraries in C that can be used in Zig
- found WebTUI
- found Terminal Trove, a collection of terminal-based applications

#compiler #optimization #os #render #rust
- A 2025 Survey of Rust GUI Libraries
- Algebraic Semantics for Machine Knitting
    - further reading:
        - Semantics and scheduling for machine knitting compilers[lin2023semantics]
- C++20 idioms for parameter packs
- skimmed Flat origami is turing complete[hull2023flat]
- Pretty State Machine Patterns in Rust
- Implementing GRPO
- found Networking Research Resources
- found TeX.social: a feed aggregator for LaTeX-related sites, especially blogs.
- A 2025 Survey of Rust GUI Libraries
- learn about AerynOS
- Algebraic Semantics for Machine Knitting
- C++20 idioms for parameter packs
- Flat origami is Turing complete
- Frontier AI Models Still Fail at Basic Physical Tasks: A Manufacturing Case Study
- Procedural Foliage Rendering with L-systems and Geometry Instancing
- What the Hell Is a Target Triple?
- try converting some playlist to Spotify with TuneMyMusic
    - screenshot, VLM OCR, then text to playlist
    - Spotify doesn't always have the songs, even if manual search, e.g. some songs before 2017
- thinking about Graph RAG, and found HelixDB, a graph-vector database

#rust #visualization
- A Visual Journey Through Async Rust
    - and it would be insteresting to see the visualization for `monoio`
- Solving One Million Sudoku Puzzles per hour in Swift