From Toil to Empowerment: Building Self-Service Ingress with GitOps
usenix.org·1d
🕸️Mesh Networking
Cactus Language • Semantics 3
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Tangled, a Git collaboration platform, built on atproto
blog.tangled.org·19h·
🔄Sync Engine
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·22h
🔄Reproducible Builds
Does Go have types?
youtube.com·1d·
Discuss: r/golang
🔒Linear Types
A new breed of analyzers
daniel.haxx.se·1d·
🐛Fuzzing
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·1d·
Discuss: Hacker News
Effect Handlers
C++ Reflection and Qt MOC
wiki.qt.io·2d·
Discuss: Hacker News
🧩WASM Modules
Static Bundle Object: Modernizing Static Linking
medium.com·4d·
🔗Static Linking
A Story About Bypassing Air Canada's In-Flight Network Restrictions
ramsayleung.github.io·1d·
🌐DNS over QUIC
Building on vibes: Lessons from three years with LLMs
world.hey.com·2d·
Discuss: Hacker News
🌀Brotli Internals
CReact - JSX for the Cloud
github.com·21h·
🧱Immutable Infrastructure
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·10h·
Discuss: DEV
🛡️Error Boundaries
Show HN: Realization Jsmn on a Pure Zig
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·2h·
Discuss: Hacker News
🧮Algebraic Datatypes
rule-router: I built a high-performance rule engine for NATS in Go
reddit.com·1d·
Discuss: r/golang
🌊Streaming Systems
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.io·8h·
🎙️Whisper
Quantum Relative Entropy Decay Composition Yields Shallow, Unstructured k-Designs
arxiv.org·1d
⚛️Quantum Circuits