{"name":"Lazare.ai","short_name":"Lazare.ai","start_url":"/","display":"minimal-ui","background_color":"#FAFAF6","theme_color":"#082B4C","description":"Lazare.ai is a flat brutalist technical blog about typed web systems, AI infrastructure, Idris, and IWF."}