16

Defining Safe Hardware Design [pdf] (csail.mit.edu)

6 hours ago rachitnigam mit.edu

3

Formally Speaking, "Transpiler" Is a Useless Word (csail.mit.edu)

a month ago rachitnigam mit.edu

1

An Introduction to Filament (gabizon103.github.io)

a year ago rachitnigam github.io

2

GitHub-Centric Research Management (rachit.pl)

2 years ago rachitnigam rachit.pl

1

Transpiler, a Meaningless Word (rachit.pl)

2 years ago rachitnigam rachit.pl

2

Tell HN: TheForkJoin, a CS research twitch stream/podcast

2 years ago rachitnigam ycombinator.com

17

Constrain – Interactive figures using declarative constraint solving (github.com/andrewcmyers)

3 years ago rachitnigam github.com

2

Why Study Programming Languages

3 years ago rachitnigam rachitnigam.com

34

Lies Academics Believe

3 years ago rachitnigam rachitnigam.com