Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 .. 18040
— 1,803,935 events total
2021-07-31 21:47:11 × severen quits (~severen@202.36.179.72) (Quit: WeeChat 3.2)
2021-07-31 21:47:16 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-31 21:47:21 <dsal> This is my first, fairly simple case so far. Feels like I had to say a bunch more stuff to get the same thing done. I'm down to my most complicated example now, though, so let's see what it does when things aren't trivial. https://www.irccloud.com/pastebin/u27Irvjd/hedge.diff
2021-07-31 21:48:35 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
2021-07-31 21:50:07 × doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-07-31 21:50:09 <dsal> Weird. The test is failing. Maybe that's good...
2021-07-31 21:51:31 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d)
2021-07-31 21:53:19 → doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-07-31 21:53:23 <dsal> It's failing with a report that is... not true. I don't think it was actually testing with the code that was reporting. That's not awesome. heh
2021-07-31 21:53:27 → lavaman joins (~lavaman@98.38.249.169)
2021-07-31 21:54:18 × mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 240 seconds)
2021-07-31 21:54:42 × roboguy__ quits (~roboguy_@2605:a601:afe7:9f00:8cab:6f70:b160:7f9) (Ping timeout: 240 seconds)
2021-07-31 21:57:42 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds)
2021-07-31 21:58:20 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-07-31 22:01:10 × zeenk quits (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!)
2021-07-31 22:01:46 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-31 22:02:03 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-31 22:03:13 → Null_A joins (~null_a@67-207-96-2.static.wiline.com)
2021-07-31 22:04:08 × Null_A quits (~null_a@67-207-96-2.static.wiline.com) (Client Quit)
2021-07-31 22:05:49 × kuribas quits (~user@ptr-25vy0i7fhp3jdg2nokv.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-07-31 22:06:38 → Null_A joins (~null_a@67-207-96-2.static.wiline.com)
2021-07-31 22:09:13 × Null_A quits (~null_a@67-207-96-2.static.wiline.com) (Read error: Connection reset by peer)
2021-07-31 22:09:26 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 250 seconds)
2021-07-31 22:09:26 → Null_A joins (~null_a@67-207-96-2.static.wiline.com)
2021-07-31 22:13:11 × Melantha quits (~pyon@user/pyon) (Ping timeout: 268 seconds)
2021-07-31 22:13:40 → Melantha joins (~pyon@user/pyon)
2021-07-31 22:15:09 → jess joins (~jess@libera/staff/jess)
2021-07-31 22:17:15 → jgeerds joins (~jgeerds@55d45555.access.ecotel.net)
2021-07-31 22:19:56 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Remote host closed the connection)
2021-07-31 22:20:30 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d)
2021-07-31 22:20:46 <dsal> Well, failures are kind of bad here. I'm not sure what I did wrong, but the only output I get in my test is `Exception: arithmetic underflow`... which I guess suggests the problem is in my generator.
2021-07-31 22:24:40 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-31 22:24:53 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-31 22:25:29 <Ariakenom> oh interesting. underflow as an error? where from
2021-07-31 22:25:34 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 272 seconds)
2021-07-31 22:26:10 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-31 22:27:01 → Guest9130 joins (~Guest91@2603-8080-6d0d-35bb-0000-0000-0000-0aa5.res6.spectrum.com)
2021-07-31 22:27:10 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-31 22:27:28 → lavaman joins (~lavaman@98.38.249.169)
2021-07-31 22:28:12 <dsal> The problem was that my generator was generating an invalid geometry. I think my Arbitrary instance *could* have done that, but it didn't.
2021-07-31 22:28:53 <dsal> On one hand, it might be that I just don't understand how to use these hedgehog things.
2021-07-31 22:28:55 <Ariakenom> what number type was it that gave that error?
2021-07-31 22:29:06 <dsal> Double, I think.
2021-07-31 22:30:40 × dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2)
2021-07-31 22:31:35 <Ariakenom> makes sense. just wondering since underflow is usually not an error
2021-07-31 22:32:04 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-07-31 22:33:39 × egoist quits (~egoist@186.235.82.100) (Quit: WeeChat 3.2)
2021-07-31 22:34:41 <Ariakenom> in case someone didnt know it's when a float can't represent a small number, small in magnitude, and rounds it to zero. which means the relative error broke the bounds that otherwise hold
2021-07-31 22:35:59 × amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-07-31 22:39:11 <dsal> This code scales one geometry into another. If you try to make a geometry with 0 length, the scaling isn't valid.
2021-07-31 22:42:02 × wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 272 seconds)
2021-07-31 22:44:58 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-31 22:45:11 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-31 22:48:29 × Kaiepi quits (~Kaiepi@156.34.44.192) (Read error: Connection reset by peer)
2021-07-31 22:48:42 <dsal> Well, converted my tests to hedgehog. So far... similar. Slightly less ergonomic. These tests don't benefit much from the things that hedgehog is best at, but it's a bit of practice.
2021-07-31 22:48:51 → Kaiepi joins (~Kaiepi@156.34.44.192)
2021-07-31 22:52:51 × jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 265 seconds)
2021-07-31 22:53:46 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-31 22:54:04 × acidjnk_new quits (~acidjnk@p200300d0c72b9501c19bd88441742b9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-07-31 22:57:52 × MorrowM quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer)
2021-07-31 23:00:15 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d)
2021-07-31 23:01:34 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Remote host closed the connection)
2021-07-31 23:02:06 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d)
2021-07-31 23:06:10 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 240 seconds)
2021-07-31 23:10:34 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-31 23:10:46 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-31 23:11:04 × mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-31 23:12:29 → mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-07-31 23:12:47 × dudek quits (~dudek@185.150.236.155) (Quit: Leaving)
2021-07-31 23:13:18 → Ailrk joins (~Ailrk@node-1w7jr9umlq4q5zsu67z73tx37.ipv6.telus.net)
2021-07-31 23:15:30 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-31 23:16:05 × Ailrk quits (~Ailrk@node-1w7jr9umlq4q5zsu67z73tx37.ipv6.telus.net) (Quit: WeeChat 3.2)
2021-07-31 23:17:09 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d)
2021-07-31 23:18:14 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 252 seconds)
2021-07-31 23:20:31 × Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving)
2021-07-31 23:20:42 × nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-31 23:21:34 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal)
2021-07-31 23:23:05 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-31 23:24:31 × Guest9130 quits (~Guest91@2603-8080-6d0d-35bb-0000-0000-0000-0aa5.res6.spectrum.com) (Ping timeout: 246 seconds)
2021-07-31 23:25:43 × koz quits (~koz@121.99.240.58) (Ping timeout: 265 seconds)
2021-07-31 23:26:33 → koz joins (~koz@121.99.240.58)
2021-07-31 23:27:44 → Guest9133 joins (~Guest91@2603-8080-6d0d-35bb-0000-0000-0000-0aa5.res6.spectrum.com)
2021-07-31 23:29:20 → sweater joins (~sweater@206.81.18.26)
2021-07-31 23:30:38 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal)
2021-07-31 23:31:52 → Ailrk joins (~Ailrk@node-1w7jr9umlq4q5zsu67z73tx37.ipv6.telus.net)
2021-07-31 23:32:04 × koz quits (~koz@121.99.240.58) (Ping timeout: 272 seconds)
2021-07-31 23:33:23 → koz joins (~koz@121.99.240.58)
2021-07-31 23:36:48 <Guest9133> Is it possible to convert a heterogeneous tuple to a heterogeneous typed list (specifically [this one](https://hackage.haskell.org/package/hvect-0.4.0.0/docs/Data-HVect.html))? I tried type families to resolve the `HVect` type, but it seems type families + fundeps won't resolve the base case (as in [this SO
2021-07-31 23:36:49 <Guest9133> post](https://stackoverflow.com/questions/45360959/illegal-type-synonym-family-application-in-instance-with-functional-dependency)).
2021-07-31 23:37:02 → retro_ joins (~retro@5ec19a54.skybroadband.com)
2021-07-31 23:37:13 → lavaman joins (~lavaman@98.38.249.169)
2021-07-31 23:39:18 <Guest9133> Actually my bad, it was this SO post: https://stackoverflow.com/questions/36175839/type-ambiguity-in-haskell-type-families
2021-07-31 23:39:46 × retroid_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 240 seconds)
2021-07-31 23:40:17 → vicfred joins (~vicfred@user/vicfred)
2021-07-31 23:41:30 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-07-31 23:45:46 × neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 240 seconds)
2021-07-31 23:46:26 → nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-31 23:46:50 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-31 23:49:48 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-07-31 23:51:59 × Ailrk quits (~Ailrk@node-1w7jr9umlq4q5zsu67z73tx37.ipv6.telus.net) (Quit: WeeChat 3.2)
←Prev  Next→
Page 1 .. 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 .. 18040

All times are in UTC.