📐 TLA+ - hello · Scour

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·1d

✓Formal Verification

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·1h

🧮SMT Solvers

Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors

towardsdatascience.com·17h

**Abstract:** This paper introduces a novel methodology for real-time, adaptive resilience control within systems exhibiting hyper-dynamic misalignment. Util...

freederia.com·1d

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

How I Automate Parts of My Software Development Lifecycle with AI Agents

dev.to·15h·

Discuss: DEV

🎭Program Synthesis

Making a Language

thunderseethe.dev·8h

🔨Compiler Design

datahaven-xyz/datahaven: An EVM compatible Substrate chain, powered by StorageHub and secured by EigenLayer

github.com·4h

🎚️Tiered Storage

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·18h

🦀Rust Macros

Jackpoint: control Claude via Matrix DMs

piszek.com·13h

Show HN: AxonFlow, governing LLM and agent workflows

news.ycombinator.com·1d·

Discuss: Hacker News

Binary Algorithms

exystence.net·1d

⏭️Skip Lists

Enabling autonomous agents with environment virtualization

thenewstack.io·8h

Use of Assertions

blog.regehr.org·15h

On the way to step functions: the two worlds

blog.julik.nl·2d

⏱️Temporal Workflow

How to Integrate Local LLMs With Ollama and Python

realpython.com·16h

Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself

kenkoonwong.com·11h·

Discuss: Hacker News

dolthub.com·6h

🧠Memory Models

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·2d

How CyberArk Protects AI Agents with Instruction Detectors and History-Aware Validation

infoq.com·1d

🛡️AI Security

Loading more...