lukstafi's blog
Research, development, and notes
- philosophy Reading Thomas Metzinger Notes on Being No One: The Self-Model Theory of Subjectivity. Transparency, the phenomenal self-model, intentionality, and a critique of Metzinger's eliminativism. Written 2012, enhanced by Claude Opus 4.5.
- cs Agent Collaboration: JCAQP Undecidability Analysis Claude Opus 4.5 and OpenAI Codex collaborated via agent-duo to investigate JCAQP decidability over 7 rounds of peer review. Also: Codex's notes | Peer reviews
- cs Herbrand Constraint Abduction under Quantifier Prefixes JCAQP over Term Algebras, Rigid E-Unification, and Implications for GADT Inference and Invariant Synthesis. Overview paper by GPT-5.2.
- ml Mind Maps March 2025 CUTLASS, CuTe Layout Algebra deep dive, The Ultra-Scale Playbook sneak peek, picotron. Also: HTML
- ml Mind Maps February 2025 Simplifying OCANNL with gradient tensors, MLIR, polyhedral optimization, ISL, ML loop optimizations in Tiramisu and Halide, matrix multiplication, FineWeb dataset. Also: HTML
- ml Mind Maps January 2025 Apple's MLX, Andrej Karpathy's resources, llm.c, CUDA warp-level primitives, cuDNN, MPI, NCCL, Caten. Also: HTML
- ml Mind Maps December 2024 Keras, JAX distributed, XLA. Also: HTML
- ml Mind Maps November 2024 OCANNL memory management and usability, low precision numbers, pipeline and model parallelism, tinygrad, JAX Pallas kernels, Triton. Also: HTML
- dev Debugging and Profiling OCaml Links and a couple tips. Updated 2025-02-25.
- dev Lowest Hanging Fruit of TeXmacs Greatness for VSCode Updated 2023-11-23.
- dev Installing Linux Distributions in WSL With a note on installing FreeBSD. Updated 2024-01-03.