2025-W14 › 🔗 › 2025-04-05 [2025-04-05]
✍️source

March 31, 2025

#os #rust
- Atproto Ethos
- BPF From Scratch In Rust
- Pitfalls of Safe Rust

Context

2025-W14 › 🔗 [2025-W14-links]

March 31, 2025

2025-04-05 [2025-04-05]
✍️source

March 31, 2025

#os #rust
- Atproto Ethos
- BPF From Scratch In Rust
- Pitfalls of Safe Rust

2025-04-04 [2025-04-04]

March 31, 2025

#lean #news #os #rust #simd #web
- Of manners and machines
- Rewriting my site in vanilla web
    - TAC: A new CSS methodology
    - Blinded By the Light DOM
    - maybe I should rewrite most of my customizations to forest markup as web components
- Vector Sets are part of Redis
- Towards fearless SIMD, 7 years later
- Introduction to Monoio: A High-Performance Rust Runtime
- found Public mdBooks

2025-04-03 [2025-04-03]

March 31, 2025

#biology #lean #rust #tui #web
- learn about geonum, a ridiculously fast Rust library that supports many GA operations except for geometric product
- some portions of On the Biology of a Large Language Model
    - it's a particularly inspiring article on the interpretability of LLMs
    - it's authored with Distill Template, see guide
    - similarly, found World Models
- A Year of Rust in ClickHouse
- AI ambivalence
- Minimal CSS-only blurry image placeholders
- found chawan: TUI Web Browser

2025-04-02 [2025-04-02]

March 31, 2025

#formal #os #sec #web
- Stop syncing everything, which launches Graft, an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.
- The Most Amusing Security Flaws I've Discovered
- Foundation Models and Unix
- Goodbye Offpunk, Welcome XKCDpunk
- Hello Quarto: Porting my Website from Hugo Apéro
- found Interaction nets
- Programming with an AI copilot: My perspective as a senior dev
- found Testing Distributed Systems
- found
    - Mathematical theory of deep learning[petersen2024mathematical]
    - Beyond limited data: Self-play LLM theorem provers with iterative conjecturing and proving[dong2025beyond]
    - Dapo: An open-source llm reinforcement learning system at scale[yu2025dapo]

2025-03-31 [2025-03-31]

March 31, 2025

#os #rust
- There is no Vibe Engineering
- found Koto Programming Language, it's not so DSL-friendly like Rhai, but a reasonably good script language embeddable in Rust
- Thoughts on ECS
- Expressing Japanese Grammar Through TypeScript Type System
    - I really wanted this for French, except for not in TypeScript, but something Rust-like