Doing a bit of stress work on a new HDD
dan.langille.org·5h
📝SQLite WAL
#0181: Why Elixir?
matthewsinclair.medium.com·3d
🌊Apache Kafka
The Middle(ware) Child
thedailywtf.com·18h
🌊Streaming Systems
GEEKOM Mini IT12 2025 Edition Review – Part 3: Ubuntu 24.04 on an Intel Core i7-1280P mini PC
cnx-software.com·10h
🔌Operating system internals
Galois field instructions on 2021 CPUs
corsix.org·13h·
Discuss: Hacker News
🔐RISC-V Cryptography
Phylogenetically informative proteins from an Early Miocene rhinocerotid
nature.com·1d
🦴Database Paleontology
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·7h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Understand CPU Branch Instructions Better
chrisfeilbach.com·4d·
Discuss: Hacker News, r/programming
🦾ARM Assembly
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
KSAT
corrode.dev·1d·
Discuss: Hacker News
🦀Embedded Rust
Machine Learning Fundamentals: cross validation tutorial
dev.to·8h·
Discuss: DEV
🌊Stream Processing
I Changed My Mind: AI Will Replace Us
medium.com·5h·
Discuss: Hacker News
⚡Proof Automation
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·1d
⚡Proof Automation
Havoc – Heap Allocated Value Object Containers
github.com·3d·
Discuss: Hacker News
🔒Type Safety
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·1d
🔨Compilers
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com·1d·
Discuss: Substack
👁️Observatory Systems
Ancient Hero Dossier | Nonanyt
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Announcing egui 0.32.0 - Atoms, popups, and better SVG support
reddit.com·9h·
Discuss: r/rust
🦀Rust Macros
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·2d
💻Programming languages
Vibe Coding Casino: Rise of programming by slot machine
evrim.zone·8h·
Discuss: Lobsters, Hacker News
🚀Indie Hacking