EKON 29 Slides
blog.synopse.info·2d
🌐Protocol Synthesis
Flag this post
Disaggregated Routing with SONiC and VPP: Lab Demo and Performance Insights – Part Two
linux.com·2d
📡Network Protocol Design
Flag this post
Technology Short Take 189
blog.scottlowe.org·3h
🏠Homelab Archaeology
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·21h·
Discuss: Hacker News
✅Format Verification
Flag this post
Project-MONAI/MONAI
github.com·14h
🌀Brotli Internals
Flag this post
Per-request isolation in TinyKVM explained
fwsgonzo.medium.com·9h·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
You Don't Need Types in Ruby
zhisme.com·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Flag this post
I Built an AI Documentation Generator
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Flag this post
👨‍🍳 Part 4: Coroutines Waiters Who Listen
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·13h·
Discuss: Hacker News
🔐CBOR
Flag this post
What Is an AI PaaS? A Guide to the Future of AI Development
thenewstack.io·20h
🏠Homelab Orchestration
Flag this post
Terraform Module MCP Server
dev.to·14h·
Discuss: DEV
📦METS Containers
Flag this post
Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoning
arxiv.org·12h
⚔️Lean Tactics
Flag this post
Show HN: Rewriting Scratch 3.0 from scratch in Lua (browser-free native runtime)
github.com·2d·
Discuss: Hacker News
🎯Emulator Accuracy
Flag this post
Building a Reliability Platform for Distributed Systems
hackernoon.com·3d
👁️Observatory Systems
Flag this post
Reverie: An ergonomic and safe syscall interception framework for Linux
github.com·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·2d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
Large 7-Segment Displays
hackster.io·2d
⚙️DIY Electronics
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·2d
🧮SMT Solvers
Flag this post