Top all-time · #19209
András Kovács
Personal blog · andraskovacs.github.io/postsprogrammingmath
András Kovács's personal blog at andraskovacs.github.io covers programming and math. Since 2025, 4 different Hacker News readers have linked it 4 times, most often “Staged compilation with two-level type theory [pdf]”. It is still writing: the last post was on 2026-09-29, and you can follow it by feed.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
HN readers link this blog for work on programming language design, especially dependent types and practical language theory. Comments are sparse, with one linked paper and one quotation from a post on compile-time dependent types.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
András Kovács’ homepage
Most-linked posts?
- Staged compilation with two-level type theory [pdf]2 people · 2 mentions · first linked 2025-06-25
What Hacker News says?
https://andraskovacs.github.io/pdfs/2ltt_icfp24.pdf I think that something like this is the endgame practical programming language
Comment linking /pdfs/2ltt_icfp24.pdf
on “Rust in Android: move fast and fix things”Submitted Lightweight Resilient Recursive Parsing as a story · 2 points
HN discussion> Compile-Time Dependent Types > It seems inevitable that compile-time dependent types will come to systems programming. C++ has templates and constexpr. Rust has const generics. Zig has comptime. Even C has _Generic. However, these features tend to be highly restricted, lack a proper type system, or both. Those language features are not examples of dependent types, though... > That is, Syl is dependently typed at c…
Comment linking /pdfs/2ltt.pdf
on “Compile-Time Dependent Types”Submitted Staged compilation with two-level type theory [pdf] as a story · 2 points
HN discussion