Satnam Singh
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
http://raintown.org
Taking the train to Palo Alto for my first day of work at Harmonic. Looking forward to machine learning, interactive theorem proving with Lean and formal verification of hardware.
November 3, 2025 at 4:20 PM
Taking the train to Palo Alto for my first day of work at Harmonic. Looking forward to machine learning, interactive theorem proving with Lean and formal verification of hardware.
On Monday for the first time in four years I will start to work in an office five days a week, like I have done for all of my career until COVID-19. I've been looking forward to this day, having never liked working from home and having seen all the problems and issues that occur in a remote first
October 31, 2025 at 2:44 AM
On Monday for the first time in four years I will start to work in an office five days a week, like I have done for all of my career until COVID-19. I've been looking forward to this day, having never liked working from home and having seen all the problems and issues that occur in a remote first
My latest session with Erik Meijer took in the usual wide range of topic rants, including criticism of my restricted choice of wire domain values for the formal verification of hardware, the world of vibe coding and the allure of mindless coding for its therapeutic value,
October 30, 2025 at 1:05 AM
My latest session with Erik Meijer took in the usual wide range of topic rants, including criticism of my restricted choice of wire domain values for the formal verification of hardware, the world of vibe coding and the allure of mindless coding for its therapeutic value,
A great night of cocktails at our local bar Amandine with Susan, Kiran and her boyfriend (and bartender) Adam.
October 29, 2025 at 5:57 AM
A great night of cocktails at our local bar Amandine with Susan, Kiran and her boyfriend (and bartender) Adam.
About two weeks ago I had a pretty terrible bicycle accident which damaged the left hand side of my body and significantly hurt my left knee. Folks in Singapore might have noticed me limping around. I'm still recovering from it, unable to walk much, and I certainly can't do my usual cycling,
October 27, 2025 at 8:00 AM
About two weeks ago I had a pretty terrible bicycle accident which damaged the left hand side of my body and significantly hurt my left knee. Folks in Singapore might have noticed me limping around. I'm still recovering from it, unable to walk much, and I certainly can't do my usual cycling,
I get my bike serviced once a year and usually refresh the handlebar tape. The current edition.
October 23, 2025 at 5:56 PM
I get my bike serviced once a year and usually refresh the handlebar tape. The current edition.
Do you have any questions you would like to ask our panelists on the free to attend webinar "How can AI Revolutionize Hardware Verification?" on Monday 20 October at 16:00-17:00 BST (11:00-12:00 ET, 8AM Pacific)? Registration link: www.workcast.com/register?cpa...
October 16, 2025 at 11:54 PM
Do you have any questions you would like to ask our panelists on the free to attend webinar "How can AI Revolutionize Hardware Verification?" on Monday 20 October at 16:00-17:00 BST (11:00-12:00 ET, 8AM Pacific)? Registration link: www.workcast.com/register?cpa...
My father lived in Singapore before I was born, and I have been walking the streets wondering if I have retraced any of his steps. As an Indian he was here at the right time to apply for and get a British passport (or some similar document). This was a pivotal moment in our family history,
October 15, 2025 at 7:58 AM
My father lived in Singapore before I was born, and I have been walking the streets wondering if I have retraced any of his steps. As an Indian he was here at the right time to apply for and get a British passport (or some similar document). This was a pivotal moment in our family history,
For the hot pan vs. cold pan controversy I am on the side of the hot pan. Seared duck breast with a whisky soy sauce (Oban 14), on a bed of spring onions, asparagus and sugar snap peas (thank you Nick Nairn). I started with a Hestan titanium pan at 200°C and seared the scored salt and pepper
October 5, 2025 at 3:36 AM
For the hot pan vs. cold pan controversy I am on the side of the hot pan. Seared duck breast with a whisky soy sauce (Oban 14), on a bed of spring onions, asparagus and sugar snap peas (thank you Nick Nairn). I started with a Hestan titanium pan at 200°C and seared the scored salt and pepper
When my daughter was born 22 years ago I never expected to have the following family dinner conversation with her:
Kiran: <a story about getting into trouble with "git add ." at work>
Dad: <Have you considered only using "git add -u ." when using . as an argument?>
Kiran: <a story about getting into trouble with "git add ." at work>
Dad: <Have you considered only using "git add -u ." when using . as an argument?>
October 4, 2025 at 4:45 PM
When my daughter was born 22 years ago I never expected to have the following family dinner conversation with her:
Kiran: <a story about getting into trouble with "git add ." at work>
Dad: <Have you considered only using "git add -u ." when using . as an argument?>
Kiran: <a story about getting into trouble with "git add ." at work>
Dad: <Have you considered only using "git add -u ." when using . as an argument?>
I did some more hacking to produce a totally floorplanned 64-input sorter circuit on a Xilinx XC7A200T FPGA, on the LHS picture shown as a tight rectangular block, on the RHS a close-up that shows the butterfly wiring pattern.
September 23, 2025 at 11:25 PM
I did some more hacking to produce a totally floorplanned 64-input sorter circuit on a Xilinx XC7A200T FPGA, on the LHS picture shown as a tight rectangular block, on the RHS a close-up that shows the butterfly wiring pattern.
This is what the core of the Haskell Lava DSL implementation looks like. It is a bunch of point-free style recursive combinators that capture the recursive structure and layout of the butterfly network. After evaluation, this produces a SystemVerilog file with layout annotations for
September 22, 2025 at 7:10 AM
This is what the core of the Haskell Lava DSL implementation looks like. It is a bunch of point-free style recursive combinators that capture the recursive structure and layout of the butterfly network. After evaluation, this produces a SystemVerilog file with layout annotations for
A lovely Xilinx 7-series FPGA chip layout of a sorting network produced from a dependently typed DSL in Haskell. More stuff like this during my keynote talk at ICFP 2025 in October in Singapore. icfp25.sigplan.org/details/icfp...
September 22, 2025 at 2:25 AM
A lovely Xilinx 7-series FPGA chip layout of a sorting network produced from a dependently typed DSL in Haskell. More stuff like this during my keynote talk at ICFP 2025 in October in Singapore. icfp25.sigplan.org/details/icfp...
Interviewing: Contemplator vs. Thinking On Your Feet. As a contemplator rather than thinker on my feet I am doomed to keep failing the typical tech interview loop. In a whiteboard or zoom environment where I am under scrutiny and being “watched over my shoulder” my brain just freezes and
September 10, 2025 at 9:15 PM
Interviewing: Contemplator vs. Thinking On Your Feet. As a contemplator rather than thinker on my feet I am doomed to keep failing the typical tech interview loop. In a whiteboard or zoom environment where I am under scrutiny and being “watched over my shoulder” my brain just freezes and
A job interview finally got me access to the swanky members only Shack15 exclusive super-trendy co-working and networking space and social club at the top of the iconic Ferry Building on San Francisco's Embarcadero. It is everything that other people think Silicon Valley is.
September 5, 2025 at 5:52 PM
A job interview finally got me access to the swanky members only Shack15 exclusive super-trendy co-working and networking space and social club at the top of the iconic Ferry Building on San Francisco's Embarcadero. It is everything that other people think Silicon Valley is.
I've always had an irrational fear of being laid off from my job and not being able to support my family. UB40 might be an 80s band to some people, but to me it was my father's Unemployment Benefit Form 40 which was an attendance card issued to individuals claiming unemployment benefits in the UK
August 17, 2025 at 6:03 PM
I've always had an irrational fear of being laid off from my job and not being able to support my family. UB40 might be an 80s band to some people, but to me it was my father's Unemployment Benefit Form 40 which was an attendance card issued to individuals claiming unemployment benefits in the UK
The staff at The French Laundry last night dissecting my feedback.
August 15, 2025 at 3:20 PM
The staff at The French Laundry last night dissecting my feedback.
Wonderful hike with Susan and Philip at Lily Lake near Estes Park, Colorado.
August 10, 2025 at 12:45 AM
Wonderful hike with Susan and Philip at Lily Lake near Estes Park, Colorado.
Happy #kuberTENes! Check out my #FirstContribution to Kubernetes #ContribCard contribcard.clotributor.dev/satnam6502
August 8, 2025 at 3:12 AM
Happy #kuberTENes! Check out my #FirstContribution to Kubernetes #ContribCard contribcard.clotributor.dev/satnam6502
Susan is refusing to let us take a Robotaxi to San Francisco this afternoon. We’re taking the train instead.
August 2, 2025 at 10:51 PM
Susan is refusing to let us take a Robotaxi to San Francisco this afternoon. We’re taking the train instead.
First time I have been driven home in a self-driving taxi.
July 25, 2025 at 11:12 PM
First time I have been driven home in a self-driving taxi.
My first job interview is tomorrow, I already have CoderPad in Haskell mode.
July 24, 2025 at 10:21 PM
My first job interview is tomorrow, I already have CoderPad in Haskell mode.
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 talks),
July 24, 2025 at 10:05 PM
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 talks),
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 to stage to help out with a bit of sous cheffing.
July 19, 2025 at 1:29 PM
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 to stage to help out with a bit of sous cheffing.
