🏗️ Calculus of Constructions - abnv · Scour

GitHub Internal Repos Breached; Binance’s CZ Urges Urgent Key Rotation 🌳Tree Shaking

cryptopotato.com·4d

New review reveals why mosquitoes keep choosing the same people, and it's not blood type ✨Effect Inference

thecooldown.com·4d

😺 Watch LIVE NOW: Building AI Voice Agents w/ LiveKit's Ben Cherry ⚡Live Coding

theneurondaily.com·3d

theory uplift differentially benefits safety & is underleveraged 🛡️Capability Security

lesswrong.com·4d

DDYF: Differential Dolev-Yao Fuzzing of Cryptographic Protocols 🔗Hash Functions

eprint.iacr.org·5d

One stack for every country and product: inside Alan’s Core Stack 📚Stack Languages

·5d

How we used Quint to find over 10 bugs in SQLite while hardening Turso 🛡️Error Handling

turso.tech·5d·Lobsters, Hacker News

The Protocol: Ethereum Foundation's high-profile departures spark fresh debate 📡Binary Protocols

coindesk.com·4d

😺 🎙️ PODCAST: Can AI Solve Math's Biggest Mystery? 🧮Theorem Provers

theneurondaily.com·4d

GitHub Hackers Want $50K for Stolen Repos and Crypto Developers Are Now Scrambling 🔐Security Types

thecurrencyanalytics.com·4d

Google's AI ads 🔍, Elon's SpaceX control 💰, Chrome DevTools for Agents 🤖 🎭Program Synthesis

Can We Tolerate Small Side-Channel Leakages: The Role of Registers in Glitch-Stopping Circuits 🏰Capability Machines

eprint.iacr.org·4d

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

·6d

How a Compiler Turns Your Code Into CPU Instructions 🚀Code Motion

siliconopera.com·6d

😺 Meta used staff as AI training data. Then cut them. 🎭Racket

theneurondaily.com·3d

build(deps): bump idna from 3.11 to 3.15 (#3147) 🔄Incremental Compilation

·3d

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

·4d

Concurrent Bugs Hide in Timing, Not Logic 🔗Concurrency Primitives

siliconopera.com·3d

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

·3d

chore(deps): bump js-cookie from 3.0.5 to 3.0.7 (#22074) 📦Package Managers

·3d

Sign up or log in to see more results

Log in to enable infinite scrolling