iText 9.4.0 Brings LOTL Functionality for Seamless EU PDF Signature Validation
kb.itextpdf.com·1d·
Discuss: Hacker News
✅Format Verification
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·16h
✅Format Verification
A Guide to Creative Automation with CE.SDK & Javascript
img.ly·9h
🤖Archive Automation
Pydantically perfect: A beginner’s guide to Pydantic for Python type safety
testdouble.com·3d
✅Format Verification
Simplify Validation in Golang— No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.to·12h·
Discuss: DEV
✅Format Verification
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·12h
🔗Monadic Parsing
Modern C, C23 edition, now in print
gustedt.wordpress.com·11h
✅Format Verification
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·12h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
ReScript's Generalized Algebraic Data Types
rescript-lang.org·9h·
Discuss: Hacker News
✅Format Verification
OpenAPI Analyzer MCP – Natural Language API Analysis for Claude
github.com·21h·
Discuss: Hacker News
🔌Archive APIs
Investigating a Mysteriously Malformed Authenticode Signature
elastic.co·1d
🧪Binary Fuzzing
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·2h·
Discuss: Hacker News
⚡Proof Automation
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·14h·
Discuss: Hacker News
🔒WASM Capabilities
Composable Swift like Agent messaging protocol for Stablecoin payments (YC S20)
taips.tap.rsvp·10h·
Discuss: Hacker News
🔑Cryptographic Protocols
The Trouble with Code as Law
hackernoon.com·2d
🔐CBOR
Dependency Chain Analysis of ROS 2 DDS QoS Policies: From Lifecycle Tutorial to Static Verification
arxiv.org·1d
🛡️Error Boundaries
How to Ruin Your Weekend: Building a DIY EDR
infosecwriteups.com·15h
🔍eBPF
sqlalchemy check constraints and operator precedence
blog.kobaltlabs.com·6h·
Discuss: Hacker News
🛡️Preservation Proofs
Why Your Legacy APIs Are a Roadblock for AI Agents
thenewstack.io·1d
🔌Interface Evolution
Automated Reproducibility Validation via Federated Graph Neural Networks & HyperScore Ranking
dev.to·20h·
Discuss: DEV
🎯Performance Proofs