A reflection on the impact of language models like Github Copilot on the experience on authoring software and the role of the developer

A Day Without a Copilot: Reflections on Copilot-Driven Development

In this post, we will explore how to build a high-performance database buffer pool in Zig using io_uring's new fixed-buffer mode.

Building a high-performance database buffer pool in Zig using io_uring's new fixed-buffer mode

An overview of how the Panama Foreign Memory API can be useful outside of foreign/native applications

Panama: Not-so-Foreign Memory. Using MemorySegment as a high-performance ByteBuffer replacement.

A tutorial on building a Query Expression Language/AST in Kotlin and implementing SQL generation

Building a Query Expression Language in Kotlin, plus dynamic SQL Generation using jOOQ

A discussion on techniques available to overcome semantic errors in syntax when generating dialect-specific SQL

AI SQL Generation: Overcoming dialect-specific syntax errors

A look at my experience with maths education in the USA and how it has shaped my career.

The USA Public School System Failed Me: A Maths Misadventure

A tutorial on how to use Java's new Record Patterns feature to write powerful, concise pattern matching code for usecases like AST transformations and rewrite-rules in compiler passes.


What good are Record Patterns in Java? An example based on Spark's Catalyst Optimizer and it's Tree Rewriting Rules

A dual-purpose tutorial to 1) Demonstrate how to implement the Simple Query Protocol, where Java is an implementation detail; 2) Show practical examples of most of the new features since JDK 17, including Records, Sealed Types, Pattern Matching for Switch, Virtual Threads, and Panama Foreign-Function & Memory API.


Building a PostgreSQL Wire Protocol Server using Vanilla, Modern Java 21

Design-by-Contract's invariant attribute allows you to enforce important properties of systems and data structures, making it an incredibly useful tool for developers. In this blog post, we'll be exploring the development of a GCC plugin that adds support for [[invariant]] conditions in C++ classes and structs. We'll also be looking at an example of how invariant can be used to improve the integrity of a Stack data structure. This is especially timely as GCC has recently added support for Contracts, allowing you to annotate functions with pre/post conditions. Don't miss out on learning how to use this powerful feature in your own projects!


All Posts

A Day Without a Copilot: Reflections on Copilot-Driven Development

Building a high-performance database buffer pool in Zig using io_uring's new fixed-buffer mode

Panama: Not-so-Foreign Memory. Using MemorySegment as a high-performance ByteBuffer replacement.

Building a Query Expression Language in Kotlin, plus dynamic SQL Generation using jOOQ