Image
user avatar
Satnam Singh
@satnam6502
Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Los Altos, California
satnam6502.github.io/bio
Joined December 2016
3,395
Following
22.2K
Followers
  • user avatar
    Satnam Singh
    @satnam6502
    Sep 29, 2025
    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). I
    240K
  • user avatar
    Satnam Singh
    @satnam6502
    Sep 19, 2022
    Replying to @sabrinaesaquino
    In IEEE-754 single precision: 0.1 is exp: 123, mantissa bits: 5033165 i.e. 2^-4 * 1.600000023841858 = 0.100000001490116119384765625 0.2 is exp: 124, mantissa bits: 5033165 i.e. 2^-3 * 1.600000023841858 = 0.20000000298023223876953125 Adding these two together: 0.30000000447034836
  • user avatar
    Satnam Singh
    @satnam6502
    May 13, 2021
    I've completed exactly 55 revolutions around the sun pretty much to the minute. Others might think I'm a loser to be still "just a coder" at 55 but actually I'm proud because it's tough to be an old git in this game and still hack it. I had to take demotions and quit management!
    Image
  • user avatar
    Satnam Singh
    @satnam6502
    Jul 3, 2021
    I wish we would stop saying that strong mathematics skills are necessary for a computer programming career, and stop requiring high levels of mathematics attainment to study computing at university. It is a false proxy for whether you will be good at programming or not.
  • user avatar
    Satnam Singh
    @satnam6502
    Jan 31, 2023
    I once arrived at San Francisco airport with an H1-B that expired while I was out of the country, but the renewal was not going to start for a few days. They started to process me for deportation (I lived in San Jose where I owned a house!!!) and put me in a room for 5 hours that
    user avatar
    “paula”
    @paularambles
    Jan 27, 2023
    wtf this is brutal
    Image
    384K
  • user avatar
    Satnam Singh
    @satnam6502
    Aug 13, 2021
    Me: "Hello, my name is Satnam Singh and I work at Google Research." Interview candidate: "Yes, I know, I follow you on Twitter." [All pretense at appearing professional immediately evaporates.]
  • user avatar
    Satnam Singh
    @satnam6502
    Aug 27, 2023
    12 years I was on the verge of failing my second attempt at interviewing at Google. I was summoned to the New York office of the potential hiring Director who said "Satnam, your interview feedback is all over the map, we can't make sense of who you are, can you even code?" I
    Image
    366K
  • user avatar
    Satnam Singh
    @satnam6502
    Mar 28, 2022
    My daughter has told me excitedly about a SAT solver she has just written in Python. Parenthood has prepared me for mixed emotions, but this has truly left me conflicted.
  • user avatar
    Satnam Singh
    @satnam6502
    Oct 4, 2022
    To get promoted build things poorly that are likely to break and then fix them in an emergency and emerge as a hero. To be overlooked and never loved work hard to build reliable systems that you keep running where everybody takes reliability for granted and nobody knows your name
  • user avatar
    Satnam Singh
    @satnam6502
    May 12, 2022
    I turned 56 today. I’ve been reflecting on what (if anything) I have learned in my life that I can tell you that might be of use or interest to you. I’ll spare you the details of the specifics of my history and background and how I got from a poor rural family in India to
  • user avatar
    Satnam Singh
    @satnam6502
    Aug 28, 2025
    Just rejected by a very large company you know the name of, I am drowning my sorrows with a Negroni and the Wednesday night Hiking Group crowd at St Stephen’s Green pub in Mountain View.
    Image
    108K
  • user avatar
    Satnam Singh
    @satnam6502
    Feb 24, 2024
    Replying to @CFDevelop
    When I “retire” that’s what I will too. I am not retiring from coding, I’m retiring from process.
    43K
  • user avatar
    Satnam Singh
    @satnam6502
    Aug 5, 2024
    We’ve raised some more dosh in a Series D to help us carry on hacking. Also, @ylecun joins us at @GroqInc as a technical advisor. wow.groq.com/news_press/gro…
    57K
  • user avatar
    Satnam Singh
    @satnam6502
    Apr 2, 2021
    Recruiter: We ask you to do three coding interviews. Me: No problem, let me know which engineers from your company you would like me to interview and what programming languages they want to use. Recruiter: <noise a recruiter makes when they SEGV>