@cliffclick.bsky.social
Compiler researcher, mountain hiker, public speaking, long road trips, teaching, 20 patents, founder, father of 4.
youtu.be/88vUzySFzXg
Modular, async memcopy, hyperthreading, Mill, Belt. LSTM, H2O, std libs, bulk search, SoA/AoS layout, indexes. Conditional types, const, views. Strong/weak/static types, C/C++ aliasing. C++ slow build times, overlay linkers, GPU mem limits, lang vs lib, layers upon layers
youtu.be/0rkYmJLGiJ8
Trinary op parsing; && || XOR; Simon shrinking ptrs and obj headers; int size overflow; Class cardinality, erasure, vtables, gc bits, opaque types, sentinels, Stack traces, debug info, safe points, Java virtual threads, priorities, fair scheduling, gc
youtu.be/Std-folefRs
List of Cliff talks. Blockchain vs law. 10 hours LLVM setup, lldb, VSCode, Bazel bugs, Autosave, AI. Facebook Php to Hack. Repl, eval, JIT-per-GPU, tiered compiles. Twitter war story. Register & inline keywords, Simple/SoN on MLIR, MOJO self host
youtu.be/kIIWXJF_zIs
Modular; LLVM , PyPy , Mojo; JIT hints keywords, specializations, comp speed; vs Python3; vs gc, linear types. JVM chips. FFI. Self-hosting. Cuda, AI chips, PTX, MLIR. Targeting different levels; FFI vs ILP vs cpu vs gpu, fusion; FP precision. Keyboards
youtu.be/F6pC84rT2OE
Simple update, Logging (for debugging, perf, h2o debug, rust serde, microservices dep graph discovery). Modules in Simple, classfile approach, imports, headers Dependency management: fetch vs Build, Imports, resolution, lock files
The rare Coffee Compiler Club announcement: CCC is on this morning, 20/June/2025, 10am PST. CCC is open to all compiler (and language design and implementation) lovers. Ask via private msg or email cliffc@acm.org for invite.
20.06.2025 15:10 — 👍 1 🔁 0 💬 0 📌 0
youtu.be/2MIa43DsvfM
Simple ch23 methods; equality, copy-on-write, Hylo[1], Mojo[3], PTX[4], Spegion[5]. IR in .o files, keeping type info, separate compilation, symbol tables, constructors, AST, IRGen, Formal types, parsing, sem analysis, parse speed, Carbon[7], fuzzers
Looking for reviews on the next Simple chapter, esp the README:
github.com/SeaOfNodes/S...
Notice this is *branch* ch23 not main's README.
Also, any review any chapter is fair game in main branch. Email me cliffc at acm.org.
Thanks!
youtu.be/bm5KfbGa_H4
Quxlang, number literal highlighting & precedence,
Simple update, Generics in Quxlang, composition over inheritance, Impl vs interface inheritance. All About Equals, ==, eq, &a==&b, user-defined
youtu.be/DAOVqLoRSuk
Simple cyclic types; also in Inko & C2 cyclic types; eq, cyclic_eq, printing cycles. Inko update - http stack, http1 .1 , io interface. Haskell’s unboxed types. XTC class loading java backend, static vars in XTC, H2O.
youtu.be/nGAVj1qn7AQ
Cyclic & self types; hashing cycles. De bruijn indexes, java reflection field order, interning, serialization, compression. Dfa min. Finding new opts, escape analysis, opt patterns, profilers, wait states, perf analysis, bandwidth limits - latency, gc
youtu.be/LKJTuMMiEbE
Abstract interp & partial eval, typing. Tracing JITs, interps, Animorphic and Java early years. Forth (do one!). Range checks & RCE, control, casting. Simple methods, CProp, cyclic types, this, forward refs, REPL, symbol resolution, self type. Job hunt.
youtu.be/Sx6NM-2ADlo
Simple update, code showcase, FFI, bindings. RiscV call & RPC, stackless exec, trade offs. Outlining. XTC runtime, duck types, interface lookup. JS dyn lookup, mono vs megamorphic calls. Modules, JS iterators, generators. Analytic GC solutions
youtu.be/0TCoCeujKsg
Simple update, strings, imports, nested types, const final fields as libc FFI “extern”. (im)mut ptrs & arrays, immut public of mut private, refs vs value, german strings. Remove Rust 'mut'. c++ constexpr. ULP math. Allan presents; exec strats & opts
youtu.be/LlaGHhsF-Zs
Simple portable IR, Reg Alloc, Spills, machine IR, ABI. AST vs graph. Chapter 22: FFI, by value or ref, object inlining, unify struct and arrays, strings. Hashcodes vs moving GC. Design choices for structures, names. Arenas, headerless objects.
youtu.be/QkzNGlt6ZtY
Simple ch21 bugs, RiscV, ARM emul, ELF, ABI, BB layout, swapping CMP operands vs negate. Ch22 - String, GC vs free, hello world compiler, method calls. New HLL nodes&opts, Mojo, transact mem, finding containers. Queries. More data struct opts, RPO
youtu.be/fNdgEienyEw
Simple Ch21, bugs, strings, RISC5, regalloc, ms_abi vs sys5_abi, roadmap. Escape analysis for .NET, large stacks, async, conts, Midori, GC stress, liveness. Checkable GC ptrs, typed asm. Moving GC and hashing. Ptrs vs refs. Live debugging, ASCII dumps
Another (easy) round in the Simple Reply:
github.com/SeaOfNodes/S...
Another round in the Simple Reply:
github.com/SeaOfNodes/S...
youtu.be/Zo801M9E--M
Asm & Forth. Sea of Nodes vs V8, equiv class aliasing, V8 algo vs idiomatic, Node cost matters. Type based alias vs flow based. Embedded, cost model. Disasm, fuzzing. Simple update; RA commit rate, linking with libc alts, DWARF, more compiler design.
And of course Coffee Compiler Club is on tomorrow morning, 4/Apr/2025, 10am PST. CCC is open to all compiler (and language design and implementation) lovers. Ask via private msg or email cliffc@acm.org for invite.
04.04.2025 04:31 — 👍 0 🔁 0 💬 0 📌 0github.com/SeaOfNodes/S...
More conversations about V8's SoN.
It might be getting close to time to "agree to disagree" and move on.
youtu.be/iNWAgSAEPAg
SoN response to V8 moving away from SoN; Allan presentation; IR Node types; Nano pass; Adding new nodes, MLIR; Simple; Inline asm code, moving GC and cache friendly; V8 SoN, Equiv class aliasing, effect chains, lattice, aliasing, HIR; MLIR style of nodes
Well, I tried to dodge replying to the V8 "Land Ahoy" post, then had trouble with reddit crashing when I replied, so here is github.com/SeaOfNodes/S...
26.03.2025 20:25 — 👍 0 🔁 0 💬 0 📌 0
youtu.be/ZAWeP3tEKIo
Guest Rick Hudson: Go & GC! Sapphire GC, read barriers, pauses , locks, channels, bump ptr, concurrent, headerless, EA/ED, Arenas, stack sizes, generics.
Streams, E-graphs, C2 vs LLVM, startup, phase changes, profiling. Testing JS. WASM roadmap.
Coffee Compiler Club is on tomorrow morning, 21/Mar/2025, 10am PST. CCC is open to all compiler (and language design and implementation) lovers. Ask via private msg or email cliffc@acm.org for invite.
21.03.2025 06:18 — 👍 0 🔁 0 💬 0 📌 0
youtu.be/gobDdcGuPsc
Recursion vs iteration vs expressiveness. Irreducible loops in Java. Back to recur vs iter vs lazy, Haskell. Compiler IRs; the good, bad, ugly, mapping IR to hardware. Javascript/tracing JIT, Pypy.
Live debugging Simple. Git vs other VCS
youtu.be/0RFi31rM08U
Simple RegAlloc complete; roadmap: encoding, ELF, roadmap, imports. Fuzzers; fuzzer lifetime; more imports; forward ref handling; unify struct & arrays; debug & SoN. Methods. Unzip opt in SoN. Code for GPU/AI chips with SoN. Demo Simple regalloc.
youtu.be/cn9tA-tD-8g
C1 , C2 history. SoN in a long. Simple methods, debug info, changing ABI, RA status, roadmap, bytecodes. Stackoverflow, guard pages, stackless. RA theory. Compile vs asm. Simple working in the browser, more spilling, register allocation
youtu.be/5MlYWBe4OQg
Simple live demo register allocation
