Skip to content

Blogs / Personal blogs

thunderseethe

thunderseethe.dev

I write about all things programming languages. My goal is to regurgitate academic papers into a more digestible (but less detailed) format.

Popular posts: 4
Total points: 562
HN comments: 341
Rank: #4,493 personal

Visit thunderseethe.dev → RSS feedOn Hacker News Jul 2023 – Feb 2026

Software Engineering 4 Programming Languages 4

Most points Most discussed Most cited Newest

1

I'm Betting on Call-by-Push-Value

2024174 points64 comments Software Engineering details

Why call-by-push-value is the best evaluation strategy, and why it's going to take over

2

How to choose between Hindley-Milner and bidirectional typing

2026153 points49 comments Software Engineering details

A false dichotomy that hides the real request

3

Traits are a local maximum

2024121 points101 comments Software Engineering details

An expose on Implicits and Local Coherence

4

Designing a Language Without a Parser

2023114 points127 comments Software Engineering details

Designing a language, types first