Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·22h
🔧programming language design
Flag this post
Another way of doing big O notation
alok.github.io·2d
🧮Algebraic Effects
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·15h
🔧programming language design
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·1d
🔧programming language design
Flag this post
De Bruijn Numerals
🔧programming language design
Flag this post
Lowering in Reverse
buttondown.com·6h
🔧programming language design
Flag this post
The Infrastructure of Modern Ran king Systems, Part 2: The Data Layer - Fueling the Models with Feature and Vector Stores
shaped.ai·1d
📲local-first software
Flag this post
original ↗
raymondcamden.com·1d
🔧programming language design
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
🔧programming language design
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·20h
🕸semantic web
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·20h
🧮Algebraic Effects
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🦀Borrow Checker
Flag this post
Do I want Coders to Code?
🔧programming language design
Flag this post
Loading...Loading more...