| 2022-09-10 00:00:48 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 00:00:53 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-10 00:01:02 +0200 | califax | (~califax@user/califx) |
| 2022-09-10 00:04:17 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-10 00:06:59 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-09-10 00:07:38 +0200 | smol-hors | lua |
| 2022-09-10 00:08:35 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 00:11:36 +0200 | mmhat | (~mmh@p200300f1c728cc1aee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-09-10 00:16:12 +0200 | thatcher_ | (lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-10 00:16:41 +0200 | thatcher_ | (lp0@heathens.club) |
| 2022-09-10 00:18:12 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-10 00:18:38 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 00:18:59 +0200 | Kaipei | (~Kaiepi@142.68.249.28) (Ping timeout: 244 seconds) |
| 2022-09-10 00:20:11 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-10 00:20:32 +0200 | califax | (~califax@user/califx) |
| 2022-09-10 00:22:05 +0200 | wrongluck876 | (~db@162-227-48-140.lightspeed.brhmal.sbcglobal.net) |
| 2022-09-10 00:22:19 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-10 00:24:34 +0200 | wrongluck876 | (~db@162-227-48-140.lightspeed.brhmal.sbcglobal.net) (Client Quit) |
| 2022-09-10 00:25:37 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2022-09-10 00:27:57 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 268 seconds) |
| 2022-09-10 00:28:46 +0200 | BusConscious | (~martin@ip5f5acc36.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2022-09-10 00:29:02 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-10 00:29:02 +0200 | jinsun | Guest8256 |
| 2022-09-10 00:29:02 +0200 | jinsun__ | jinsun |
| 2022-09-10 00:32:57 +0200 | Guest8256 | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-09-10 00:36:18 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-10 00:38:38 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2022-09-10 00:41:39 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2022-09-10 00:42:14 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-10 00:43:04 +0200 | causal | (~user@50.35.83.177) |
| 2022-09-10 00:43:05 +0200 | causal | (~user@50.35.83.177) (Client Quit) |
| 2022-09-10 01:00:26 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 01:04:44 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-10 01:16:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 01:17:17 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 268 seconds) |
| 2022-09-10 01:23:16 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:7194:db6b:564d:bfb9) |
| 2022-09-10 01:23:47 +0200 | infinity0 | (~infinity0@185.112.146.113) (Remote host closed the connection) |
| 2022-09-10 01:24:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 01:29:07 +0200 | mastarija | (~mastarija@46.188.135.255) (Ping timeout: 248 seconds) |
| 2022-09-10 01:29:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-10 01:32:14 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-09-10 01:33:31 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-10 01:33:51 +0200 | ajb_ | (~ajb@mimas.whatbox.ca) (Quit: bye) |
| 2022-09-10 01:34:01 +0200 | ajb | (~ajb@mimas.whatbox.ca) |
| 2022-09-10 01:34:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-10 01:39:37 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 01:42:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 01:46:16 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:fe00:6307:f534:81e2:947) (Ping timeout: 268 seconds) |
| 2022-09-10 01:51:29 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
| 2022-09-10 01:54:29 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:92e2:67dd:5673:6729) |
| 2022-09-10 01:55:56 +0200 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
| 2022-09-10 01:58:25 +0200 | <fraznel> | hey all, just following up on my postgres / exception woes. I have yet to get to the bottom of it but have yanked exception handling out of my application monad for now, just kicking it down the road but wanted to share findings here incase they are relevant to anyone or if someone can explain why the behavior i'm seeing is happening |
| 2022-09-10 01:59:05 +0200 | <fraznel> | anything being run in an MonadUnliftIO context seems to require UnliftIO's version of exception handling functions or the exception escapes the handlers |
| 2022-09-10 01:59:50 +0200 | <fraznel> | even using that UnliftIO version of handleAny, if done from within a monad on a larger transformer stack, also allows the exception to escape the handler |
| 2022-09-10 02:00:34 +0200 | <fraznel> | parameterizing the exception handler as part of the monadic effect also results in the exception escaping the handleAny |
| 2022-09-10 02:00:46 +0200 | [-n3W7-] | (~q_q@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2022-09-10 02:01:45 +0200 | <fraznel> | if yanked it out into a helper function that is required to be called from within the monad in question which is called at the site and that works. |
| 2022-09-10 02:01:49 +0200 | <fraznel> | but... :? |
| 2022-09-10 02:03:04 +0200 | <fraznel> | i'd like to have my cake and eat it too by handling exceptions with reasonable universal defaults in my monad that deals with the database and don't grok why it results in leaky exception handling |
| 2022-09-10 02:04:23 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-09-10 02:05:35 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-10 02:12:09 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-10 02:12:10 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-10 02:13:41 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-10 02:16:03 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 2022-09-10 02:16:34 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-10 02:17:49 +0200 | ryantrinkle | (~ryan@2607:f00:3:14c0:7c6b:7160:d1ff:3f7) (Ping timeout: 244 seconds) |
| 2022-09-10 02:19:59 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-10 02:26:16 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-10 02:31:05 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 02:35:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-10 02:35:26 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-09-10 02:35:29 +0200 | rockymarine | (~rocky@user/rockymarine) (Read error: Connection reset by peer) |
| 2022-09-10 02:35:54 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 02:38:29 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-09-10 02:39:37 +0200 | lua | ed |
| 2022-09-10 02:40:18 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-10 02:40:29 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-10 02:41:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-10 02:41:40 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 2022-09-10 02:41:49 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2022-09-10 02:42:40 +0200 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2022-09-10 02:45:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 02:47:16 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-10 02:50:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 02:50:35 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-10 02:55:13 +0200 | infinity0 | (~infinity0@185.112.146.113) |
| 2022-09-10 02:56:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-10 02:57:51 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-10 02:58:20 +0200 | mikess | (~sam@user/mikess) |
| 2022-09-10 03:00:25 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 03:02:44 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 268 seconds) |
| 2022-09-10 03:06:43 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 248 seconds) |
| 2022-09-10 03:07:47 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-09-10 03:11:06 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-10 03:11:17 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 03:13:35 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 03:17:13 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-10 03:17:55 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-09-10 03:20:12 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-10 03:25:24 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-10 03:25:51 +0200 | mmhat | (~mmh@p200300f1c728cc1aee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-09-10 03:29:20 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 03:35:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-10 03:35:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-10 03:42:02 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-10 03:44:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7afb:e146:b361:288c) (Ping timeout: 248 seconds) |
| 2022-09-10 03:44:39 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-10 03:46:26 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-10 03:47:49 +0200 | califax | (~califax@user/califx) |
| 2022-09-10 03:57:06 +0200 | buster_blue[m] | (~busterblu@2001:470:69fc:105::1:d7e8) |
| 2022-09-10 03:58:43 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-10 04:02:59 +0200 | guyst_ | (~guyst@213.205.241.185) (Ping timeout: 252 seconds) |
| 2022-09-10 04:03:50 +0200 | mikess | (~sam@user/mikess) |
| 2022-09-10 04:05:23 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2022-09-10 04:05:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7afb:e146:b361:288c) |
| 2022-09-10 04:05:42 +0200 | mikess | (~sam@user/mikess) (Client Quit) |
| 2022-09-10 04:07:14 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-10 04:11:13 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-10 04:12:24 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2022-09-10 04:12:42 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2022-09-10 04:23:53 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-10 04:24:18 +0200 | <johnjaye> | i've been reading this blog post on category theory and haskell but i'm having trouble with it. he says that void in C is like a morphism from a set A to a singleton set. |
| 2022-09-10 04:24:47 +0200 | <johnjaye> | for example void func(int a) { a+=1; } |
| 2022-09-10 04:26:17 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-10 04:26:49 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-10 04:28:19 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-09-10 04:32:11 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 04:36:19 +0200 | td_ | (~td@94.134.91.37) (Ping timeout: 248 seconds) |
| 2022-09-10 04:36:56 +0200 | <dolio> | Yeah? |
| 2022-09-10 04:38:12 +0200 | td_ | (~td@muedsl-82-207-238-006.citykom.de) |
| 2022-09-10 04:39:29 +0200 | <dsal> | I think they're distracting you by also doing something nobody can observe. |
| 2022-09-10 04:40:35 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-10 04:41:21 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 04:41:44 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-10 04:42:33 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-10 04:43:15 +0200 | califax | (~califax@user/califx) |
| 2022-09-10 04:46:22 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-10 04:47:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-10 04:47:50 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-10 04:47:50 +0200 | finn_elija | FinnElija |
| 2022-09-10 04:48:23 +0200 | <dolio> | Disappointing. I was ready to talk about some category theory. |
| 2022-09-10 04:49:22 +0200 | luffy | (~chenqisu1@183.217.201.192) (Remote host closed the connection) |
| 2022-09-10 04:49:53 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-10 04:55:53 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-10 04:56:38 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-10 05:01:34 +0200 | mikess | (~sam@user/mikess) |
| 2022-09-10 05:02:02 +0200 | mikess | (~sam@user/mikess) (Client Quit) |
| 2022-09-10 05:03:17 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:92e2:67dd:5673:6729) (Remote host closed the connection) |
| 2022-09-10 05:09:04 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-10 05:10:58 +0200 | raym | (~raym@user/raym) |
| 2022-09-10 05:11:21 +0200 | <johnjaye> | well. i guess that's what i was asking |
| 2022-09-10 05:11:40 +0200 | <johnjaye> | maybe there's a better source on category theory than this blog post as it relates to haskell |
| 2022-09-10 05:12:13 +0200 | <johnjaye> | apparently Set gets renamed to Hask at one point |
| 2022-09-10 05:12:24 +0200 | <johnjaye> | _|_ was also mentioned. |
| 2022-09-10 05:13:07 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2022-09-10 05:15:19 +0200 | <dolio> | Yes, void is like a singleton set. That function always returns the same, completely uninformative value, in a manner of speaking. |
| 2022-09-10 05:16:32 +0200 | <dolio> | Functions in C don't exactly match up with mathematical functions on the given types, because there are side effects and stuff, though. |
| 2022-09-10 05:16:45 +0200 | <[Leary]> | johnjaye: I suspect that a blog post relating Haskell to Category Theory doesn't have much value unless you already know one of the two. It's like trying to use a French to Spanish dictionary when you only speak English. |
| 2022-09-10 05:20:04 +0200 | <[Leary]> | Though this case doesn't really need any CT. What it comes down to, is that the choice of an element of a given singleton set does not encode any information. It's the closest option to "returning nothing" that a (total) function (of non-empty domain) has. In the impure, mutable context of C, that function is something like `Int -> ()`. In Haskell, it's `IORef Int -> IO ()`. Either way, () is a singleton type, and it's there because the function does |
| 2022-09-10 05:20:04 +0200 | <[Leary]> | n't have anything else to say. |
| 2022-09-10 05:32:33 +0200 | <EvanR> | because returning a null pointer would be all the wrong kinds of fun |
| 2022-09-10 05:35:11 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-10 05:40:21 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Ping timeout: 244 seconds) |
| 2022-09-10 05:42:13 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-10 05:48:35 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 06:02:27 +0200 | <johnjaye> | ah ok. i assume this is related to the haskell-curry correspondence and such |
| 2022-09-10 06:02:41 +0200 | <johnjaye> | so i was wondering if there were any documents i missed about it |
| 2022-09-10 06:04:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-10 06:04:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 06:11:43 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 06:12:13 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-09-10 06:15:06 +0200 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 260 seconds) |
| 2022-09-10 06:16:58 +0200 | koolazer | (~koo@user/koolazer) (Read error: Connection reset by peer) |
| 2022-09-10 06:19:45 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-10 06:21:24 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-10 06:22:19 +0200 | justJingo | (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 06:22:42 +0200 | justache | (~justache@user/justache) |
| 2022-09-10 06:25:49 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 06:35:40 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:7194:db6b:564d:bfb9) (Quit: caryhartline) |
| 2022-09-10 06:36:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-10 06:42:43 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2022-09-10 06:43:41 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Ping timeout: 260 seconds) |
| 2022-09-10 06:45:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 06:49:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-10 06:52:19 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-09-10 06:57:07 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-09-10 07:02:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 07:12:13 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 07:19:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-10 07:23:15 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-09-10 07:26:59 +0200 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 248 seconds) |
| 2022-09-10 07:34:21 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-10 07:41:48 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 07:42:57 +0200 | razetime | (~quassel@117.254.34.232) |
| 2022-09-10 07:51:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 08:02:23 +0200 | ormaaj | ormaaj2 |
| 2022-09-10 08:03:03 +0200 | ormaaj2 | ormaaaj |
| 2022-09-10 08:03:56 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-10 08:07:31 +0200 | biberu | (~biberu@user/biberu) |
| 2022-09-10 08:09:08 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2022-09-10 08:10:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-10 08:11:04 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-10 08:12:47 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-10 08:13:03 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-10 08:13:48 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-10 08:14:41 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 08:15:26 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-10 08:15:30 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-10 08:16:35 +0200 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 248 seconds) |
| 2022-09-10 08:20:23 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-10 08:20:32 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-10 08:28:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-10 08:30:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 08:31:36 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 260 seconds) |
| 2022-09-10 08:31:55 +0200 | vglfr | (~vglfr@145.224.94.248) |
| 2022-09-10 08:32:45 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:fe00:b62b:4d00:b365:1fd8) |
| 2022-09-10 08:33:37 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 08:34:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-10 08:35:53 +0200 | mastarija | (~mastarija@46.188.135.255) |
| 2022-09-10 08:36:58 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-09-10 08:40:33 +0200 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 252 seconds) |
| 2022-09-10 08:51:43 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-10 08:55:38 +0200 | vglfr | (~vglfr@145.224.94.221) |
| 2022-09-10 09:02:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 09:03:21 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-10 09:03:29 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-10 09:04:17 +0200 | MoC | (~moc@user/moc) |
| 2022-09-10 09:12:38 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 09:18:54 +0200 | razetime | (~quassel@117.254.34.232) (Ping timeout: 244 seconds) |
| 2022-09-10 09:27:54 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-09-10 09:30:54 +0200 | acidjnk | (~acidjnk@p200300d6e7137a4691693eacd7b318b7.dip0.t-ipconnect.de) |
| 2022-09-10 09:30:55 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a4691693eacd7b318b7.dip0.t-ipconnect.de) |
| 2022-09-10 09:31:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 09:33:52 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-09-10 09:41:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-10 09:43:42 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-10 09:45:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 09:47:47 +0200 | mastarija | (~mastarija@46.188.135.255) (Ping timeout: 248 seconds) |
| 2022-09-10 09:48:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a4691693eacd7b318b7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-10 09:48:01 +0200 | acidjnk | (~acidjnk@p200300d6e7137a4691693eacd7b318b7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-10 09:48:45 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-10 09:49:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-10 09:50:03 +0200 | mastarija | (~mastarija@46.188.135.255) |
| 2022-09-10 09:52:45 +0200 | jargon | (~jargon@184.101.66.251) (Remote host closed the connection) |
| 2022-09-10 09:54:43 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 248 seconds) |
| 2022-09-10 10:00:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-10 10:02:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 10:04:52 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-10 10:11:24 +0200 | mastarija | (~mastarija@46.188.135.255) (Quit: WeeChat 3.5) |
| 2022-09-10 10:11:44 +0200 | mastarija | (~mastarija@46.188.135.255) |
| 2022-09-10 10:11:59 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 10:18:11 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 2022-09-10 10:19:15 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-09-10 10:19:16 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 10:19:21 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-10 10:19:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 10:24:03 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-09-10 10:26:49 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2022-09-10 10:27:01 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2022-09-10 10:32:14 +0200 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) |
| 2022-09-10 10:33:18 +0200 | <mjrosenb> | I'm trying to build something with ghcjs, and when I add in a reference to Commonmark.commonmark, the linking phase starts to fail with running out of stack |
| 2022-09-10 10:33:37 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 10:34:56 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-10 10:36:11 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:6d92:6ba0:2cf1:bf18) |
| 2022-09-10 10:39:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-10 10:40:01 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-09-10 10:40:54 +0200 | <mjrosenb> | Linking dist/build/htalk-client/htalk-client.jsexe (Main) |
| 2022-09-10 10:40:55 +0200 | <mjrosenb> | stack overflow: use +RTS -K<size> to increase it |
| 2022-09-10 10:41:11 +0200 | <mjrosenb> | is the exact error, not that it has any useful informaion in it. |
| 2022-09-10 10:46:14 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2022-09-10 10:47:04 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:c24f:b04e:32d4:e421) |
| 2022-09-10 10:47:50 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:c24f:b04e:32d4:e421) (Client Quit) |
| 2022-09-10 10:49:00 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:c24f:b04e:32d4:e421) |
| 2022-09-10 10:49:41 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-10 10:49:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 10:54:38 +0200 | <mjrosenb> | oh joy, I can reference the function |
| 2022-09-10 10:54:49 +0200 | <mjrosenb> | but when I try to do something with the result, the linker gets sad |
| 2022-09-10 10:56:35 +0200 | <mjrosenb> | printing it, or even matching on the result causes an issue. I wonder if this has to do with the polymorphism in the return of it. I'm asking it to return Html () |
| 2022-09-10 10:56:40 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-10 10:57:00 +0200 | <mjrosenb> | I wonder if they have any other data types implementing that typeclass |
| 2022-09-10 10:57:20 +0200 | Guest8 | (~Guest8@p200300ef9718354a03cb9868a876eda3.dip0.t-ipconnect.de) |
| 2022-09-10 10:57:55 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:6d92:6ba0:2cf1:bf18) (Remote host closed the connection) |
| 2022-09-10 10:58:13 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:ea38:ab1b:9b5d:9cb6) |
| 2022-09-10 11:00:02 +0200 | <mjrosenb> | class (Monoid b, Show b, Rangeable b, IsInline il, HasAttributes b) => IsBlock il b | b -> il where |
| 2022-09-10 11:00:11 +0200 | <mjrosenb> | methinks I am too tired to implement that right now. |
| 2022-09-10 11:00:23 +0200 | isolateminds | (~danny@c-73-139-200-93.hsd1.fl.comcast.net) |
| 2022-09-10 11:03:01 +0200 | <isolateminds> | Hello |
| 2022-09-10 11:06:15 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:ea38:ab1b:9b5d:9cb6) (Remote host closed the connection) |
| 2022-09-10 11:07:40 +0200 | isolateminds | (~danny@c-73-139-200-93.hsd1.fl.comcast.net) () |
| 2022-09-10 11:07:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-10 11:09:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-10 11:10:59 +0200 | tcard | (~tcard@p1094022-ipngn10701hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 248 seconds) |
| 2022-09-10 11:16:33 +0200 | razetime | (~quassel@117.254.34.232) |
| 2022-09-10 11:18:15 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-10 11:22:04 +0200 | isolateminds | (~danny@c-73-139-200-93.hsd1.fl.comcast.net) |
| 2022-09-10 11:23:57 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-10 11:28:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-10 11:30:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-10 11:30:22 +0200 | potash | (~foghorn@user/foghorn) |
| 2022-09-10 11:36:44 +0200 | goldstein | (~goldstein@static.234.8.201.195.clients.your-server.de) |
| 2022-09-10 11:38:01 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-10 11:38:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 11:39:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-10 11:42:42 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-10 11:42:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-10 11:44:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-09-10 11:45:06 +0200 | hippoid | (~idris@ec2-107-22-56-196.compute-1.amazonaws.com) |
| 2022-09-10 11:47:22 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-10 11:47:52 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-10 11:47:58 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-10 11:49:01 +0200 | Guest8 | (~Guest8@p200300ef9718354a03cb9868a876eda3.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2022-09-10 11:50:09 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 11:52:14 +0200 | isolateminds | (~danny@c-73-139-200-93.hsd1.fl.comcast.net) (Quit: Lost terminal) |
| 2022-09-10 11:56:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 11:57:30 +0200 | mmhat | (~mmh@p200300f1c728cc1aee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-09-10 12:00:37 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-10 12:02:08 +0200 | mastarija | (~mastarija@46.188.135.255) (Quit: WeeChat 3.5) |
| 2022-09-10 12:05:25 +0200 | oldsk00l | (~znc@ec2-18-134-177-246.eu-west-2.compute.amazonaws.com) |
| 2022-09-10 12:07:52 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-09-10 12:12:30 +0200 | jargon | (~jargon@184.101.66.251) |
| 2022-09-10 12:13:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 12:17:44 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 12:17:45 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-10 12:23:28 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-09-10 12:31:20 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 12:32:08 +0200 | mehrad | (~mehrad@host-a59myvj.static.zeelandnet.nl) |
| 2022-09-10 12:32:14 +0200 | mehrad | (~mehrad@host-a59myvj.static.zeelandnet.nl) (Client Quit) |
| 2022-09-10 12:37:13 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-10 12:40:22 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-10 12:41:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 12:42:15 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-10 12:43:05 +0200 | tcard | (~tcard@p1773251-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-10 12:44:41 +0200 | tcard_ | (~tcard@p1773251-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-10 12:44:55 +0200 | tcard | (~tcard@p1773251-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Read error: Connection reset by peer) |
| 2022-09-10 12:45:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-10 12:46:58 +0200 | tcard_ | (~tcard@p1773251-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Remote host closed the connection) |
| 2022-09-10 12:47:11 +0200 | tcard_ | (~tcard@p1773251-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-10 12:48:47 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-10 12:50:28 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-10 12:51:12 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-10 12:57:00 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-10 12:58:11 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-10 12:58:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 13:12:35 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 13:15:33 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-10 13:16:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 13:17:53 +0200 | titibandit | (~titibandi@xdsl-85-197-3-115.nc.de) |
| 2022-09-10 13:29:32 +0200 | Successus | (~Successus@user/Successus) |
| 2022-09-10 13:32:39 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 2022-09-10 13:33:07 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-10 13:33:11 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-09-10 13:37:05 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-10 13:38:28 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-10 13:43:26 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-10 13:44:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 13:44:16 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-10 13:46:06 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 13:48:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-10 13:49:39 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-09-10 13:52:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-10 13:52:29 +0200 | kenran | (~kenran@200116b82b0a4200fa65784654f4f9a3.dip.versatel-1u1.de) |
| 2022-09-10 13:52:43 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-10 13:52:48 +0200 | kenran | (~kenran@200116b82b0a4200fa65784654f4f9a3.dip.versatel-1u1.de) (Client Quit) |
| 2022-09-10 13:57:01 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 14:01:57 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-09-10 14:02:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 14:11:39 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-10 14:14:44 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 14:14:54 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2022-09-10 14:20:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-10 14:20:27 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-10 14:26:27 +0200 | mrmr | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 2022-09-10 14:26:44 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2022-09-10 14:27:09 +0200 | Topsi | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) |
| 2022-09-10 14:27:16 +0200 | odnes | (~odnes@5-203-227-103.pat.nym.cosmote.net) |
| 2022-09-10 14:27:46 +0200 | mbuf | (~Shakthi@91.208.88.13) |
| 2022-09-10 14:28:42 +0200 | Andrew | (Andrew@user/AndrewYu) (Quit: Disappearing for a while, email me if you need to talk: andrew AT andrewyu DOT org.) |
| 2022-09-10 14:35:58 +0200 | zachel_ | (~zachel@user/zachel) (Quit: DIsconnected: v7+nano) |
| 2022-09-10 14:37:26 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-10 14:42:01 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-10 14:43:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-10 14:43:46 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-10 14:43:50 +0200 | zachel | (~zachel@user/zachel) (Quit: DIsconnected: v7+nano) |
| 2022-09-10 14:45:48 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-10 14:47:57 +0200 | phma | (~phma@host-67-44-209-14.hnremote.net) (Ping timeout: 252 seconds) |
| 2022-09-10 14:48:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 14:49:37 +0200 | phma | (phma@2001:5b0:211f:e9a8:6c19:a290:295f:6fac) |
| 2022-09-10 14:50:01 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-09-10 14:50:03 +0200 | zachel | (~zachel@user/zachel) (Client Quit) |
| 2022-09-10 14:50:22 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-10 14:52:00 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-10 14:52:06 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-10 15:06:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 15:08:01 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-10 15:14:11 +0200 | phma | (phma@2001:5b0:211f:e9a8:6c19:a290:295f:6fac) (Read error: Connection reset by peer) |
| 2022-09-10 15:14:14 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-10 15:16:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-10 15:19:44 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 15:20:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 15:22:03 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-10 15:23:00 +0200 | phma | (~phma@host-67-44-208-193.hnremote.net) |
| 2022-09-10 15:24:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-10 15:28:04 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 15:28:13 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-09-10 15:33:25 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-10 15:36:23 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-10 15:38:43 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-09-10 15:41:51 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-10 15:43:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-10 15:47:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-09-10 15:52:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 15:53:37 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-10 15:54:21 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-09-10 16:00:43 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-10 16:03:51 +0200 | odnes | (~odnes@5-203-227-103.pat.nym.cosmote.net) (Ping timeout: 252 seconds) |
| 2022-09-10 16:04:21 +0200 | titibandit | (~titibandi@xdsl-85-197-3-115.nc.de) (Quit: Leaving.) |
| 2022-09-10 16:05:02 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 16:06:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-10 16:12:12 +0200 | odnes | (~odnes@5-203-227-103.pat.nym.cosmote.net) |
| 2022-09-10 16:13:00 +0200 | mbuf | (~Shakthi@91.208.88.13) (Read error: Connection reset by peer) |
| 2022-09-10 16:14:24 +0200 | mbuf | (~Shakthi@91.208.88.13) |
| 2022-09-10 16:15:16 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-09-10 16:16:37 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-10 16:17:05 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-10 16:21:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-10 16:24:25 +0200 | titibandit | (~titibandi@xdsl-85-197-3-115.nc.de) |
| 2022-09-10 16:26:26 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:fe00:b62b:4d00:b365:1fd8) (Ping timeout: 260 seconds) |
| 2022-09-10 16:27:11 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-10 16:36:22 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-10 16:37:10 +0200 | jinsun | Guest507 |
| 2022-09-10 16:37:11 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-10 16:37:11 +0200 | Guest507 | (~jinsun@user/jinsun) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 2022-09-10 16:37:11 +0200 | jinsun__ | jinsun |
| 2022-09-10 16:41:19 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-10 16:41:19 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2022-09-10 16:41:19 +0200 | jinsun__ | jinsun |
| 2022-09-10 16:46:24 +0200 | mbuf | (~Shakthi@91.208.88.13) (Read error: Connection reset by peer) |
| 2022-09-10 16:46:54 +0200 | mbuf | (~Shakthi@91.208.88.13) |
| 2022-09-10 16:51:35 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 16:54:20 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2022-09-10 16:54:36 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-10 16:55:44 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2022-09-10 16:56:58 +0200 | mbuf | (~Shakthi@91.208.88.13) (Read error: Connection reset by peer) |
| 2022-09-10 16:57:24 +0200 | mbuf | (~Shakthi@91.208.88.13) |
| 2022-09-10 16:59:06 +0200 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 260 seconds) |
| 2022-09-10 16:59:53 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-10 17:01:24 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-09-10 17:02:24 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-10 17:03:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-09-10 17:04:35 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 248 seconds) |
| 2022-09-10 17:06:15 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-09-10 17:14:55 +0200 | fjMSX | (~hypni2p@128-68-149-52.broadband.corbina.ru) (Quit: Уш'лЪЬ їз єтой IRC сетї) |
| 2022-09-10 17:15:16 +0200 | fjMSX | (~hypni2p@128-68-149-52.broadband.corbina.ru) |
| 2022-09-10 17:15:33 +0200 | beteigeuze | (~Thunderbi@p5090d00a.dip0.t-ipconnect.de) |
| 2022-09-10 17:16:47 +0200 | odnes_ | (~odnes@5-203-232-136.pat.nym.cosmote.net) |
| 2022-09-10 17:17:46 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-10 17:19:11 +0200 | odnes | (~odnes@5-203-227-103.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-09-10 17:19:20 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-09-10 17:19:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-10 17:19:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 17:19:33 +0200 | mbuf | (~Shakthi@91.208.88.13) (Quit: Leaving) |
| 2022-09-10 17:21:31 +0200 | euandreh | (~euandreh@179.214.113.107) |
| 2022-09-10 17:24:35 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-10 17:28:48 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-09-10 17:29:00 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 17:30:52 +0200 | MoC | (~moc@user/moc) |
| 2022-09-10 17:32:30 +0200 | <xsebek> | Hi, is there a way to change executable datadir at compile time? |
| 2022-09-10 17:33:05 +0200 | <xsebek> | Say I wanted it to point at /usr/share/my-app instead of $HOME/.cabal/store/ghc.../my-app/.../share |
| 2022-09-10 17:34:07 +0200 | <xsebek> | I would expect the cabal install --datadir option to do that, but it does not seem to change anything |
| 2022-09-10 17:34:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 17:35:06 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-10 17:39:28 +0200 | raym_ | (~raym@user/raym) |
| 2022-09-10 17:41:41 +0200 | raym | (~raym@user/raym) (Ping timeout: 260 seconds) |
| 2022-09-10 17:47:10 +0200 | odnes_ | (~odnes@5-203-232-136.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-09-10 17:47:16 +0200 | odnes_ | (~odnes@5-203-232-136.pat.nym.cosmote.net) |
| 2022-09-10 17:48:51 +0200 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 244 seconds) |
| 2022-09-10 17:51:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-10 17:51:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 18:01:37 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-10 18:01:46 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-10 18:02:00 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-10 18:02:58 +0200 | <sm[i]_> | test from irc |
| 2022-09-10 18:03:10 +0200 | <sm1> | test from matrix |
| 2022-09-10 18:03:13 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-10 18:04:04 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-10 18:05:18 +0200 | sm[i]_ | sm[i] |
| 2022-09-10 18:05:18 +0200 | sm[i] | (~user@li229-222.members.linode.com) (Changing host) |
| 2022-09-10 18:05:18 +0200 | sm[i] | (~user@plaintextaccounting/sm) |
| 2022-09-10 18:06:27 +0200 | sm1 | sm |
| 2022-09-10 18:06:50 +0200 | califax | (~califax@user/califx) |
| 2022-09-10 18:07:33 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-09-10 18:12:25 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Remote host closed the connection) |
| 2022-09-10 18:16:52 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:9c09:b6dc:9188:4242) |
| 2022-09-10 18:17:38 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-10 18:18:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-10 18:21:40 +0200 | <sm> | matrix.org/libera bridging is having a multi-day partial outage, https://github.com/matrix-org/matrix-appservice-irc/issues/1601 |
| 2022-09-10 18:22:14 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 18:22:33 +0200 | gaff | (~gaff@49.207.211.188) |
| 2022-09-10 18:22:39 +0200 | gaff | (~gaff@49.207.211.188) (Client Quit) |
| 2022-09-10 18:22:39 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-09-10 18:23:06 +0200 | econo | (uid147250@user/econo) |
| 2022-09-10 18:23:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 18:25:36 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 18:27:52 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-10 18:29:37 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-10 18:30:11 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-10 18:31:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 18:32:21 +0200 | raym_ | raym |
| 2022-09-10 18:39:14 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-10 18:40:06 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-10 18:43:44 +0200 | YawnyYak | (~YawnyYak@146.70.119.78) |
| 2022-09-10 18:45:10 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-10 18:45:24 +0200 | YawnyYak | (~YawnyYak@146.70.119.78) (Remote host closed the connection) |
| 2022-09-10 18:46:05 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-09-10 18:48:58 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-10 18:50:21 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 244 seconds) |
| 2022-09-10 18:51:05 +0200 | goldstein | (~goldstein@static.234.8.201.195.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 18:53:57 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-10 18:54:46 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 18:56:13 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 18:59:30 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Client Quit) |
| 2022-09-10 18:59:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 19:00:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-10 19:01:16 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 19:05:30 +0200 | <EvanR> | this is from the B user reference. https://i.imgur.com/i2ktmiE.png a more civilized time when it was clear you had to specify associativity and evaluation order |
| 2022-09-10 19:05:54 +0200 | <EvanR> | this guide reads like an ancient version of D&D |
| 2022-09-10 19:06:11 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-09-10 19:07:00 +0200 | <EvanR> | 20 pages with everything explained, relatively simple, in stark contrast to a modern C standard with is like 1000 pages |
| 2022-09-10 19:08:10 +0200 | <hpc> | and disturbingly much of that 1000 pages is "if you don't do it exactly right, the compiler can do whatever it wants" |
| 2022-09-10 19:08:20 +0200 | <monochrom> | I think it's only 700 pages. |
| 2022-09-10 19:09:34 +0200 | <monochrom> | Some of it proves your point, complications and abstractness due to trying to satisfy more committee members. |
| 2022-09-10 19:09:45 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Ping timeout: 252 seconds) |
| 2022-09-10 19:10:00 +0200 | <monochrom> | But some other of it is because B didn't have an optimizing compiler but C does. |
| 2022-09-10 19:10:10 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 19:10:33 +0200 | <EvanR> | ahhh, a feature (or lack thereof) only a haskeller could love https://i.imgur.com/E3IdPKj.png |
| 2022-09-10 19:10:57 +0200 | <monochrom> | There is a quadratic blowup when you cross pointer semantics with code optimization. |
| 2022-09-10 19:12:18 +0200 | <monochrom> | That is indeed a source of simplicity. |
| 2022-09-10 19:12:18 +0200 | vglfr | (~vglfr@145.224.94.221) (Read error: Connection reset by peer) |
| 2022-09-10 19:12:19 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-10 19:12:27 +0200 | vglfr | (~vglfr@145.224.94.221) |
| 2022-09-10 19:14:34 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Read error: Connection reset by peer) |
| 2022-09-10 19:14:36 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-10 19:14:54 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:fe00:5010:70b4:e094:50b5) |
| 2022-09-10 19:16:20 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 19:17:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-10 19:18:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 19:19:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-10 19:20:09 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-09-10 19:21:31 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-10 19:21:31 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-10 19:21:33 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-09-10 19:23:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 19:24:19 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-09-10 19:26:33 +0200 | goldstein | (~goldstein@goldstein.rs) |
| 2022-09-10 19:26:56 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-09-10 19:26:59 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Ping timeout: 252 seconds) |
| 2022-09-10 19:28:43 +0200 | odnes_ | (~odnes@5-203-232-136.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-09-10 19:29:18 +0200 | odnes_ | (~odnes@5-203-232-136.pat.nym.cosmote.net) |
| 2022-09-10 19:31:44 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-10 19:31:50 +0200 | vglfr | (~vglfr@145.224.94.221) (Read error: Connection reset by peer) |
| 2022-09-10 19:32:01 +0200 | vglfr | (~vglfr@145.224.94.221) |
| 2022-09-10 19:32:20 +0200 | razetime | (~quassel@117.254.34.232) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-10 19:32:33 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-09-10 19:34:07 +0200 | goldstein | (~goldstein@goldstein.rs) (Read error: Connection reset by peer) |
| 2022-09-10 19:34:37 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-10 19:35:02 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-09-10 19:35:14 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 19:36:22 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 19:38:58 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Client Quit) |
| 2022-09-10 19:39:32 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-09-10 19:41:05 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 19:41:16 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 19:43:57 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Client Quit) |
| 2022-09-10 19:44:09 +0200 | img | (~img@user/img) |
| 2022-09-10 19:46:08 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 19:46:09 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-10 19:46:14 +0200 | <EvanR> | "The character set used in B is ANSCII." :thonk: |
| 2022-09-10 19:47:07 +0200 | <EvanR> | ever heard of ANSCII |
| 2022-09-10 19:47:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-10 19:49:21 +0200 | <Clint> | no, but i've heard of VISCII |
| 2022-09-10 19:49:41 +0200 | <Rembane> | BSCII is better though |
| 2022-09-10 19:51:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-09-10 19:52:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 19:52:56 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 19:54:15 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 19:57:01 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 19:59:10 +0200 | <johnjaye> | any good books or resources on category theory? |
| 2022-09-10 19:59:21 +0200 | <johnjaye> | i don't want to learn haskell without also learning about drawing elaborate arrow diagrams |
| 2022-09-10 20:00:00 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-10 20:00:28 +0200 | <EvanR> | I like basic category theory by leinster https://arxiv.org/abs/1612.09375 |
| 2022-09-10 20:00:51 +0200 | <EvanR> | very little to do with haskell though |
| 2022-09-10 20:01:04 +0200 | <johnjaye> | but morphisms. and monads |
| 2022-09-10 20:01:22 +0200 | <johnjaye> | and like. proving programs correct with verifications |
| 2022-09-10 20:01:29 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 2022-09-10 20:02:13 +0200 | <EvanR> | not a damn thing about monads either |
| 2022-09-10 20:02:52 +0200 | <johnjaye> | ok. where do i go if i want to rigorously prove haskell programs are correct with predicate logic and categories |
| 2022-09-10 20:03:26 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-10 20:07:06 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-09-10 20:08:08 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 20:08:49 +0200 | <monochrom> | All of Richard Bird's books and papers? |
| 2022-09-10 20:10:18 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 20:11:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-10 20:13:23 +0200 | arjun | (~arjun@user/arjun) |
| 2022-09-10 20:14:26 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 20:15:16 +0200 | gera | (~gera@user/gera) |
| 2022-09-10 20:18:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-10 20:20:00 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Read error: Connection reset by peer) |
| 2022-09-10 20:20:31 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-09-10 20:20:50 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-10 20:21:55 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 20:24:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-10 20:24:53 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-10 20:30:15 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 2022-09-10 20:30:59 +0200 | gera | (~gera@user/gera) (Ping timeout: 248 seconds) |
| 2022-09-10 20:35:04 +0200 | Guest8 | (~Guest8@p200300ef97183563afe1a831f7e32e73.dip0.t-ipconnect.de) |
| 2022-09-10 20:36:50 +0200 | <Guest8> | If my recursive call in a depth first search looks like this go (adjacentNodesOf currentNode ++ stack) (currentNode : resultList) will I get quadratic behaviour because of the list concatenation? |
| 2022-09-10 20:37:51 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-10 20:38:56 +0200 | <EvanR> | shortlist ++ longlist is not bad |
| 2022-09-10 20:39:16 +0200 | <EvanR> | but it depends on how THAT is nested with itself in the overall algorithm |
| 2022-09-10 20:39:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 20:40:57 +0200 | <Guest8> | I think it'll be ok because the parens in the recursive calls go like this (adjNodesOf someNode ++ (adjNodesOf someOtherNode ++ (adjNodesOf yetAnother ++ [])))? |
| 2022-09-10 20:41:32 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-09-10 20:41:35 +0200 | <EvanR> | looks good |
| 2022-09-10 20:41:50 +0200 | simendsjo | (~user@84.211.91.241) |
| 2022-09-10 20:42:02 +0200 | <Guest8> | But innermost paren to the left would be a problem, wouldn't it? |
| 2022-09-10 20:42:45 +0200 | <EvanR> | then you reallocate the entire intermediate list up to that point for each ++ |
| 2022-09-10 20:42:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2022-09-10 20:43:11 +0200 | <EvanR> | so you can change the ending |
| 2022-09-10 20:43:58 +0200 | <EvanR> | which still beats doing list operations in ruby, which would reallocate the entire array for every operation xD |
| 2022-09-10 20:44:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-10 20:44:03 +0200 | <EvanR> | but is bad |
| 2022-09-10 20:44:40 +0200 | <Rembane> | Guest8: How big input can you do this on before it becomes painful? |
| 2022-09-10 20:44:42 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 20:45:12 +0200 | <int-e> | Guest8: Yeah that pattern is fine unless you worry about constant factors. (And if you do, Haskell might actually not be the ideal language for this stuff. Sadly.) |
| 2022-09-10 20:45:21 +0200 | <Guest8> | If I have an algorithm where ++ nests from the left would the Seq data structure be a solution? |
| 2022-09-10 20:45:48 +0200 | <int-e> | DList for some simple cases, Seq otherwise. |
| 2022-09-10 20:46:31 +0200 | <Guest8> | Rembane: I don't know. Haven't benchmarked anything. |
| 2022-09-10 20:46:33 +0200 | ddellacosta | (~ddellacos@143.244.47.67) |
| 2022-09-10 20:47:18 +0200 | <Rembane> | Guest8: Cool. :) |
| 2022-09-10 20:47:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-10 20:47:41 +0200 | <EvanR> | the pain test. If a ghci expression returns an answer instantly it's good. Otherwise it's bad xD |
| 2022-09-10 20:47:52 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 20:48:27 +0200 | <Guest8> | int-e: Did you run into situations where the constant factors were so bad that Haskell wasn't fast enough? Because if Haskell is too slow I think only something like c/c++/rust will help. |
| 2022-09-10 20:48:38 +0200 | <EvanR> | (sometimes "bad can be fixed by compiling the program with optimizations, but there still might be a problem) |
| 2022-09-10 20:48:47 +0200 | <Guest8> | EvanR: I will keep that in mind. :D |
| 2022-09-10 20:48:48 +0200 | <EvanR> | "bad" |
| 2022-09-10 20:49:00 +0200 | <int-e> | Guest8: This may be worth considering: processNode results x = foldl processNode (x : results) (adjacentNodes x) [untested, I may have swapped some arguments, the compiler will tell] |
| 2022-09-10 20:49:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 20:50:00 +0200 | arjun | (~arjun@user/arjun) (Quit: tip toe-ing my way outta here) |
| 2022-09-10 20:50:03 +0200 | <int-e> | Guest8: I've run into this quite a bit, and yeah, I usually switch to (a subset of) C++. |
| 2022-09-10 20:50:40 +0200 | GoldsteinQ | (~goldstein@static.234.8.201.195.clients.your-server.de) |
| 2022-09-10 20:50:48 +0200 | <EvanR> | you can hammer on knobs and levers in haskell to get more performance in many cases |
| 2022-09-10 20:50:51 +0200 | <int-e> | Combinatorial search problems tend to have the property that there's always a bigger instance. And when your prospective runtime is hours and more, you do care about constant factors. |
| 2022-09-10 20:51:16 +0200 | <int-e> | Haskell is still great for prototyping even in that niche. |
| 2022-09-10 20:51:18 +0200 | <EvanR> | but C++ has a reputation of having high performance no matter what you throw at it |
| 2022-09-10 20:51:48 +0200 | <darkling> | ... assuming you know how to write it that way. :) |
| 2022-09-10 20:51:56 +0200 | <int-e> | You want a good algorithm first, *then* implement it close to the "metal". |
| 2022-09-10 20:52:14 +0200 | <darkling> | Indeed. |
| 2022-09-10 20:52:23 +0200 | <int-e> | And, of course, computers aren't arbitrarily fast. |
| 2022-09-10 20:52:47 +0200 | <Guest8> | True. I just don't understand people who say Haskell is too slow and then go on to use Java, Python, JavaScript |
| 2022-09-10 20:52:55 +0200 | <EvanR> | luckily they can be arbitrarily slow so we can make DSLs resistant to timing attacks xD |
| 2022-09-10 20:54:05 +0200 | <EvanR> | haskell performance and java performance is probably a good competition |
| 2022-09-10 20:54:58 +0200 | <int-e> | JS VMs are pretty amazing too. |
| 2022-09-10 20:55:09 +0200 | <EvanR> | similar engineering factors and decades of improvements |
| 2022-09-10 20:55:37 +0200 | <EvanR> | javascript is just alien tech afaic |
| 2022-09-10 20:55:55 +0200 | <int-e> | Python... can be good if it's glue code around low-level kernels. So stuff like numpy isn't bad. |
| 2022-09-10 20:56:49 +0200 | <darkling> | I've seen some pretty damn fast Java, but it's messy. You shouldn't create or destroy objects, so there's singletons of containers of unused objects all over the place... |
| 2022-09-10 20:57:03 +0200 | <int-e> | But the Python VM doesn't have the magical properties that we see from Java and JS these days. |
| 2022-09-10 20:57:08 +0200 | GoldsteinQ | (~goldstein@static.234.8.201.195.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 20:59:15 +0200 | <Guest8> | Yes, but in my experience they don't beat Haskell by a large margin or at all. If you need every bit of performance then you have to choose group 1: c/c++/rust or maybe assembly. But I'd put Haskell in the second group behind that with e.g. Java. |
| 2022-09-10 21:02:44 +0200 | <hpc> | https://youtu.be/RfWGJS7rckk?t=36 on python performance |
| 2022-09-10 21:04:09 +0200 | vglfr | (~vglfr@145.224.94.221) (Ping timeout: 244 seconds) |
| 2022-09-10 21:04:28 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-10 21:05:18 +0200 | <int-e> | "you can't do a loop if you care about performance in Python" |
| 2022-09-10 21:05:28 +0200 | <EvanR> | haskell's compiler and performance is just a bonus for me |
| 2022-09-10 21:05:40 +0200 | <EvanR> | I'd probably use it if it was as slow as ruby |
| 2022-09-10 21:05:57 +0200 | <hpc> | ruby is a very expressive language |
| 2022-09-10 21:06:02 +0200 | <hpc> | you're getting what you pay for, in that way |
| 2022-09-10 21:06:03 +0200 | <EvanR> | sure it is |
| 2022-09-10 21:07:23 +0200 | <EvanR> | (you can probably pull some js vm style stuff to speed up ruby, but why) |
| 2022-09-10 21:07:50 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-10 21:08:13 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 21:08:56 +0200 | titibandit | (~titibandi@xdsl-85-197-3-115.nc.de) (Quit: Leaving.) |
| 2022-09-10 21:09:05 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-09-10 21:09:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 21:10:32 +0200 | <int-e> | hpc: Did you listen to the part about Lisp too? Because that also applies to Haskell to some extent at least. |
| 2022-09-10 21:11:00 +0200 | <hpc> | i listened to the whole podcast :D |
| 2022-09-10 21:11:22 +0200 | <hpc> | at one point i think he was trying to learn haskell by porting doom to it, no idea how far that went though |
| 2022-09-10 21:13:01 +0200 | <int-e> | (`lens` is probably the most pervasive example of this kind of thing. you may know Haskell the language, and still not understand a single incantation involving that abstraction and its arcane collection of infix operators.) |
| 2022-09-10 21:15:14 +0200 | ZachPizazz | (~ZachPizaz@c-73-242-199-239.hsd1.nm.comcast.net) |
| 2022-09-10 21:15:16 +0200 | acidjnk | (~acidjnk@p200300d6e7137a874d2a610757c4d695.dip0.t-ipconnect.de) |
| 2022-09-10 21:17:03 +0200 | Guest|28 | (~Guest|28@host31.181-4-170.telecom.net.ar) |
| 2022-09-10 21:17:24 +0200 | Guest|28 | (~Guest|28@host31.181-4-170.telecom.net.ar) (Client Quit) |
| 2022-09-10 21:20:02 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.6) |
| 2022-09-10 21:20:52 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-09-10 21:23:56 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 21:25:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 21:27:43 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-09-10 21:28:08 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 21:28:52 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-10 21:29:19 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 2022-09-10 21:30:01 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 21:30:34 +0200 | <EvanR> | yeah the doom code is hilariously dysfunctional xD |
| 2022-09-10 21:30:53 +0200 | <EvanR> | but now I'm intrigued |
| 2022-09-10 21:32:14 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Quit: king_gs) |
| 2022-09-10 21:32:14 +0200 | vglfr | (~vglfr@145.224.94.221) |
| 2022-09-10 21:32:35 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 244 seconds) |
| 2022-09-10 21:33:24 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Client Quit) |
| 2022-09-10 21:33:36 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-10 21:37:21 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 21:37:37 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (Remote host closed the connection) |
| 2022-09-10 21:37:53 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2022-09-10 21:38:53 +0200 | pavonia | (~user@user/siracusa) |
| 2022-09-10 21:41:48 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-09-10 21:46:32 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 21:49:49 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 21:51:34 +0200 | <Hecate> | Would I sound crazy if I was to suggest closed type families? |
| 2022-09-10 21:51:42 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 21:51:44 +0200 | <Hecate> | ARGH |
| 2022-09-10 21:51:46 +0200 | <Hecate> | closed typeclasses |
| 2022-09-10 21:51:50 +0200 | <Hecate> | that is what I meant |
| 2022-09-10 21:51:55 +0200 | <Hecate> | just like closed type families |
| 2022-09-10 21:53:29 +0200 | <dolio> | Would that let you write more sophisticated 'backtracking' type stuff without having to solve the issues with that? |
| 2022-09-10 21:53:32 +0200 | <geekosaur> | they'd have to be implemented differently from current typeclasses, I think |
| 2022-09-10 21:54:06 +0200 | <geekosaur> | although I think by necessity the compiler would have to be able to resolve their dictionaries during compilation so that might not be a problem\ |
| 2022-09-10 21:54:58 +0200 | <dolio> | I guess the problems with backtracking aren't entirely with the class in question being closed. |
| 2022-09-10 21:56:27 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Client Quit) |
| 2022-09-10 21:57:34 +0200 | titibandit | (~titibandi@xdsl-85-197-3-115.nc.de) |
| 2022-09-10 21:57:52 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-10 21:59:48 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-10 21:59:49 +0200 | <geekosaur> | what problem would this be solving? |
| 2022-09-10 22:00:59 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-10 22:01:02 +0200 | GoldsteinQ | (~goldstein@static.234.8.201.195.clients.your-server.de) |
| 2022-09-10 22:01:28 +0200 | dsrt^ | (~dsrt@70.88.176.185) |
| 2022-09-10 22:02:46 +0200 | GoldsteinQ | (~goldstein@static.234.8.201.195.clients.your-server.de) (Client Quit) |
| 2022-09-10 22:04:31 +0200 | califax | (~califax@user/califx) |
| 2022-09-10 22:05:22 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-10 22:05:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-10 22:06:48 +0200 | <dolio> | I guess it could be used to write functions over closed type/data families. |
| 2022-09-10 22:12:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-10 22:17:06 +0200 | Topsi1 | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) |
| 2022-09-10 22:19:35 +0200 | Topsi2 | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) |
| 2022-09-10 22:20:03 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-10 22:20:19 +0200 | Topsi | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) (Ping timeout: 248 seconds) |
| 2022-09-10 22:20:51 +0200 | dsrt^ | (~dsrt@70.88.176.185) (Ping timeout: 248 seconds) |
| 2022-09-10 22:22:59 +0200 | Topsi1 | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) (Ping timeout: 252 seconds) |
| 2022-09-10 22:27:06 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-10 22:27:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-10 22:31:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 22:35:33 +0200 | ds-ac | (ds-ac@user/ds-ac) |
| 2022-09-10 22:37:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-10 22:39:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-10 22:40:37 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-10 22:50:05 +0200 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 244 seconds) |
| 2022-09-10 22:50:31 +0200 | euandreh | (~euandreh@179.214.113.107) |
| 2022-09-10 22:50:51 +0200 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 252 seconds) |
| 2022-09-10 22:57:23 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-10 22:57:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-10 23:01:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-10 23:02:56 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 23:03:56 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-10 23:04:08 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-10 23:05:14 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:fe00:5010:70b4:e094:50b5) (Ping timeout: 268 seconds) |
| 2022-09-10 23:05:59 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-09-10 23:06:56 +0200 | Gav60 | (~Gav@69.162.228.202) |
| 2022-09-10 23:07:09 +0200 | Gav60 | (~Gav@69.162.228.202) (Client Quit) |
| 2022-09-10 23:07:32 +0200 | GavOnyx | (~GavOnyx@69.162.228.202) |
| 2022-09-10 23:08:10 +0200 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-09-10 23:09:11 +0200 | henninb | (~henninb@97-116-154-134.mpls.qwest.net) |
| 2022-09-10 23:10:04 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-09-10 23:13:06 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-09-10 23:14:09 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-10 23:18:04 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-10 23:24:02 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-10 23:27:09 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 252 seconds) |
| 2022-09-10 23:31:11 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-10 23:31:17 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2022-09-10 23:33:26 +0200 | GavOnyx | (~GavOnyx@69.162.228.202) (Quit: Client closed) |
| 2022-09-10 23:34:06 +0200 | Guest8 | (~Guest8@p200300ef97183563afe1a831f7e32e73.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2022-09-10 23:41:12 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2022-09-10 23:42:47 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-09-10 23:44:40 +0200 | odnes_ | (~odnes@5-203-232-136.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-09-10 23:44:45 +0200 | dsrt^ | (~dsrt@70.88.176.185) |
| 2022-09-10 23:48:47 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-09-10 23:51:10 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-10 23:51:31 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-10 23:55:36 +0200 | acidjnk | (~acidjnk@p200300d6e7137a874d2a610757c4d695.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-10 23:56:46 +0200 | mmhat | (~mmh@p200300f1c728cc1aee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
