Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·5h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·3d
🧮Z3 Solver
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·5h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
➡️Category Theory
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·3h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Weak-To-Strong Generalization
lesswrong.com·18h
🔤Kleene Algebra
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
λFunctional Programming
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...
github.com·8h·
Discuss: r/compsci, r/programming
💾Cachix
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Handbook of Satisfiability (2021)
iospress.com·9h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·5h·
Discuss: Hacker News
🔍CBMC
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·11h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
🔐 ZK Proofs: The Hidden Engine Behind Web3 Privacy
dev.to·14h·
Discuss: DEV
🧮Z3
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·5h·
Discuss: Hacker News
🛡️seL4
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·1d·
Discuss: r/golang
🎯GADT
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·6h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·3h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·4d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post