rachitnigam's submissions

1.		Defining Safe Hardware Design [pdf] (csail.mit.edu)
		41 points by rachitnigam 4 months ago \| past \| 5 comments
2.		Formally Speaking, "Transpiler" Is a Useless Word (csail.mit.edu)
		5 points by rachitnigam 5 months ago \| past
3.		An Introduction to Filament (gabizon103.github.io)
		2 points by rachitnigam on Oct 1, 2024 \| past
4.		GitHub-Centric Research Management (rachit.pl)
		2 points by rachitnigam on Sept 15, 2023 \| past
5.		Transpiler, a Meaningless Word (rachit.pl)
		2 points by rachitnigam on Aug 15, 2023 \| past
6.		Tell HN: TheForkJoin, a CS research twitch stream/podcast
		7 points by rachitnigam on July 11, 2023 \| past \| 1 comment
7.		Constrain – Interactive figures using declarative constraint solving (github.com/andrewcmyers)
		48 points by rachitnigam on Jan 15, 2023 \| past \| 11 comments
8.		Why Study Programming Languages (rachitnigam.com)
		2 points by rachitnigam on Sept 19, 2022 \| past
9.		Lies Academics Believe (rachitnigam.com)
		37 points by rachitnigam on Aug 2, 2022 \| past \| 20 comments
10.		The Problem with the Problem [video] (youtube.com)
		1 point by rachitnigam on March 2, 2022 \| past
11.		Dear sir, you have built a compiler (rachitnigam.com)
		355 points by rachitnigam on Jan 11, 2022 \| past \| 175 comments
12.		Personal Infrastructure for PhD Students (rachitnigam.com)
		2 points by rachitnigam on Jan 10, 2022 \| past
13.		Tez Bio – Create a personal page in seconds (tez.bio)
		2 points by rachitnigam on Nov 30, 2021 \| past
14.		Growing an Open-Source Hardware Infrastructure (calyxir.org)
		1 point by rachitnigam on Oct 20, 2021 \| past
15.		Show HN: A parallel snapshot testing framework in Rust (github.com/rachitnigam)
		4 points by rachitnigam on Aug 1, 2021 \| past
16.		From Hardware Description Languages to Accelerator Design Languages (sigarch.org)
		3 points by rachitnigam on July 1, 2021 \| past
17.		Commoditize the Complement of Your Research (rachitnigam.com)
		1 point by rachitnigam on March 13, 2021 \| past
18.		Oxide: Building a Formalized Rust for great good (github.com/aatxe)
		2 points by rachitnigam on Aug 14, 2020 \| past
19.		Compiling for the Reconfigurable Future (rachitnigam.com)
		5 points by rachitnigam on April 28, 2020 \| past
20.		The first two years of my PhD (rachitnigam.com)
		85 points by rachitnigam on April 11, 2020 \| past \| 17 comments
21.		The cost of virtualizing CS conferences (rachitnigam.com)
		1 point by rachitnigam on March 19, 2020 \| past
22.		Great Instruction Set Architectures (cornell.edu)
		2 points by rachitnigam on Jan 21, 2020 \| past
23.		Beating Decades of Optimized C with 80 Lines of Haskell (chrispenner.ca)
		162 points by rachitnigam on Oct 16, 2019 \| past \| 185 comments
24.		Operation Plumbbob (wikipedia.org)
		3 points by rachitnigam on Sept 13, 2019 \| past
25.		Rekursiv (wikipedia.org)
		143 points by rachitnigam on Sept 8, 2019 \| past \| 31 comments
26.		GitHub Intermittently Retuning 504 (github.com)
		3 points by rachitnigam on Aug 6, 2019 \| past
27.		Programming Languages Ranked by Expressiveness (redmonk.com)
		7 points by rachitnigam on Aug 3, 2019 \| past \| 1 comment
28.		Rant against Rust for game programming (youtube.com)
		1 point by rachitnigam on July 30, 2019 \| past
29.		Open Source Hardware is the next big thing (twitter.com/notypes)
		3 points by rachitnigam on July 16, 2019 \| past
30.		Great Works in Programming Languages (cornell.edu)
		4 points by rachitnigam on July 13, 2019 \| past
		More

HN For You