Types & Times

Musings about programming languages, types, calendars, and time zones by Scott Kilpatrick. Occasional historical research.

[Types & Times @typesandtimes]

Have you ever struggled with time zones in Python? Are you curious how the exact location of an old stone obelisk in London affects the value your program evaluates to? Then this post is for you! https://t.co/UV1U0dS4f1

[Matt Johnson-Pint @mattjohnsonpint]

Get ready for another fun leap day full of software glitches! As done in past years, I'm live-blogging them here. We've got one already! https://t.co/nI6lRt262P

[Types & Times @typesandtimes]

I crunched the numbers / wrote the Java code, today is the first 25-hour leap day of the 21st century, in Eastern Kazakhstan 🇰🇿 🤞 🕰️ 📆 🌐

[Arthur David Olson @dashdashado]

Happy Leap Day to those celebrate; Happy March 0 to those who don't.

[Types & Times @typesandtimes]

I crunched the numbers / wrote the Java code, today is the first 25-hour leap day of the 21st century, in Eastern Kazakhstan 🇰🇿 🤞 🕰️ 📆 🌐

[Types & Times @typesandtimes]

NEW: Kazakhstan and the 25-Hour Leap Day

> Kazakhstan's time zone unification yields an interesting quirk of time. But is it a unique quirk?

https://t.co/F7HcS6eRcU

[Types & Times @typesandtimes]

NEW: Kazakhstan and the 25-Hour Leap Day

> Kazakhstan's time zone unification yields an interesting quirk of time. But is it a unique quirk?

https://t.co/F7HcS6eRcU

[Types & Times @typesandtimes]

Breaking update on the IANA time zone database mailing list

[Paul Ganssle @pganssle]

OK, we've got a tricky UX problem in datetime.isoformat and I could use typical users' intuitive thoughts here. If you are a Python programmer, can you take this short survey? Please don't do any research before filling it out!

https://t.co/PLxCskvpjq

RTs appreciated!

[Types & Times @typesandtimes]

what if we ...
.
.
implemented a new java.time TemporalAccessor for "ZonedTime"
🤭😚

[Types & Times @typesandtimes]

Optimum has decided to put my blog on some security black list. Even worse, if you access it with https it's just a dead http error; at least with http it shows link to bypass Optimum warning. How the hell do ppl get this resolved???? It's just a static site on GitHub Pages!

[Arthur David Olson @dashdashado]

Time zones in the news.

[Types & Times @typesandtimes]

I say okay is there a supervisor I can talk to? In two to four hours I'll get a call. "But I assure you there's nothing he can do about it, and there's nothing his supervisor can do about it either." What the hell!

[Types & Times @typesandtimes]

Optimum has decided to put my blog on some security black list. Even worse, if you access it with https it's just a dead http error; at least with http it shows link to bypass Optimum warning. How the hell do ppl get this resolved???? It's just a static site on GitHub Pages!

[Types & Times @typesandtimes]

Called support and guy tries to tweak something on my modem. I say no the problem is not on my end. A friend elsewhere in city, on Optimum, can't see it either. And if I use google nameservers I can access my blog just fine. He says my friend should call them too!!!

[Types & Times @typesandtimes]

The absolute WORST way to abolish DST however is definitely the European Union approach, whereby each member nation gets to choose whether to permanently be on (what is now) summer time or winter time. The states are kept mostly longitudinally aligned with this US legislation!

[Types & Times @typesandtimes]

wow this is NOT OKAY 🕰❌☀️

[Paul Ganssle @pganssle]

Here's the Sun Graph for New York City: https://t.co/9k5bKm5lZH

Notice how the DST transition keeps sunrise relatively constant? That's actually a decent feature, particularly for people like me (and people with young children) who tend to get up with the sun.

[Types & Times @typesandtimes]

@pganssle same

[Types & Times @typesandtimes]

@singlepayertom I'm also an expert: When the US took possession of "Russian America" (your dear home state of Alaska) in 1867, it switched from Julian calendar, under Russian authority, to the superior modern Gregorian calendar. Here's good ol Charles Sumner on that transition:

[Types & Times @typesandtimes]

RT if you maintain both Java code and Python code and love the java.time library more than life itself - the distinct types defined for distinct concepts, the careful naming conventions, the immutability, the way it walks, and those eyes

[Types & Times @typesandtimes]

@AlannaSchubach the groundhog fatality is part of the risk of being very tall. nobody talks about our particular suffering.