Lobsters

Why is GitOps so good?

I have done my fair share of tinkering. Poking around in servers and fixing things; iterating through and trying different settings until it finally worked; not to mention clicking around in various cloud portals, only to realise I have no idea how I ended...

Lobsters

Efficient Extraction for Effectful E-graphs

Statewalk DP makes effect-aware e-graph extraction fast without ILP: the problem is NP-complete in general but tractable in statewalk width, and in eggcc, an e-graph compiler for imperative Bril programs, extraction is no longer the bottleneck.

Lobsters

Flatpak - an insecurity nightmare

For over 20 years, Linux has been used everywhere, from servers to embedded devices. One area it has been lacking in, however, is the desktop space. Over the last decade, the Linux desktop has been improving dramatically: Flatpak, Wayland, Portals,...

Topics: Infrastructure

Entities: Infrastructure

Lobsters

What the heck is /pkg?

Recently, while troubleshooting a PATH issue, I noticed an entry for /pkg/env/global/bin. At first, I worried that something had gone horribly wrong. Turns out, this is part of macOS 27.0… though no one is sure what it’s for yet.

Lobsters

What requirements don't you have?

When designing software, the requirements you don’t have are as important as the requirements you do. Identifying what you can compromise on — what can be slow…

More stories

More stories load automatically as you scroll.