Hacker News
- I'm Betting on Call-by-Push-Value https://thunderseethe.dev/posts/bet-on-cbpv/ 64 comments
- Designing a Language Without a Parser https://thunderseethe.dev/posts/type-inference/ 127 comments
Lobsters
- I'm betting on Call-by-Push-Value https://thunderseethe.dev/posts/bet-on-cbpv/ 11 comments plt
- What's in a Module? https://thunderseethe.dev/posts/whats-in-a-module/ 14 comments ml , plt
- I'm betting on Call-by-Push-Value https://thunderseethe.dev/posts/bet-on-cbpv/ 3 comments programming
- I'm betting on Call-by-Push-Value https://thunderseethe.dev/posts/bet-on-cbpv/ 15 comments haskell
- I'm betting on Call-by-Push-Value https://thunderseethe.dev/posts/bet-on-cbpv/ 11 comments programminglanguages
- In Search of the Perfect Fold https://thunderseethe.dev/posts/in-search-of-the-perfect-fold/ 11 comments rust
- In Search of the Perfect Fold https://thunderseethe.dev/posts/in-search-of-the-perfect-fold/ 15 comments programminglanguages
- What's in a Module? https://thunderseethe.dev/posts/whats-in-a-module/ 9 comments programming
- What's in a Module? https://thunderseethe.dev/posts/whats-in-a-module/ 6 comments haskell
- What's in a Module? https://thunderseethe.dev/posts/whats-in-a-module/ 33 comments programminglanguages
- Type Inference: Bidirectional Constraint Generation https://thunderseethe.dev/posts/bidirectional-constraint-generation 8 comments programminglanguages
- Designing a Language without a Parser https://thunderseethe.dev/posts/type-inference/ 8 comments programminglanguages