#apl #news #os #web
- found APL Cultivations
- found Dive into Systems (2020)
- found Smallweb – Your Internet Folder
- found Cognition's DeepWiki, a free encyclopedia of all GitHub repos

#benchmark #compiler #formal
- found Mitata - a beautiful benchmarking tool
- Nofl: A Precise Immix
- O(no) You Didn’t
- found PyGraph: Robust Compiler Support for CUDA Graphs in PyTorch

#bevy #gpu #idea #news #os #render #sec #software #tla #wasm
- Bevy 0.16
    - learn about GPU-Driven Rendering and WESL
- How I Got Hacked: A Warning about Malicious PoCs
- MCP Security: Tool Poisoning Attacks
- The ‘trickonometry’ of math olympiad inequalities
    - intriguing write-up, well collected problems, insightful perspective
    - found My list of challenging software projects some programmers should try
- Towards Vortex 1.0
    - a next-generation columnar format with self-describing layouts and WASM decoders that is 200x faster than Parquet for random access, among other goodies

#diagram #duckdb #gpu #idea #llvm #optimization #os #tla #wasm #✍️
- Abusing DuckDB-WASM by making SQL draw 3D graphics (Sort Of)
    - a very cool idea
    - I should learn more about modern databases
- found Bluefish
    - a JS diagram library with quite some potential
    - some teaser examples were added by this commit
- Exploiting undefined behavior in c/c++ programs for optimization: A study on the performance impact[popescu2025exploiting]
    - so there are actually many performance-wise well defined UBs in LLVM
- GPU Compilation with MLIR
    - found MLIR Python Bindings
- skimmed Some possible roles for AI of Grothendieck topos theory by Laurent Lafforgue (2022)
- made a start on improving PDF organization in and out of MarginNote
- looked for ways to manipulate iCloud files programatically
    - noticed that `rclone` supports iCloud too
    - but `~/Library/Mobile Documents/com~apple~CloudDocs` already works well for my purpose

#elixir #os #rust #zig
- Nine Reasons to Use OSH
    - it contains a POSIX-compatible shell `osh`, and an incompatible shell `ysh`
    - it's written in a subset of Python, then transpiled to C++ by mycpp that is based on MyPy, an interesting approach
- found codapi which supports sandboxes for Rust, Zig, Elixir etc.

- Make Your Own Internet Presence with NetBSD and a 1 euro VPS – Part 1: Your Blog
    - which uses BSSG, a simple static site generator written in Bash
    - will settle on UTM for Mac/BSD virtualization, and Lima for Linux virtualization
    - still haven't figure out how to virtualize/emulate NetBSD with UTM, see this issue
- My Dev Workflow: 2025
    - found and started using Loop

#context #elixir #idea #os #render #rust #web #z3 #zig
- wish to learn more about other architectures of LMs, e.g.
    - BitNet b1. 58 2B4T technical report[ma2025bitnet]
    - d1: Scaling reasoning in diffusion large language models via reinforcement learning[zhao2025d1]
    - M1: Towards scalable test-time compute with mamba reasoning models[wang2025m1]
    - RWKV7-G1 "GooseOne" reasoning model, see Rwkv-7 "goose" with expressive dynamic state evolution[peng2025rwkv]
    - ModernBERT, see Smarter, better, faster, longer: A modern bidirectional encoder for fast, memory efficient, and long context finetuning and inference[warner2024smarter]
- The State of Reinforcement Learning for LLM Reasoning: Understanding GRPO and New Insights from Reasoning Model Papers
- Lorenz and modular flows: a visual introduction which is "deep, beautiful and with a taste of singularity and knot theory"
    - found Ultra Fractal 6 and POV-Ray
- found less_slow.cpp: Playing Around Less Slow Coding Practices for C++, CUDA, and Assembly Code
- found Common Expression Language
- How I use Kate Editor
- watched Implicit Surfaces (using interval arithmetic to evaluate SDFs)
    - PDF Slides
    - the ideas behind Fidget and Massively parallel rendering of complex closed-form implicit surfaces[keeter2020massively] well explained, GOAT-level inspiring
    - should be further explored in Notes on ray-marching implicit surfaces
    - there are also many interesting writeups in The Prospero Challenge
- Things Zig comptime Won't Do
- #gleam
    - Gleam that has a Rust-like syntax, runs on Erlang VM, and supports compiling to JavaScript
    - My First Impressions of Gleam
    - Gleam for Elixir users
    - Lustre
        - a web framework in Gleam
- note more about Taiji and practice more