OpenPLC, Arduino OPTA, CONTROLLINO, and Industrial Shields M-Duino bring IEC 61131-3 to low-cost microcontrollers used in real automation and industrial control system (ICS) security research. Existing open-source verifiers for IEC 61131-3, including ESBM
arxiv.org3d ago
Shared by @pmarca ↗
github.com16d agoRecent work has demonstrated that coding agents can formalize entire advanced mathematics textbooks in Lean 4, yet existing efforts concentrate on branches of mathematics already well-represented in mathlib and measure success solely through kernel accept
Shared by @jalonso.eurosky.social ↗arxiv.org1mo ago
Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.
github.com·Hacker News: Front Page·1mo ago·7 min readPost-training for reasoning models typically combines supervised fine-tuning with reinforcement learning from verifiable rewards, most commonly with GRPO. However, this algorithm suffers from sparse rewards, limited exploration, and mode collapse. Buildin
arxiv.org·Business by Flipboard·1mo ago·1 min read
roscidus.com6mo ago
wyounas.github.io8mo ago02 Nov 2025
github.com8mo agoWe prove that $S(5) = 47,176,870$ using the Coq proof assistant. The Busy Beaver value $S(n)$ is the maximum number of steps that an $n$-state 2-symbol Turing machine can perform from the all-zero tape before halting, and $S$ was historically introduced b
arxiv.org10mo ago
