Picking Servers CPUs for Databases in 2025 is Still Complex
servethehome.com·7h
🗄️Database Internals
Learning Machine Learning in Elixir | zacksiri.dev
zacksiri.dev·2d
💻Local LLMs
Parallel evaluation comes to Determinate Nix
determinate.systems·1d·
Discuss: Hacker News
❄️Nix Flakes
Visual Development Is Fast Until Big-O Complexity Slows It Down. Here's Our Fix
jinen83.github.io·9h·
Discuss: Hacker News
🖥️Terminal Renaissance
Hitting Peak File IO Performance with Zig
steelcake.com·1d·
Discuss: Hacker News
⚡Performance Tools
Fantastic Pretraining Optimizers and Where to Find Them
arxiviq.substack.com·2d·
Discuss: Substack
📊Quantization
The Top 10 AI Tools Every Programmer Needs in 2025
dev.to·1d·
Discuss: DEV
🔄Language Evolution
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·20h
✅Format Verification
Ergo Framework v3.1.0 Released
github.com·1d
🔌Interface Evolution
Awesome AI Agent Frameworks
github.com·16h·
Discuss: Hacker News
⚡Proof Automation
Gthulhu, a system scheduler dedicated to cloud-native workloads written in Golang
reddit.com·14h·
Discuss: r/golang
🌊Apache Kafka
The High Cost of Keeping Warm: Characterizing Overhead in Serverless Autoscaling Policies
arxiv.org·1d
🌊Streaming Systems
Detecting Regional Spurious Correlations in Vision Transformers via Token Discarding
arxiv.org·20h
📊Learned Metrics
Dynamic Resource Orchestration via Predictive Container Scaling in Kubernetes
dev.to·4h·
Discuss: DEV
🌊Streaming Systems
Novel Polymeric Network Architectures for Enhanced Molecular Adhesive Interface Bonding
dev.to·11h·
Discuss: DEV
🌐Computational Topology
FastCaps: A Design Methodology for Accelerating Capsule Network on Field Programmable Gate Arrays
arxiv.org·1d
🖥️Hardware Architecture
Xmake v3.0.2 has been released, Improve C++ modules and new native thread support.
github.com·1d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
❄️Nixpkgs
FlashRecovery: Fast and Low-Cost Recovery from Failures for Large-Scale Training of LLMs
arxiv.org·1d
🛡️Error Boundaries
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·11h·
Discuss: Hacker News
🦀Rust Verification
Microsoft’s Rust Bet: From Blue Screens to Safer Code
thenewstack.io·1d·
Discuss: Hacker News
🔩Systems Programming