🔍 CBMC

Bounded Model Checking, C Verification, SAT Solving, Bug Finding

Handbook of Satisfiability (2021)
iospress.com·9h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·3h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·3h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·5h·
Discuss: Hacker News
🧮Z3
Flag this post
Weak-To-Strong Generalization
lesswrong.com·18h
🔤Kleene Algebra
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·5h·
Discuss: Hacker News
🛡️seL4
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·3h·
Discuss: Substack
📐Linear Algebra
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·2d
🧮SMT Solvers
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
Parsing with zippers improves parsing with derivatives
dl.acm.org·11h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.com·12h·
Discuss: r/programming
🔀OCaml Multicore
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·2d
🔤Language Design
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.to·4h·
Discuss: DEV
📚Automata Learning
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
λFunctional Programming
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·15h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
MCP standard
dev.to·4h·
Discuss: DEV
💬Mach Messages
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post