Stories by alabhyajindal

A proof checker meant for education

Text-Mode Games as First Haskell Projects

Political posts on X could harm academics' credibility

AI poses no existential threat to humanity

Modern Foundations of Mathematics

p5.js

Helping Engineers Learn Mathematics Workbooks (HELM)

Books Programmers Don't Really Read (2008)

Anatomy of a Next Generation Text Editor (2007)

Show HN: Firefox extension to mute words on HN

I am not a "JavaScript Developer". (2013)

LeechBlock – A Simple Free Productivity Tool

Webtime Tracker Browser Extension

Show HN: I wrote a Logo interpreter using JavaScript

A Mathematician's Lament by Paul Lockhart [pdf]

Show HN: I made a Sudoku game you can play using Vim

Understanding Computation: From Simple Machines to Impossible Programs

Transum

Tell HN: fuckjava.com redirects to kotlinlang.org

Show HN: Firefox extension to filter YouTube channels from search