Top all-time · #6692
Jeremy Siek
Personal blog · siek.blogspot.comprogrammingmath
Jeremy Siek's personal blog at siek.blogspot.com covers programming and math. Since 2013, 12 different Hacker News readers have linked it 19 times, most often “Crash Course on Notation in Programming Language Theory”. The last post was in 2024, but the archive is still widely read.
Too few sampled comments (5) to say how often HN recommends it.?
Why HN links it
HN readers link Jeremy Siek's "Crash Course on Notation in Programming Languages" to explain the notation used in programming language papers. Another linked post argues TypeScript is not gradually typed.
Summarised by Claude from a sample of 5 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Musing about programming languages and computer science.
Most-linked posts?
- Crash Course on Notation in Programming Language Theory6 people · 6 mentions · first linked 2013-04-25
- Data Structures and Algorithms, Correctly2 people · 2 mentions · first linked 2024-06-12
- Type Safety in Two Easy Lemmas2 people · 2 mentions · first linked 2020-07-10
- Sequential Search, Correctly2 people · 2 mentions · first linked 2024-06-14
What Hacker News says?
Jeremy Siek also has a good intro to the notation: http://siek.blogspot.com/2012/07/crash-course-on-notation-in...
Comment linking /2012/07/crash-course-on-notation-in-programming.html
on ““What part of Milner-Hindley do you not understand?””Submitted Crash Course on Notation in Programming Language Theory as a story · 133 points
HN discussion- ek · 2014-01-08
Unfortunately this contribution is inhibited from being significant in value by the fact that TypeScript doesn't support full gradual typing [0] and has an intentionally unsound type system [1]. [0] http://siek.blogspot.com/2012/10/is-typescript-gradually-typ... [1] https://typescript.codeplex.com/discussions/428572
Comment linking /2012/10/is-typescript-gradually-typed-part-1.html
on “Stop Writing JavaScript Compilers, Make Macros Instead” Submitted Sequential Search, Correctly as a story · 20 points
HN discussionSee also: http://siek.blogspot.com/2012/07/crash-course-on-notation-in...
Comment linking /2012/07/crash-course-on-notation-in-programming.html
on “Formulog: ML + Datalog + SMT”Submitted Take-aways from using Deduce in the classroom as a story · 2 points
HN discussionJeremy Siek has an excellent blog post explaining this called "Crash Course on Notation in Programming Languages": http://siek.blogspot.com/2012/07/crash-course-on-notation-in...
Comment linking /2012/07/crash-course-on-notation-in-programming.html
on “What is type safety?”Submitted Data Structures and Algorithms, Correctly as a story · 2 points
HN discussionhttp://siek.blogspot.com/2012/07/crash-course-on-notation-in...
Comment linking /2012/07/crash-course-on-notation-in-programming.html
on “Theoretical Computer Science Cheat Sheet [pdf]”Submitted Data Structures and Algorithms, Correctly as a story · 2 points
HN discussionSubmitted Strongly Connected Components and Kosaraju's Algorithm as a story · 2 points
HN discussionSubmitted Type Safety in Two Easy Lemmas as a story · 2 points
HN discussionSubmitted Type Safety in Two Easy Lemmas as a story · 2 points
HN discussionSubmitted Type Safety in Five Easy Lemmas as a story · 2 points
HN discussionSubmitted Type Safety in Three Easy Lemmas as a story · 2 points
HN discussionSubmitted Sequential Search, Correctly as a story · 1 points
HN discussionSubmitted Crash Course on Notation in Programming Language Theory (2012)Y as a story · 1 points
HN discussionSubmitted Type Safety in 10 Easy, 4 Medium, and 1 Hard Lemma using Step-indexed LRs as a story · 1 points
HN discussionSubmitted The Publication Process in Programming Languages as a story · 1 points
HN discussion
