41554 blogs · [ { "id": "01a0876f-d73f-7016-8f7f-2e2c84b57aef", "title": "Agent management tooling", "url": "https://dr-knz.net/agent-management.html", "published_at": "2026-09-07T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e5f08ce45", "title": "LLMs in Software Engineering", "url": "https://dr-knz.net/llms-in-practice.html", "published_at": "2026-04-23T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e5f24eebe", "title": "Community Maps - Where Your People Are", "url": "https://dr-knz.net/community-maps.html", "published_at": "2026-03-22T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e5fc8b5ba", "title": "Human-Agent Computation Systems: A Complexity-Theoretic Sketch", "url": "https://dr-knz.net/human-agent-computation-systems-a-complexity-theoretic-sketch.html", "published_at": "2026-01-23T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e5fd731b1", "title": "Theoretical Limits on AI Code Transformation", "url": "https://dr-knz.net/theoretical-limits-on-ai-code-transformation.html", "published_at": "2026-01-23T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6089587a", "title": "Investigation into Message Layer Security (MLS)", "url": "https://dr-knz.net/mls-investigation.html", "published_at": "2025-11-23T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e616d8719", "title": "What the EU’s efficiency labels can teach us about helping customers choose", "url": "https://dr-knz.net/eu-efficiency-labels.html", "published_at": "2025-10-21T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e620a043f", "title": "Time is a Range, Not a Point", "url": "https://dr-knz.net/introducing-timecond.html", "published_at": "2025-06-22T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6281dc26", "title": "The Share Web", "url": "https://dr-knz.net/share-web-manifesto.html", "published_at": "2024-07-23T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6325e5bc", "title": "Unusual primitives in programming languages", "url": "https://dr-knz.net/unusual-primitives-in-programming-languages.html", "published_at": "2024-01-23T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e63d80fe9", "title": "The machine does not (yet) think outside of the box", "url": "https://dr-knz.net/ai-cannot-use-eval.html", "published_at": "2023-12-24T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e640ac14b", "title": "Contextual suggestions for SQL syntax", "url": "https://dr-knz.net/external-blog-post-crdb-sql-completions.html", "published_at": "2023-05-22T09:30:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e64c84b36", "title": "Bubbles and sparkles: refreshing CockroachDB’s SQL shell", "url": "https://dr-knz.net/external-blog-post-crdb-sql-shell.html", "published_at": "2023-05-22T09:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e652aa5a6", "title": "One-on-one meeting questions", "url": "https://dr-knz.net/one-on-one-meeting-questions.html", "published_at": "2023-01-01T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e65aacf79", "title": "Loss of input in Charm’s Bubbletea", "url": "https://dr-knz.net/bubbletea-control-inversion.html", "published_at": "2022-11-29T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e664daa3f", "title": "People management incentives", "url": "https://dr-knz.net/people-management-incentives.html", "published_at": "2022-10-09T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e66e91ae5", "title": "You’re a Tech Lead. What now?", "url": "https://dr-knz.net/tech-lead-experience.html", "published_at": "2022-06-27T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6728fe7d", "title": "Navigating and optimizing performance reviews", "url": "https://dr-knz.net/navigating-performance-reviews.html", "published_at": "2022-05-01T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e67553299", "title": "Updates to CockroachDB’s security architecture between v20.1 and v22.1", "url": "https://dr-knz.net/cockroachdb-security-updates-22-1.html", "published_at": "2022-02-11T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e676c5503", "title": "Self-direction: navigating agency and responsibility", "url": "https://dr-knz.net/self-direction-navigating-agency-and-responsibility.html", "published_at": "2022-02-07T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e67aeab68", "title": "Tech Career Progression for Beginners", "url": "https://dr-knz.net/tech-career-progression.html", "published_at": "2022-02-07T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e67f6d06e", "title": "Understanding the Beginner’s Mind", "url": "https://dr-knz.net/understanding-the-beginner-mind.html", "published_at": "2022-02-06T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e68bfb861", "title": "Levels of Technical Leadership", "url": "https://dr-knz.net/levels-of-technical-leadership.html", "published_at": "2022-02-05T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6905f1da", "title": "Abstract Machine Models", "url": "https://dr-knz.net/abstract-machine-models.html", "published_at": "2022-02-04T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6907210d", "title": "How to get into computer security (2/2)", "url": "https://dr-knz.net/data-dev-computer-security-part-2.html", "published_at": "2021-11-22T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e69c4f016", "title": "How to get into computer security (1/2)", "url": "https://dr-knz.net/data-dev-computer-security-part-1.html", "published_at": "2021-11-08T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6a6b1388", "title": "My Go executable files are still large", "url": "https://dr-knz.net/go-executable-size-visualization-with-d3-2021.html", "published_at": "2021-04-12T23:30:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6b6411c7", "title": "Log and error redaction in CockroachDB v20.2", "url": "https://dr-knz.net/external-blog-post-crdb-log-redaction.html", "published_at": "2021-01-17T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6c4387d1", "title": "Errors vs. exceptions in Go and C++ in 2020", "url": "https://dr-knz.net/go-errors-vs-exceptions-2020.html", "published_at": "2020-12-22T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6d05dccb", "title": "The Go low-level calling convention on x86-64 (updated)", "url": "https://dr-knz.net/go-calling-convention-x86-64-2020.html", "published_at": "2020-11-22T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6d7c116e", "title": "Beyond fmt.Errorf()—everyday error objects in Go", "url": "https://dr-knz.net/cockroachdb-errors-everyday.html", "published_at": "2020-10-17T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6e0e831a", "title": "The Go error printing catastrophe", "url": "https://dr-knz.net/go-error-printing-catastrophe.html", "published_at": "2020-10-09T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6e7b054e", "title": "The Go standard error APIs", "url": "https://dr-knz.net/cockroachdb-errors-std-api.html", "published_at": "2020-10-04T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6f3052e9", "title": "Go’s formatting APIs", "url": "https://dr-knz.net/go-formatting-apis.html", "published_at": "2020-10-04T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6f4696e6", "title": "Cloud-Native Security has Two R’s, not Three", "url": "https://dr-knz.net/cloud-native-security-containers.html", "published_at": "2020-09-27T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e6ff4d312", "title": "Expressivity vs Tractability", "url": "https://dr-knz.net/expressivity-vs-tractability.html", "published_at": "2020-09-15T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e70d05401", "title": "Nested transactions in CockroachDB 20.1", "url": "https://dr-knz.net/external-blog-post-crdb-nested-txns.html", "published_at": "2020-06-14T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e714eaa4f", "title": "Ubuntu without Snap", "url": "https://dr-knz.net/ubuntu-without-snap.html", "published_at": "2020-05-01T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e71beb2eb", "title": "Local connection overheads in PostgreSQL and CockroachDB", "url": "https://dr-knz.net/local-overheads-in-postgresql-and-cockroachdb.html", "published_at": "2020-04-12T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e72314558", "title": "Authentication configuration in PostgreSQL and CockroachDB", "url": "https://dr-knz.net/authentication-in-postgresql-and-cockroachdb.html", "published_at": "2020-04-11T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e72eaa757", "title": "Data flows and security architecture in CockroachDB", "url": "https://dr-knz.net/data-flows-and-security-architecture-in-cockroachdb.html", "published_at": "2020-02-10T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e735de1b8", "title": "The STRIDE threat model with examples", "url": "https://dr-knz.net/stride-threat-model-with-examples.html", "published_at": "2020-02-08T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e73ab43f7", "title": "A tour of Emacs as my Go editor", "url": "https://dr-knz.net/a-tour-of-emacs-as-go-editor.html", "published_at": "2020-01-25T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e74637e02", "title": "Starting Your Remote Workplace For Fun and Profit", "url": "https://dr-knz.net/your-remote-workplace-for-fun-and-profit.html", "published_at": "2019-10-12T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7488cae4", "title": "Hacking week: hardware/software co-design for a UT-LEON3 extension", "url": "https://dr-knz.net/hacking-week-utleon3-extension.html", "published_at": "2019-08-22T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e757fc32e", "title": "I stopped using Slack and it is wonderful", "url": "https://dr-knz.net/bye-bye-slack.html", "published_at": "2019-07-18T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e75e82f08", "title": "Why are my Go executable files so large?", "url": "https://dr-knz.net/go-executable-size-visualization-with-d3.html", "published_at": "2019-03-22T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e75f726c9", "title": "The acronym “DML” may not mean what you think it means", "url": "https://dr-knz.net/dml-what-s-in-a-name.html", "published_at": "2019-01-09T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e765522ba", "title": "My database has bugs — now what?", "url": "https://dr-knz.net/my-database-has-bugs-now-what.html", "published_at": "2018-11-20T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e765b5178", "title": "Measuring errors vs. exceptions in Go and C++", "url": "https://dr-knz.net/measuring-errors-vs-exceptions-in-go-and-cpp.html", "published_at": "2018-09-22T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7660179e", "title": "Measuring argument passing in Go and C++", "url": "https://dr-knz.net/measuring-argument-passing-in-go-and-cpp.html", "published_at": "2018-08-22T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e770586ee", "title": "Measuring multiple return values in Go and C++", "url": "https://dr-knz.net/measuring-multiple-return-values-in-go-and-cpp.html", "published_at": "2018-08-22T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e775bbe85", "title": "The Go low-level calling convention on x86-64", "url": "https://dr-knz.net/go-calling-convention-x86-64.html", "published_at": "2018-07-22T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e77cdf2ab", "title": "The “PostgreSQL” in CockroachDB — Why?", "url": "https://dr-knz.net/postgresql-cockroachdb-why.html", "published_at": "2018-05-15T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e78bc1b40", "title": "The “Open Source” in CockroachDB", "url": "https://dr-knz.net/open-source-cockroachdb.html", "published_at": "2018-05-07T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e79b0a8be", "title": "The “Wow” effect in CockroachDB", "url": "https://dr-knz.net/wow-effect-cockroachdb.html", "published_at": "2018-05-01T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e79e97ab6", "title": "Local and distributed query processing in CockroachDB", "url": "https://dr-knz.net/external-blog-post-crdb-exec.html", "published_at": "2017-06-07T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7abf3afc", "title": "On the Way to Better SQL Joins in CockroachDB v1.0", "url": "https://dr-knz.net/external-blog-post-crdb-join-v2.html", "published_at": "2017-02-08T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7b9a5a25", "title": "Memory Usage in CockroachDB", "url": "https://dr-knz.net/external-blog-post-crdb-memory.html", "published_at": "2016-11-09T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7c415c79", "title": "Squashing a Schrödinbug With Strong Typing", "url": "https://dr-knz.net/external-blog-post-crdb-typing-bug.html", "published_at": "2016-08-17T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7cda59b1", "title": "Modesty in Simplicity: SQL JOINs in CockroachDB pre-1.0 Beta", "url": "https://dr-knz.net/external-blog-post-crdb-join-v1.html", "published_at": "2016-07-19T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7d332dee", "title": "Critters in a Jar: Running CockroachDB in a FreeBSD Jail", "url": "https://dr-knz.net/external-blog-post-crdb-freebsd.html", "published_at": "2016-07-06T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7d4de057", "title": "The 4th law of programming language comparisons", "url": "https://dr-knz.net/principle-of-language-merit.html", "published_at": "2016-06-13T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7e42b1d4", "title": "Revisiting SQL typing in CockroachDB", "url": "https://dr-knz.net/external-blog-post-crdb-typing.html", "published_at": "2016-06-08T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7f3d52b5", "title": "DYI Jepsen Testing CockroachDB", "url": "https://dr-knz.net/external-blog-post-crdb-jepsen.html", "published_at": "2016-04-13T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e7fbd8735", "title": "CS PhD student in the Netherlands: to be or not to be?", "url": "https://dr-knz.net/so-you-want-to-apply-for-a-cs-phd.html", "published_at": "2015-01-23T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e80a619b7", "title": "The Dark Resistance", "url": "https://dr-knz.net/dark-resistance.html", "published_at": "2014-12-19T23:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e8190b61b", "title": "Open problems in Computer Science", "url": "https://dr-knz.net/open-problems.html", "published_at": "2014-10-06T22:00:00+00:00" }, { "id": "01a0876f-d740-71fc-88db-f22e8266fae7", "title": "On the future of computer science", "url": "https://dr-knz.net/on-the-future.html", "published_at": "2014-09-23T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f2496a6205", "title": "My “ideal” Bachelor of Informatics", "url": "https://dr-knz.net/ideal-bsc.html", "published_at": "2014-09-13T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f249742946", "title": "How good are you at programming?", "url": "https://dr-knz.net/programming-levels.html", "published_at": "2014-07-23T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f249f44e72", "title": "Rust for functional programmers", "url": "https://dr-knz.net/rust-for-functional-programmers.html", "published_at": "2014-07-23T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24a4731b1", "title": "Categories from scratch", "url": "https://dr-knz.net/categories-from-scratch.html", "published_at": "2014-04-23T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24a58fc8b", "title": "Haskell for OCaml programmers", "url": "https://dr-knz.net/haskell-for-ocaml-programmers.html", "published_at": "2014-03-23T23:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24b3379df", "title": "Proefstuderen Informatica", "url": "https://dr-knz.net/proefstuderen.html", "published_at": "2014-01-22T23:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24b434e45", "title": "Crazy research: bio warfare against mega corps", "url": "https://dr-knz.net/organizational-diseases.html", "published_at": "2013-11-09T23:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24bdfd9bc", "title": "Finding the right tool for the job - FAIL", "url": "https://dr-knz.net/finding-the-right-language.html", "published_at": "2013-10-17T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24cc54f23", "title": "OpenRISC / de0 nano resources", "url": "https://dr-knz.net/intro-openrisc.html", "published_at": "2013-09-11T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24daf1bd5", "title": "Resources on writing and teaching", "url": "https://dr-knz.net/links.html", "published_at": "2013-09-03T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24e0cab2e", "title": "Introductie Unix", "url": "https://dr-knz.net/intro-unix.html", "published_at": "2013-09-01T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24e52232c", "title": "Comments on the Mill CPU from OotB Computing", "url": "https://dr-knz.net/mill-cpu.html", "published_at": "2013-07-31T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24f4bab8f", "title": "Building computing systems for research and innovation", "url": "https://dr-knz.net/hacker-friendly-systems.html", "published_at": "2013-06-28T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f24feb740a", "title": "Frustrated elements of symmetry", "url": "https://dr-knz.net/writing-modalities.html", "published_at": "2013-06-05T22:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f25035836a", "title": "How I met the Microgrids", "url": "https://dr-knz.net/how-i-met-the-microgrids.html", "published_at": "2013-02-16T23:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f2512c7907", "title": "The Vaucanson story", "url": "https://dr-knz.net/vaucanson.html", "published_at": "2013-02-14T23:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f251bf9796", "title": "Proposal: high-level thermal modeling", "url": "https://dr-knz.net/hl-thermal-modeling.html", "published_at": "2013-02-13T23:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f252633fb0", "title": "On the Turing-Completeness of C", "url": "https://dr-knz.net/on-the-turing-completeness-of-c-part-2.html", "published_at": "2012-11-19T23:00:00+00:00" }, { "id": "01a0876f-d741-7201-85b6-13f252c665a2", "title": "On the Turing-Completeness of C", "url": "https://dr-knz.net/on-the-turing-completeness-of-c.html", "published_at": "2012-11-17T23:00:00+00:00" } ] posts Claim your blog

