🦞🌯 Lobster Roll

Stories by alabhyajindal

Think in math, write in code (2019) (jmeiners.com)
HN 208 pts 72 comments by alabhyajindal Nov 9, 2025 Science / Math / Physics thread
A proof checker meant for education (jsiek.github.io)
HN 145 pts 51 comments by alabhyajindal Mar 21, 2025 thread
The Programming Languages Zoo (plzoo.andrej.com)
HN 125 pts 55 comments by alabhyajindal Oct 23, 2025 Programming (General) thread
India proposes forcing smartphone makers to give source code (reuters.com)
HN 10 pts 1 comments by alabhyajindal Jan 11, 2026 Maker / DIY / Hardware thread
Miniyacc – A Lightweight Yacc for C (c9x.me)
HN 7 pts 1 comments by alabhyajindal Jul 9, 2025 thread
Text-Mode Games as First Haskell Projects (jackkelly.name)
HN 4 pts 1 comments by alabhyajindal Oct 31, 2025 Programming Languages / CS Theory thread
Humans Are Just Stochastic Parrots (tinyclouds.org)
HN 4 pts 1 comments by alabhyajindal Oct 25, 2025 thread
Why Are Geniuses Destroying Jobs in Uganda? (2017) (cgdev.org)
HN 3 pts 0 comments by alabhyajindal Feb 15, 2026 thread
The Elm Architecture (guide.elm-lang.org)
HN 3 pts 0 comments by alabhyajindal Oct 29, 2025 thread
Chief Mouser to the Cabinet Office (en.wikipedia.org)
HN 2 pts 0 comments by alabhyajindal Mar 1, 2026 thread
myNoise: Custom Soundscapes to Focus, Relax & Sleep (mynoise.net)
HN 2 pts 1 comments by alabhyajindal Nov 4, 2025 Health / Fitness / Lifestyle thread
The Future of Mathematics? [video] (2020) (youtube.com)
HN 2 pts 0 comments by alabhyajindal May 15, 2025 Science / Math / Physics thread
Text-Mode Games as First Haskell Projects (jackkelly.name)
HN 2 pts 0 comments by alabhyajindal Nov 22, 2024 Programming Languages / CS Theory thread
Creative Coding (en.wikipedia.org)
HN 1 pts 0 comments by alabhyajindal Mar 4, 2026 Programming (General)Design / UX / Visualization thread
Show HN: Reminders to Stay in Touch with Friends (myfriends.lol)
HN 1 pts 0 comments by alabhyajindal Jan 25, 2026 thread
If it's not a hit, switch (sive.rs)
HN 1 pts 0 comments by alabhyajindal Dec 24, 2025 thread
Dive into Systems (diveintosystems.org)
HN 1 pts 0 comments by alabhyajindal Nov 3, 2025 thread
The Definition of Standard ML [pdf] (smlfamily.github.io)
HN 1 pts 0 comments by alabhyajindal May 19, 2025 thread