⚔️ Lean Tactics - matmat · Scour

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications ⚖️Verification Calculi

proofsandintuitions.net·3d·Lobsters, Hacker News

A shallow dive into formal verification 👑Isabelle

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

Vanguard’s 0.05% International Stock ETF Just Outpaced the S&P 500 for the First Time in Five Years 🖥️Terminal Renaissance

247wallst.com·11h

The War Records of the Grand Matriarch 📰RSS Archaeology

forums.spacebattles.com·15h

Red Magic’s latest gaming phone looks like it escaped from an esports lab 🖥️Modern Terminals

digitaltrends.com·2d

500,000 fewer Texans are on SNAP as participation slips nationally 🌊Streaming Algorithms

texastribune.org

·12h

Technofascism 🧲Magnetic Philosophy

news.ycombinator.com·4d·Hacker News

Using algebra and LLMs to verify a flight-plan bug fix in Lean ⚖️Verification Calculi

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

How I burned 389K Claude Code cache-creation tokens before the real prompt ⚙️Batch Processing

skinny.cloud·13h·Hacker News

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture 🛡️Proof-Carrying Archives

Minerest/leanloop: AI Task Delegation, subsidize the cloud costs. 🤖Network Automation

github.com·3d·r/LocalLLaMA

Eric Garcia interview: ‘Making it at Barcelona was my dream. It almost didn’t happen’ 👑Isabelle

·1d

Fresh off impressive win, Austin faces last-place Sporting KC 💻Local first

deadspin.com·3d

Disney Accused of “Staging” Viral Pedro Pascal ‘Mandalorian’ Fan Surprise With Influencers 🏛Digital humanities

hollywoodreporter.com

·2d

Loot is too good in co-op RPG Fellowship, so its devs are trying to convince players why making it worse is better 🏺Gaming Archaeology

·1d

Cardi B Throws Pitch at Son Wave’s Game, Admits She’s More of a 'Girl Mom' 🎮Gameboy Emulation

End-to-End Formalization of Quantum Error Correction ⚛️Quantum Error Correction

Mapping Uncharted Symmetries: Machine Discovery in Combinatorics 🔗Combinatory Logic

BAPR: Bayesian amnesic piecewise-robust reinforcement learning for non-stationary continuous control ✨Effect Handlers

Assessing covariate-adjusted risk differences in small-sample clinical trials 📊Count-Min Sketch

Log in to enable infinite scrolling