Satnam Singh (@satnam6502) 's Twitter Profile
Satnam Singh

@satnam6502

Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}

ID: 810169797589823492

linkhttps://bsky.app/profile/satnam6502.bsky.social calendar_today17-12-2016 17:08:26

13,13K Tweet

16,16K Followers

2,2K Following

Satnam Singh (@satnam6502) 's Twitter Profile Photo
Satnam Singh
@satnam6502

4 years ago

I gave my final lecture on the UC Santa Cruz CSE-125/225 Verilog hardware course. Of course, it was on Bluespec using the "classic" original Haskell syntax, so the students can see a totally different way of thinking about hardware specification and design. bluespec

I gave my final lecture on the UC Santa Cruz CSE-125/225 Verilog hardware course. Of course, it was on Bluespec using the "classic" original Haskell syntax, so the students can see a totally different way of thinking about hardware specification and design. <a href="/bluespec/">bluespec</a>