Back to dr-knz.net

Blog · corpus.blog/blogs/dr-knz.net/posts

dr-knz.net

dr-knz.net

2026

Agent management tooling original ↗

7 Sept 2026

LLMs in Software Engineering original ↗

23 Apr 2026

Community Maps - Where Your People Are original ↗

22 Mar 2026

Human-Agent Computation Systems: A Complexity-Theoretic Sketch original ↗

23 Jan 2026

Theoretical Limits on AI Code Transformation original ↗

23 Jan 2026

2025

Investigation into Message Layer Security (MLS)original ↗

23 Nov 2025

What the EU’s efficiency labels can teach us about helping customers choose original ↗

21 Oct 2025

Time is a Range, Not a Point original ↗

22 Jun 2025

2024

The Share Web original ↗

23 Jul 2024

Unusual primitives in programming languages original ↗

23 Jan 2024

2023

The machine does not (yet) think outside of the box original ↗

24 Dec 2023

Contextual suggestions for SQL syntax original ↗

22 May 2023

Bubbles and sparkles: refreshing CockroachDB’s SQL shell original ↗

22 May 2023

One-on-one meeting questions original ↗

1 Jan 2023

2022

Loss of input in Charm’s Bubbletea original ↗

29 Nov 2022

People management incentives original ↗

