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
Reposted by Satnam Singh
This is your routine reminder that "program" and "algorithm" are not synonyms. A program *goes*; an algorithm *works*.
They try to pull a fast one on you by overdignifying shit programs as "algorithms". They don't work. They're not algorithms. They're wrong, not you.
They try to pull a fast one on you by overdignifying shit programs as "algorithms". They don't work. They're not algorithms. They're wrong, not you.
November 9, 2025 at 8:55 PM
This is your routine reminder that "program" and "algorithm" are not synonyms. A program *goes*; an algorithm *works*.
They try to pull a fast one on you by overdignifying shit programs as "algorithms". They don't work. They're not algorithms. They're wrong, not you.
They try to pull a fast one on you by overdignifying shit programs as "algorithms". They don't work. They're not algorithms. They're wrong, not you.
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
We are selling Kiran's flat in the west end of Glasgow. It is a lovely two bedroom flat on Barrington Drive, just along from Brett and opposite St. Mary's church. Please let anyone know who is looking for a flat. Offers over £269,000. corumproperty.co.uk/property/bar...
Corum Property | 1/2 11 Barrington Drive, Woodlands, G4 9DS
corumproperty.co.uk
October 30, 2025 at 4:32 AM
We are selling Kiran's flat in the west end of Glasgow. It is a lovely two bedroom flat on Barrington Drive, just along from Brett and opposite St. Mary's church. Please let anyone know who is looking for a flat. Offers over £269,000. corumproperty.co.uk/property/bar...
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.
Reposted by Satnam Singh
They're only saying what "everyone" is thinking. Our politicians are terrified of calling racists what they are, because there are a lot of them.
The time to be indulgent towards racists is well over.
October 26, 2025 at 10:12 PM
They're only saying what "everyone" is thinking. Our politicians are terrified of calling racists what they are, because there are a lot of them.
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,
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...
[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 13th)
YouTube video by ACM SIGPLAN
www.youtube.com
October 15, 2025 at 7:56 AM
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...
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 have landed my dream job. I’ve just accepted a position at Harmonic, a Palo Alto startup applying AI to formal mathematical reasoning. Harmonic’s Aristotle formal reasoning model achieved Gold Medal level performance at this year’s International Mathematical Olympiad (IMO). harmonic.fun
Harmonic - AI for Formal Mathematical Reasoning
AI for Formal Mathematical Reasoning
harmonic.fun
September 29, 2025 at 7:05 PM
I have landed my dream job. I’ve just accepted a position at Harmonic, a Palo Alto startup applying AI to formal mathematical reasoning. Harmonic’s Aristotle formal reasoning model achieved Gold Medal level performance at this year’s International Mathematical Olympiad (IMO). harmonic.fun
I am very much looking forward to the Formal Methods (FM) and Artificial Intelligence (AI) workshop next week at SRI in Menlo Park. It's worth going just for the attendance list!
sites.google.com/view/fmxai20...
sites.google.com/view/fmxai20...
Atlas Computing presents:
Sep 30 - Oct 2, 2025
SRI International, Menlo Park.
sites.google.com
September 26, 2025 at 7:03 PM
I am very much looking forward to the Formal Methods (FM) and Artificial Intelligence (AI) workshop next week at SRI in Menlo Park. It's worth going just for the attendance list!
sites.google.com/view/fmxai20...
sites.google.com/view/fmxai20...
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.
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...
So far I have talked to 25 companies but I've only done a full interview loop with one (8 interviews). Sadly that did not work out (much to my surprise). I also had one "ambush interview" with a company that I thought I was having a more informal chat with.
September 19, 2025 at 5:53 PM
So far I have talked to 25 companies but I've only done a full interview loop with one (8 interviews). Sadly that did not work out (much to my surprise). I also had one "ambush interview" with a company that I thought I was having a more informal chat with.
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.
Being brilliant along one axis (e.g. programming) does not give you a license to have your bad behaviour towards others tolerated. I've been fortunate to receive critical but kind feedback from utterly brilliant engineers, delivered in a direct manner but with grace. This made me respect these
August 11, 2025 at 7:46 PM
Being brilliant along one axis (e.g. programming) does not give you a license to have your bad behaviour towards others tolerated. I've been fortunate to receive critical but kind feedback from utterly brilliant engineers, delivered in a direct manner but with grace. This made me respect these
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.