✅ Formal Verification - avonkannewurff · Scour

Claude Mythos Preview Requires New Ways to Keep Code Secure 🛡️Byzantine Faults

spectrum.ieee.org

·3d

[Pre-RFC] DNS domains as package namespaces 🌱Open Source

internals.rust-lang.org·5d·r/rust

BeCPP Symposium 2026 - Herb Sutter - C++ Growing in a world of competition, safety, and AI 🔧Hardware Dev

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification 🛡️Byzantine Faults

Large Language Models are Not Table Saws 🤖AI

agentultra.com·3d·Hacker News

We scanned 54 MCP servers and found 20 bugs. Here's what breaks. 🛡️Byzantine Faults

blackwell-systems.github.io·3d·r/mcp

yvgude/lean-ctx: The context layer for AI coding agents Reduce token waste in Cursor, Claude Code, Copilot, Windsurf, Codex, Gemini & more by 60–95% (up to 99% on cached reads) Shell Hook + MCP Server · 49 tools · 10 read modes · 90+ patterns · Single Rust binary 💻Operating Systems

Can Large Language Models Be Trusted in Real Clinical Conversations? 🤖AI

futurumgroup.com·6d

[Proposal] Public Fraud Proofs for Just-in-Time Channels 🛡️Byzantine Faults

delvingbitcoin.org·6d

TooMuchCoding Newsletter - Issue #19 🤖AI

toomuchcoding.com·6d

Automaton-based Characterisations of First Order Logic over Infinite Trees 🛡️Byzantine Faults

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

Substrate-Sensitivity 🛡️Byzantine Faults

lesswrong.com·5d

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent 🌐Distributed Systems

Knowledge-graph-based bayesian analysis framework for construction safety analysis: taking collapse accident as an example 🌐Distributed Systems

sciencedirect.com·4d

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing 🌐Distributed Systems

TalentProof/workproof-schema: An open specification for verified professional knowledge graphs 🛡️Byzantine Faults

github.com·1d·Hacker News

Templates in Rewriting Induction 🤖AI

hpjansson/chafa 1.18.2 🌐Distributed Systems

A reliability evaluation model for aviation relay based on extended evidential reasoning rule with dynamic correlation 🌐Distributed Systems

sciencedirect.com·6d

Sign up or log in to see more results

Log in to enable infinite scrolling