Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
arxiv.org·6h
🎯Performance Proofs
Monkeys, Typewriters, and Busy Beavers
lcamtuf.substack.com·15h·
Discuss: Substack
📼Tape Combinators
🛡️ How to Build a Scalable QA Framework with Advanced TypeScript Patterns
dev.to·14h·
Discuss: DEV
🎯Gradual Typing
Inequality Union Finds: Baby Steps to Refinement E-graphs
philipzucker.com·2d
🔄Graph Rewriting
An Investment in Learning
slott56.github.io·1d
💻Programming languages
TypeSanitizer: a detector for strict type aliasing violations
clang.llvm.org·22h·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Optimal Addition Sequences for Integer Multiplication
jonot.me·23h
📐Interval Arithmetic
Reachability in symmetric VASS
arxiv.org·6h
🎯Performance Proofs
Introduction to Parser Combinators
blog.jcoglan.com·1d·
Discuss: Hacker News
🔗Monadic Parsing
Command Controlled Rover
hackster.io·21h
⚙️Cassette Mechanics
Mixture of Experts Architecture in Transformer Models
machinelearningmastery.com·7h
🧮SMT Solvers
My history with Forth & stack machines
yosefk.com·13h
🦀Rust Macros
Making Rails delegated_type’s clearer
kaspth.com·18h·
Discuss: Lobsters, Hacker News, r/programming
🔤Type Theory
Reliability for unreliable LLMs
stackoverflow.blog·20h
💻Local LLMs
Alternative Blanket Implementations for a Single Rust Trait
greyblake.com·2h·
Discuss: Hacker News
🦀Rust Borrowing
Building Replication-Safe LSM Trees in Postgres
paradedb.com·22h·
Discuss: Lobsters
🗄️PostgreSQL WAL
Vibe coding a Perl interface to a C library - Part 1
dev.to·7h·
Discuss: DEV
📝Concrete Syntax
Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations
arxiv.org·6h
🎯Performance Proofs
Make C++ a better place #4: Go as an alternative
dev.to·2h·
Discuss: DEV
🔗Concatenative Programming
NativeJIT: A C++ expression –> x64 JIT
github.com·1d·
Discuss: Hacker News
🏭Compiler Backends