🔍 CBMC

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

Frozen in Place
economics.bmo.com·3h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
A New Faster Algorithm for Gregorian Date Conversion
benjoffe.com·14h·
Discuss: Hacker News, r/cpp
🔢Algebraic Data Types
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·20h·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·15h
🖥Self-Hosting
Flag this post
Naïve Shuffle Algorithm (2007)
blog.codinghorror.com·1h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·6h·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Positivity-preserving Well-balanced PAMPA Schemes with Global Flux quadrature for One-dimensional Shallow Water Models
arxiv.org·16h
🐫OCaml
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.com·10h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
github.com·8h·
Discuss: Hacker News, r/LocalLLaMA
🌐ActivityPub
Flag this post
Solving a problem with mindware
lesswrong.com·6h
🔲Cellular Automata
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·3h·
Discuss: Hacker News
👁️Observability
Flag this post
Predicting the FIDE Chess World Cup 2025 — Monte Carlo Analysis
dev.to·3h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·7h·
Discuss: DEV
👁️Observability
Flag this post
🌀 Brent's Algorithm Explained – Faster Cycle Detection for Beginners
dev.to·1d·
Discuss: DEV
λFunctional Programming
Flag this post
From product to system network challenges in system of systems lifecycle management
arxiv.org·16h
🧱Immutable Infrastructure
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·3d
🧮SMT Solvers
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
dev.to·7h·
Discuss: DEV
🧱Immutable Infrastructure
Flag this post
Realistic pedestrian-driver interaction modelling using multi-agent RL with human perceptual-motor constraints
arxiv.org·16h
🔲Cellular Automata
Flag this post