Random samples from a tetrahedron
johndcook.com·2h
💎Information Crystallography
Avalue EPC-ASL Intel N97 fanless industrial mini PC is designed for 24/7 operation
cnx-software.com·1d
🔌Single Board PC
Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
✅Archive Fixity
Three ways formally verified code can go wrong in practice
buttondown.com·21h
📜Proof Carrying Code
Implementing ZADD If Key Exists
rozumem.xyz·1d·
Discuss: Hacker News
⚡Redis Internals
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·19h·
Discuss: Hacker News, r/programming
🛡️Byzantine Fault Tolerance
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·1d·
Discuss: Hacker News
💻Local LLMs
GoMem is a high-performance memory allocator library for Go
github.com·1d
🧠Memory Allocators
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·1h·
Discuss: DEV
📊Quantization
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·23h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
Unraveling LCRE-Mediated Chromatin Loops: A Predictive Model for Gene Expression Fine-Tuning in Desert Genomes
dev.to·16h·
Discuss: DEV
📥Feed Aggregation
Context Engineering for Coding Agents
hackernoon.com·12h
🌳Incremental Parsing
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔐Quantum Cryptography
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Fast Matrix Multiply on an Apple GPU
percisely.xyz·3d·
Discuss: Hacker News, Hacker News
⚡SIMD Vectorization
Suno.com security disclosure: JWT token leakage, IDOR, and DoS vulnerabilities
github.com·1d·
Discuss: Hacker News
🎫Kerberos Exploitation
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming