Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
⚙️Language Implementation
Flag this post
Scala vs. F#
⚙️Language Implementation
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
⚙️Language Implementation
Flag this post
Speedrunning an RL Environment
🔬PLT
Flag this post
Celtic Code: Drawing Knots with Python
🔬PLT
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
🌳Tree-sitter
Flag this post
Handbook of Satisfiability (2021)
🔬PLT
Flag this post
Superhuman AI for Multiplayer Poker
🌳Tree-sitter
Flag this post
From Lossy to Lossless Reasoning
🌳Tree-sitter
Flag this post
The APM paradox
⚡Systems Performance
Flag this post
A portable picokernel for async I/O
💿OS
Flag this post
Loading...Loading more...