Software History
Tanenbaum-Torvalds Debate
A 1992 Usenet exchange in comp.os.minix between Andrew Tanenbaum, creator of Minix, and Linus Torvalds, creator of Linux, over whether monolithic kernels like Linux were obsolete compared to microkernel designs. The debate became a touchstone for the broader microkernel-versus-monolithic argument and is widely re-read today as a study in how engineering pragmatism beat architectural aesthetics.
seL4 (Microkernel)
seL4 is a member of the L4 microkernel family that in 2009 became the first general-purpose operating-system kernel with a machine-checked proof of functional correctness against its specification. Developed at NICTA in Sydney by a team led by Gerwin Klein, Kevin Elphinstone, and Gernot Heiser, it is open source under GPLv2 and is used in high-assurance avionics, defence, automotive, and IoT systems.
PCRE (Library)
PCRE — Perl Compatible Regular Expressions — is a C regex library written by Philip Hazel starting in 1997, originally for the Exim MTA. It powers regex in PHP, Apache, Nginx, and many other projects. PCRE1 is end-of-life at version 8.45; PCRE2 is the actively maintained successor.
Zero-Width Assertion
A regex construct that tests a condition at the current position without consuming characters. The category includes anchors like ^, $, and \b, plus the four lookaround forms. Zero-width matches require special handling in replace-all loops to avoid infinite iteration.
QNX
QNX is a commercial Unix-like real-time operating system built around a microkernel, originally developed in 1980 by Gordon Bell and Dan Dodge at Quantum Software Systems in Ontario. After passing through Harman International, it was acquired by Research In Motion (now BlackBerry) in 2010 and is today best known as the dominant in-vehicle operating system, shipping in more than 275 million cars.
Wayland (Display Server)
Wayland is a 2008-era display server protocol, started by Kristian Hogsberg at Red Hat, that is replacing X11 on Linux. A single compositor process owns the screen, handles input, and composites client-rendered buffers, eliminating most of X's client-to-client coordination.
Mach (Kernel)
Mach is a microkernel developed at Carnegie Mellon University starting in 1985, intended as a replacement for the BSD Unix kernel. Its message-passing and memory-management primitives were influential, but Mach 3.0 carried heavy IPC overhead that gave first-generation microkernels a lasting performance reputation. Mach lives on as the foundation of the XNU kernel used by macOS, iOS, and their derivatives, and as the substrate for GNU Hurd.
GNU Hurd
GNU Hurd is the GNU Project's microkernel-based operating-system kernel, in development since 1990 as the originally intended free Unix-like kernel for the GNU system. Built on top of Mach (later GNU Mach), it has never reached production readiness; Richard Stallman has publicly attributed the delay to the choice of Mach and to the deep difficulty of writing a microkernel-based Unix, while a free alternative -- Linux -- captured the ecosystem in the meantime.
Regex Lookaround: Lookahead and Lookbehind Explained
Lookaround assertions — positive and negative lookahead and lookbehind — let a regex test what surrounds the current position without consuming characters. Engine support varies: PCRE has all four; JavaScript got lookbehind in ES2018 (Safari 16.4+); Java relaxed its fixed-width rule in Java 9; Go's RE2 omits lookaround entirely to keep linear-time matching.
Why the X Window System Is So Byzantine
X11 feels overcomplicated because it was designed in 1984 at MIT for network-transparent graphics on multi-vendor Unix workstations. Its quirks (font servers, the ICCCM, separate cut buffers and selections, sprawling extensions) solved real 1980s-90s problems that modern single-user laptops no longer have, which is why Wayland is replacing it.
Apache Wave
Apache Wave was the open-source continuation of Google Wave after Google donated the codebase to the Apache Software Foundation in December 2010. Shipped under the Wave in a Box name, it never left the Apache Incubator and was retired to the Attic on January 15, 2018.
Bob Scheifler
Robert W. Scheifler (b. 1954) is an MIT-trained computer scientist who led the X Window System from its 1984 launch with Jim Gettys through the 1996 closure of the MIT X Consortium, then became a principal architect of Sun's Jini distributed services framework.
ICCCM
The Inter-Client Communication Conventions Manual, designed by David Rosenthal at the MIT X Consortium (1987-1989), specifies how X11 clients cooperate on selections, cut buffers, window manager hints, and session management. It is notorious for being ambiguous and is one of the things Wayland was designed to make unnecessary.
Why Google Wave Failed
Google Wave launched at Google I/O in May 2009 as the Rasmussen brothers' attempt to reinvent email by fusing IM, documents, and wikis into shared real-time "waves." Confused positioning, an invite-only beta, a slow and crowded interface, and a buggy extension ecosystem produced anaemic adoption, and Google announced its sunset in August 2010. The codebase moved to Apache Wave (retired 2018), while the underlying operational transformation engine lives on inside Google Docs.
Rasmussen Brothers
Lars and Jens Rasmussen are Danish software engineers who co-founded the Sydney startup Where 2 Technologies, sold it to Google in 2004, and went on to build Google Maps (2005) and Google Wave (2009). They are frequently cited as a model of a tight engineering pair shipping two influential products in a decade.
Why Microkernels Lost the OS Architecture Wars
In the early 1990s, microkernels were widely expected to displace monolithic Unix-style kernels, a view crystallised in the 1992 Tanenbaum-Torvalds debate on comp.os.minix. Three decades on, the desktop and server worlds run Linux, the BSDs, and a hybrid Windows kernel, while pure microkernels survive mostly in embedded and security-critical niches such as QNX in cars, L4 in Apple's Secure Enclave and Qualcomm modems, and seL4 in high-assurance systems. The loss was not theoretical; it was about IPC overhead in early Mach implementations, Linux's pragmatic head start, and the way loadable kernel modules let monolithic systems absorb most of the modularity argument without paying the message-passing tax.