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...