Once upon a time, I spent multiple months implementing a graphing calculator using GW-BASIC (manual). Would I be able to do the same more quickly and effectively today using generative AI? ❦❦❦ Let’s give it a go, using Claude AI to start: Implement a simple graphing calculator in GW …| dr knz @ work
Abstract In the Bubbline project we are trying to build readline-like semantics on top of Charm’s Bubbletea. As of Bubbletea v0.23, we discovered this is currently impossible to do in a way that preserves input continuity reliably across readline invocations. This result is general. Any Bubbletea-based program or …| dr knz @ work
I published an article on the Cockroach Labs Blog: Memory Usage in CockroachDB. In this article, I explain how I designed approximate memory usage restrictions in CockroachDB v1.0, despite the lack of allocation pools in the Go’s language runtime system. Also available via the Wayback Machine.| dr knz @ work
I published an article on the Cockroach Labs Blog: Squashing a Schrödinbug With Strong Typing. In this article, I explain how I discovered a bug in CockroachDB whose existence was enabled by Go’s lack of proper algebraic data types. Also available via the Wayback Machine.| dr knz @ work
In any comparative discussion about programming languages, the probability that the conversation will mention Brainfuck or INTERCAL approaches 1 over time. (Based on years of empirical evidence as a scientist, programmer and unix hacker.)| dr knz @ work
My friend Nathan and I published an article on the Cockroach Labs Blog: Revisiting SQL typing in CockroachDB. In this article, we explain the type system we implemented for CockroachDB v1.0’s SQL dialect. It implements a large subset of PostgreSQL’s own dialect and performs inference using a …| dr knz @ work
Twelve years ago, at my first job at a University, my supervisor told my colleague and I: “I am writing a book about finite state automata. I want an interactive tool to show people what I’m doing.” So my colleague and I built Vaucanson. During that project I discovered …| dr knz @ work
CockroachDB happens to be somewhat compatible with PostgreSQL, meaning that software written to use PostgreSQL can sometimes (often!) be used with CockroachDB without changes. Why was CockroachDB designed to be compatible with PostgreSQL? Perhaps surprisingly, the answer to this question is currently (as of early May 2018) not documented publicly …| dr knz @ work
Using Emacs and advanced Emacs customization for editing Go.| dr knz @ work
Note The latest version of this document can be found online at https://dr-knz.net/go-executable-size-visualization-with-d3-2021.html. Alternate formats: Source, PDF. Note After a lively discussion on Hacker News and input from Russ Cox, the conclusions in the analysis below were reworded to avoid the notion of “non-useful bytes”. The …| dr knz @ work