Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·5h
💻Programming languages
Gradual negation types and the Python type system
jellezijlstra.github.io·2h·
Discuss: Hacker News
🔬Refinement Types
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
A Wide Reduction Trick (2022)
words.filippo.io·6h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
Almost Always Auto (2013)
herbsutter.com·18m·
Discuss: Hacker News
🔒Type Safety
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Parsing Protobuf Like Never Before
mcyoung.xyz·1d
🔧Binary Parsers
Go interfaces and json.Unmarshal
fbrs.io·14h
🔧Binary Parsers
A Rust shaped hole
ente.io·3d
🦀Rust Macros
Row Polymorphic Programming
stranger.systems·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·9h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·7h·
Discuss: Hacker News
🔗Concatenative Programming
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Zig Interface Revisited
williamw520.github.io·16h·
Discuss: Hacker News
🧩WASM Components
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·19h·
Discuss: Hacker News
🌊Stream Processing
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·13h·
Discuss: Hacker News
🌀Brotli Internals