u/ketralnis

🔥 Hot ▲ 61 r/programming

Rust's next-generation trait solver

u/ketralnis — 4 days ago

A Couple Million Lines of Haskell: Production Engineering at Mercury

🔥 Hot ▲ 172 r/programming

A Couple Million Lines of Haskell: Production Engineering at Mercury

blog.haskell.org

u/ketralnis — 4 days ago

🔥 Hot ▲ 269 r/programming

Joins are NOT Expensive

database-doctor.com

u/ketralnis — 4 days ago

▲ 37 r/programming+1 crossposts

Category Theory Illustrated - Types

abuseofnotation.github.io

u/ketralnis — 4 days ago

C++26 is done: ISO C++ standards meeting Trip Report

🔥 Hot ▲ 66 r/programming

C++26 is done: ISO C++ standards meeting Trip Report

u/ketralnis — 4 days ago