alabhyajindal

POSTS

• Think in Math. Write in Code

  by alabhyajindal on 11/9/2025, 12:03 PM with 0 comments

• myNoise: Custom Soundscapes to Focus, Relax & Sleep

  by alabhyajindal on 11/4/2025, 3:00 PM with 1 comments

• Dive into Systems

  by alabhyajindal on 11/3/2025, 4:53 PM with 0 comments

• Text-Mode Games as First Haskell Projects

  by alabhyajindal on 10/31/2025, 7:14 AM with 1 comments

• The Elm Architecture

  by alabhyajindal on 10/29/2025, 9:39 AM with 0 comments

• Humans Are Just Stochastic Parrots

  by alabhyajindal on 10/25/2025, 6:35 AM with 1 comments

• The Programming Languages Zoo

  by alabhyajindal on 10/23/2025, 6:01 AM with 55 comments

• by alabhyajindal on 9/18/2025, 6:28 PM with comments

• by alabhyajindal on 9/3/2025, 6:35 PM with comments

• Miniyacc – A Lightweight Yacc for C

  by alabhyajindal on 7/9/2025, 4:15 PM with 1 comments

• by alabhyajindal on 6/14/2025, 11:46 AM with comments

• The Definition of Standard ML [pdf]

  by alabhyajindal on 5/19/2025, 6:18 PM with 0 comments

• The Future of Mathematics? [video] (2020)

  by alabhyajindal on 5/15/2025, 1:38 PM with 0 comments

• A proof checker meant for education

  by alabhyajindal on 3/21/2025, 11:47 AM with 51 comments

• Text-Mode Games as First Haskell Projects

  by alabhyajindal on 11/22/2024, 10:14 AM with 0 comments

• Political posts on X could harm academics' credibility

  by alabhyajindal on 9/2/2024, 5:23 AM with 0 comments

• AI poses no existential threat to humanity

  by alabhyajindal on 8/13/2024, 4:25 AM with 4 comments

• Modern Foundations of Mathematics

  by alabhyajindal on 8/3/2024, 3:38 PM with 3 comments

• p5.js

  by alabhyajindal on 8/3/2024, 4:53 AM with 68 comments

• Helping Engineers Learn Mathematics Workbooks (HELM)

  by alabhyajindal on 7/22/2024, 8:23 AM with 0 comments

• Books Programmers Don't Really Read (2008)

  by alabhyajindal on 7/18/2024, 4:55 PM with 0 comments

• Anatomy of a Next Generation Text Editor (2007)

  by alabhyajindal on 7/17/2024, 4:52 PM with 0 comments

• Show HN: Firefox extension to mute words on HN

  by alabhyajindal on 6/11/2024, 6:05 AM with 0 comments

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

  by alabhyajindal on 6/8/2024, 4:42 PM with 0 comments

• by alabhyajindal on 5/26/2024, 5:03 PM with comments

• LeechBlock – A Simple Free Productivity Tool

  by alabhyajindal on 5/25/2024, 12:17 PM with 0 comments

• Webtime Tracker Browser Extension

  by alabhyajindal on 5/24/2024, 12:14 PM with 0 comments

• Show HN: I wrote a Logo interpreter using JavaScript

  by alabhyajindal on 5/18/2024, 1:56 PM with 2 comments

• A Mathematician's Lament by Paul Lockhart [pdf]

  by alabhyajindal on 5/17/2024, 3:09 PM with 0 comments

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

  by alabhyajindal on 5/14/2024, 7:37 PM with 15 comments

• Understanding Computation: From Simple Machines to Impossible Programs

  by alabhyajindal on 5/12/2024, 2:41 PM with 0 comments

• Transum

  by alabhyajindal on 4/3/2024, 8:04 AM with 0 comments

• by alabhyajindal on 3/1/2024, 4:32 PM with comments

• Tell HN: fuckjava.com redirects to kotlinlang.org

  by alabhyajindal on 2/9/2024, 5:52 PM with 0 comments

• Show HN: Firefox extension to filter YouTube channels from search

  by alabhyajindal on 1/12/2024, 4:58 PM with 0 comments

• Show HN: I Made a Sudoku Game

  by alabhyajindal on 1/8/2024, 3:23 PM with 33 comments

• by alabhyajindal on 1/3/2024, 9:27 AM with comments

• by alabhyajindal on 1/3/2024, 8:36 AM with comments

• Show HN: A shell tool to create daily notes

  by alabhyajindal on 10/30/2023, 12:33 PM with 2 comments

• by alabhyajindal on 10/26/2023, 2:07 PM with comments

• Ask Microsoft: Are you using our personal data to train AI?

  by alabhyajindal on 9/1/2023, 6:31 AM with 151 comments

• Are You a Software Engineer or a Framework Implementor?

  by alabhyajindal on 6/14/2023, 5:31 AM with 1 comments

• Show HN: Search Select – Navigate and view search results quickly with shortcuts

  by alabhyajindal on 4/27/2022, 4:28 PM with 0 comments