🔍 CBMC

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

Surprises from "vibe validating" an algorithm
reddit.com·4d·
Discuss: r/programming
🎮Verification Games
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·4h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
👁️System Observability
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoning
arxiv.org·1d
📚Automata Learning
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🧮SMT Solvers
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·17h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·9h·
Discuss: DEV
λFunctional Programming
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
➡️Category Theory
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·1d
🧩Parser Combinators
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1h·
Discuss: Hacker News
👁️System Observability
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·47m·
Discuss: Hacker News
📦Opam
Flag this post
Graph RAG vs SQL RAG
towardsdatascience.com·5h
🧠Automated Reasoning
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·1d
🧩Parser Combinators
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🤖Program Synthesis
Flag this post