9 Oct 2022

You’re a Tech Lead. What now?original ↗

27 Jun 2022

Navigating and optimizing performance reviews original ↗

1 May 2022

Updates to CockroachDB’s security architecture between v20.1 and v22.1 original ↗

11 Feb 2022

Self-direction: navigating agency and responsibility original ↗

7 Feb 2022

Tech Career Progression for Beginners original ↗

7 Feb 2022

Understanding the Beginner’s Mind original ↗

6 Feb 2022

Levels of Technical Leadership original ↗

5 Feb 2022

Abstract Machine Models original ↗

4 Feb 2022

2021

How to get into computer security (2/2)original ↗

22 Nov 2021

How to get into computer security (1/2)original ↗

8 Nov 2021

My Go executable files are still large original ↗

12 Apr 2021

Log and error redaction in CockroachDB v20.2 original ↗

17 Jan 2021

2020

Errors vs. exceptions in Go and C++ in 2020 original ↗

22 Dec 2020

The Go low-level calling convention on x86-64 (updated)original ↗

22 Nov 2020

Beyond fmt.Errorf()—everyday error objects in Go original ↗

17 Oct 2020

The Go error printing catastrophe original ↗

9 Oct 2020

The Go standard error APIs original ↗

4 Oct 2020

Go’s formatting APIs original ↗

