Stories by rachitnigam

Defining Safe Hardware Design [pdf]

Formally Speaking, "Transpiler" Is a Useless Word

An Introduction to Filament

GitHub-Centric Research Management

Transpiler, a Meaningless Word

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

Constrain – Interactive figures using declarative constraint solving

Why Study Programming Languages

Lies Academics Believe

The Problem with the Problem [video]

Dear sir, you have built a compiler

Personal Infrastructure for PhD Students

Tez Bio – Create a personal page in seconds

Growing an Open-Source Hardware Infrastructure

Show HN: A parallel snapshot testing framework in Rust

From Hardware Description Languages to Accelerator Design Languages

Commoditize the Complement of Your Research

Oxide: Building a Formalized Rust for great good

Compiling for the Reconfigurable Future

The first two years of my PhD