✅ Formal Verification - hop1.ng.1357 · Scour

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification ⚙️MLOps

The Final Form of Software Development 🪄Prompt Engineering

blog.zksecurity.xyz·1d·Lobsters, Hacker News

theswiftway/nool-cli: A DAG based VCS, superset of git for AI agentic world to power the speed of thought without compromising on safety and reliability. 🪄Prompt Engineering

github.com·8h·Hacker News

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework 🕵️AI Agents

specdd.ai·9h·Hacker News

Show HN: Distributed-correctness tests using Jepsen tooling pass on ArcadeDB 🎮Deterministic Simulation

arcadedb.com·2d·Hacker News

On restraining AI development for the sake of safety 🛡️AI Safety

joecarlsmith.com·4h·Hacker News

Replacing probabilistic AI with deterministic math and Dafny formal verification 🔁Finite Automata

gist.github.com·5d·Hacker News

Behavioral security for AI agents, OS-level interception 🔧Agent Tooling

quintai.dev·19h·Hacker News

Show HN: We put ZK attribute proofs inside x402 payment headers 🤖Agent Payments

news.ycombinator.com·2d·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean ✏️Code Editors

github.com·7h·Hacker News

Benchmarking Testing in Automated Theorem Proving 🎮Deterministic Simulation

Functional Programming in Lean - Functional Programming in Lean ⚙️Compilers

leanprover.github.io·3d·Hacker News

Emulating PS2 Floating-Point Numbers: IEEE 754 Differences (Part 1) 🔓Side-Channel Attacks

gregorygaines.com·11h·Hacker News

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔁Finite Automata

pocketcasts.com·2d·Hacker News

Wasm is not quite a stack machine 📦WASM

purplesyringa.moe·3d·Lobsters, Hacker News, Hacker News, r/programming

GoogleCloudPlatform/activation-model-scanner: Verify language model safety before deployment by analyzing activation patterns 💉Prompt Injection

github.com·15h·Hacker News

Towards System-Oriented Formal Verification of Local-First Access Control 🌸Bloom Filters

In 76% of modern OpenAPI specs, JSON Schema dominates the specification 🪝eBPF

sourcemeta.com·2d·Hacker News

Large Language Models are Not Table Saws 🤖LLM

agentultra.com·3d·Hacker News

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) 🎮Deterministic Simulation

Log in to enable infinite scrolling