What happened to Metalink?
Summary
The post uses reverse engineering as a throughline to critique the current AI hype and to illustrate how understanding a system's function—historically through hardware like the Pravets and ISCAS benchmarks—can ground claims of transformation. It connects these ideas to the author's work with LyDiA and qbf-designer, arguing for a mathematics-based approach to design and diagnosis rather than blind scale.