Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to·16h·
Discuss: DEV
✅Format Validation
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·6h·
Discuss: Hacker News
📟Terminal Typography
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·19h
🔗Graph Isomorphism
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·23h
🌊Streaming Systems
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·3d
✅Format Validation
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
XProc 3 Steps as XSpec Test Helper Functions
medium.com·6h
🔀XSLT
APRS over LoRa with RNode | unsigned.io
unsigned.io·12h
📻Homebrew Protocols
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
CVE-2025-59397 - Open Web Analytics SQL Injection
seclists.org·1d
🛡Cybersecurity
Markdown2pdf – pure md to pdf transpiler implementation in Rust
github.com·12h·
Discuss: Hacker News
📄PDF Internals
Open Lineage
usenix.org·19h
🔌Interface Evolution
Building your MCP server with Laravel
sevalla.com·1d·
Discuss: Hacker News
🔗Constraint Handling
Vulnerability Management – Requirements, Scoping & Target Setting
blog.nviso.eu·1d
🔐Capability Systems
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·48m·
Discuss: Hacker News
⬌Bidirectional Typing
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
✅Archive Fixity
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs