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·16h
📜Proof Carrying Code
Implementing ZADD If Key Exists
rozumem.xyz·1d·
Discuss: Hacker News
⚡Redis Internals
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·14h·
Discuss: r/programming
🛡️Byzantine Fault Tolerance
Enhanced Arc-Fault Current Detection via Dynamic Bayesian Network Inference
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Let's Write a Macro in Rust
hackeryarn.com·18h·
Discuss: Hacker News
🦀Rust Macros
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·2d·
Discuss: DEV
⚡Cache Theory
A Story About Bypassing Air Canada's In-Flight Network Restrictions
ramsayleung.github.io·1d·
Discuss: Hacker News, r/programming
🌐DNS over QUIC
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
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
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·3d·
Discuss: Hacker News
🧬Functional Programming
Operable Software
ferd.ca·20h·
Discuss: Hacker News
👁️System Observability
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·18h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Unraveling LCRE-Mediated Chromatin Loops: A Predictive Model for Gene Expression Fine-Tuning in Desert Genomes
dev.to·11h·
Discuss: DEV
📥Feed Aggregation