Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·2d
🔍eBPF
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·17h·
Discuss: r/programming
📏Linear Types
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·17h·
Discuss: Hacker News
⚡Incremental Computation
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·31m
💬Prompt Engineering
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
📐Type Theory
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·19h·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·29m
📱Edge AI
Flag this post
I Published My First NPM Package: create-pwa-boilerplate 🚀
npmjs.com·3h·
Discuss: DEV
🕸️WebAssembly
Flag this post
Building a highly-available web service without a database
screenshotbot.io·4h·
Discuss: r/programming
🦀Rust
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·1d·
Discuss: DEV
📱Edge AI
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·6h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
How Serde Transforms Rust Data Serialization: Complete Performance and Safety Guide
dev.to·18h·
Discuss: DEV
📦Serde
Flag this post
Understanding Solidity Transparent Upgradeable Proxy Pattern - A Practical Guide
github.com·22h·
Discuss: DEV
🔄CRDT
Flag this post
Why Workflows Fail: The Indeterministic Business Problem
blog.dragonscale.ai·7h·
Discuss: Hacker News
👁️Observability
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.com·14h·
Discuss: DEV
🎨API Design
Flag this post
Autark: Rethinking build systems – Integrate, Don’t Outsource
dev.to·6h·
Discuss: DEV
🏗️Build Systems
Flag this post
Reforging the ReScript Build System
rescript-lang.org·21h·
Discuss: Lobsters, Hacker News
🔨Incremental Compilation
Flag this post