Bubbles
Latest Posts
The Asian Board Games Festival in the Philippines was held 2 - 3 May 2026 in Manila. This was the first time I exhibited in the Philippines. I have been to Manila before at my previous job, and that was 18 years ago. There were four...
A few weeks ago, I went on a mad quest to find the newspaper used in 1995's Bottom Hole TV show. During the episode, Eddie starts reading this newspaper: Obviously, the "Hammersmith Bugle" is not a real paper and they never ran a...
APEX 26.1 brings native LLM function calling to PL/SQL. Here's how to design tools that the model actually uses correctly: scope, validation, and security.
My rule for AI use is a border of interaction. Before the border, in private, I am happy to use AI as much as it helps: search, planning, code, transcription, translation, summaries, drafts, and any other tool-shaped assistance. The...
Sangiovese with 10% Merlot, aged 12 months in 800 gallon casks; south-facing vineyards on sandstone and clay at 1,300–1,800 feet; 13.5 % alc. Lively andContinue reading
Nintendo of America / YouTube: The Star Fox Direct will begin at 3pm PT on May 6, 2026. The presentation will be roughly 15 minutes. Talk about a surprise. Announced at roughly 5:50pm Eastern, then airing online at 6pm Eastern yesterday,...
Comics Curmudgeon readers! Do you love this blog and yearn for a novel written by its creator? Well, good news: Josh Fruhlinger's The Enthusiast is that novel! It's even about newspaper comic strips, partly. Check it out! Gil Thorp,...
In two recent blogposts I have outlined the history of our field, one on the history of proof assistants and another specifically about earlier work on the formalisation of mathematics by machine. And yet, bizarrely, I overlooked one of...