📜 Proof Languages - abnv · Scour

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

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

·2d

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

eprint.iacr.org·3d

chore(deps-dev): bump the vitest group with 2 updates (#22063) 📦Package Managers

·4d

chore(deps-dev): bump the typescript-eslint group with 2 updates (#22… 📦Monorepos

·5d

chore(deps): bump @notionhq/client from 5.21.0 to 5.22.0 (#22056) 🚂Cranelift Backend

·5d

chore(deps-dev): bump oxlint-tsgolint in the oxc group (#22037) 🗑️Stack Scanning GC

·6d

chore(deps): bump devenv from `ced9593` to `3804fa3` (#22065) 🚂Cranelift Backend

·4d

chore(deps): bump nixpkgs from `da5ad66` to `d233902` (#22047) 📦Package Managers

·6d

chore(deps): bump hono from 4.12.18 to 4.12.19 (#22040) 💬Error Messages

·6d

chore(deps): bump uuid from 3.4.0 to 14.0.0 (#22073) 📦Package Managers

·3d

chore(deps-dev): bump the cloudflare group across 1 directory with 2 … 📦Package Managers

·5d

chore(deps-dev): bump @types/node from 25.9.0 to 25.9.1 (#22057) 📦Monorepos

·5d

chore(deps): bump googleapis from 171.4.0 to 172.0.0 (#22068) 🗺️Stack Mapping

·3d

chore(deps): bump tsx from 4.22.1 to 4.22.3 (#22059) 💬Error Messages

·5d

chore(deps): bump @hono/node-server from 2.0.2 to 2.0.3 (#22039) 🚂Cranelift Backend

·6d

chore(deps): bump devenv from `e44d88a` to `58b0452` (#22048) 🚂Cranelift Backend

·6d

chore(deps): bump devenv from `3804fa3` to `0d0be23` (#22070) 🚂Cranelift Backend

·3d

chore(deps): bump devenv from `58b0452` to `ced9593` (#22061) 🚂Cranelift IR

·5d

Log in to enable infinite scrolling