Top all-time · #9466
Ayaz Hafiz
Personal blog · ayazhafiz.com/articlesprogrammingsystems
Ayaz Hafiz's personal blog at ayazhafiz.com covers programming and systems. Since 2022, 8 different Hacker News readers have linked it 11 times, most often “A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures”. No feed was found, so read it on the site itself.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
HN readers link Ayaz Hafiz's personal blog for programming languages and type systems writing. One comment cites his article on lambda calculus in the TypeScript type system as an example.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Personal webpage of Ayaz Hafiz
Most-linked posts?
- A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures2 people · 2 mentions · first linked 2023-02-20
- Emulating the Lambda Calculus in TypeScript's Type System (2021)2 people · 2 mentions · first linked 2022-04-05
- A Simple Language with Flow Typing2 people · 2 mentions · first linked 2026-10-01
What Hacker News says?
https://ayazhafiz.com/cc My personal blog! Let me know if you like any of the stuff on it. And what I'm wrong about :)
Comment linking /cc
on “Design of This Website (2021)”Submitted Why don't more languages offer flow typing? as a story · 192 points
HN discussionTypeScript's type system is Turing complete, so you can not only do that, but also some insane stuff like: - A SQL database implemented purely in TypeScript type system ( https://github.com/codemix/ts-sql ) - Chess implemented entirely in TypeScript (and Rust) type systems ( https://github.com/Dragon-Hatcher/type-system-chess ) - Lambda calculus in TypeScript type system ( https://ayazhafiz.com/articles/21/typescrip…
Comment linking /articles/21/typescript-type-system-lambda-calculus
on “Cash: A small jQuery alternative for modern browsers”Submitted Emulating the Lambda Calculus in TypeScript's Type System (2021) as a story · 8 points
HN discussionhttps://ayazhafiz.com/cc . A lot of programming languages, type systems stuff.
Comment linking /cc
on “Ask HN: Could you share your personal blog here?”Submitted A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures as a story · 4 points
HN discussionSubmitted A Simple Language with Flow Typing as a story · 3 points
HN discussionSubmitted A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures as a story · 2 points
HN discussionSubmitted A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures as a story · 2 points
HN discussionSubmitted A simple language with flow typing as a story · 1 points
HN discussionSubmitted Simple Refinement of Anonymous Sum Types in Pattern Matches as a story · 1 points
HN discussion