Makefile vs. YAML: Modernizing verification simulation flows
edn.com·15m
🧩Theorem Proving
Flag this post
Learning C As An Intermediate
📝Lisp
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·12h
🧮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
Reflections on Trusting Trust (1984)
🤝Protocol Design
Flag this post
Just Write Tests
🧩Theorem Proving
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🧮Programming Language Theory
Flag this post
Integer overflow checking with C23
blog.gnoack.org·14h
✅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
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧭SMT Solvers
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
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·2h
🔌Network Programming
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
Becoming a Core Developer
stefaniemolin.com·17h
🔗Parser Combinators
Flag this post
Loading...Loading more...