✅ 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

Forging ZK proofs to mint arbitrary DUSK tokens 🔐Cryptography

osec.io·6h·Hacker News

GCC 16.1 released: C++26 reflection / contracts / safety hardening, C++20 by default, and more! 🦋Tauri

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 🕹️Agentic AI

semiengineering.com·2d

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·14h·Hacker News

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon 🔐Hardware Security

eprint.iacr.org·6d

Animated Logical Graphs • 1 💭Reasoning Models

stream.syscoi.com·10h

Specification-Driven Development framework for agent-native development 🪄Prompt Engineering

specdd.ai·1d·Hacker News

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

github.com·13h·Hacker News

Benchmarking Testing in Automated Theorem Proving 🎮Deterministic Simulation

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

gist.github.com·6d·Hacker News

ethlambda: how we got a 3x speedup in signature aggregation 🪝eBPF

blog.lambdaclass.com·6h

ML Safety Newsletter #20: AI Wellbeing, Classifier Jailbreaking and Honest Pushback Benchmarking 🛡️AI Security

lesswrong.com·2d

test (3) Linux Manual Page 🎮Deterministic Simulation

systutorials.com·6h

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🔁Finite Automata

lispy-gopher-show.itch.io·6d

ECAPI-talizing on Conversions with the Final ECAPI spec 🪝eBPF

iabtechlab.com·2d

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

github.com·21h·Hacker News

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

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

leanprover.github.io·3d·Hacker News

Log in to enable infinite scrolling