It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·2d
🌐NetworkProtocols
Discretizing and quantizing neural nets
danmackinlay.name·1d
📊Quantization
Serializable Isolation for Snapshot Databases
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🔀CRDT
SQL Optimization Practices Episode 3: Outer Join Optimization: Proven Performance Gains
dev.to·2d·
Discuss: DEV
🚀Query Optimization
LMDB (Lightning Memory-Mapped Database)
en.wikipedia.org·21h·
Discuss: Hacker News
📝Database WAL
Generic Containers in C: Vec
uecker.codeberg.page·2d·
Discuss: Hacker News
🔒Type Safety
Building Modern Software at Scale: Architectural Principles • Randy Shoup & Charles Humble
youtube.com·16h
🔌Interface Evolution
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com·2d·
Discuss: Hacker News
💧Liquid Types
Type Checking with Symbolic Execution
bullno1.com·6d·
Discuss: Hacker News
💧Liquid Types
Data Science Weekly – Issue 609
datascienceweekly.substack.com·1d·
Discuss: Substack
📈Time Series
Bulletproof Go: Security Practices That Actually Work 🔐
dev.to·13h·
Discuss: DEV
🧪CBOR Fuzzing
Python Fundamentals: code coverage
dev.to·17h·
Discuss: DEV
📏Code Metrics
Choosing the rijght .NET container image for your workload
medium.com·2d·
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·2d·
Discuss: Hacker News
🔬Refinement Types
Scaling Netflix's threat detection pipelines without streaming
blog.dataexpert.io·9h·
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·22h
🤖Archive Automation
Show HN: Made a boilerplate for SaaS and Freelancers to deploy in 24h
github.com·19h·
Discuss: Hacker News
🦋Format Metamorphosis
Building Jetflow: a framework for flexible, performant data pipelines at Cloudflare
blog.cloudflare.com·2d·
Discuss: Hacker News
🌊Stream Processing