satnam6502 Profile Banner
Satnam Singh Profile
Satnam Singh

@satnam6502

Followers
16K
Following
35K
Statuses
13K

Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. โˆƒ๐Ÿ‡ฎ๐Ÿ‡ณ โˆง โˆ€๐Ÿ‡ฌ๐Ÿ‡ง โˆง โˆƒ๐Ÿ‡ช๐Ÿ‡บ โˆง โˆ€๐Ÿ‡บ๐Ÿ‡ธ #celiac ex-{Microsoft, Google, Facebook}

Los Altos, California
Joined December 2016
Don't wanna be here? Send us removal request.
@satnam6502
Satnam Singh
8 hours
@jhietaniemi We bought a cow. We can't sell what we bought to others.
0
0
0
@satnam6502
Satnam Singh
8 hours
@SMT_Solvers And a good use for my home made Haskell sousvide setup.
Tweet media one
0
0
2
@satnam6502
Satnam Singh
8 hours
@SMT_Solvers Twelve hours!
0
0
0
@satnam6502
Satnam Singh
8 hours
The paranoid only survive for so long.
0
0
6
@satnam6502
Satnam Singh
1 day
RT @CUP_JFP: Read Jeremy Gibbons' pearl exploring Richard Bird's Sieve of Eratosthenes circular algorithm through the lens of Turner's Totaโ€ฆ
0
7
0
@satnam6502
Satnam Singh
1 day
RT @docmilanfar: Michael Jordan gave a short, excellent, and provocative talk recently in Paris - here's a few key ideas - It's all just mโ€ฆ
0
168
0
@satnam6502
Satnam Singh
4 days
I've just finished Pam Brunton's book Between Two Waters which is a wonderful manifesto about our connection to the land and the food it offers us and her search for the meaning of "modern Scottish food" which is what is served at her excellent restaurant @inverrestaurant set by a beautiful loch in Scotland. Not long after it opened in 2015 I had the pleasure of eating there with my mother. A very thought provoking book with much to say about what's broken about how we produce food today but it also paints a picture of a more sustainable way forward for us and our planet. Many thanks to my sister for buying me this book as a Christmas present!
Tweet media one
0
0
9
@satnam6502
Satnam Singh
4 days
@ilyasergey Erik Meijer, of course. @headinthebox is frantically reinventing coding as a discipline.
0
0
6
@satnam6502
Satnam Singh
4 days
@ilyasergey Chris Lattner.
0
0
3
@satnam6502
Satnam Singh
4 days
@ilyasergey Leonardo de Moura.
0
0
6
@satnam6502
Satnam Singh
4 days
@ilyasergey Rustan Leino.
0
0
2
@satnam6502
Satnam Singh
4 days
@ilyasergey Verse? Although that overlaps with SPJ.
1
0
1
@satnam6502
Satnam Singh
5 days
I am now so done with kombucha and keffir. Excuse me while I put on a pot of my mumโ€™s masoori dal.
@krishashok
Krish Ashok
5 days
Your regular reminder that sources of prebiotics like legumes (dal, chana, rajma) etc have a significantly larger impact on improving gut health than probiotics (like dahi, kombucha etc) despite the internetโ€™s obsession with the latter. Your stomach acid murders most of the bacteria before it gets to your gut. On the other hand, oligosaccharides in onions, garlic, banana, chicory and all dals, chana, rajma make a really big difference. So that guy at the office lunch eating a whole raw onion worth of slices along with his roti dal might smell terrible at both ends but, hey, his gut is going to be pretty happy
2
2
31
@satnam6502
Satnam Singh
5 days
Also, the paper Efficiently Scaling Transformer Inference is highly recommended (MLSys 2023, overlapping authors).
0
0
18
@satnam6502
Satnam Singh
9 days
A four cups of coffee ranting session about LLMs being stateless with @headinthebox. "Why do I need to provide a copy of the entire stack every time I want to make call?"
Tweet media one
8
5
97
@satnam6502
Satnam Singh
10 days
@Lloyd_Cole Happy birthday! A fantastic power of two.
0
0
1
@satnam6502
Satnam Singh
10 days
@krismicinski @headinthebox We're meeting for coffee tomorrow in Palo Alto to do just that.
0
0
3