Episode 2: Satnam Singh
Audio
Video
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
Transcript
Read the episode transcript.