It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·3d
🌐NetworkProtocols
Building Modern Software at Scale: Architectural Principles • Randy Shoup & Charles Humble
youtube.com·1d
🔌Interface Evolution
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·7h·
Discuss: Hacker News
⚔️Lean Tactics
Data Science Weekly – Issue 609
datascienceweekly.substack.com·1d·
Discuss: Substack
📈Time Series
Ohm: A JavaScript library and PEG-based language for building parsers
github.com·2h·
Discuss: Hacker News
📝ABNF Parsing
Bulletproof Go: Security Practices That Actually Work 🔐
dev.to·23h·
Discuss: DEV
🧪CBOR Fuzzing
Refactoring in the Age of Unlimited Code Generation
worksonmymachine.substack.com·1h·
Discuss: Substack
🦀Rust Macros
Choosing the rijght .NET container image for your workload
medium.com·3d·
Discuss: Hacker News
📦Container Security
Understanding Matrices | Part 3: Matrix Transpose
towardsdatascience.com·3d
📐Linear Algebra
Keep Pydantic out of your Domain Layer
coderik.nl·3d·
Discuss: Hacker News
🔬Refinement Types
Scaling Netflix's threat detection pipelines without streaming
blog.dataexpert.io·18h·
Discuss: Hacker News
🌊Streaming Systems
Transform Before You Query: A Privacy-Preserving Approach for Vector Retrieval with Embedding Space Alignment
arxiv.org·1d
🧮Vector Embeddings
AI Can Verify Your ID in Seconds — Here’s How It Works
hackernoon.com·1d
🤖Archive Automation
Building Jetflow: a framework for flexible, performant data pipelines at Cloudflare
blog.cloudflare.com·3d·
Discuss: Hacker News
🌊Stream Processing
Machine Learning Fundamentals: gradient descent tutorial
dev.to·22h·
Discuss: DEV
🎵Audio ML
Confessions of a static timing analysis tool
chipinsights.substack.com·2d·
Discuss: Substack
⚡Circuit Verification
A lightweight library for portable low-level GPU computation using WebGPU
github.com·20h·
Discuss: Hacker News
🔩Systems Programming
10 Best LangChain Alternatives You Must Know in 2025
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Your Money, Their Syntax: How LLMs Write Trust into Empty Crypto Promises
dev.to·1d·
Discuss: DEV
📋Document Grammar
Automating Kotlin Data Class Testing with KSP
hackernoon.com·3d
🦀Rust Macros