Stable ferroaxial states offer a new type of light-controlled non-volatile memory
phys.org·12h
⚛️Quantum Tape
XProc 3 Steps as XSpec Test Helper Functions
medium.com·12h
🔀XSLT
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ing·21h
🏺ZIP Archaeology
Is the End of Detection-Based Security Here?
thenewstack.io·13h
🎯Threat Hunting
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·3d
✅Format Validation
Implementing ZADD If Key Exists
rozumem.xyz·23h·
Discuss: Hacker News
⚡Redis Internals
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🎯Gradual Typing
Why blockchain verification could eliminate Indonesia's $22 billion fake degree problem
hackernoon.com·19h
🔗Hash Chains
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
🌊Stream Processing
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to·21h·
Discuss: DEV
✅Format Validation
I analyzed 70 Data Breaches. Three controls would have stopped 65% of them
securityblueprints.io·1d·
Discuss: Hacker News
🔐Capability Systems
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·21h·
Discuss: Hacker News
⚙️Proof Engineering
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
AI Guardrails, Gateways, Governance Nightmares
go.mcptotal.io·21h·
Discuss: Hacker News
🎯Threat Hunting