#dev
2019-10-04
Prev
Next
#indieweb
#dev
#wordpress
#meta
#stream
#microformats
#known
#events
search
-5 GMT
Africa/Accra
Africa/Tunis
America/Boise
America/Chicago
America/Denver
America/Detroit
America/Edmonton
America/Halifax
America/Los_Angeles
America/Los_angeles
America/Mexico_City
America/Monterrey
America/Montreal
America/New_York
America/Phoenix
America/Santiago
America/Sao_Paulo
America/Toronto
America/Vancouver
Asia/Bangkok
Asia/Calcutta
Asia/Kolkata
Asia/Kuala_Lumpur
Asia/Kuching
Asia/Manila
Asia/Seoul
Asia/Tehran
Asia/Tokyo
Atlantic/Faroe
Atlantic/Reykjavik
Australia/Adelaide
Australia/Brisbane
Australia/Melbourne
Australia/Perth
Australia/Queensland
Australia/Sydney
CET
Canada/Eastern
Europe/Amsterdam
Europe/Athens
Europe/Belfast
Europe/Belgrade
Europe/Berlin
Europe/Brussels
Europe/Budapest
Europe/Copenhagen
Europe/Dublin
Europe/Helsinki
Europe/Istanbul
Europe/Lisbon
Europe/London
Europe/Luxembourg
Europe/Madrid
Europe/Moscow
Europe/Paris
Europe/Prague
Europe/Rome
Europe/Stockholm
Europe/Zurich
GMT
Pacific/Auckland
US/Central
US/Eastern
US/Pacific
UTC
#dev
≡
←
→
2019-10-04
UTC
#
19:49
myfreeweb
i might have to formally verify this algorithm with a model checker to be sure i haven't missed anything. would be amazing to say "hey i have part of my personal home page formally verified" haha
myfreeweb i might have to formally verify this algorithm with a model checker to be sure i haven't missed anything. would be amazing to say "hey i have part of my personal home page formally verified" haha