The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·8h
🗂️Type Indexing
Flag this post
Dingo: A Meta-Language for Go
🤖Embedded Go
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
📋Row Typing
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·6h
📋Backus-Naur Form
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
🔧API Design
Flag this post
The Sacrilegious Coder
📚Self-Documenting Code
Flag this post
Web Developer Travis McCracken on Debugging Distributed Systems Like a Human
🔧API Design
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
🌉Language Bridges
Flag this post
Will Rust get pattern types?
🔧API Design
Flag this post
No Deus ex Machina
📚Forth Compilers
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🌱Minimal Interpreters
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·21h
⚖️Inference Rules
Flag this post
Angular v21 Adds Signal Forms, New MCP Server
thenewstack.io·15h
🎮Language Ergonomics
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
🎭Program Synthesis
Flag this post
10000
jro.sg·17h
📦Executable Size
Flag this post
Loading...Loading more...