Skip to content

Forem

Garrett Mills

Hi, there. My name is Garrett. I'm a computer scientist and software/systems developer.

Indianapolis, Indiana Joined on Nov 30, 2020 https://garrettmills.dev/

Cover image for Salvaging a Corrupted Table from PostgreSQL

Jan 11

Salvaging a Corrupted Table from PostgreSQL

#postgres #linux #database

5 min read

Want to connect with Garrett Mills?

Create an account to connect with Garrett Mills. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in

Apr 23 '24

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

#linux #php #security

3 min read

Cover image for Down the Rabbit Hole of Linux Terminal Emulators

May 5 '23

Down the Rabbit Hole of Linux Terminal Emulators

#linux #shell

4 min read

Cover image for Adventures in AI-assisted proof generation

Mar 20 '23

Adventures in AI-assisted proof generation

#chatgpt #coq #programming

8 min read

Cover image for Generalized Commutative Data-Types

Dec 9 '22

Generalized Commutative Data-Types

#parallel #programming #distributedsystems

8 min read

Cover image for Rancher K3s: Kubernetes on Proxmox Containers

Apr 19 '22

Rancher K3s: Kubernetes on Proxmox Containers

#docker #kubernetes #proxmox #devops

8 min read

Cover image for Runtime Data Validation from TypeScript Interfaces

Jan 14 '22

Runtime Data Validation from TypeScript Interfaces

#javascript #typescript #webdev #extollo

10 min read

Mar 30 '21

Rethinking Dependency Injection in TypeScript

#javascript #typescript

9 min read

Cover image for Converting an Ionic/Angular Site into a Progressive Web App

Dec 1 '20

Converting an Ionic/Angular Site into a Progressive Web App

#javascript #angular #pwa #tutorial

9 min read

loading...