The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
✅Type Checking
Flag this post
10000
jro.sg·18h
📦Executable Size
Flag this post
A practical guide to refactoring complex database queries in Laravel
dev.to·1d·
Discuss: DEV
🎭Staging
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🔗Lexical Scoping
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·9h
🗂️Type Indexing
Flag this post
A Function Inliner for Wasmtime and Cranelift
bytecodealliance.org·4d
📥Inlining
Flag this post
PHP 8.5 Brings Long-Awaited Pipe Operator, Adds New URI Tools
developers.slashdot.org·5h
🐚Shell Languages
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔶Lattice Theory
Flag this post
JavaScript Clean Code Mastery: Part 2 - Functions That Do One Thing Well
dev.to·23h·
Discuss: DEV
🔀Control Structures
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🔧Error Recovery
Flag this post
Why Not Just Train For Interpretability?
lesswrong.com·1d
🌱Minimal Interpreters
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🐪OCaml
Flag this post
Building a High-Performance Live Network Sniffer in Rust (Without Kernel Drivers)
dev.to·11h·
Discuss: DEV
⚙️TOML Parsers
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·22h
⚖️Inference Rules
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🚂Error Monads
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·14h
🌐WebAssembly
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·13h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🔍ML Language
Flag this post