Diligent Dilettante
- [ARTICLE]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.
- [ARTICLE]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.
- [ARTICLE]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.
- [ARTICLE]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.
0004 items