Tools mentioned by Thomas Ahle

Software and services Thomas Ahle has mentioned across podcast appearances.

SignalCast may earn a small commission on purchases through these links — at no extra cost to you.

Verilog simulator
“Ahle ran approximately 20 GPT agents continuously for six months to build a Verilog simulator from scratch, generating over 500,000 lines of code in 43 days.”
Mentioned on: Machine Learning Street Talk · The Thermodynamic AI Computing Chip - Thomas Ahle
AlphaProof
“Ahle applies a technique analogous to AlphaProof's IMO approach to hardware: language models generate formal specifications in lean-style languages, then attempt to prove or disprove properties of chip designs. A key training trick borrowed from AlphaProof—asking models to prove or disprove rather than just prove—removes the need for correct formalizations during training.”
Mentioned on: Machine Learning Street Talk · The Thermodynamic AI Computing Chip - Thomas Ahle

Verilog simulator