✅ Formal Verification - hop1.ng.1357 · Scour

TalentProof/workproof-schema: An open specification for verified professional knowledge graphs 🧠Obsidian

github.com·18h·Hacker News

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields 🔁Finite Automata

Codex Symphony Agent Orchestration (28 minute read) 🔧Agent Tooling

Food for Agile Thought #541: GPT-5.5, Product Managers&Trouble, Product on Speed ⚡Developer Experience

age-of-product.com·6d·Hacker News

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework 🕵️AI Agents

specdd.ai·10h·Hacker News

Commission seeks feedback on measures to ensure interoperability with Google's Android under the Digital Markets Act ⚖️AI Governance

digital-strategy.ec.europa.eu·1d·Hacker News

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification 🪝eBPF

Cool future “fashion” for a hot planet 🛡️Anthropic PBC

faculty.engineering.asu.edu·2d·Hacker News

Sum-Check as an Algebraic Tensor Reduction: Part 1 🔐Cryptography

blog.zksecurity.xyz·3d·Hacker News

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. 🌍Distributed Systems

github.com·1d·Hacker News

AI generator for Australian construction safety docs ($100 startup) 👨‍💻AI Coding

quickswms.co·6d·Hacker News

Automaton-based Characterisations of First Order Logic over Infinite Trees 🔁Finite Automata

New Autonomous Vehicle Regulations Strengthen Oversight and Enforcement, Authorize Trucks and Transit 🛡️Anthropic PBC

email.dmvonline.ca.gov·1d·Hacker News

AI Companies Can’t Regulate Themselves. They Should Regulate Each Other. ⚖️AI Governance

lawfaremedia.org·1d·Hacker News

Kubernetes v1.36: Mutable Pod Resources for Suspended Jobs (beta) 📦Container Runtimes

kubernetes.io·3d

Templates in Rewriting Induction ✨LLMs

Curiosity Rover Finds New Organic Molecules on Mars 🪄Prompt Engineering

universetoday.com·1d·Hacker News

Strings Reviewer: review your app's strings faster and with confidence 🎖Text Quality Models

stringsreviewer.app·3d·Hacker News

rocky-data/rocky: The trust system for your data. Rust-based control plane for warehouse pipelines — branches, replay, column-level lineage, compile-time safety, per-model cost attribution. Keep Databricks or Snowflake. Bring Rocky for the DAG. 🧠Obsidian

github.com·2d·Hacker News

Full Definability in a Profunctorial Model 🔁Finite Automata

Log in to enable infinite scrolling