Satnam Singh

@satnam6502

Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}

Los Altos, California

Joined December 2016

3KFollowing

18KFollowers

Satnam Singh@satnam6502 · Jul 25

Another session with @headinthebox Erik Meijer about LLMs and why we should listen but verify, proof carrying code from LLMs, #include “Asimov.h”, and not squandering the joys of freedom. No vibe coding today because I don’t currently have a laptop.

satnam6502's tweet image. Another session with @headinthebox Erik Meijer about LLMs and why we should listen but verify, proof carrying code from LLMs, #include “Asimov.h”, and not squandering the joys of freedom. No vibe coding today because I don’t currently have a laptop.

2.0K

Satnam Singh@satnam6502 · Jul 24

My first job interview is tomorrow, I already have CoderPad in Haskell mode.

424

52.0K

Satnam Singh@satnam6502 · Jul 24

So what I plan to order tomorrow is a 14-inch MacBook Pro with a M4 Pro processor, 48GB of RAM and a 1 TB disk. Considerations that made me pick the Macbook Pro rather than the Air include Thunderbolt 5 ports (e.g. for multiple high-spec monitors), built-in HDMI (I give a lot of…

SSatnam Singh@satnam6502 · Jul 23

I find myself without a laptop and I am torn between a 13" MacBook Air M4 32GB 1TB vs. 14" MacBook Pro M4 Pro 32GB 1TB. It will be my main development machine (with external monitor), running SystemVerilog simulations, theorem provers like Lean4, Agda, SVA formal verification…

172

27.0K

Satnam Singh@satnam6502 · Jul 19

We got front row seats for Ottolenghi’s chicken shawarma cooking demonstration at the National Geographic Food Festival in London. Susan would not let me rush onto stage to help out with a bit of sous cheffing. @ottolenghi

satnam6502's tweet image. We got front row seats for Ottolenghi’s chicken shawarma cooking demonstration at the National Geographic Food Festival in London. Susan would not let me rush onto stage to help out with a bit of sous cheffing. @ottolenghi

2.0K

Satnam Singh@satnam6502 · Jul 18

hotchipssymposium.regfox.com/hot-chips-2025 I've registered for HotChips!

897

Satnam Singh@satnam6502 · Jul 17

I’ve found the Sweden I was looking for. Orust island.

2.0K

Satnam Singh@satnam6502 · Jul 16

FP, LLM, Agda meetup in Gothenburg. @tritlo @Rewbert @sve10362122

2.0K

Satnam Singh Retweeted

Graham Hutton@haskellhutt · Jul 14

FP fans - 12 new PhD dissertation abstracts have just been published in the Journal of Functional Programming for your reading pleasure! tinyurl.com/2kj67ekn

5.0K

Satnam Singh Retweeted

Peyman Milanfar@docmilanfar · Jul 12

The best intellectual collaborations tend to be between two types of people: the intuitionist and the formalizer Sometimes an intuitionist's idea is so radical that no formalizer will engage. Reciprocally, a formal framework may be so complex that it lends to no intuition 1/4

258

123

31.0K