
Satnam Singh
@satnam6502
Followers
18K
Following
36K
Media
2K
Statuses
14K
Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Los Altos, California
Joined December 2016
A great accessible article by @carolinetrippel in IEEE Computer about formal specification and verification of processors with a focus on memory consistency models, side-channel attacks, and the importance of democratizing hardware verification. Regarding machine learning,
3
10
32
In Haskell I often write inline a list comprehension which others might want to wrap in a function, but I prefer to defer to the Fairbairn threshold, the point at which the effort of looking up or keeping track of the definition is outweighed by the effort of rederiving it or.
There is a good programming principle stated here: Donโt write functions for code one can write inline as a simple expression using well-known operations. Itโs much easier to read code that uses a small number of common primitives than to remember 1000โs of helper functions.
1
0
48
Interview #4 today involves on-site a technical discussions with several engineers about what they are working on. I think I will be evaluated on how well I interact with the engineers, my ability to understand the technical challenges they work on, and hopefully I can make some.
9
0
187