Satnam Singh
@satnam6502
Followers
20K
Following
37K
Media
2K
Statuses
14K
Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Los Altos, California
Joined December 2016
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.
23
5
487
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. #Glasgow
https://t.co/Z3Vxny6OEB
0
0
11
My latest session with @headinthebox 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
3
1
57
A great night of cocktails at our local bar Amandine with Susan, Kiran and her boyfriend (and bartender) Adam.
2
0
24
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
11
0
62
Despite not being a "real Indian" anymore (as my several failed OCI applications attest) I'd like to suggest that if you want to go beyond a quick byte, I strongly recommend Copra in San Francisco. They have an associated restaurant Ettan in Palo Alto that I am not so fond of,
Zareen is one of the go to places for many SF Bay Area AI researchers to get a quick bite. Most of the food is very good and was even on the Michelin guide in 2020. AI researchers not experienced with the Indian cuisine will commonly order their chicken tikka masala with garlic
17
1
131
I get my bike serviced once a year and usually refresh the handlebar tape. The current edition.
1
1
41
@tachim (CEO, @HarmonicMath) is building Aristotle — an AI reasoning engine that can solve problems better than top math Olympiad winners! This October, he takes the #TEDAISF25 stage to explore AI beyond prediction — into provable reasoning. 🎟️👇
2
4
21
I've often fantasized about opening my own restaurant but the more I read about it the more it seems like a totally mad idea, confirmed by today's article in the New York Times about someone who quits their day job to open a restaurant in Brooklyn. For sure I will loose all my
nytimes.com
A year in the making of a rookie’s first restaurant.
2
0
22
We ate the poisonous candlenut black nut slow cooked Iberico pork jowl at the restaurant Candlenut which specializes in local Peranakan cuisine in Singapore. Excellent (we survived) and all the other dishes were great too.
2
1
25
Massive thanks to everyone involved in making ICFP/SPLASH OOPSLA 2025 a huge success. Special thanks to the amazing general chair @ilyasergey and extra special thanks to all the student volunteers who did a fantastic job. Goodbye, and hopefully see you next year in Indianapolis.
2
3
87
We had an excellent dinner at the famous Burnt Ends restaurant in Singapore. Chef-owner Dave Pynt came to the table to ask about dietary restrictions and then created a wonderful menu for the eight of us (celiac, pescatarian, no nuts, no pineapple!). Pictured: king crab, and
2
0
44
One thing I'd like ask about is how AI tools and techniques impact the current EDA design flows, especially for verification. I also would like to understand the impact of AI generated code for maintainability, e.g. SystemVerilog assertions generated from English language
0
0
1
Lia Schütze, a student at MPI-SWS, presented this poster at our recent retreat. I was blown away. Not only is it a work of art (which she designed herself), but the visuals actually made sense as a structural device for explaining the work.
6
8
53
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)? The panelists are Sean Safarpour (Executive Director, R&D,
2
1
5
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
6
0
201
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube.
0
13
79