✅ Formal Verification - the_floundering_lotus · Scour

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof ✅Formal Methods

Apple open-sources quantum-resistant encryption code 🔑Cryptography

cyberscoop.com·2d

Programming languages designed for AI agents to write ⚙️Compilers

agentlanguages.dev·10h

Simplifying Alignment by Expanding Scope ✅Formal Methods

lesswrong.com·2d

Google DeepMind's AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures 🧩Constraint Solving

cryptobriefing.com·6d·Hacker News

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code ⚙️Compilers

csail.mit.edu·2d

On This Day in Math ➗Math

pballew.blogspot.com·12h·Blogger

cheat sheet λType Theory

evilcookie.de·1d

Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars 🧩Constraint Solving

the-decoder.com

·4d·Hacker News

Finding deadlocks in CuTe kernels with SPIN 💻Programming

metaworld.me·2d·Hacker News

A blueprint for formal verification of Apple corecrypto 🔑Cryptography

security.apple.com·6d·Lobsters, Hacker News, r/apple, r/crypto, r/programming

Apple Publishes Source Code for Their Cryptography on GitHub 🔓Open Source

discuss.privacyguides.net

·1d

#170 🔐Cybersecurity

An experiment with an unforgiving, draconic LSP to help counteract slop λType Theory

github.com·4d·r/vibecoding

Musk loses to OpenAI, Google's IO updates, OpenAI solves Erdős 💻Computer Science

lastweekin.ai·2d

[ Writing ] 9.5 GB in 36 Hours - How I Fixed Handy's Memory Leak Without Knowing Rust 🕸️IndieWeb

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report ✅Formal Methods

Google tops OpenAI's math breakthrough λType Theory

therundown.ai·4d

Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof 🧩Constraint Solving

All Lean Books and Where to Find Them λType Theory

lakesare.brick.do·5d·Hacker News

Log in to enable infinite scrolling