Scriptable mutating admission hook?
reddit.com·4h·
Discuss: r/kubernetes
🎯Gradual Typing
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·3d
✅Format Validation
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Operable Software
ferd.ca·10h·
Discuss: Hacker News
👁️System Observability
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·19h
🧮Theorem Proving
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·1d
🔲Cellular Automata
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧮SMT Solvers
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚙️Proof Engineering
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
Item Patterns and Struct Await
noratrieb.dev·18h·
Discuss: Hacker News
🦀Rust Macros
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·4h
🔄Reproducible Builds
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·15h·
Discuss: Hacker News
✨Effect Handlers
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
🌊Stream Processing
2025-10-10 # LLMs Are Transpilers
alloc.dev·23h·
Discuss: Hacker News
🔄Language Evolution
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings