In this episode, we talk to Dr. Satnam Singh who is a scientist at Groq.
Zoom failed us and Adrian’s camera wasn’t captured in the recording.
(It turns out that if you turn off “self view” in Zoom, that also turns off your video stream in the recording.)
Links
Groq
Sinclair ZX80
Sinclair ZX Spectrum
BBC Micro
6502 processor
BBC BASIC
Deutsches Elektronen-Synchrotron
David Watt
Ada
Programmable Array Logic (PAL)
Programmable logic array (PLA)
Robin Milner
Mary Sheeran
Transputer
Occam
Miranda
GHC
Stephen Blott
Satnam’s thesis, “Analysis of Hardware Descriptions” (1991)
Verilog
VHDL
SystemVerilog
Lava
Bluespec
I unfortunately couldn’t find a good link for John Gray.
“Checking Safety Properties Using Induction and a SAT-Solver,” FMCAD 2000
Logical equivalence checking
egg
MLIR
JasperGold
Phil Wadler
Simon Peyton Jones
John Hughes
John Launchbury
Simon Marlow
Graham Hutton
Susan Spence and Persistent Java
Bill Carter
Satnam’s blog post, “Abuse and Bullying: An Ad Hoc Personal Survival Guide”
Systolic array
Ian Pratt
XenSource
Verilator
YosysHQ
Tobias Grosser
Lean-MLIR
Daniel Spoonhower
Bob Harper
Lindsey Kuper
REACH conference
Alastair Donaldson
FP Castle
Schloss Dagstuhl
Brett
NOPI
Octomore
Italia