#apl #formal #lean #os #prolog
- found Leanabell-prover: Posttraining scaling in formal reasoning[zhang2025leanabell]
- skimmed Flow matching guide and code[lipman2024flow]
- APL: Comparison with Traditional Mathematics
- I use Zip Bombs to Protect my Server
- found Prolog Notes
- found Quotes on notation design & how it affects thought

#agent #os #✍️
- found A Dependently Typed Assembly Language
- Qwen3: Think Deeper, Act Faster
- found Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language (2012)
    - reveals connection between sheaf theory and linguistics
- found On the expressivity role of LayerNorm in transformers’ attention[brody2023expressivity] [code]
- found Grammar prompting for domain-specific language generation with large language models[wang2023grammar]
- wrote My setup with 4 screens and 2 Macs

#compiler #llvm #os #zig
- BitNet v2: Native 4-bit Activations with Hadamard Transformation for 1-bit LLMs
- Converting a C API to Zig with the help of comptime
- How a Single Line Of Code Could Brick Your iPhone
- found Nouveau: The Rule Based Language Family
    - and easily got into an infinite loop by adding a rule trying to combine a match and a box back to a matchbox
- Technical Debt as Theory Building and Practice
- Using HAProxy to protect me from scrapers
- What if we embraced simulation-driven development?
    - Notes about ETCD, there are some war stories
    - Notes about Raft's paper
- toycalculator, an MLIR/LLVM compiler experiment.

#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

#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

#compiler #ebpf #elixir #lean #tui #zig
- looking for Zig libraries for TUI, `io_uring`, eBPF, scripting, e-graph
    - the candidates are `libvaxis`, `libxev`, `zbpf`, `Cyber`, `zegg`, respectively
- found Juniper CAS, which is exactly my original dream for lean-ga
- found Beaver: MLIR Toolkit in Elixir and Zig.
    - one relevant application is Manx
- Building a high-performance database buffer pool in Zig using io_uring's new fixed-buffer mode
- How io_uring and eBPF Will Revolutionize Programming in Linux
- found Performance Analysis and Tuning on Modern CPUs

#cg #compiler #elixir #gpu #rust #shader #software #tla
- Bootstrapping Understanding: An Introduction to Reverse Engineering
- Bug in Outlook PST Password Protection (2006)
- Erlang’s not about lightweight processes and message passing…
    - further reading: Making reliable distributed systems in the presence of software errors[armstrong2003making]
- found Rust to C compiler - 95.9% test pass rate, odd platforms
- Shadertoys ported to Rust GPU
- Build a Static Site in Elixir Under 5 Minutes with Phoenix Components while looking for SSG in Elixir

#agent #software
- 12-factor-agents: Principles to build LLM-powered software good enough to put in the hands of production customers
- found cargo-mutants: Inject bugs and see if your tests catch them
- found DeepCoder: A Fully Open-Source 14B Coder at O3-mini Level

#elixir #os #rust
- Archiving URLs
    - maybe I should use tools like ArchiveBox to prevent link rot
- Mistakes and cool things to do with arena allocators
- found shorty: a C++ library for concise lambdas
- Parser Combinators Beat Regexes
- found facet: Rust reflection, serialization, deserialization — know the shape of your types
    - thus found unsynn: a minimalist rust parser library
- $handle_undefined_function in Elixir/Erlang
- found Twee, an equational theorem prover again
    - from Automated Equational Reasoning with Twee Pt 1.

#compiler #neovim #os #render #rust
- Beautiful CI for Bazel
- found Real-Time Rendering Resources
- The Gamma Knife model of incidents (2019)
- Thinking like a compiler: places and values in Rust
- Writing good comments: the why, not the how (2020)
- My neovim markdown setup in 2025

#✍️
- Model error
- wrote 4 bugs caught me off guard recently

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

#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

#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

#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]