Satnam Singh

I’m an independent computer scientist working at the intersection of programming languages, hardware design and formal methods. You can find out more about my professional background from my bio. My personal site raintown.org is mostly about cooking, restaurants, whisky and wine, and travel.

Posts

2025-05-29. My SIGPLAN Current Continuation YouTube Interview
2024-08-26. My Haskell Interlude Podcast Interview
2024-08-15. My Type Theory for All Podcast Interview
2024-07-26. Accelerating Large Language Models with Groq's LPU Machine Learing Chips
2024-04-06. Ross Anderson
2024-03-13. Silver Oak: Building A High Assurance Silicon Root of Trust
2023-01-15. Abuse and Bullying: An Ad Hoc Personal Survival Guide
2021-10-03. Advice for Whiteboard Coding Interviews
2015-06-11. Cluster Level Logging with Kubernetes
2015-06-05. Cluster Management with Kubernetes
2014-11-18. Logging Kubernetes Pods using Fluentd and Elasticsearch
1998-02-21. Postcard From The Valley