Counterexamples in Type Systems
bramadityaw
24 points
0 comments
June 29, 2026
Related Discussions
Found 5 related stories in 128.1ms across 13,038 title embeddings via pgvector HNSW
- Category Theory Illustrated – Types boris_m · 91 pts · April 03, 2026 · 54% similar
- A case against Boolean logic boris_m · 66 pts · May 22, 2026 · 46% similar
- Lisp in the Rust Type System quasigloam · 33 pts · June 20, 2026 · 45% similar
- The abstractions in SICP need a revisit bcapchickadee · 11 pts · May 23, 2026 · 45% similar
- Show HN: Salt – a systems language with Z3 theorem proving in the compiler bneb-dev · 31 pts · July 01, 2026 · 45% similar