Logs: freenode/#haskell
| 2021-05-13 17:25:35 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-elsgjtlywkhnglxq) |
| 2021-05-13 17:25:39 | → | rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-05-13 17:27:12 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-13 17:28:01 | → | ozzymcduff joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-13 17:30:07 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-13 17:31:11 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-13 17:31:55 | × | ozzymcduff quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Client Quit) |
| 2021-05-13 17:32:59 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-05-13 17:34:17 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-05-13 17:34:33 | × | xcmw quits (~textual@2603-6011-2200-f103-757c-c76e-ded5-d43b.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-13 17:34:33 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 246 seconds) |
| 2021-05-13 17:34:59 | × | nineonin_ quits (~nineonine@2604:3d08:777e:900:3c49:5975:3fc2:6871) (Ping timeout: 250 seconds) |
| 2021-05-13 17:35:02 | × | CrazyPyt_ quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 2021-05-13 17:35:31 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Ping timeout: 265 seconds) |
| 2021-05-13 17:35:37 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 2021-05-13 17:35:46 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 17:36:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 2021-05-13 17:37:26 | → | defroll joins (~androirc@197.210.54.200) |
| 2021-05-13 17:39:08 | → | shiraeeshi joins (~shiraeesh@109.166.59.30) |
| 2021-05-13 17:39:14 | × | defroll quits (~androirc@197.210.54.200) (Read error: Connection reset by peer) |
| 2021-05-13 17:39:44 | × | fendor quits (~fendor@77.119.130.61.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-05-13 17:41:33 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-05-13 17:42:00 | → | fendor joins (~fendor@77.119.130.61.wireless.dyn.drei.com) |
| 2021-05-13 17:42:27 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-13 17:42:35 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-13 17:44:32 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-13 17:45:48 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Quit: Leaving) |
| 2021-05-13 17:45:54 | × | Rudd0^ quits (~Rudd0@185.189.115.103) (Ping timeout: 268 seconds) |
| 2021-05-13 17:49:51 | → | enya[m] joins (enyaismatr@gateway/shell/matrix.org/x-vbxbmzfxfyfdzpkm) |
| 2021-05-13 17:51:38 | × | kuribas quits (~user@ptr-25vy0i87sxakfqtxjgf.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-05-13 17:51:44 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Ping timeout: 246 seconds) |
| 2021-05-13 17:53:31 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-13 17:54:48 | → | CuPenguin joins (~CuPenguin@dyn-209-2-219-179.dyn.columbia.edu) |
| 2021-05-13 17:56:11 | × | jess quits (jess@freenode/staff/jess) () |
| 2021-05-13 17:57:53 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-13 18:00:30 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-13 18:01:54 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 18:02:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-13 18:02:26 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-05-13 18:06:19 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 2021-05-13 18:06:24 | <xenon-> | if I use getTimeZone to fetch timezone, and use it to convert LocalTime from the past to UTCTime, I won't necessarily get correct results, will I? for example, if daylight saving time is on today, but wasn't at the time of the old LocalTime |
| 2021-05-13 18:07:01 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-13 18:07:58 | <xenon-> | getCurrentTimeZone* |
| 2021-05-13 18:08:55 | → | qbshill joins (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com) |
| 2021-05-13 18:09:52 | → | dme2 joins (~dme2@157.245.137.107) |
| 2021-05-13 18:09:52 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
| 2021-05-13 18:10:39 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-13 18:14:30 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 18:16:07 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-05-13 18:16:14 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-05-13 18:17:17 | × | CuPenguin quits (~CuPenguin@dyn-209-2-219-179.dyn.columbia.edu) (Quit: WeeChat 3.1) |
| 2021-05-13 18:18:01 | <geekosaur> | correct, you'd need the timezone that matched the time |
| 2021-05-13 18:18:19 | <geekosaur> | I'm tempted to point you to "falsehoods programmers believe about time" |
| 2021-05-13 18:19:21 | <xenon-> | is this the solution? https://hackage.haskell.org/package/tz-0.1.3.5 |
| 2021-05-13 18:19:58 | <xenon-> | timeZoneForUTCTime :: TZ -> UTCTime -> TimeZone "Returns the TimeZone for the TZ at the given UTCTime." |
| 2021-05-13 18:19:59 | <xenon-> | seems to be |
| 2021-05-13 18:20:54 | <geekosaur> | I think that will have problems across timezone changes? |
| 2021-05-13 18:20:57 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-05-13 18:21:59 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 2021-05-13 18:22:36 | <xenon-> | why? |
| 2021-05-13 18:22:59 | <xenon-> | you mean for future times, if daylight saving time rules change for a given location? |
| 2021-05-13 18:23:39 | <geekosaur> | your UTCTime if converted for the wrong timezone to begin with will be ~1h (usually) off if it's crossing a time change boundary |
| 2021-05-13 18:24:20 | <geekosaur> | I guess you can blindly hope nobody ever gives you a time around 0200 or whenever the timezone does its time changes |
| 2021-05-13 18:25:22 | <xenon-> | ah I see. 02:00 may not exist |
| 2021-05-13 18:25:29 | <xenon-> | or it may exist twice |
| 2021-05-13 18:27:56 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-13 18:27:58 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-13 18:29:01 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-13 18:32:35 | <xenon-> | is that what you meant, or? |
| 2021-05-13 18:32:49 | <geekosaur> | mostly, yes |
| 2021-05-13 18:32:49 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-13 18:33:20 | <geekosaur> | you can't tell if 02:35 is the first or second one, in particular, during that change |
| 2021-05-13 18:33:27 | <xenon-> | yes |
| 2021-05-13 18:33:37 | <geekosaur> | it's all fairly tricky and possibly impossible to get right |
| 2021-05-13 18:36:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-13 18:36:55 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-13 18:38:08 | × | pera_ quits (~pera_@94.0.111.239) (Quit: leaving) |
| 2021-05-13 18:38:08 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-13 18:38:36 | <xenon-> | it isn't perfect, but it is still a big improvement over naive getCurrentTimeZone used with localTimeToUTC |
| 2021-05-13 18:42:03 | <xenon-> | ah interesting, this library also comes with localTimeToUTCFull :: TZ -> LocalTime -> LocalToUTCResult |
| 2021-05-13 18:42:03 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 18:42:50 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 18:43:12 | <xenon-> | data LocalToUTCResult = LTUNone { ... } | LTUUnique { ... } | LTUAmbiguous { ... } |
| 2021-05-13 18:45:11 | → | Iceland_jack joins (~user@95.147.45.92) |
| 2021-05-13 18:46:29 | <xenon-> | LTUAmbiguous has two UTCTime and two TimeZone fields |
| 2021-05-13 18:49:11 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-13 18:50:40 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-05-13 18:50:47 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-13 18:50:56 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-aelfljififmrzyjq) (Quit: Connection closed for inactivity) |
| 2021-05-13 18:51:11 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-13 18:53:19 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-13 18:54:17 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-13 18:55:02 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-13 18:56:09 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-13 19:01:02 | → | ddellac__ joins (~ddellacos@83.143.246.103) |
| 2021-05-13 19:02:45 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 19:03:51 | × | bgamari quits (~bgamari@2001:470:e438::1) (Ping timeout: 260 seconds) |
| 2021-05-13 19:04:22 | → | bgamari joins (~bgamari@72.65.101.148) |
| 2021-05-13 19:04:53 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-13 19:05:26 | × | ddellac__ quits (~ddellacos@83.143.246.103) (Ping timeout: 240 seconds) |
All times are in UTC.