Hacker News
Lobsters
- The Wizardry Frontier https://v5.chriskrycho.com/journal/wizardry-frontier/ 7 comments haskell , plt , rust
Linked pages
- Racket https://racket-lang.org/ 476 comments
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 293 comments
- Handmade Manifesto | Handmade Network https://handmade.network/manifesto 280 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Haskell Language http://haskell.org/ 120 comments
- TypeScript: Documentation - Conditional Types https://www.typescriptlang.org/docs/handbook/2/conditional-types.html 22 comments
- TypeScript: Documentation - Narrowing https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates 15 comments
- Being Rusty: Discovering Rust's design axioms · baby steps https://smallcultfollowing.com/babysteps/blog/2023/12/07/rust-design-axioms/ 1 comment
- Assumed Audiences · Chris Krycho https://v4.chriskrycho.com/2018/assumed-audiences.html 0 comments
Related searches:
Search whole site: site:v5.chriskrycho.com
Search title: The Wizardry Frontier — Sympolymathesy, by Chris Krycho
See how to search.