✅ Formal Verification - bassam_exe · Scour

GoogleCloudPlatform/activation-model-scanner: Verify language model safety before deployment by analyzing activation patterns 🔍Reverse Engineering

github.com·19h·Hacker News

AI Companies Can’t Regulate Themselves. They Should Regulate Each Other. 🎯Game Theory

lawfaremedia.org·1d·Hacker News

The normal work of creating reliability ⚡Systems Programming

surfingcomplexity.blog·3d·Hacker News

CATL says sodium batteries are mainstream-ready, signs massive 60 GWh deal ⚛️Quantum Computing

electrek.co·2d·Hacker News, Hacker News

Anthropic's definition of safety is too narrow 🎪Social Engineering

jonathannen.com·2d·Hacker News

AI generator for Australian construction safety docs ($100 startup) 🔍Reverse Engineering

quickswms.co·6d·Hacker News

FDA turns up heat on Amgen, proposing to rescind approval of Tavneos 🎯Game Theory

fiercepharma.com·2d·Hacker News

Sum-Check as an Algebraic Tensor Reduction: Part 1 🔢Homomorphic Encryption

blog.zksecurity.xyz·3d·Hacker News

Curiosity Rover Finds New Organic Molecules on Mars ⚛️Physics

universetoday.com·1d·Hacker News

Silent Killers - The Therac-25 Radiation Disaster 🔍Reverse Engineering

onlytech.boo·6d·Hacker News

Colombians are divided over the fate of hippos linked to Pablo Escobar 🧠Polymath

apnews.com·1d·Hacker News

Pharmacovigilance 🛡️Network Security

en.wikipedia.org·3d·Hacker News

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. ⛓️Blockchain

github.com·12h·Hacker News

More Americans See Driverless Car Future; Few Show Interest 🤖Machine Learning

news.gallup.com·2d·Hacker News

What's Missing in the 'Agentic' Story 🎪Social Engineering

mnot.net·6d·Hacker News, Hacker News

Built a safety-first options automation tool for covered calls ⛓️Blockchain

news.ycombinator.com·3d·Hacker News

NEO Semiconductor's revolutionary 3D X-DRAM for AI processors has passed proof-of-concept validation — company secures funding to develop next-gen memory HBM alternative 🔒Hardware Security

tomshardware.com

·6d·Hacker News

Strings Reviewer: review your app's strings faster and with confidence 🔍Reverse Engineering

stringsreviewer.app·3d·Hacker News

TalentProof/workproof-schema: An open specification for verified professional knowledge graphs 🛡️Network Security

github.com·21h·Hacker News

Objects of Categories as Complex Numbers (2002) 📊Mathematics

arxiv.org·5d·Hacker News

Log in to enable infinite scrolling