SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1d·
Discuss: Hacker News
🔢Homomorphic Encryption
Flag this post
.NET Digest #9
pvs-studio.com·1d·
Discuss: r/programming
🎯WASM Runtime
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·5d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·2d·
Discuss: Hacker News
Property Testing
Flag this post
Leaving PyTorch and Meta
soumith.ch·1d·
🔥PyTorch
Flag this post
An Elegy for Jetbrains
news.ycombinator.com·17h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.com·3d
💬Prompt Engineering
Flag this post
Free Weather Data with National Weather Service API
clojurecivitas.github.io·1d·
Discuss: Hacker News
🔌APIs
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·5d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Gemini CLI Custom Slash Commands
dev.to·12h·
Discuss: DEV
💻CLI Tools
Flag this post
How To Build APIs That Scale Without Burning Out
dev.to·3d·
Discuss: DEV
FastAPI
Flag this post
Designing smarter caches with Valkey 9.0's numbered databases
dev.to·15h·
Discuss: DEV
🗄️Database Internals
Flag this post
OpenAI RAG Starter Kit with File Search and Chat UI
github.com·1d·
Discuss: Hacker News
🗂️Obsidian
Flag this post
Pair Programming with AI: Building Efficient Workflows from Idea to Cloud
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Flag this post
Cut AI Costs Without Losing Capability: The Rise of Small LLMs
dev.to·2h·
Discuss: DEV
🦙Ollama
Flag this post
Everything You Need to Know to Start Your Way as a Programmer
dev.to·2d·
Discuss: DEV
🌳Data Structures
Flag this post
Production-Grade Python Logging Made Easier with Loguru
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·2d·
Discuss: Hacker News
🦙Ollama
Flag this post
Zero-Knowledge Architecture: Privacy by Design
dev.to·6h·
Discuss: DEV
⚖️Consistent Hashing
Flag this post
Accelerating MySQL Query Optimization via Reinforcement Learning & Hypergraph Analysis
dev.to·1d·
Discuss: DEV
🔍Query Optimization
Flag this post