Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to·21h·
Discuss: DEV
Format Validation
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·12h·
Discuss: Hacker News
📟Terminal Typography
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Three ways formally verified code can go wrong in practice
buttondown.com·11h
📜Proof Carrying Code
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·3d
Format Validation
CReact - JSX for the Cloud
github.com·9h·
🧱Immutable Infrastructure
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·5h
🌊Stream Processing
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
XProc 3 Steps as XSpec Test Helper Functions
medium.com·12h
🔀XSLT
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🎯Gradual Typing
APRS over LoRa with RNode | unsigned.io
unsigned.io·18h
📻Homebrew Protocols
Announcing coreboot 25.09 release
blogs.coreboot.org·5h
🔌Operating system internals
CVE-2025-59397 - Open Web Analytics SQL Injection
seclists.org·2d
🛡Cybersecurity
Vulnerability Management – Requirements, Scoping & Target Setting
blog.nviso.eu·1d
🔐Capability Systems
Building your MCP server with Laravel
sevalla.com·1d·
Discuss: Hacker News
🔗Constraint Handling
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
🌐Protocol Synthesis
Open Lineage
usenix.org·1d
🔌Interface Evolution
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
🧮Algebraic Datatypes
Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
Archive Fixity