https://diligentdilettante.com https://diligentdilettante.com/2026-2-6-what-if-hipaa-violations-failed-at-compile-time https://diligentdilettante.com/2026-2-6-what-if-hipaa-violations-failed-at-compile-time Somewhere right now, an engineer is deploying a service that stores patient health records in an unencrypted S3 bucket sitting in a region that violates data residency requirements. They don't know it yet. They'll find out during the audit — or worse, after the breach. https://diligentdilettante.com/2025-12-22-seq-2-seq https://diligentdilettante.com/2025-12-22-seq-2-seq I've decided to take a different approach on this blog post, as I've been fascinated by some concepts lately and want to explore them. In this series, we'll be looking at answering the question: "Are Transformers 'unreasonably effective' and is this related to some universal construction?" Do keep in mind I am an autodidact in this area. I consider myself an "unlicensed mathematician." You should consider the experts' opinions before drawing any strong conclusions, and I hope my work will be of high enough quality to be useful to whoever reads it. https://diligentdilettante.com/2025-11-1-an-introduction-to-formal-logic https://diligentdilettante.com/2025-11-1-an-introduction-to-formal-logic This blog is a personal study of formal logic, philosophy, and mathematics. It aims to formalize various classical and modern philosophical works in a variety of formal logic systems, both weak and strong. I have decided to use Lean for these formalizations. I have no degree in these fields but I hope it will be of high enough quality to be of interest to scholars, both amateur and professional. https://diligentdilettante.com/2021-2-1-first-post https://diligentdilettante.com/2021-2-1-first-post As you may know, the standard procedure for blogs is to write a first post with all the promising content you want to write, followed by small low effort posts, then a long whining post about how you really ought to be blogging more, followed by blog death.