Lobsters
the webb blog
The trend of VC-backed tooling ending in abandonment rears its ugly head again. But hey, people gotta eat, right? The community will pick up the slack and steward the projects, right?
Source feed
Lobsters
1885 items
A computing-focused community centered around link aggregation and discussion.
Lobsters
Programming Language Foundations in Agda – Table of Contents
Comments on all matters—organisation, material to add, material to remove, parts that require better explanation, good exercises, errors, and typos—are welcome. The book repository is on GitHub. Pull requests are encouraged. There is a private repository of...
Topics: Programming
Entities: Programming
Lobsters
Composite objects and C++26 the std::polymorphic type
In a previous article, I discussed the C++ std::indirect type and how it helps implementing the PImpl idiom. However, the std::indirect type was inducted in the standard alongside another type called std::polymorphic. This helps implementing composite...
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…
Lobsters
BBC Master Pi1MHz Domesday
Dominic Plunkett has updated the BBC Micro Pi1MHz software to emulate most of the hardware for a BBC AIV system, including the LV player! Just add a trackba...