4 Oct 2020

Cloud-Native Security has Two R’s, not Three original ↗

27 Sept 2020

Expressivity vs Tractability original ↗

15 Sept 2020

Nested transactions in CockroachDB 20.1 original ↗

14 Jun 2020

Ubuntu without Snap original ↗

1 May 2020

Local connection overheads in PostgreSQL and CockroachDB original ↗

12 Apr 2020

Authentication configuration in PostgreSQL and CockroachDB original ↗

11 Apr 2020

Data flows and security architecture in CockroachDB original ↗

10 Feb 2020

The STRIDE threat model with examples original ↗

8 Feb 2020

A tour of Emacs as my Go editor original ↗

25 Jan 2020

2019

Starting Your Remote Workplace For Fun and Profit original ↗

12 Oct 2019

Hacking week: hardware/software co-design for a UT-LEON3 extension original ↗

22 Aug 2019

I stopped using Slack and it is wonderful original ↗

18 Jul 2019

Why are my Go executable files so large?original ↗

22 Mar 2019

The acronym “DML” may not mean what you think it means original ↗

9 Jan 2019

2018

My database has bugs — now what?original ↗

20 Nov 2018

Measuring errors vs. exceptions in Go and C++original ↗

22 Sept 2018

Measuring argument passing in Go and C++original ↗

