How we built the most efficient inference engine for Cloudflare’s network
blog.cloudflare.com·11h·
Discuss: Hacker News
🌊Stream Processing
Enabling Kotlin Incremental Compilation on Buck2
engineering.fb.com·1d
🔄Reproducible Builds
Show HN: Auto-Match – How We Built Receipt-to-Transaction Matching (Open Source)
midday.ai·17h·
Discuss: Hacker News
🔤EBCDIC Mining
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·2d
🤖Grammar Induction
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·2d·
Discuss: Hacker News
✅Format Verification
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·1d·
Discuss: Substack
🔩Systems Programming
I Supercharged My Browser GPT with Rust and WebAssembly: The Journey to a Dual-Engine AI
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Builder Pattern in CDK
medium.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Bootstrapping a Coding Agent
runnercode.com·1d·
Discuss: Hacker News
📏Code Metrics
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.to·1d·
Discuss: DEV
🧩SQLite Extensions
FedProtoKD: Dual Knowledge Distillation with Adaptive Class-wise Prototype Margin for Heterogeneous Federated Learning
arxiv.org·21h
🔒Privacy Preserving
History Rhymes: Accelerating LLM Reinforcement Learning with RhymeRL
arxiv.org·21h
💻Local LLMs
Shelling Out Is Selling Out
petersobot.com·1d·
Discuss: Hacker News
🎞️MKV Forensics
System eval with Obsidian and Claude Code
interjectedfuture.com·10h·
Discuss: Hacker News
⚡Proof Automation
Understanding Tool-Integrated Reasoning
arxiv.org·21h
🔗Constraint Handling
Regarding formatting issues with AI-generated copy
dev.to·19h·
Discuss: DEV
✅Format Verification
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·1d
🔧Hardware Verification
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory