Lobsters
119 posts · lobste.rs
Why 0xCAFEBABE?
Lobstersartima.comlobste.rs3Ju! Ju! Tsu
Lobsterscodeberg.pagelobste.rs5Self-Hosting Behind CGNAT
Lobstersalvarezrosa.comlobste.rs19Relation algebra is not relational algebra
The post clarifies the long‑standing confusion between *relation algebra* (a mathematical logic framework equivalent to FOL³) and *relational algebra* (Codd’s query language foundation). It outlines their histories, theoretical differences, and recent CS applications such as Alloy and the Prela query language, urging the community to adopt the term “Tarski’s Algebra of Relations” (TAR) to avoid m…
Lobstersremy.wang2 minlobste.rs19Running an Optimal Trace
Lobstersanishathalye.comlobste.rs6Squalk: an old-school forum engine built on Nostr (NIP-29 groups, NIP-7D threads)
Squalk is a SvelteKit‑based forum built on the Nostr protocol, implementing NIP‑29 groups and NIP‑7D threads. It can run in a single‑forum “simple” mode or a multi‑forum “full” mode, with chat sidebars, markdown resources, and optional server‑side rendering for SEO. Configuration is done entirely via `PUBLIC_` environment variables, and deployment scripts support both static hosting and Node SSR,…
Lobstersgithub.com5 minlobste.rs14Textbook review: Is Parallel Programming Hard, And, If So, What Can You Do About It?
A detailed, personal review of Paul McKenney’s free online textbook on parallel programming. The author, coming from a TLA⁺/distributed‑systems background, finds the early chapters excellent for building intuition about CPU caches, memory ordering, and false‑sharing, but notes gaps (e.g., shallow coverage of C++11 atomics and MESI). The review is concrete, cites specific chapters, and offers prac…
Lobstersahelwer.ca8 minlobste.rs32Markdown in /src
The essay argues that Markdown should be treated as source code and checked into a /src/md directory alongside the implementation it describes. Keeping intent in diffable, reviewable Markdown lets teams generate code and tests from it while preserving locality for both humans and AI agents.
Lobstershtmx.org6 minlobste.rs12Canonical announces Zephyr 26.04 LTS
Canonical announced Zephyr 26.04 LTS, an enterprise‑grade RTOS with up to 15 years of security updates and built‑in OTA support via Golioth. It’s delivered through Ubuntu Pro for Devices and includes a containerized development environment to simplify MCU firmware builds.
Lobsterscanonical.com4 minreleaselobste.rs14Do you use :visited on links?
The author switched the site’s link colors to differentiate visited links using a simple CSS rule, arguing it’s useful for reading many RSS‑fed articles. The post is a brief personal opinion with a code snippet and no deeper technical analysis.
Lobsterskevquirk.com1 minlobste.rs22Creating a Blog in Gemini://
A practical guide to setting up a Gemini‑based blog (gemlog), covering platform choices, folder layout, naming conventions, optional features like favicons, security.txt, and interactive primitives using TLS client certificates.
Lobstersbrennan.day17 minlobste.rs28Why do computers look like this anyway?
The post contains only an embedded YouTube video with no accompanying text, code, or analysis, offering no substantive engineering insight.
Lobstersyoutube.com1 mintalklobste.rs17What Sun got wrong
The author reflects on Sun Microsystems, arguing that despite strong technology, Sun failed because it grew bored with the mechanics of running a business—illustrated by a 2005 startup’s experience where Sun’s sales response was slow and mismatched while Dell’s personal rep closed the deal quickly. The story warns engineers and founders that operational discipline is as critical as technical visi…
An actively maintained and updated Motif fork actually exists
A community‑maintained fork of the Motif X11 UI toolkit (https://github.com/thentenaar/motif) has released five versions in its first year, incorporating long‑stale upstream fixes and Gentoo patches. The original Motif project on SourceForge has been inactive for over two years, but this fork aims to keep Motif and related X11 components alive, hoping to eventually support a niche desktop environ…
Lobstersosnews.com2 minlobste.rs42Lambda MicroEgg
lambda-microegg is a Rust e‑graph library that adds scoped, alpha‑aware binders and Miller‑style higher‑order patterns to the Egg framework, enabling capture‑avoiding substitution and higher‑order rewriting with modest performance overhead.
