Formal Verification’s Value Grows
semiengineering.com·2d
🌳Elm
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
🌳Elm
Flag this post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·18h
🧮Functional Programming
Flag this post
<p>**Abstract:** This paper introduces a novel approach to the verification of Adaptive Finite State Machines (AFSMs) commonly employed in real-time digital con...
freederia.com·3h
🌳Elm
Flag this post
From 'Why the F@&k Do I Need This?' to 'Oh, That's Why' - My GAT Journey
dev.to·44m·
Discuss: DEV
🦀Rust
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·2d
🧮Functional Programming
Flag this post
7 Steps to Effectively Validate AI-Generated Code
dev.to·2h·
Discuss: DEV
🌳Elm
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Why we chose OCaml to write Stategraph
stategraph.dev·5h·
Discuss: Hacker News, r/programming
🧮Functional Programming
Flag this post
Announcing User Simulation in ADK Evaluation
developers.googleblog.com·1h
🌳Elm
Flag this post
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
arxiv.org·13h
📐Haskell
Flag this post
Facade Pattern — Catalog of Enterprise Application Architecture Patterns 🏢
dev.to·13h·
Discuss: DEV
🌳Elm
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·4d
🌳Elm
Flag this post
What we learned running the industry’s first AI code review benchmark
devinterrupted.substack.com·5h·
Discuss: r/programming
🌳Elm
Flag this post
Show HN: XML-Lib – An over-engineered XML workflow with guardrails and proofs
github.com·3h·
Discuss: Hacker News
🌳Elm
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
💾ZFS
Flag this post
Token-Optimized Notation Language
tonl.dev·2h·
Discuss: Hacker News
🌳Elm
Flag this post
Code legacy: Analyzing Erlang's C and C++ modules
pvs-studio.com·5h·
Discuss: Hacker News
🌳Elm
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·1d
🧮Functional Programming
Flag this post
Migrating from Open Policy Agent to Amazon Verified Permissions
aws.amazon.com·1d
🌳Elm
Flag this post