Complex IT complexity costs enterprises millions, draining resources and stifling innovation. A modern, API-driven approach can cut costs and drive agility.
Previously: Models of (Dependent) Type Theory. There is a deep connection between mathematics and programming. Computer programs deal with such mathematical objects as numbers, vectors, monoids, fu…
Cap'n Web: A new RPC system for browsers and web servers
Cap'n Web is a new open source, JavaScript-native RPC protocol for use in browsers and web servers. It provides the expressive power of Cap'n Proto, but with no schemas and no boilerplate.
A Tour of eBPF in the Linux Kernel: Observability, Security and Networking | Blog
eBPF lets you run small, verified programs inside the Linux kernel, enabling fast observability, security, and networking without changing application code. This practical tour explains why eBPF matters now, how programs are compiled, verified, JITed, and attached to events, and how maps and ring buffers move data. You'll leave with simple demos and a clear mental model to start experimenting.
As coding agents mature and developer adoption accelerates, organizations can produce code faster than ever. But with speed and agent-written code comes risk and merge conflicts. To unlock shipping fast – and safely – mitigating these issues is essential. Here's how agent-ready feature flags make this possible.
While working on adding process identification to the network monitoring tool RustNet, I discovered interesting differences in how macOS and Linux tackle a quite common challenge: mapping network packets to processes. Especially tricky seem to be those short-lived processes that traditional polling approaches often miss.
3 Trends Shaping How Devs Build AI Agents - Especially VoiceAI
What happens when AI agents stop just chatting and start acting, collaborating, and transforming business - powered by developers behind the scenes? Magic!
The Right Way to Implement Business Schedules | TimeTime
From simple weekly hours to complex patterns with exceptions, holidays, and seasonal changes - explore how to properly model business availability using modern standards like iCalendar.
Ever want to find your device on the map? Think we all do sometimes. The technology you’ll generally use for that is called Global Positioning System (GPS) – listening to a flock of sat…
Business Rules In Database Movement Those who cannot remember the past are condemned to repeat it. Did you know that there was an entire movement in software development, complete with its own …