Implementing ZADD If Key Exists
rozumem.xyz·1d·
Discuss: Hacker News
Redis Internals
Refactoring: A way to write better Code
dev.to·8h·
Discuss: DEV
⚙️Operational Semantics
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.com·1d
🔍Z3 Parsing
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
An enough week
blog.mitrichev.ch·1d·
📈Linear programming
Buy BitMart (BMX) at the best price 100% guaranteed
dev.to·13h·
Discuss: DEV
Format Validation
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Build an Unbreakable EVM Read Stack in Python: Async Web3.py, ABIs, Proxies, and Decimals
dev.to·14h·
Discuss: DEV
🔌Interface Evolution
Closer to production quality Python notebooks with `marimo check`
marimo.io·3d·
Discuss: Hacker News
Archive Validation
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
🐚Shell Monads
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·3d
💨Cache Optimization
Show HN: An open-source starter kit for implementing OWASP ASVS 5.0
github.com·14h·
Discuss: Hacker News
🔓Open Source Software
Picking an AI Code Reviewer
markmarkoh.com·14h·
Discuss: Hacker News
📏Code Metrics
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·2d
📊Graph Databases