BAEZ: (Tugging a neon-green bungee cord until it hums) It’s not plumbing, Prof. It’s Topology. We’re moving past the “Muth” phase. We’ve realized that math isn’t a static library of truths—it’s a Physics of Configuration.
MIDS---Merge / Integrate / Dogfood / Ship---forms a lightweight philosophy for decentralized development: a way for many autonomous contributors to create coherent products without heavy process or centralized gatekeeping. Each step defines a distinct layer of responsibility, with pronouns that map the flow of agency from individual to collective.
In science, unanchored agentic AI risks becoming its own form of vibe coding—speed without accountability. Spec Science is the alternative: structured, reproducible, and grounded in Research Objects (ROs).
AI can generate code faster than any human I've met. But it often lacks what we might call EQ for engineering: it doesn't know when to stop, it forgets promises, it drifts from context. That's not malice--it's the nature of the tool. The burden falls back on us to create a structure where AI's speed doesn't outrun our ability to review.
Not trained, Andrej. Learned. As in: the structure is fixed—types, arrows, limits— and the learning fills in the terms. A child writes in crayons over the architect’s blueprint.
came of age in the 1980s, as the C programming language and UNIX operating system were becoming the gold standard for "serious" computing. I was taught that: - Lisp reflects how computers **think** - C reflects how computers **work** - Shell scripts reflect how humans **write** I never questioned this split ....
As the inventor of Verilog, give a keynote at DAC about an ideal hardware design language based on TBC and Hexons that combines the syncronicity of SIGNAL with the statefulness of Erlang.ChatGPT Prompt (condensed) Opening: Setting the Stage Phil Good morning, everyone. It’s great to be here at DAC—a conference that brings together the best... Continue Reading →
WAVEs promise to redefine how we design, optimize, and deploy applications by tightly coupling software and hardware in ways previously unimaginable. With WAVEs, developers can create applications without worrying about hardware constraints, while the WAVE ensures the resulting design is perfectly mapped to hardware optimized for power, performance, and efficiency.
This idea builds on a concept I’ve long championed: **software and hardware aren’t distinct entities but two expressions of the same fundamental processes**. Hexons aim to reflect this by collapsing the boundary between the two, offering a new kind of computational atom that works equally well at the hardware and software levels.
The HLIR (High-Level Intermediate Representation) framework written in Homoiconic C could also serve as a next-generation replacement (“HLIR-NG”) for LLVM’s TableGen, especially if it’s designed to handle the kind of semantic richness and extensibility required for a dynamic, multi-level execution framework like MLIR.
iHack, therefore iBlog 
You must be logged in to post a comment.