Counting Org mode headlines
mbork.pl·4h
🏗️Constructive Logic
Certificate Transparency - Part 3 - Operations
ipng.ch·21h
🔒Hardware Attestation
Learning Through Doing: From one language to another
blog.scottlogic.com·3d
🦀Rust Borrowing
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·2d
🔗Tailscale
Why Was Apache Kafka Created?
bigdata.2minutestreaming.com·2d·
Discuss: Lobsters, Hacker News
🌊Streaming Systems
Gonk - The First Steps and Routing
dev.to·13h·
Discuss: DEV
⚡gRPC
First release candidate of SQL Server 2025 is now available
microsoft.com·2d·
Discuss: Hacker News
⛏️SQL Archaeology
What it took to make a multi-agent trading simulation durable and observable
union.ai·3d·
Discuss: Hacker News
⚡Proof Automation
Ensuring Idempotency in Distributed Systems – Lessons from Go & GCP
dev.to·4h·
Discuss: DEV
🔄Reproducible Builds
ALAS: Autonomous Learning Agent for Self-Updating Language Models
arxiv.org·5h
💻Local LLMs
Deep Think with Confidence
arxiviq.substack.com·19h·
Discuss: Substack
💻Local LLMs
It's okay to solve a problem twice
til.andrew-quinn.me·2d·
Discuss: Hacker News
⚡Proof Automation
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.org·5h
🧠Machine Learning
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·1d
📺VT100 Emulation
Engineering Manager Technical Deep Dives
yusufaytas.com·3d·
Discuss: Hacker News
💾Persistence Strategies
Automated Regression Test Suite Optimization via Dynamic Prioritization and Adaptive Sampling
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
AI App Dev Log: The Story of Our App Begins
news.ycombinator.com·1d·
Discuss: Hacker News
🔌Interface Evolution
KG-o1: Enhancing Multi-hop Question Answering in Large Language Models via Knowledge Graph Integration
arxiv.org·5h
🔗Constraint Handling
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·2d·
Discuss: Hacker News
🔐Cryptographic Archaeology
LLMs Won't Replace Programming Languages
mech-lang.org·3d·
Discuss: Hacker News
🗣️Domain-Specific Languages