✅ CDDL Validation - matmat · Scour

CodeSOD: Validation Trimmed Away

thedailywtf.com·1d

✅Format Validation

A flexible language model-assisted electronic design automation framework

arxiv.org·1d

⚡Circuit Design

Exploring Crystal macros: Building file-based routing for Kemal

krthr.co·16h·

Discuss: Hacker News

🦀Rust Macros

VCP v1.1: Cryptographic Audit Trails for AI Trading Systems (EU AI Act Ready)

dev.to·3h·

Discuss: DEV

🌳Archive Merkle Trees

Dealing with alternatives

jemarch.net·1d

🔧Binary Parsing

CCIE automation

forums.anandtech.com·1d

🏠Homelab Automation

cognitect/transit-format: A data interchange format.

github.com·23h·

Discuss: Hacker News

📋Format Specification

Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI

news.ycombinator.com·19h·

Discuss: Hacker News

🌳Incremental Parsing

Tracing the Data Trail: A Survey of Data Provenance, Transparency and Traceability in LLMs

arxiv.org·7h

🛡️Proof-Carrying Data

Filtering as domain logic

blog.ploeh.dk·2d·

Discuss: r/programming

🗄️Database Internals

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·1d

📊Static Analysis

Token Issuer Metadata: A Proposal for Config-as-Code SSO

docs.meetchar.ai·1d·

Discuss: Hacker News

CommonsDB Feasibility Study: Verified, Decentralized, Trustworthy

openfuture.eu·2d

🏛️Byzantine Archiving

Mandatory SBOMs: What CRA is — and why it matters

reversinglabs.com·1d

blog.lambdaclass.com·21h

Hosting a Static Site in the Silliest Way Possible (Part 1)

geoff.tuxpup.com·1d

🕸️WebAssembly

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

vandragt.com·1d

✅Format Verification

GitOps on Azure: Understanding cert-manager and ClusterIssuer under the Hood [Part 2]

blog.devops.dev·3h

🔐Certificate Analysis

Spotlight Rules by The Spotlight Rules

spotlight-rules.com·1d·

Discuss: Hacker News

✅Format Validation

Loading more...