Lukasz Stafiniak

lukstafi’s blog

Recent work

^2026-01-26Agent Collaboration: JCAQP Undecidability Analysis — Claude Opus 4.5 and OpenAI Codex collaborated via my agent-duo orchestrator to investigate the open problem of JCAQP decidability. Over 7 rounds of peer review, they analyzed reduction barriers and formalized why standard undecidability proofs fail for this problem. Papers: Claude’s analysis

Codex’s notes

Peer reviews

^2026-01-20Herbrand Constraint Abduction under Quantifier Prefixes: JCAQP over Term Algebras, Rigid E‑Unification, and Implications for GADT Inference and Invariant Synthesis, an overview paper by GPT-5.2 centering on a section of my PhD thesis.
^2025-03-31Mind Maps March 2025 – CUTLASS, CuTe Layout Algebra deep dive, The Ultra-Scale Playbook sneak peek, picotron.
^2025-03-01Mind Maps February 2025 – simplifying OCANNL with gradient tensors, more in-depth MLIR, deep dive on polyhedral optimization for loop program transformations / polyhedral schedulers-compilers, Integer Set Library, machine learning loop optimizations in Tiramisu and Halide, matrix multiplication: on CPU / in CUDA / on AMD GPUs, the FineWeb dataset.
^2025-02-01Mind Maps January 2025 – Apple’s MLX, maintaining habits, Andrej Karpathy’s educational resources, llm.c (optimized no-framework GPT2), CUDA warp-level primitives and cooperative groups, cuDNN (optimized NNs library / framework), MPI (Message Passing Interface), NCCL (NVIDIA Collective Communications Library similar to MPI), Caten.
^2024-12-28Mind Maps December 2024 – Keras, JAX distributed, XLA.
^2024-11-28Mind Maps November 2024 – OCANNL memory management, OCANNL usability, low prec. numbers, pipeline and model parallelism, tinygrad (program search, shape tracker), JAX Pallas kernels, Triton.
^2024-02-16_2025-02-25Debugging and Profiling OCaml – links and a couple tips.
^2023-11-01_2024-01-03Installing Linux distributions in WSL with a note on installing FreeBSD
^2023-11-02_2023-11-23Lowest hanging fruit of TeXmacs greatness for VSCode