Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🧮Programming Language Theory
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
📈Complexity Theory
Flag this post
Learning C As An Intermediate
📝Lisp
Flag this post
Reflections on Trusting Trust (1984)
🤝Protocol Design
Flag this post
Integer overflow checking with C23
blog.gnoack.org·1h
✅Formal Verification
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...
⚙Functional Programming
Flag this post
A unified threshold-constrained optimization framework for consistent and interpretable cross-machine condition monitoring
sciencedirect.com·1d
🎲Probabilistic Programming
Flag this post
I Used Claude Code to Debug a Nightmare
🧩Theorem Proving
Flag this post
Becoming a Core Developer
stefaniemolin.com·4h
🔗Parser Combinators
Flag this post
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
scattered-thoughts.net·1d
🧮Programming Language Theory
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·21h
🦀Rust
Flag this post
Loading...Loading more...