Satnam Singh

I’m a 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

2026-10-04

Formally deriving programs from specifications using Lean 4 in the Bird-Meertens style

2026-09-27

Fish and Chips: Functional Geometry and FPGA Circuit Layout

2026-05-05

Formally Verifying Hardware with Aristotle, Harmonic's AI Theorem Prover (talk at Imperial College London)

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

Obiturary for 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

2011-04-19

Creating a Windows DLL from a Haskell Program and calling it from C++

2011-02-15

Compiling C# Programs to FPGA Circuits: An Ethernet Packet Processing Example

2011-02-11

Using the Virtex-6 Embedded Tri-Mode Ethernet MAC Wrapper v1.4 with the ML605 Board

2011-01-18

Reconfigurable Data Processing for Clouds

2010-10-14

F# Black-Scholes running on GPUs and SSE3 Multicore Processors using Accelerator

2010-04-28

Kiwi Synthesis of C# and F# Combinational Circuit Models into FPGA Circuits

2010-01-11

A C# implementation of a convolver using Accelerator for GPGPU and multicore targets using LINQ operators

2010-01-05

An F# Functional Geometry Description of Escher's Fish

2009-12-15

GPGPU and x64 Multicore Programming with Accelerator from F#

1998-02-21

Postcard From The Valley