🏗️ Calculus of Constructions - abnv · Scour

Heisenbugs and Why Observation Breaks Your Code 🚂Error Propagation

siliconopera.com·2d

Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks 🏷️Memory Tagging

chore(deps): bump playwright from 1.59.1 to 1.60.0 (#21991) 💬Error Messages

·2d

Logical Share Splitting for Intuitionists 📈Monotonic Logic

lesswrong.com·6d

Cheap code means formal verification is reasonable now 🔍Static Analysis

antfly.io·3d·Hacker News

Vitalik Buterin says AI-assisted "formal verification" could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws ... 📋JSON Parsing

techmeme.com·6d

chore(deps-dev): bump the cloudflare group with 2 updates (#22076) 📦Monorepos

·2d

Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure 🔄Protocol State Machines

·6d

is the new math result neurosymbolic with Lean, harnesses etc or a pure LLM? 🔍ML Language

twitter.macworks.dev·4d

On the Formal Verification of Authenticated Encryption of the MQTT Protocol 🔄Protocol State Machines

eprint.iacr.org·3d

chore(deps): bump dessant/lock-threads from 6.0.0 to 6.0.1 (#22078) 📦Package Managers

·2d

Anthropic eases threat-sharing rules as Cloudflare details frontier AI cyber gains 🛡️Security Type Systems

metacurity.com·5d

Erasing Existentials 🔗Lexical Scoping

wolfgirl.dev·4d·Lobsters, Hacker News, r/rust

chore(deps): bump dataaxiom/ghcr-cleanup-action from 1.1.0 to 1.2.0 (… 🌐Portable Assembly

·2d

Autonomous AI needs safeguards beyond model-level guardrails 🏰Capability Machines

techmonitor.ai·6d

Introducing Dimster, a performance benchmarking tool for Apache Kafka 📊Profilers

jack-vanlightly.com·4d·Lobsters, Hacker News

chore(deps): bump @scalar/hono-api-reference from 0.10.16 to 0.10.18 … 📦Monorepos

·2d

All the ways lead to Rome: a summary of our trip to Eurocrypt, zkSummit, and zkProof 🔗Hash Functions

blog.lambdaclass.com·3d

eBPF Foundation Opens Applications for 2026 Academic Research Grant Program ∫Symbolic Math

ebpf.foundation·3d

Aether: High-performance, formally-verified storage engine written in Rust 🚂Cranelift Backend

codeberg.org·6d·Hacker News

Log in to enable infinite scrolling