📐 Formal Methods - subsetpark · Scour

AWS found bugs in 60% of software requirements. Its fix isn’t more AI — it’s a 50-year-old logic engine. 🔣Tacit Programming

thenewstack.io·5d·Hacker News

Ethical Hyper-Velocity (EHV): A Provably Deterministic Governance-Aware JIT Compiler Architecture for Agentic Systems 🔣Tacit Programming

arxiv.org·1d·Hacker News

I built a catalog of portable AI capability packs for coding agents. Is this useful or too abstract? 🔣Tacit Programming

doramagic.ai·15h·r/SideProject

Assumptions weaken properties 🔣Tacit Programming

Computer Things via buttondown.com·12h

The Protocol: Ethereum Foundation's high-profile departures spark fresh debate 🔣Tacit Programming

coindesk.com·11h

Autonomous AI needs safeguards beyond model-level guardrails 🔢Array Languages

techmonitor.ai·2d

RT by @ylecun: Aleph, our fully autonomous AI agent system for formal verification, aced all major theorem proving benchmarks including PutnamBench, VeriSoftBen... 🔢Array Languages

twitter.macworks.dev·6d

😺 🎙️ PODCAST: Can AI Solve Math's Biggest Mystery? 🔣Tacit Programming

theneurondaily.com·8h

FBI seeks US-wide access to license plate cameras, wants “data in near real time” 𝕭Blackletter

bespacific.com·1d

Proofs for programs, programs for proofs (bobkonf2026) 🔣Tacit Programming

cdn.media.ccc.de·1d

HDD firmware hacking 🔣Tacit Programming

blog.adafruit.com·5d

Aether: High-performance, formally-verified storage engine written in Rust 🔢Array Languages

codeberg.org·2d·Hacker News

Mathlib Initiative: Roadmap 🔢Array Languages

mathlib-initiative.org·5d·Hacker News

Thunder Bay Crime Analysis: Property Crime, Violence, Economic Impact and Public Safety 📝Shorthand

netnewsledger.com·2d

EPIC: Abstraction and Polymorphism of In-Network Collectives on Ethernet 🔢Array Languages

Reading Proof Objects and Completed Rewrites from eprover into Knuckledragger 🔢Array Languages

philipzucker.com·4d

We are reaching the structural limits of probabilistic code generation 🔢Array Languages

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

Futurelock: A subtle risk in async Rust 🔣Tacit Programming

news.ycombinator.com·4d·Hacker News

All car pass cars in Forza Horizon 6 🎲table games

polygon.com·1d

bitdevs-list/list-2026-may.md at main 🔢Array Languages

Log in to enable infinite scrolling