SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
🔢Homomorphic Encryption
Flag this post
Creating Lisp Systems
🏭Code Generation
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.com·2d
💬Prompt Engineering
Flag this post
Lemonade's C++ port is available in beta today, let me know what you think
🏗️Build Systems
Flag this post
Navigating the Storm: Driving AI Agents
🤖Automation
Flag this post
Deep Dive in Transparent Proxy Code
📦Protocol Buffers
Flag this post
I Built a Task Manager for the AI Coding Era (and It's Just Markdown Files)
🤖Automation
Flag this post
Level Up Your Coding: A Beginner's Guide to Blockchain Development Frameworks
⛓️Blockchain
Flag this post
An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
arxiv.org·1d
💫Effect Systems
Flag this post
My Hands-On Review of Kimi K2 Thinking: The Open-Source AI That's Changing the Game
⚡Hardware Acceleration
Flag this post
Learning to Land Anywhere: Transferable Generative Models for Aircraft Trajectories
arxiv.org·8h
🧠Machine Learning
Flag this post
Loading...Loading more...