{"name": "Ben M. Andrew", "short_name": "Ben M. Andrew", "start_url": "https://buttondown.com/benmandrew/archive/", "description": "I write about computer science and software engineering \u2014 systems programming, formal methods, and other rabbit holes. Subscribe to get new posts by email, and nothing else.", "icons": [{"src": "https://assets.buttondown.email/images/d6eb1972-a019-4f55-9c16-430ce2075ae6.png", "sizes": "any", "purpose": "any", "type": "image/png"}], "background_color": "#FAFAFB", "theme_color": "#f26522", "display": "standalone", "orientation": "portrait-primary"}