Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·2d
✅Format Validation
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·5h·
Discuss: DEV
🗄️Database Internals
Modern C and initializing an array
subethasoftware.com·3h
🗂Data structures
An enough week
blog.mitrichev.ch·1h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Replacing the Type Checker for the Swift Compiler
forums.swift.org·18h·
Discuss: Hacker News
💧Liquid Types
A small rant about compression
codecs.multimedia.cx·1d
📦Deflate
CodeSOD: A JSON Serializer
thedailywtf.com·14h
📦Deflate
LINQ and Learning to Be Declarative
nickstambaugh.dev·6h·
Discuss: Hacker News
🔗Concatenative Programming
GaloisInc/parameterized-utils
github.com·1d
🧮Algebraic Datatypes
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·1d
📺VT100
CVE-2025-59397 - Open Web Analytics SQL Injection
seclists.org·16h
🛡Cybersecurity
Getting a Hypergraph of Functions to a Browser
systeminit.com·4h·
Discuss: Hacker News
📐E-graphs
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·1d
🧪Binary Fuzzing
Defeating Return Type Polymorphism
philipphagenlocher.de·23h·
Discuss: Hacker News
🧬Functional Programming
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·6h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Static Bundle Object: Modernizing Static Linking
medium.com·2d·
Discuss: Hacker News, Hacker News
🔗Static Linking
Vulnerability Management – Requirements, Scoping & Target Setting
blog.nviso.eu·14h
🔐Capability Systems
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·2d
🔗Parser Combinators
SAT problems are kind of cool
blog.karanjanthe.me·1d·
Discuss: Hacker News
🧮SMT Solvers
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·1d
🧮Compute Optimization