✅ Formal Verification - bassam_exe · Scour

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications 📐Mathematical Logic

proofsandintuitions.net·3d·Lobsters, Hacker News

A shallow dive into formal verification 🔢Homomorphic Encryption

vitalik.eth.limo·2d·Hacker News, Hacker News

Grokipedia selectively drawing on more right-leaning news sources, new study 🎪Social Engineering

tcd.ie·18h·Hacker News

Using algebra and LLMs to verify a flight-plan bug fix in Lean 🔍Reverse Engineering

jameshaydon.github.io·2d·Lobsters, Hacker News, r/programming

Ethereum plans to move from BLS signatures to post quantum secure signatures 🔐Cryptography

hashcloak.com·12h·Hacker News

Hitchhiker's Guide to Logical Verification (2023 Edition) 📐Mathematical Logic

lean-forward.github.io·5d·Hacker News

207 - Coding Slow is Smooth, Coding Smooth is Fast ⛓️Blockchain

daily.tinyprojects.dev·19h·Hacker News

Ask HN: Has anyone here ever rebuilt themselves in their late 30s? 🧠Polymath

news.ycombinator.com·2d·Hacker News

An introduction to TLA+ and its use in parties (2023) 📐Mathematical Logic

innoq.com·4d·Hacker News

How I burned 389K Claude Code cache-creation tokens before the real prompt 💻Hacking

skinny.cloud·13h·Hacker News

Ethical Hyper-Velocity (EHV): A Provably Deterministic Governance-Aware JIT Compiler Architecture for Agentic Systems ⛓️Blockchain

arxiv.org·2d·Hacker News

Green steel startup Boston Metal is doubling down on critical metals 🔍Reverse Engineering

technologyreview.com·11h·Hacker News

Roundup of Events for Bootstrappers in May 2026 🔧Hardware Hacking

bootstrappersbreakfast.com·2d·Hacker News

High-Entropy Alloy ⚛️Physics

en.wikipedia.org·6d·Hacker News

The Hidden Currency of AI 🔢Homomorphic Encryption

are-you-burning-tokens.vercel.app·14h·Hacker News

KimlikDAO/EvmScript: An EVM language embedded in TypeScript: write, test and deploy EVM programs from TypeScript 🔢Homomorphic Encryption

github.com·1d·Hacker News

Township Leader Resigns in Tears Over OpenAI Data Center Death Threats 💻Hacking

404media.co·14h·Hacker News

PyCon US 2026 Typing Summit Recap 🔢Homomorphic Encryption

bernat.tech·6d·Lobsters, Hacker News

Together, Edera and Minimus Claim They Can Protect Your Software From AI Hackers 🔒Hardware Security

cloudnativenow.com·2d·Hacker News

AI atlas reveals hidden whole-body-damage caused by obesity 🤖Machine Learning

medicalxpress.com·9h·Hacker News

Log in to enable infinite scrolling