Garrett Mills – Medium

Garrett Mills

Mitigating the iconv Vulnerability for PHP (CVE-2024–2961)

Check & disable bad encodings in iconv/gconv

Apr 23

Apr 23

Down the Rabbit Hole of Linux Terminal Emulators

May 5, 2023

Down the Rabbit Hole of Linux Terminal Emulators

May 5, 2023

Adventures in AI-assisted proof generation

Or: ChatGPT eats the world, formal-methods style

Mar 20, 2023

Adventures in AI-assisted proof generation

Mar 20, 2023

Generalized Commutative Data-Types

A mechanism for consistent parallel computation

Dec 9, 2022

Generalized Commutative Data-Types

Dec 9, 2022

Published in
Better Programming

Rancher K3s: Kubernetes on Proxmox Containers

Using LXC containers and K3s to spin up a K8s cluster with NGINX Ingress Controller

Apr 19, 2022

Rancher K3s: Kubernetes on Proxmox Containers

Apr 19, 2022

Published in
Better Programming

Runtime Data Validation from TypeScript Interfaces

How I (ab)used the TypeScript compiler to enable transparent runtime validation using Zod and TypeScript interfaces.

Jan 14, 2022

Runtime Data Validation from TypeScript Interfaces

Jan 14, 2022

Published in
Geek Culture

Rethinking Dependency Injection in TypeScript

Comparing named-injection, constructor-injection, and property-injection

Mar 30, 2021

Rethinking Dependency Injection in TypeScript

Mar 30, 2021

An Open Letter to Roger Marshall

Uphold your constitutional and moral duty. Vote to certify.

Jan 2, 2021

An Open Letter to Roger Marshall

Jan 2, 2021

Converting an Ionic/Angular Site into a Progressive Web App

Using the Angular service-worker to make your app available offline.

Dec 1, 2020

Converting an Ionic/Angular Site into a Progressive Web App

Dec 1, 2020

How to Code From Home Like a Boss

Tips, tricks, and downright hacks to make working as a remote developer just a little nicer

Jul 23, 2020

How to Code From Home Like a Boss

Jul 23, 2020

Garrett Mills

Garrett Mills

Hi, there. I’m a software developer and speaker who likes to make things: https://garrettmills.dev/

Following

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams