📐 Theorem Proving - ghosh.debasish · Scour

A shallow dive into formal verification ✅Formal Verification

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

An Experiment in Formal Verification with Claude ✅Formal Verification

blog.succinct.xyz·11h

Hitchhiker's Guide to Logical Verification (2023 Edition) ✅Formal Verification

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

is the new math result neurosymbolic with Lean, harnesses etc or a pure LLM? 🧠LLMs

twitter.macworks.dev·8h

We are reaching the structural limits of probabilistic code generation ✅Formal Verification

logicalintelligence.com·2d·r/SoftwareEngineering, r/artificial

Mathlib Initiative: Roadmap 🔤PLT

mathlib-initiative.org·5d·Hacker News

A Sci-Fi fantasy anime roguelite deckbuilder is now available in early access 🦎Zig Allocators

turnbasedlovers.com·13h

OProver: A Unified Framework for Agentic Formal Theorem Proving 🔧SMT Solvers

Redwire wins NATO drone contract for next-gen Penguin Mk3 system 📊LLM Evaluation

defence-blog.com·22h

Using algebra and LLMs to verify a flight-plan bug fix in Lean ✅Formal Verification

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

Kernl - Programming Language for LLMs ⚙️Compilers

github.com·3d·r/ClaudeAI

Apple Sports is ready to track every World Cup heartbreak in real time 🏃Online Algorithms

digitaltrends.com·21h

Casio Turns Its Cult-Favorite Tactical Watch into a Retro Charmer with This New Square Case 📐Geometric Algorithms

gearpatrol.com·2d

😺 🎙️ PODCAST: Can AI Solve Math's Biggest Mystery? 🌊Streaming Algorithms

theneurondaily.com·10h

Company of Heroes 3 Gets Dare and Destroy DLC, Bringing Four New Battlegroups 🤖AI Agents

cogconnected.com·6d

A Rugged Apple Watch Band That Actually Protects 🔒Isolation Levels

blessthisstuff.com·2d

Open plan is not the answer: design professionals on the dos and don’ts of small space living 🖥️Systems Programming

theguardian.com·14h

The Anti-Abortion Movement’s Alarming Control Tactics 📜Constitutional AI

newrepublic.com·2d·r/Longreads, r/longform

A Rugged 2-in-1 Smartwatch and an Analog Light Meter Just Hit Kickstarter 🧠Reasoning Models

the-gadgeteer.com·6d

Let It Ride [DxD/Multi] [SI/OC] 🔒Isolation Levels

forums.spacebattles.com·17h

Log in to enable infinite scrolling