22 Aug 2018

Measuring multiple return values in Go and C++original ↗

22 Aug 2018

The Go low-level calling convention on x86-64 original ↗

22 Jul 2018

The “PostgreSQL” in CockroachDB — Why?original ↗

15 May 2018

The “Open Source” in CockroachDB original ↗

7 May 2018

The “Wow” effect in CockroachDB original ↗

1 May 2018

2017

Local and distributed query processing in CockroachDB original ↗

7 Jun 2017

On the Way to Better SQL Joins in CockroachDB v1.0 original ↗

8 Feb 2017

2016

Memory Usage in CockroachDB original ↗

9 Nov 2016

Squashing a Schrödinbug With Strong Typing original ↗

17 Aug 2016

Modesty in Simplicity: SQL JOINs in CockroachDB pre-1.0 Beta original ↗

19 Jul 2016

Critters in a Jar: Running CockroachDB in a FreeBSD Jail original ↗

6 Jul 2016

The 4th law of programming language comparisons original ↗

13 Jun 2016

Revisiting SQL typing in CockroachDB original ↗

8 Jun 2016

DYI Jepsen Testing CockroachDB original ↗

13 Apr 2016

2015

CS PhD student in the Netherlands: to be or not to be?original ↗

23 Jan 2015

2014

The Dark Resistance original ↗

19 Dec 2014

Open problems in Computer Science original ↗

6 Oct 2014

On the future of computer science original ↗

23 Sept 2014

My “ideal” Bachelor of Informatics original ↗

13 Sept 2014

How good are you at programming?original ↗

23 Jul 2014

Rust for functional programmers original ↗

23 Jul 2014

Categories from scratch original ↗

23 Apr 2014

Haskell for OCaml programmers original ↗

23 Mar 2014

Proefstuderen Informatica original ↗

22 Jan 2014

2013

Crazy research: bio warfare against mega corps original ↗

9 Nov 2013

Finding the right tool for the job - FAIL original ↗

17 Oct 2013

OpenRISC / de0 nano resources original ↗

11 Sept 2013

Resources on writing and teaching original ↗

3 Sept 2013

Introductie Unix original ↗

1 Sept 2013

Comments on the Mill CPU from OotB Computing original ↗

31 Jul 2013

Building computing systems for research and innovation original ↗

28 Jun 2013

Frustrated elements of symmetry original ↗

5 Jun 2013

How I met the Microgrids original ↗

16 Feb 2013

The Vaucanson story original ↗

14 Feb 2013

Proposal: high-level thermal modeling original ↗

13 Feb 2013

2012

On the Turing-Completeness of C original ↗

19 Nov 2012

On the Turing-Completeness of C original ↗

17 Nov 2012