My first fifteen compilers (2019)
🔨Compilers
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
💾Cachix
Flag this post
Weak-To-Strong Generalization
lesswrong.com·12h
🔤Kleene Algebra
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
🔨Compilers
Flag this post
build system tradeoffs
🏗️Dune
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·2d
🔲Cellular Automata
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
💬Mach Messages
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔬Static Analysis
Flag this post
Ajla Tutorial
🔬Static Analysis
Flag this post
Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Writing FreeDOS Programs in C
💻CLI Tools
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
🤖Program Synthesis
Flag this post
MS-DOS Development with GCC
💾Retro Computing
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·9h
❄️NixOS
Flag this post
From Lossy to Lossless Reasoning
🧩Parser Combinators
Flag this post
Roadmap for Improving the Type Checker
🔍Type Inference
Flag this post
Loading...Loading more...