| 2022-12-31 00:00:31 +0000 | <DigitalKiwi> | https://www.inflationtool.com/us-dollar/1989-to-present-value?amount=999&year2=2022&frequency=yearly $999 in 1989 |
| 2022-12-31 00:00:33 +0000 | <DigitalKiwi> | $2,413.63 in 2022 |
| 2022-12-31 00:00:36 +0000 | <DigitalKiwi> | oof |
| 2022-12-31 00:02:40 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-12-31 00:06:47 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-31 00:11:38 +0000 | hyperbolic-dg | (~quassel@i577AA562.versanet.de) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 2022-12-31 00:17:58 +0000 | <unit73e> | DigitalKiwi, maybe that's going to be the price of an RTX 4090ti |
| 2022-12-31 00:18:14 +0000 | <unit73e> | or near that |
| 2022-12-31 00:24:43 +0000 | acidjnk | (~acidjnk@p200300d6e7137a73b4a4bff990465aaa.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-12-31 00:26:17 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-31 00:26:51 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2022-12-31 00:26:52 +0000 | cheater_ | cheater |
| 2022-12-31 00:28:23 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-12-31 00:29:45 +0000 | thongpv87 | (~thongpv87@2402:9d80:365:a2c6:295e:e683:d8f7:6bce) |
| 2022-12-31 00:40:40 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-12-31 00:40:40 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-12-31 00:40:40 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-31 00:43:48 +0000 | sympt2 | (~sympt@user/sympt) |
| 2022-12-31 00:45:29 +0000 | sympt | (~sympt@user/sympt) (Ping timeout: 260 seconds) |
| 2022-12-31 00:45:30 +0000 | sympt2 | sympt |
| 2022-12-31 00:45:35 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 246 seconds) |
| 2022-12-31 00:45:40 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-12-31 00:57:15 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-12-31 01:03:30 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-12-31 01:04:15 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 01:04:38 +0000 | califax | (~califax@user/califx) |
| 2022-12-31 01:08:54 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-31 01:14:36 +0000 | iqubic | (~avi@2601:601:1100:edd0:db26:b6ac:b2fb:635) |
| 2022-12-31 01:16:46 +0000 | <iqubic> | jle``: Are you around? I was wondering if I could ask you a question about your mutable library. I know that you managed to make it work for lists. Does that mean I can have mutable version of an infinite list, or not? |
| 2022-12-31 01:17:35 +0000 | <iqubic> | For those wondering, I'm asking about this: |
| 2022-12-31 01:17:39 +0000 | <iqubic> | @hackage mutable |
| 2022-12-31 01:17:39 +0000 | <lambdabot> | https://hackage.haskell.org/package/mutable |
| 2022-12-31 01:19:11 +0000 | <iqubic> | On a related note, can I use ST as the base monad in a Monad Transformer stack to get mutable effects? |
| 2022-12-31 01:22:11 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-12-31 01:24:13 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-12-31 01:34:11 +0000 | <unit73e> | mutable in haskell? what kind of blasphemy is this? call the witch hunters |
| 2022-12-31 01:34:19 +0000 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-12-31 01:39:29 +0000 | <c_wraith> | iqubic: sure ST is a fine base monad. |
| 2022-12-31 01:39:52 +0000 | <c_wraith> | well, ST s |
| 2022-12-31 01:42:27 +0000 | <iqubic> | Yeah, I understand that it would be ST s. |
| 2022-12-31 01:44:03 +0000 | <iqubic> | I mainly want to use ST s as the base layer so that I can do mutable operations (with jle's library) with stateful operations |
| 2022-12-31 01:49:09 +0000 | <jackdk> | https://hackage.haskell.org/package/mutable-0.2.2.0/docs/Data-Mutable.html: "An instance of Mutable s a means that a can be stored a mutable reference in a PrimMonad m" -- is `ST s` an instance of `PrimMonad`? |
| 2022-12-31 01:50:57 +0000 | <iqubic> | Yes |
| 2022-12-31 01:51:49 +0000 | <jackdk> | Looks like that is your answer then |
| 2022-12-31 01:52:11 +0000 | <iqubic> | But I need to know if the Mutable library is strict or not, because I'd like to work with inifinite lists. |
| 2022-12-31 01:52:20 +0000 | <jackdk> | And I imagine you can stack whatever transformers you care about on top. |
| 2022-12-31 01:52:47 +0000 | <iqubic> | I will be doing that. |
| 2022-12-31 01:53:46 +0000 | <jackdk> | Hm, what if you wrote a program that attempted to thaw an infinite list and checked whether or not it worked? |
| 2022-12-31 01:54:36 +0000 | <iqubic> | I'll try that. |
| 2022-12-31 01:56:29 +0000 | <iqubic> | I'm gonna go get some food now. Be back later |
| 2022-12-31 01:57:35 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2022-12-31 02:00:18 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 02:05:16 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-31 02:13:49 +0000 | bjourne | (~bjorn@94.191.136.28.mobile.tre.se) |
| 2022-12-31 02:17:27 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-12-31 02:24:20 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 02:27:30 +0000 | beefbambi | (~beefbambi@183.82.31.45) (Read error: Connection reset by peer) |
| 2022-12-31 02:27:33 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 256 seconds) |
| 2022-12-31 02:30:07 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-31 02:32:19 +0000 | beefbambi | (~beefbambi@183.82.31.45) |
| 2022-12-31 02:32:30 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 2022-12-31 02:39:25 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-12-31 02:41:52 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-12-31 02:48:00 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Remote host closed the connection) |
| 2022-12-31 02:48:15 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-12-31 02:52:04 +0000 | nuh^ | (~nuh@76.145.185.103) |
| 2022-12-31 03:00:49 +0000 | solomon | (~solomon@75.60.187.54) |
| 2022-12-31 03:02:19 +0000 | solomon | (~solomon@75.60.187.54) (Client Quit) |
| 2022-12-31 03:18:06 +0000 | td_ | (~td@83.135.9.0) (Ping timeout: 272 seconds) |
| 2022-12-31 03:18:12 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 265 seconds) |
| 2022-12-31 03:19:41 +0000 | td_ | (~td@83.135.9.29) |
| 2022-12-31 03:23:31 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 265 seconds) |
| 2022-12-31 03:24:44 +0000 | isekaijin | (~isekaijin@user/isekaijin) |
| 2022-12-31 03:28:41 +0000 | phma | (~phma@host-67-44-208-169.hnremote.net) (Read error: Connection reset by peer) |
| 2022-12-31 03:29:08 +0000 | phma | (phma@2001:5b0:210d:5d58:7e43:94eb:5653:bb4c) |
| 2022-12-31 03:32:23 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 2022-12-31 03:32:49 +0000 | razetime | (~Thunderbi@49.207.194.134) |
| 2022-12-31 03:33:50 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2022-12-31 03:34:34 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-31 03:34:57 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-31 03:48:15 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-12-31 03:49:23 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-12-31 03:50:05 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
| 2022-12-31 03:50:20 +0000 | phma | (phma@2001:5b0:210d:5d58:7e43:94eb:5653:bb4c) (Read error: Connection reset by peer) |
| 2022-12-31 03:50:48 +0000 | phma | (phma@2001:5b0:210d:5d58:7e43:94eb:5653:bb4c) |
| 2022-12-31 03:53:32 +0000 | ddellacosta | (~ddellacos@89.45.224.187) |
| 2022-12-31 04:00:37 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 2022-12-31 04:01:55 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2022-12-31 04:01:58 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2022-12-31 04:02:25 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 04:03:49 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-12-31 04:03:49 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-12-31 04:05:45 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2022-12-31 04:07:01 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 2022-12-31 04:09:18 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-12-31 04:20:04 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-12-31 04:20:32 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-12-31 04:20:40 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-31 04:20:52 +0000 | Batzy | (~quassel@user/batzy) (Client Quit) |
| 2022-12-31 04:21:15 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-12-31 04:30:09 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-31 04:34:08 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 04:36:38 +0000 | DigitalKiwi | wonders if they'll be back before or after they solve the halting problem |
| 2022-12-31 04:38:27 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-31 04:38:27 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-12-31 04:43:08 +0000 | <iqubic> | Oh, I've been back for a while. I just didn't annouce my presence |
| 2022-12-31 04:44:01 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2022-12-31 04:45:09 +0000 | <DigitalKiwi> | lazy evaluation eh |
| 2022-12-31 04:45:14 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-12-31 04:49:12 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-31 04:49:15 +0000 | <iqubic> | Yes |
| 2022-12-31 04:49:22 +0000 | <iqubic> | I'm a lazy lass |
| 2022-12-31 04:53:44 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds) |
| 2022-12-31 05:01:00 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 05:02:04 +0000 | <iqubic> | Or at least I think I'm a lass. I haven't fully evaluated my gender yet, because I'm lazy. |
| 2022-12-31 05:03:11 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-12-31 05:03:19 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 2022-12-31 05:03:39 +0000 | beefbambi | (~beefbambi@183.82.31.45) (Ping timeout: 260 seconds) |
| 2022-12-31 05:04:47 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-31 05:05:41 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-12-31 05:05:46 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-31 05:10:13 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 05:10:38 +0000 | <iqubic> | jackdk: Turns out I can't actually test if the Mutable library is strict or not, because of this compilation error: https://dpaste.com/AHU4HGKLF |
| 2022-12-31 05:11:02 +0000 | <iqubic> | I think there might have been an update to Vector that has broken Mutable |
| 2022-12-31 05:11:42 +0000 | Lumia | (~Lumia@user/Lumia) |
| 2022-12-31 05:14:30 +0000 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2022-12-31 05:15:05 +0000 | <dsal> | Annoyed that people post blog posts trying to teach haskell, but don't allow comments. Some of this stuff is just overly complicated. |
| 2022-12-31 05:15:41 +0000 | <iqubic> | That's so annoying |
| 2022-12-31 05:18:31 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-31 05:29:09 +0000 | <iqubic> | Well, I just submitted a github issue for jle``'s mutable library |
| 2022-12-31 05:29:22 +0000 | <iqubic> | It seems that changes to Vinyl have broken it. |
| 2022-12-31 05:29:26 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-12-31 05:29:55 +0000 | <iqubic> | jle``: You don't have to fix this anytime soon, but it would be nice to get it fixed at some point. |
| 2022-12-31 05:30:17 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-12-31 05:31:31 +0000 | <mauke[m]> | nice spark |
| 2022-12-31 05:38:21 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-12-31 05:44:45 +0000 | ddellacosta | (~ddellacos@89.45.224.187) (Ping timeout: 256 seconds) |
| 2022-12-31 05:49:08 +0000 | nuh^ | (~nuh@76.145.185.103) (Remote host closed the connection) |
| 2022-12-31 05:53:32 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-12-31 05:54:18 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-31 05:55:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-31 05:56:54 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-31 05:58:46 +0000 | beefbambi | (~beefbambi@183.82.24.238) |
| 2022-12-31 05:59:32 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2022-12-31 06:04:20 +0000 | beefbambi | (~beefbambi@183.82.24.238) (Read error: Connection reset by peer) |
| 2022-12-31 06:04:32 +0000 | beefbambi | (~beefbambi@183.82.24.238) |
| 2022-12-31 06:04:48 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 2022-12-31 06:05:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-31 06:05:56 +0000 | bjourne | (~bjorn@94.191.136.28.mobile.tre.se) (Ping timeout: 272 seconds) |
| 2022-12-31 06:06:40 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2022-12-31 06:06:40 +0000 | beefbambi | (~beefbambi@183.82.24.238) (Read error: Connection reset by peer) |
| 2022-12-31 06:07:53 +0000 | beefbambi | (~beefbambi@183.82.24.238) |
| 2022-12-31 06:10:22 +0000 | beefbambi | (~beefbambi@183.82.24.238) (Read error: Connection reset by peer) |
| 2022-12-31 06:10:52 +0000 | beefbambi | (~beefbambi@183.82.24.238) |
| 2022-12-31 06:15:04 +0000 | <jackdk> | And/or put up metadata revisions such that the broken build plans are excluded. |
| 2022-12-31 06:15:12 +0000 | talismanick | (~talismani@76.133.152.122) |
| 2022-12-31 06:18:50 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-31 06:24:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-31 06:25:59 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2022-12-31 06:28:28 +0000 | <iqubic> | jackdk: What do you mean by that? |
| 2022-12-31 06:29:15 +0000 | <iqubic> | https://github.com/mstksg/mutable/issues/4 |
| 2022-12-31 06:29:25 +0000 | <iqubic> | That's the thing I opened. |
| 2022-12-31 06:29:44 +0000 | <iqubic> | I have no clue how to fix these issues, but I want to present the issues |
| 2022-12-31 06:29:58 +0000 | <jackdk> | https://github.com/haskell-infra/hackage-trustees/blob/master/revisions-information.md#hackage-met… |
| 2022-12-31 06:30:49 +0000 | <jackdk> | The package maintainer and/or a hackage trustee (if the maintainer is unavailable or unresponsive, and has not opted out) should revise the bounds on released versions of mutable to exclude the versions of vinyl that break |
| 2022-12-31 06:31:10 +0000 | <iqubic> | That makes sense. |
| 2022-12-31 06:31:47 +0000 | <jackdk> | mutable declares a dependency on vinyl with no bounds at all, which I don't think is good practice because it leads to exactly this scenario |
| 2022-12-31 06:32:22 +0000 | <iqubic> | jle`` was around a bit during Advent of Code, and is currently logged into this IRC channel. I guess they might be asleep right now, so I'm not too concerned. |
| 2022-12-31 06:33:26 +0000 | <iqubic> | jackdk: It also doesn't provide bounds on Template-Haskell, Transformers, or Vector. I'm not sure how often those APIs change |
| 2022-12-31 06:35:01 +0000 | <iqubic> | And in the wise words of Jle himself, I'm gonna sleep too |
| 2022-12-31 06:35:06 +0000 | <iqubic> | @quote zzz |
| 2022-12-31 06:35:06 +0000 | <lambdabot> | sebazzz says: <sebazzz> vos no te diste cuenta, pero cuando estas en pedo, y si yo estoy, te saco del alcanse todo objeto contundente |
| 2022-12-31 06:35:14 +0000 | <iqubic> | @quote getSum |
| 2022-12-31 06:35:14 +0000 | <lambdabot> | jle` says: let sleep = pure "zzz" in getSum sleep |
| 2022-12-31 06:35:25 +0000 | <iqubic> | That's the one I was looking for. |
| 2022-12-31 06:37:36 +0000 | beefbambi | (~beefbambi@183.82.24.238) (Read error: Connection reset by peer) |
| 2022-12-31 06:38:26 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-31 06:43:24 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-31 06:43:41 +0000 | beefbambi | (~beefbambi@183.82.24.238) |
| 2022-12-31 06:45:49 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-12-31 06:47:33 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 06:50:54 +0000 | beefbambi | (~beefbambi@183.82.24.238) (Ping timeout: 272 seconds) |
| 2022-12-31 06:52:00 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-31 07:07:57 +0000 | trev | (~trev@user/trev) |
| 2022-12-31 07:10:06 +0000 | Lumia | (~Lumia@user/Lumia) (Quit: ,-) |
| 2022-12-31 07:30:42 +0000 | razetime | (~Thunderbi@49.207.194.134) (Quit: razetime) |
| 2022-12-31 07:31:21 +0000 | razetime | (~Thunderbi@49.207.194.134) |
| 2022-12-31 07:32:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-31 07:37:09 +0000 | thongpv87 | (~thongpv87@2402:9d80:365:a2c6:295e:e683:d8f7:6bce) (Read error: Connection reset by peer) |
| 2022-12-31 07:37:42 +0000 | thongpv | (~thongpv87@14.246.240.163) |
| 2022-12-31 07:38:14 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 07:42:50 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-31 07:51:15 +0000 | razetime | (~Thunderbi@49.207.194.134) (Quit: razetime) |
| 2022-12-31 07:59:37 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2022-12-31 08:03:05 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 08:03:22 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-12-31 08:08:14 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-31 08:11:11 +0000 | xff0x | (~xff0x@2405:6580:b080:900:18f:39b6:7457:a86b) (Ping timeout: 246 seconds) |
| 2022-12-31 08:11:35 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2022-12-31 08:18:49 +0000 | tose | (~tose@cst-prg-38-106.cust.vodafone.cz) |
| 2022-12-31 08:19:05 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-12-31 08:25:05 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 08:26:41 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-12-31 08:32:09 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 260 seconds) |
| 2022-12-31 08:34:04 +0000 | xff0x | (~xff0x@2405:6580:b080:900:18f:39b6:7457:a86b) |
| 2022-12-31 08:39:30 +0000 | razetime | (~Thunderbi@49.207.194.134) |
| 2022-12-31 08:43:08 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 08:47:36 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2022-12-31 08:48:07 +0000 | tose | (~tose@cst-prg-38-106.cust.vodafone.cz) (Ping timeout: 260 seconds) |
| 2022-12-31 08:50:25 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2022-12-31 08:59:07 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 252 seconds) |
| 2022-12-31 09:00:03 +0000 | kfiz[m] | (~louismatr@2001:470:69fc:105::2:aee0) (Quit: You have been kicked for being idle) |
| 2022-12-31 09:01:14 +0000 | mei | (~mei@user/mei) |
| 2022-12-31 09:04:05 +0000 | tose | (~tose@cst-prg-38-106.cust.vodafone.cz) |
| 2022-12-31 09:04:37 +0000 | acidjnk | (~acidjnk@p200300d6e7137a73b4a4bff990465aaa.dip0.t-ipconnect.de) |
| 2022-12-31 09:16:38 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 09:19:33 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 09:21:11 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-31 09:21:23 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-12-31 09:22:40 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-31 09:24:11 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 264 seconds) |
| 2022-12-31 09:31:31 +0000 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-12-31 09:34:21 +0000 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-12-31 09:34:56 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 09:43:06 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-12-31 09:44:21 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-12-31 09:48:03 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-31 09:49:04 +0000 | torro_32 | (~torben@146.70.117.187) |
| 2022-12-31 09:52:50 +0000 | tose | (~tose@cst-prg-38-106.cust.vodafone.cz) (Quit: WeeChat 3.7.1) |
| 2022-12-31 09:52:58 +0000 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 268 seconds) |
| 2022-12-31 09:54:29 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2022-12-31 09:55:40 +0000 | torro_32 | (~torben@146.70.117.187) (Changing host) |
| 2022-12-31 09:55:41 +0000 | torro_32 | (~torben@user/torrocar) |
| 2022-12-31 10:00:41 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) (Remote host closed the connection) |
| 2022-12-31 10:02:17 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) |
| 2022-12-31 10:02:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-31 10:03:00 +0000 | torro_32 | (~torben@user/torrocar) (Konversation terminated!) |
| 2022-12-31 10:05:52 +0000 | thongpv87 | (~thongpv87@2001:ee0:54ae:c1f0:c361:9f6b:1353:a7c4) |
| 2022-12-31 10:09:00 +0000 | thongpv | (~thongpv87@14.246.240.163) (Ping timeout: 268 seconds) |
| 2022-12-31 10:09:32 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 10:16:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) (Remote host closed the connection) |
| 2022-12-31 10:16:59 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-31 10:17:03 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-31 10:17:16 +0000 | rnat | (uid73555@id-73555.lymington.irccloud.com) |
| 2022-12-31 10:27:41 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2022-12-31 10:32:20 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-12-31 10:33:31 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-12-31 10:33:50 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-12-31 10:34:43 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-31 10:35:09 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-12-31 10:36:51 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-12-31 10:37:52 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-31 10:45:40 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-12-31 10:48:32 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-12-31 10:49:01 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-31 10:56:36 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-12-31 10:56:51 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) |
| 2022-12-31 11:00:33 +0000 | acidjnk | (~acidjnk@p200300d6e7137a73b4a4bff990465aaa.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-12-31 11:05:49 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-31 11:06:28 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 11:09:43 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-31 11:11:47 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-12-31 11:13:16 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-31 11:16:59 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) |
| 2022-12-31 11:21:21 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) (Ping timeout: 256 seconds) |
| 2022-12-31 11:24:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-12-31 11:25:37 +0000 | coot | (~coot@213.134.171.3) |
| 2022-12-31 11:37:12 +0000 | Sauvin | (~sauvin@user/Sauvin) (Remote host closed the connection) |
| 2022-12-31 11:38:08 +0000 | Sauvin | (~sauvin@user/Sauvin) |
| 2022-12-31 11:38:18 +0000 | Sauvin | (~sauvin@user/Sauvin) (Remote host closed the connection) |
| 2022-12-31 11:39:44 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
| 2022-12-31 11:40:12 +0000 | Sauvin | (~sauvin@user/Sauvin) |
| 2022-12-31 11:40:19 +0000 | Sauvin | (~sauvin@user/Sauvin) (Remote host closed the connection) |
| 2022-12-31 11:44:50 +0000 | Sauvin | (~sauvin@user/Sauvin) |
| 2022-12-31 11:44:57 +0000 | Sauvin | (~sauvin@user/Sauvin) (Remote host closed the connection) |
| 2022-12-31 11:46:16 +0000 | Sauvin | (~sauvin@user/Sauvin) |
| 2022-12-31 11:46:23 +0000 | Sauvin | (~sauvin@user/Sauvin) (Remote host closed the connection) |
| 2022-12-31 11:46:27 +0000 | Guest7694 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-31 11:47:50 +0000 | Sauvin | (~sauvin@user/Sauvin) |
| 2022-12-31 11:50:38 +0000 | Sauvin | (~sauvin@user/Sauvin) (Remote host closed the connection) |
| 2022-12-31 11:51:32 +0000 | <juri_> | geekosaur[m]: thanks again, your help last night got me where i needed to be. |
| 2022-12-31 11:51:35 +0000 | Sauvin | (~sauvin@user/Sauvin) |
| 2022-12-31 11:51:36 +0000 | Sauvin | (~sauvin@user/Sauvin) (Remote host closed the connection) |
| 2022-12-31 11:53:15 +0000 | Sauvin | (~sauvin@user/Sauvin) |
| 2022-12-31 11:58:25 +0000 | acidjnk | (~acidjnk@p200300d6e7137a73b4a4bff990465aaa.dip0.t-ipconnect.de) |
| 2022-12-31 11:59:48 +0000 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2022-12-31 12:03:11 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-12-31 12:04:19 +0000 | <juri_> | geekosaur[m]: i was looking for "| typeOf line1 == typeOf line2 && line1 == fromJust (cast line2) = (1, mempty)" , fwiw. |
| 2022-12-31 12:04:23 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-12-31 12:05:01 +0000 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-31 12:06:13 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-12-31 12:06:49 +0000 | Vajb | (~Vajb@2001:999:405:5eb2:8d39:b832:a9ee:9bdf) |
| 2022-12-31 12:08:43 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2022-12-31 12:09:21 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-12-31 12:12:04 +0000 | Guest7694 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2022-12-31 12:14:36 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-31 12:14:55 +0000 | trev | (~trev@user/trev) |
| 2022-12-31 12:15:30 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Quit: Leaving.) |
| 2022-12-31 12:15:38 +0000 | thongpv | (~thongpv87@2402:9d80:365:a2c6:f35f:e342:16cc:24eb) |
| 2022-12-31 12:17:27 +0000 | thongpv87 | (~thongpv87@2001:ee0:54ae:c1f0:c361:9f6b:1353:a7c4) (Ping timeout: 256 seconds) |
| 2022-12-31 12:17:51 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-12-31 12:21:59 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-12-31 12:23:30 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-31 12:26:46 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-31 12:30:19 +0000 | vpan | (~0@212.117.1.172) |
| 2022-12-31 12:30:29 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Ping timeout: 256 seconds) |
| 2022-12-31 12:30:47 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-31 12:35:27 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-31 12:38:44 +0000 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2022-12-31 12:41:03 +0000 | califax | (~califax@user/califx) |
| 2022-12-31 12:46:14 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2022-12-31 12:48:30 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-31 12:48:46 +0000 | trev | (~trev@user/trev) |
| 2022-12-31 12:49:23 +0000 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 260 seconds) |
| 2022-12-31 12:52:10 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2022-12-31 12:52:45 +0000 | dextaa4 | (~DV@user/dextaa) |
| 2022-12-31 12:54:20 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 12:55:04 +0000 | dextaa | (~DV@user/dextaa) (Ping timeout: 272 seconds) |
| 2022-12-31 12:55:04 +0000 | dextaa4 | dextaa |
| 2022-12-31 12:58:41 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2022-12-31 13:02:41 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2022-12-31 13:03:28 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2022-12-31 13:08:01 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-31 13:08:13 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-31 13:09:12 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2022-12-31 13:10:18 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-31 13:10:30 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-12-31 13:11:20 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-31 13:11:34 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-12-31 13:11:36 +0000 | trev | (~trev@user/trev) |
| 2022-12-31 13:11:40 +0000 | califax | (~califax@user/califx) |
| 2022-12-31 13:12:16 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 13:12:18 +0000 | cheater | (~Username@user/cheater) |
| 2022-12-31 13:12:31 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-31 13:12:48 +0000 | trev | (~trev@user/trev) |
| 2022-12-31 13:17:07 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-31 13:17:27 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2022-12-31 13:18:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-31 13:26:43 +0000 | rnat | (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-31 13:27:03 +0000 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2022-12-31 13:33:01 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 252 seconds) |
| 2022-12-31 13:33:29 +0000 | iqubic | (~avi@2601:601:1100:edd0:db26:b6ac:b2fb:635) (Ping timeout: 246 seconds) |
| 2022-12-31 13:37:40 +0000 | hyperbolic-dg | (~quassel@i577AA562.versanet.de) |
| 2022-12-31 13:43:21 +0000 | <mauke[m]> | more like | cast line2 == Just line 1 = (1, mempty) |
| 2022-12-31 13:43:37 +0000 | <mauke[m]> | * more like | cast line2 == Just line1 = (1, mempty) |
| 2022-12-31 13:45:23 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-31 13:55:36 +0000 | <mauke[m]> | in fact, that's just PHP |
| 2022-12-31 13:56:20 +0000 | <mauke[m]> | `(===) :: (Typeable a, Typeable b, Eq b) => a -> b -> Bool; a === b = cast a == Just b` |
| 2022-12-31 13:56:34 +0000 | <mauke[m]> | and then | line1 === line 2 = ... |
| 2022-12-31 13:59:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-31 13:59:31 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Quit: Leaving) |
| 2022-12-31 14:00:11 +0000 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2022-12-31 14:04:38 +0000 | califax | (~califax@user/califx) |
| 2022-12-31 14:09:37 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 14:09:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-31 14:11:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-31 14:12:54 +0000 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 2022-12-31 14:13:59 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-12-31 14:15:24 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-12-31 14:19:02 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-12-31 14:22:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-31 14:25:31 +0000 | <isekaijin> | Why do we need a Representable type class in Haskell? In math (at least in algebraic topology and algebraic geometry), representable functors provide an indirect way to construct spaces, especially classifying spaces. Can representable functors in Haskell also be used to indirectly construct types? |
| 2022-12-31 14:25:45 +0000 | ddellacosta | (~ddellacos@143.244.47.68) |
| 2022-12-31 14:25:46 +0000 | razetime | (~Thunderbi@49.207.194.134) (Remote host closed the connection) |
| 2022-12-31 14:27:18 +0000 | <c_wraith> | "need" is a funny word. |
| 2022-12-31 14:28:56 +0000 | <c_wraith> | in the sense of "is this necessary to write a particular piece of software?", no typeclasses are needed. |
| 2022-12-31 14:28:58 +0000 | <isekaijin> | Well, I would like to know if anything nontrivial is achieved by having a Representable type class. In math, certainly nontrivial things are achieved by having the notion of representable functor. (e.g., you define a functor, show that it satisfies the conditions of the Brown representability theorem, and then you get your classifying space for free, without constructing it “by hand”.) |
| 2022-12-31 14:29:38 +0000 | <isekaijin> | Getting the type checker to construct a type for you from a functor would actually be pretty neat. |
| 2022-12-31 14:30:44 +0000 | <c_wraith> | types don't really work that way in Haskell. |
| 2022-12-31 14:31:59 +0000 | <c_wraith> | you might find https://packdeps.haskellers.com/reverse/adjunctions interesting |
| 2022-12-31 14:32:18 +0000 | <c_wraith> | though admittedly, that package does export a lot more than Representable functors |
| 2022-12-31 14:37:02 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2022-12-31 14:37:56 +0000 | <c_wraith> | but Representable does appear in the types of some of things that depend on it, like https://hackage.haskell.org/package/linear-1.22/docs/Linear-Matrix.html#v:column |
| 2022-12-31 14:42:50 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 14:43:58 +0000 | acidjnk | (~acidjnk@p200300d6e7137a73b4a4bff990465aaa.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-12-31 14:45:06 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
| 2022-12-31 14:47:27 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-12-31 14:47:43 +0000 | <isekaijin> | c_wraith: Thanks! |
| 2022-12-31 14:52:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-31 14:55:33 +0000 | son0p | (~ff@2604:3d08:5b7f:5540::417e) (Remote host closed the connection) |
| 2022-12-31 14:57:41 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-31 14:58:10 +0000 | trev | (~trev@user/trev) |
| 2022-12-31 14:58:35 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-12-31 14:59:23 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-12-31 15:02:29 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 15:05:11 +0000 | igghibu | (~igghibu@37.120.201.86) |
| 2022-12-31 15:11:38 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-12-31 15:15:02 +0000 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-12-31 15:15:19 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 2022-12-31 15:17:42 +0000 | son0p | (~ff@2604:3d08:5b7f:5540::417e) |
| 2022-12-31 15:19:41 +0000 | <Jadesheit[m]> | @pl f (g x) (g y) |
| 2022-12-31 15:19:41 +0000 | <lambdabot> | f (g x) (g y) |
| 2022-12-31 15:19:55 +0000 | <Jadesheit[m]> | wrong command a |
| 2022-12-31 15:19:57 +0000 | <Jadesheit[m]> | * wrong command aaa |
| 2022-12-31 15:20:10 +0000 | <c_wraith> | @pl \x y -> f (g x) (g y) |
| 2022-12-31 15:20:10 +0000 | <lambdabot> | (. g) . f . g |
| 2022-12-31 15:20:28 +0000 | <Jadesheit[m]> | I thought you could refactor that in general, not make it pointfree |
| 2022-12-31 15:20:37 +0000 | <Jadesheit[m]> | like a binary operation after a unary one |
| 2022-12-31 15:20:48 +0000 | <Jadesheit[m]> | in APL you have the S combinator I think |
| 2022-12-31 15:20:55 +0000 | <Jadesheit[m]> | but is there an idiom in haskell? |
| 2022-12-31 15:20:56 +0000 | <c_wraith> | S isn't quite right |
| 2022-12-31 15:20:59 +0000 | <mauke[m]> | @pl \g -> f (g x) (g y) |
| 2022-12-31 15:20:59 +0000 | <lambdabot> | liftM2 f ($ x) ($ y) |
| 2022-12-31 15:21:07 +0000 | bjourne | (~bjorn@94.191.136.28.mobile.tre.se) |
| 2022-12-31 15:21:16 +0000 | <c_wraith> | S is \f g x -> f x (g x) |
| 2022-12-31 15:21:23 +0000 | <Jadesheit[m]> | ohh right |
| 2022-12-31 15:21:25 +0000 | <Jadesheit[m]> | mb |
| 2022-12-31 15:21:49 +0000 | <mauke[m]> | @pl \x -> f (g x) (h x) |
| 2022-12-31 15:21:49 +0000 | <lambdabot> | liftM2 f g h |
| 2022-12-31 15:23:17 +0000 | <Jadesheit[m]> | does on work? |
| 2022-12-31 15:23:29 +0000 | <mauke[m]> | @src on |
| 2022-12-31 15:23:29 +0000 | <lambdabot> | (*) `on` f = \x y -> f x * f y |
| 2022-12-31 15:23:42 +0000 | <Jadesheit[m]> | yeah |
| 2022-12-31 15:23:44 +0000 | <mauke[m]> | yes, that seems reasonable |
| 2022-12-31 15:24:14 +0000 | <mauke[m]> | > on f g x y :: Expr |
| 2022-12-31 15:24:15 +0000 | <lambdabot> | error: |
| 2022-12-31 15:24:15 +0000 | <lambdabot> | • Ambiguous type variable ‘b0’ arising from a use of ‘f’ |
| 2022-12-31 15:24:15 +0000 | <lambdabot> | prevents the constraint ‘(Show b0)’ from being solved. |
| 2022-12-31 15:24:51 +0000 | <mauke[m]> | > on (f :: Expr -> Expr -> Expr) g x y |
| 2022-12-31 15:24:53 +0000 | <lambdabot> | f (g x) (g y) |
| 2022-12-31 15:25:32 +0000 | <Jadesheit[m]> | perfect |
| 2022-12-31 15:25:34 +0000 | <Jadesheit[m]> | thanks |
| 2022-12-31 15:25:54 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 15:26:05 +0000 | <Jadesheit[m]> | what exactly is Expr? |
| 2022-12-31 15:26:27 +0000 | <mauke[m]> | fake symbolic evaluation |
| 2022-12-31 15:26:29 +0000 | <c_wraith> | @hackage simple-reflect |
| 2022-12-31 15:26:29 +0000 | <lambdabot> | https://hackage.haskell.org/package/simple-reflect |
| 2022-12-31 15:27:14 +0000 | <c_wraith> | It's not even fake symbolic evaluation. It's just really basic symbolic evaluation |
| 2022-12-31 15:28:39 +0000 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-12-31 15:28:55 +0000 | igghibu | (~igghibu@37.120.201.86) (Quit: igghibu) |
| 2022-12-31 15:29:12 +0000 | igghibu | (~igghibu@37.120.201.86) |
| 2022-12-31 15:42:31 +0000 | iqubic | (~avi@2601:601:1100:edd0:940d:fb26:8ec3:a80a) |
| 2022-12-31 15:43:49 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-12-31 15:45:29 +0000 | mei | (~mei@user/mei) (Quit: mei) |
| 2022-12-31 15:52:32 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-31 15:52:55 +0000 | trev | (~trev@user/trev) |
| 2022-12-31 15:54:12 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-12-31 15:55:35 +0000 | Inst__ | (~Inst@2601:6c4:4081:54f0:342a:bdf3:5bc9:3b56) |
| 2022-12-31 15:56:58 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-31 15:57:11 +0000 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2022-12-31 15:58:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-12-31 15:59:15 +0000 | califax | (~califax@user/califx) |
| 2022-12-31 15:59:35 +0000 | Inst_ | (~Inst@2601:6c4:4081:54f0:7cc8:3a76:dcbe:6e21) (Ping timeout: 256 seconds) |
| 2022-12-31 16:00:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-31 16:00:12 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2022-12-31 16:01:25 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-31 16:01:46 +0000 | trev | (~trev@user/trev) |
| 2022-12-31 16:02:18 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-31 16:03:01 +0000 | trev | (~trev@user/trev) |
| 2022-12-31 16:03:48 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2022-12-31 16:04:39 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-31 16:06:05 +0000 | zer0bitz_ | (~zer0bitz@196.244.192.54) |
| 2022-12-31 16:09:10 +0000 | zer0bitz | (~zer0bitz@196.244.192.55) (Ping timeout: 252 seconds) |
| 2022-12-31 16:12:15 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-31 16:18:27 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-12-31 16:21:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) |
| 2022-12-31 16:22:16 +0000 | CiaoSen | (~Jura@p200300c9571bac002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-12-31 16:24:27 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-12-31 16:25:27 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Ping timeout: 260 seconds) |
| 2022-12-31 16:25:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) (Ping timeout: 252 seconds) |
| 2022-12-31 16:30:43 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-31 16:33:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-31 16:36:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-31 16:36:56 +0000 | Guest2425 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-31 16:38:02 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-12-31 16:39:22 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-31 16:39:33 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-12-31 16:40:28 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 16:43:49 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-31 16:43:52 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 16:48:43 +0000 | mauke[m] | mauke |
| 2022-12-31 16:48:45 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 265 seconds) |
| 2022-12-31 16:51:04 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-31 16:52:46 +0000 | <Guillaum[m]> | I've done a bit of "type level string parsing" to parse iso 8601 duration: https://gist.github.com/guibou/32762816ace8e9c8509ace5570e73c96 . This is really painful, mostly because I did not find any way to let bind or pattern match in type familly other than introducing another new type familly. Do you know a better way? |
| 2022-12-31 16:56:22 +0000 | <dmj`> | Guillaum[m]: very nice |
| 2022-12-31 16:56:54 +0000 | <dmj`> | Guillaum[m]: I did something similar with JSON, https://github.com/dmjio/type-level-json/blob/master/src/TypeLevel/JSON.hs |
| 2022-12-31 16:57:11 +0000 | <dmj`> | type level programmers of the world unite |
| 2022-12-31 16:58:18 +0000 | <mauke> | inb4 type-level debugger |
| 2022-12-31 16:58:18 +0000 | <dmj`> | Guillaum[m]: to answer your question I think there is no better way, TFs aren't higher order in Haskell so, you always have to introduce new local families |
| 2022-12-31 16:59:27 +0000 | <Guillaum[m]> | [dmj](https://matrix.to/#/@dmj:libera.chat): thank you ;) You did something really nice with that json parser. The Lex TF is smart, it avoids the UnconsSymbol everywhere, it may simplifies a lot my implementation. |
| 2022-12-31 16:59:28 +0000 | <hpc> | you need a kind checker of some kind to check your code for errors before you compile it |
| 2022-12-31 16:59:29 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 17:01:01 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-31 17:03:14 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-31 17:09:34 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-12-31 17:14:40 +0000 | dsrt^ | (~dsrt@76.145.185.103) |
| 2022-12-31 17:15:23 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-31 17:21:11 +0000 | Guest2425 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2022-12-31 17:21:41 +0000 | iqubic | (~avi@2601:601:1100:edd0:940d:fb26:8ec3:a80a) (Ping timeout: 255 seconds) |
| 2022-12-31 17:24:29 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-12-31 17:26:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-31 17:27:02 +0000 | <dmj`> | Guillaum[m]: UnconsSymbol is a huge game changer |
| 2022-12-31 17:27:43 +0000 | <dmj`> | Guillaum[m]: Just waiting on someone to implement a SQL parser now |
| 2022-12-31 17:29:18 +0000 | ddellacosta | (~ddellacos@143.244.47.68) (Ping timeout: 268 seconds) |
| 2022-12-31 17:30:01 +0000 | <dmj`> | Guillaum[m]: lex preprocessing helps a lot yea |
| 2022-12-31 17:30:50 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-12-31 17:33:03 +0000 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-12-31 17:33:38 +0000 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-31 17:34:16 +0000 | <dmj`> | Guillaum[m]: multiline Symbols are kind of gross though |
| 2022-12-31 17:35:01 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) |
| 2022-12-31 17:35:45 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-12-31 17:36:36 +0000 | gdd | (~gdd@2001:470:1f13:187:3362:f9dd:3b29:2ee1) (Ping timeout: 265 seconds) |
| 2022-12-31 17:37:29 +0000 | gdd | (~gdd@2001:470:1f13:187:31f4:d139:4ea3:c0fd) |
| 2022-12-31 17:47:32 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-31 17:52:21 +0000 | son0p | (~ff@2604:3d08:5b7f:5540::417e) (Ping timeout: 256 seconds) |
| 2022-12-31 17:54:50 +0000 | <Guillaum[m]> | [dmj](https://matrix.to/#/@dmj:libera.chat): Well, multiline strings are already a problem |
| 2022-12-31 17:58:23 +0000 | bjourne | (~bjorn@94.191.136.28.mobile.tre.se) (Read error: Connection reset by peer) |
| 2022-12-31 17:59:43 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 2022-12-31 18:00:11 +0000 | acidjnk | (~acidjnk@p200300d6e7137a48e0f046b8581bd458.dip0.t-ipconnect.de) |
| 2022-12-31 18:01:50 +0000 | thongpv | (~thongpv87@2402:9d80:365:a2c6:f35f:e342:16cc:24eb) (Read error: Connection reset by peer) |
| 2022-12-31 18:01:58 +0000 | thongpv | (~thongpv87@2402:9d80:3aa:567:9ad9:5c2:cc9b:b1e7) |
| 2022-12-31 18:02:53 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2022-12-31 18:03:48 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-12-31 18:04:23 +0000 | econo | (uid147250@user/econo) |
| 2022-12-31 18:08:43 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 2022-12-31 18:09:36 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-12-31 18:09:37 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-12-31 18:09:37 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-31 18:13:59 +0000 | CiaoSen | (~Jura@p200300c9571bac002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-12-31 18:25:38 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-12-31 18:34:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-31 18:35:17 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-12-31 18:39:37 +0000 | igghibu | (~igghibu@37.120.201.86) (Quit: igghibu) |
| 2022-12-31 18:45:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-31 18:53:44 +0000 | Kaipei | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-31 18:54:52 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-31 18:57:14 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 246 seconds) |
| 2022-12-31 18:58:11 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-31 18:59:18 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-31 19:00:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-12-31 19:01:05 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Quit: mizlan) |
| 2022-12-31 19:01:08 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-31 19:02:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-12-31 19:03:45 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2022-12-31 19:03:52 +0000 | cheater_ | cheater |
| 2022-12-31 19:03:54 +0000 | Kaipei | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2022-12-31 19:04:19 +0000 | Kaipei | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-31 19:04:49 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 19:06:44 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-12-31 19:13:10 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-31 19:14:45 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-31 19:15:01 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-12-31 19:19:39 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-12-31 19:19:55 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-12-31 19:25:37 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 19:28:16 +0000 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-31 19:30:09 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-31 19:32:01 +0000 | Kaipei | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds) |
| 2022-12-31 19:32:19 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-12-31 19:34:05 +0000 | iqubic | (~avi@2601:601:1100:edd0:43b1:181f:28ff:d60c) |
| 2022-12-31 19:34:06 +0000 | mei | (~mei@user/mei) |
| 2022-12-31 19:39:41 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-12-31 19:41:47 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 265 seconds) |
| 2022-12-31 19:42:10 +0000 | Inst__ | (~Inst@2601:6c4:4081:54f0:342a:bdf3:5bc9:3b56) (Ping timeout: 260 seconds) |
| 2022-12-31 19:42:59 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 19:46:31 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-31 19:46:40 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2022-12-31 19:48:03 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-31 19:49:24 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-12-31 19:50:05 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-12-31 19:55:49 +0000 | potash | (~foghorn@user/foghorn) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-12-31 20:00:13 +0000 | Hiei | (~Hiei@pool-68-129-167-109.nycmny.fios.verizon.net) |
| 2022-12-31 20:00:18 +0000 | Hiei | (~Hiei@pool-68-129-167-109.nycmny.fios.verizon.net) () |
| 2022-12-31 20:01:54 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-12-31 20:02:46 +0000 | son0p | (~ff@2604:3d08:5b7f:5540::417e) |
| 2022-12-31 20:10:48 +0000 | kenran | (~user@user/kenran) |
| 2022-12-31 20:10:51 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-12-31 20:13:46 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-12-31 20:14:56 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2022-12-31 20:15:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-12-31 20:15:38 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-12-31 20:23:44 +0000 | acidjnk | (~acidjnk@p200300d6e7137a48e0f046b8581bd458.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-12-31 20:29:31 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 20:37:33 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-31 20:45:23 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-12-31 20:45:24 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 2022-12-31 20:47:27 +0000 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-12-31 20:47:28 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-31 20:48:26 +0000 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-12-31 20:53:41 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-31 20:54:27 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-12-31 20:58:45 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 21:00:47 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-31 21:03:43 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 260 seconds) |
| 2022-12-31 21:07:00 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-31 21:11:03 +0000 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 260 seconds) |
| 2022-12-31 21:14:53 +0000 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-12-31 21:15:20 +0000 | acidjnk | (~acidjnk@p200300d6e7137a48bc74295aa0e75ce0.dip0.t-ipconnect.de) |
| 2022-12-31 21:17:15 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-31 21:21:13 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2022-12-31 21:21:37 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Ping timeout: 252 seconds) |
| 2022-12-31 21:21:47 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-31 21:24:36 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-31 21:31:52 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2022-12-31 21:34:39 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-31 21:39:16 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-12-31 21:40:09 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 256 seconds) |
| 2022-12-31 21:43:52 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 21:48:01 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2022-12-31 21:59:28 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-31 22:02:19 +0000 | hubert | (uid582073@id-582073.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-31 22:04:31 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) (Remote host closed the connection) |
| 2022-12-31 22:06:04 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2022-12-31 22:07:53 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 22:18:27 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-12-31 22:19:12 +0000 | cheater | (~Username@user/cheater) |
| 2022-12-31 22:19:36 +0000 | Neuromancer | (~Neuromanc@user/neuromancer) (Remote host closed the connection) |
| 2022-12-31 22:19:40 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) |
| 2022-12-31 23:10:32 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-12-31 23:11:14 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-12-31 23:13:34 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-31 23:15:11 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-12-31 23:16:45 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-31 23:20:11 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-12-31 23:25:49 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2022-12-31 23:27:19 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-31 23:27:49 +0000 | Everything | (~Everythin@46.185.124.170) |
| 2022-12-31 23:36:59 +0000 | Inst__ | (~Inst@2601:6c4:4081:54f0:d0af:c75:9422:ed4) |
| 2022-12-31 23:37:41 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-12-31 23:38:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-12-31 23:39:48 +0000 | foul_owl | (~kerry@157.97.134.157) (Ping timeout: 252 seconds) |
| 2022-12-31 23:40:37 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 23:41:31 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-12-31 23:42:17 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2022-12-31 23:42:23 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-31 23:46:01 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) (Remote host closed the connection) |
| 2022-12-31 23:47:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) |
| 2022-12-31 23:48:11 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 264 seconds) |
| 2022-12-31 23:52:23 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |