| 2022-07-09 00:00:48 +0200 | thatcher | (lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-09 00:01:26 +0200 | thatcher | (lp0@heathens.club) |
| 2022-07-09 00:01:30 +0200 | yauhsien | (~yauhsien@61-231-36-12.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-07-09 00:05:23 +0200 | michalz | (~michalz@185.246.204.72) (Remote host closed the connection) |
| 2022-07-09 00:09:36 +0200 | Topsi | (~Topsi@host-88-217-154-179.customer.m-online.net) (Read error: Connection reset by peer) |
| 2022-07-09 00:09:40 +0200 | slac11860 | (~slack1256@191.126.227.78) (Remote host closed the connection) |
| 2022-07-09 00:15:30 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-09 00:15:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 00:15:48 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) |
| 2022-07-09 00:17:17 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-09 00:21:45 +0200 | pragma- | (~chaos@user/pragmatic-chaos) (Bye!) |
| 2022-07-09 00:23:13 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Remote host closed the connection) |
| 2022-07-09 00:23:32 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-09 00:23:38 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-09 00:28:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-09 00:32:59 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2022-07-09 00:35:22 +0200 | dudek | (~dudek@185.150.236.103) (Quit: Leaving) |
| 2022-07-09 00:35:25 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 00:36:30 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2022-07-09 00:40:14 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-07-09 00:41:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 00:41:16 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2022-07-09 00:41:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 00:46:53 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2022-07-09 00:48:41 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-07-09 00:49:49 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2022-07-09 00:49:50 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2022-07-09 00:49:50 +0200 | haritz | (~hrtz@user/haritz) |
| 2022-07-09 00:49:51 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-07-09 00:54:33 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2022-07-09 00:57:56 +0200 | phma | (phma@2001:5b0:215a:f018:4fce:809b:f264:f166) (Read error: Connection reset by peer) |
| 2022-07-09 00:58:37 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-09 01:04:23 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) |
| 2022-07-09 01:05:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 01:05:22 +0200 | adrazalan | (~adrazalan@42.191.189.65) |
| 2022-07-09 01:06:38 +0200 | dostoevsky2 | (~5c42c5384@user/dostoevsky) |
| 2022-07-09 01:07:36 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) |
| 2022-07-09 01:07:37 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Read error: Connection reset by peer) |
| 2022-07-09 01:07:38 +0200 | dostoevsky2 | dostoevsky |
| 2022-07-09 01:07:56 +0200 | phma | (phma@2001:5b0:215d:f9b8:8b32:f15e:1903:26cf) |
| 2022-07-09 01:08:10 +0200 | dos__^^ | (~user@user/dos/x-1723657) (Read error: Connection reset by peer) |
| 2022-07-09 01:09:50 +0200 | adrazalan | (~adrazalan@42.191.189.65) (Ping timeout: 240 seconds) |
| 2022-07-09 01:12:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-09 01:12:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 01:12:58 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-09 01:13:17 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-09 01:14:52 +0200 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-07-09 01:16:02 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-09 01:17:07 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 256 seconds) |
| 2022-07-09 01:17:50 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds) |
| 2022-07-09 01:19:27 +0200 | beka | (~beka@104-244-24-117.PUBLIC.monkeybrains.net) |
| 2022-07-09 01:23:00 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-09 01:23:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-09 01:26:01 +0200 | causal | (~user@50.35.83.177) |
| 2022-07-09 01:31:08 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-09 01:31:11 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-07-09 01:35:14 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-07-09 01:35:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2022-07-09 01:36:29 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-07-09 01:36:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 01:42:03 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-07-09 01:43:53 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-09 01:52:21 +0200 | tessier | (~treed@98.171.210.130) |
| 2022-07-09 01:52:42 +0200 | gdd1 | (~gdd@2001:470:1f13:187:2e9b:467c:7a38:be67) (Ping timeout: 272 seconds) |
| 2022-07-09 01:54:19 +0200 | gdd1 | (~gdd@129.199.146.230) |
| 2022-07-09 01:55:34 +0200 | tessier | (~treed@98.171.210.130) (Client Quit) |
| 2022-07-09 02:01:26 +0200 | mrmr | (~mrmr@user/mrmr) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-09 02:02:25 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-09 02:03:10 +0200 | sympt | (~sympt@user/sympt) |
| 2022-07-09 02:03:27 +0200 | califax | (~califax@user/califx) |
| 2022-07-09 02:04:13 +0200 | nuc13u5 | (~nuc13u5@2601:203:400:af50:89cc:9642:c954:860) |
| 2022-07-09 02:05:28 +0200 | shriekingnoise | (~shrieking@201.212.175.181) (Quit: Quit) |
| 2022-07-09 02:05:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-09 02:05:38 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-09 02:07:10 +0200 | noteness_ | (~noteness@user/noteness) |
| 2022-07-09 02:07:16 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-09 02:07:19 +0200 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-07-09 02:07:54 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-07-09 02:08:06 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-07-09 02:18:11 +0200 | dsrt^ | (~dsrt@128-092-191-146.biz.spectrum.com) (Remote host closed the connection) |
| 2022-07-09 02:23:30 +0200 | chaoxu | (~chaoxu@218.255.178.199) |
| 2022-07-09 02:26:40 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2022-07-09 02:26:56 +0200 | dfg | (dfg@user/dfg) (Quit: I hate quit messages.) |
| 2022-07-09 02:28:05 +0200 | dfg | (~dfg@dfg.rocks) |
| 2022-07-09 02:28:05 +0200 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2022-07-09 02:28:05 +0200 | dfg | (~dfg@user/dfg) |
| 2022-07-09 02:29:59 +0200 | frost | (~frost@user/frost) |
| 2022-07-09 02:33:52 +0200 | Haskelytic | (~Haskelyti@37.111.211.82) |
| 2022-07-09 02:34:28 +0200 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2022-07-09 02:35:16 +0200 | Dean | (~Dean@user/De4n-Whit3/x-9385125) |
| 2022-07-09 02:35:19 +0200 | Dean | (~Dean@user/De4n-Whit3/x-9385125) () |
| 2022-07-09 02:35:36 +0200 | dfg | (dfg@dfg.rocks) |
| 2022-07-09 02:35:36 +0200 | dfg | (dfg@dfg.rocks) (Changing host) |
| 2022-07-09 02:35:36 +0200 | dfg | (dfg@user/dfg) |
| 2022-07-09 02:37:09 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 02:37:10 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-07-09 02:37:57 +0200 | nuc13u5 | (~nuc13u5@2601:203:400:af50:89cc:9642:c954:860) (Remote host closed the connection) |
| 2022-07-09 02:41:14 +0200 | phma | (phma@2001:5b0:215d:f9b8:8b32:f15e:1903:26cf) (Read error: Connection reset by peer) |
| 2022-07-09 02:42:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 02:48:15 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz)) |
| 2022-07-09 02:48:37 +0200 | chaoxu | (~chaoxu@218.255.178.199) (Quit: Client closed) |
| 2022-07-09 02:49:26 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-09 02:53:25 +0200 | phma | (~phma@2001:5b0:211c:8d18:b329:d048:5e84:e097) |
| 2022-07-09 02:53:27 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-07-09 02:54:56 +0200 | phma | (~phma@2001:5b0:211c:8d18:b329:d048:5e84:e097) (Read error: Connection reset by peer) |
| 2022-07-09 02:55:21 +0200 | phma | (~phma@host-67-44-209-46.hnremote.net) |
| 2022-07-09 02:55:37 +0200 | quarkyalice | (~alice@user/quarkyalice) (Remote host closed the connection) |
| 2022-07-09 02:55:41 +0200 | quarkyalice_ | (~alice@172.79.210.234) |
| 2022-07-09 02:55:41 +0200 | quarkyalice_ | (~alice@172.79.210.234) (Changing host) |
| 2022-07-09 02:55:41 +0200 | quarkyalice_ | (~alice@user/quarkyalice/x-8092822) |
| 2022-07-09 02:57:42 +0200 | qhong | (~qhong@DN200ouju.stanford.edu) |
| 2022-07-09 02:58:32 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-09 03:04:23 +0200 | jelewis2 | (~lewisje@2001:470:1f11:14e:50c5:a481:bb91:9810) (Ping timeout: 244 seconds) |
| 2022-07-09 03:06:40 +0200 | lewisje | (~lewisje@2001:470:1f11:14e:fc04:1a83:61b4:de2c) |
| 2022-07-09 03:08:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 03:08:49 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-07-09 03:10:35 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-07-09 03:11:36 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-07-09 03:14:45 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-07-09 03:21:05 +0200 | jargon | (~jargon@184.101.188.251) |
| 2022-07-09 03:31:05 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-09 03:32:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-09 03:36:45 +0200 | DeCentN2Madness | (~alice@ip68-3-91-223.ph.ph.cox.net) |
| 2022-07-09 03:43:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-09 03:43:57 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-07-09 03:52:10 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-07-09 03:54:15 +0200 | alp | (~alp@user/alp) (Ping timeout: 276 seconds) |
| 2022-07-09 03:59:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-09 03:59:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 04:05:34 +0200 | DeCentN2Madness | (~alice@ip68-3-91-223.ph.ph.cox.net) (Quit: leaving) |
| 2022-07-09 04:06:46 +0200 | telser | (~quassel@user/telser) |
| 2022-07-09 04:10:45 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-09 04:12:41 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-07-09 04:12:48 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-07-09 04:12:56 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-09 04:15:34 +0200 | chaoxu | (~chaoxu@218.255.178.199) |
| 2022-07-09 04:16:58 +0200 | <chaoxu> | I want to develop a Typora https://typora.io/ like program. So a WYSIWYG editor for markdown that runs in the web browser. Haskell is the backend, where any interaction gets directed to the haskell backend, and haskell renders it, and returns it to the browser. What would be a reasonable tech stack to do this in Haskell? |
| 2022-07-09 04:20:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-09 04:27:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 04:28:03 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-07-09 04:32:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-09 04:32:36 +0200 | td_ | (~td@94.134.91.254) (Ping timeout: 276 seconds) |
| 2022-07-09 04:34:04 +0200 | td_ | (~td@muedsl-82-207-238-037.citykom.de) |
| 2022-07-09 04:34:19 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-07-09 04:34:50 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 272 seconds) |
| 2022-07-09 04:35:46 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-09 04:37:39 +0200 | yauhsien | (~yauhsien@61-231-36-12.dynamic-ip.hinet.net) |
| 2022-07-09 04:39:17 +0200 | chaoxu | (~chaoxu@218.255.178.199) (Quit: Client closed) |
| 2022-07-09 04:42:58 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-07-09 04:43:35 +0200 | <arahael> | chreekat: Why wouldn't you want to do that rendering on the browser side? |
| 2022-07-09 04:43:51 +0200 | <arahael> | chreekat: I'm not sure I'd be keen to experience a 300ms lag with my typing. |
| 2022-07-09 04:45:24 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-09 04:48:30 +0200 | yauhsien | (~yauhsien@61-231-36-12.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-07-09 04:49:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 04:55:51 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-09 04:57:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-09 04:58:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 05:01:50 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-07-09 05:02:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-09 05:06:18 +0200 | arahael | (~arahael@123-243-106-34.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-07-09 05:06:52 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 05:09:27 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-07-09 05:10:39 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-07-09 05:10:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 05:12:20 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-07-09 05:15:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-09 05:21:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 05:21:51 +0200 | arahael | (~arahael@60-242-42-246.tpgi.com.au) |
| 2022-07-09 05:21:55 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2022-07-09 05:23:57 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-07-09 05:27:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1528:dad7:5cec:e124) (Ping timeout: 264 seconds) |
| 2022-07-09 05:27:12 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-09 05:28:29 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-09 05:30:15 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 05:32:05 +0200 | <sm> | congrats @slack1256:libera.chat |
| 2022-07-09 05:34:44 +0200 | <jackdk> | My two main haskelly tech stack thoughts are 1. GHCJS (possibly reflex if you like big brain time, because it's really cool when it eventually clicks) or 2. HTMX on the frontend and servant on the backend, and exchange chunks of HTML |
| 2022-07-09 05:35:19 +0200 | <jackdk> | I haven't played seriously with either ( http://jackkelly.name/blog/archives/2021/11/09/a_static_haskell_reflex_frontend_app/casaaaaa/ is the largest reflex thing I've written ) but those would be where I'd start experimenting |
| 2022-07-09 05:35:20 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-07-09 05:36:53 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-07-09 05:37:10 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-07-09 05:37:20 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-07-09 05:38:32 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-07-09 05:38:50 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-07-09 05:39:33 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-09 05:40:50 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-09 05:40:53 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-09 05:45:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-09 05:48:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a92c:e315:1bd7:bee4) |
| 2022-07-09 05:54:22 +0200 | bilegeek | (~bilegeek@2600:1008:b06c:9340:a61:2f68:1774:91bd) |
| 2022-07-09 05:56:37 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-09 05:59:03 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 06:02:49 +0200 | jargon | (~jargon@184.101.188.251) (Remote host closed the connection) |
| 2022-07-09 06:10:46 +0200 | frost | (~frost@user/frost) |
| 2022-07-09 06:19:43 +0200 | yax__ | (~yax__@user/yax/x-9576643) (Ping timeout: 256 seconds) |
| 2022-07-09 06:24:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 06:26:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 06:29:52 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz)) |
| 2022-07-09 06:31:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-09 06:33:05 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-09 06:40:05 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2022-07-09 06:40:30 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2022-07-09 06:47:52 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-09 06:47:56 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz)) |
| 2022-07-09 06:59:43 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-07-09 06:59:59 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 244 seconds) |
| 2022-07-09 07:00:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 07:05:30 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-09 07:13:18 +0200 | Vajb | (~Vajb@2001:999:58c:b683:1e3e:e86f:8cdc:e10) (Read error: Connection reset by peer) |
| 2022-07-09 07:14:02 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-09 07:15:08 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-09 07:19:50 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-07-09 07:29:30 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 264 seconds) |
| 2022-07-09 07:37:18 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 07:44:10 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 240 seconds) |
| 2022-07-09 07:47:38 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-07-09 08:03:40 +0200 | sagax | (~sagax_nb@user/sagax) (Remote host closed the connection) |
| 2022-07-09 08:04:25 +0200 | johnw_ | (~johnw@2600:1700:cf00:db0:643e:99a6:aa43:f921) |
| 2022-07-09 08:05:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 08:05:44 +0200 | johnw | (~johnw@2600:1700:cf00:db0:4f4:3cd5:b24f:2542) (Ping timeout: 272 seconds) |
| 2022-07-09 08:10:49 +0200 | Kaladin | (~Kaladin@157-131-200-16.fiber.dynamic.sonic.net) |
| 2022-07-09 08:11:30 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-07-09 08:11:55 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-07-09 08:12:33 +0200 | mbuf | (~Shakthi@122.164.13.123) |
| 2022-07-09 08:15:38 +0200 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
| 2022-07-09 08:16:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-09 08:16:39 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2022-07-09 08:16:50 +0200 | vglfr | (~vglfr@88.155.11.120) |
| 2022-07-09 08:17:55 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2022-07-09 08:18:22 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 08:21:01 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-09 08:25:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 08:26:09 +0200 | Kaladin | (~Kaladin@157-131-200-16.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 2022-07-09 08:28:34 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-07-09 08:28:36 +0200 | Kaladin | (~Kaladin@157-131-200-16.fiber.dynamic.sonic.net) |
| 2022-07-09 08:29:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 08:30:28 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-09 08:31:26 +0200 | beka | (~beka@104-244-24-117.PUBLIC.monkeybrains.net) (Ping timeout: 244 seconds) |
| 2022-07-09 08:31:27 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-09 08:32:44 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-07-09 08:36:11 +0200 | abuffery | (~abuffery@15.48.23.95.dynamic.jazztel.es) |
| 2022-07-09 08:38:09 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2022-07-09 08:38:15 +0200 | dostoevsky7 | (~5c42c5384@user/dostoevsky) |
| 2022-07-09 08:40:15 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Ping timeout: 256 seconds) |
| 2022-07-09 08:41:11 +0200 | dostoevsky7 | dostoevsky |
| 2022-07-09 08:42:31 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 08:42:32 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-07-09 08:45:21 +0200 | john | (~john@115.98.234.40) |
| 2022-07-09 08:45:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 08:50:15 +0200 | abuffery | (~abuffery@15.48.23.95.dynamic.jazztel.es) (Quit: Leaving...) |
| 2022-07-09 08:59:07 +0200 | alp | (~alp@user/alp) |
| 2022-07-09 09:00:25 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) (Remote host closed the connection) |
| 2022-07-09 09:02:47 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2022-07-09 09:04:10 +0200 | quarkyalice_ | (~alice@user/quarkyalice/x-8092822) (Ping timeout: 240 seconds) |
| 2022-07-09 09:04:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 09:12:30 +0200 | phma | (~phma@host-67-44-209-46.hnremote.net) (Read error: Connection reset by peer) |
| 2022-07-09 09:13:15 +0200 | phma | (~phma@host-67-44-208-154.hnremote.net) |
| 2022-07-09 09:14:18 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 09:14:30 +0200 | mbuf | (~Shakthi@122.164.13.123) (Ping timeout: 240 seconds) |
| 2022-07-09 09:15:13 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-07-09 09:20:10 +0200 | mbuf | (~Shakthi@122.165.55.71) (Ping timeout: 240 seconds) |
| 2022-07-09 09:20:44 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-07-09 09:24:45 +0200 | dknite | (~dknite@49.37.45.188) (Read error: Connection reset by peer) |
| 2022-07-09 09:25:46 +0200 | dknite | (~dknite@116.206.203.200) |
| 2022-07-09 09:25:49 +0200 | Kaladin | (~Kaladin@157-131-200-16.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 2022-07-09 09:27:16 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 2022-07-09 09:29:00 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2022-07-09 09:38:50 +0200 | phma | (~phma@host-67-44-208-154.hnremote.net) (Read error: Connection reset by peer) |
| 2022-07-09 09:39:18 +0200 | phma | (~phma@2001:5b0:210d:9bd8:8a05:253a:5ea2:fc2a) |
| 2022-07-09 09:46:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-09 09:48:30 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-07-09 09:48:42 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-09 09:52:11 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) |
| 2022-07-09 09:52:33 +0200 | dknite | (~dknite@116.206.203.200) (Ping timeout: 244 seconds) |
| 2022-07-09 09:53:25 +0200 | dknite | (~dknite@49.37.45.188) |
| 2022-07-09 09:53:44 +0200 | kuribas | (~user@ptr-17d51eo9ziftsfmurdv.18120a2.ip6.access.telenet.be) |
| 2022-07-09 09:56:54 +0200 | BusConscious | (~martin@ip5f5bdf31.dynamic.kabel-deutschland.de) |
| 2022-07-09 09:58:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 10:00:33 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-07-09 10:00:49 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) |
| 2022-07-09 10:01:03 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 10:01:32 +0200 | Vajb | (~Vajb@2001:999:58c:b683:1e3e:e86f:8cdc:e10) |
| 2022-07-09 10:02:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 10:04:16 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2022-07-09 10:04:57 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) (Ping timeout: 244 seconds) |
| 2022-07-09 10:09:24 +0200 | ubert1 | (~Thunderbi@p200300ecdf0da5dc3e82a8e7110c1ba3.dip0.t-ipconnect.de) |
| 2022-07-09 10:10:13 +0200 | ubert1 | (~Thunderbi@p200300ecdf0da5dc3e82a8e7110c1ba3.dip0.t-ipconnect.de) (Client Quit) |
| 2022-07-09 10:12:33 +0200 | ubert1 | (~Thunderbi@p200300ecdf0da5dc3e82a8e7110c1ba3.dip0.t-ipconnect.de) |
| 2022-07-09 10:15:48 +0200 | sympt | (~sympt@user/sympt) (Ping timeout: 244 seconds) |
| 2022-07-09 10:17:15 +0200 | ubert1 | (~Thunderbi@p200300ecdf0da5dc3e82a8e7110c1ba3.dip0.t-ipconnect.de) (Client Quit) |
| 2022-07-09 10:17:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 10:19:40 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-09 10:19:54 +0200 | chomwitt | (~chomwitt@2a02:587:dc0d:4a00:c5c0:a118:2df4:ea86) |
| 2022-07-09 10:20:07 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-09 10:24:42 +0200 | lewisje | (~lewisje@2001:470:1f11:14e:fc04:1a83:61b4:de2c) (Ping timeout: 264 seconds) |
| 2022-07-09 10:28:54 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-07-09 10:29:00 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-09 10:31:48 +0200 | <dibblego> | ♥ |
| 2022-07-09 10:33:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-07-09 10:40:20 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 10:40:38 +0200 | kenran | (~kenran@200116b82b5f2c00a741ddc71b79ba8b.dip.versatel-1u1.de) |
| 2022-07-09 10:45:30 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-07-09 10:48:10 +0200 | dcoutts | (~duncan@host-92-23-41-52.as13285.net) (Ping timeout: 240 seconds) |
| 2022-07-09 10:52:41 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-07-09 10:53:13 +0200 | vglfr | (~vglfr@88.155.11.120) (Remote host closed the connection) |
| 2022-07-09 10:54:16 +0200 | vglfr | (~vglfr@88.155.11.120) |
| 2022-07-09 10:56:34 +0200 | irfan | (~irfan@user/irfan) |
| 2022-07-09 10:59:03 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-07-09 11:01:27 +0200 | kenran | (~kenran@200116b82b5f2c00a741ddc71b79ba8b.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-07-09 11:01:33 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-09 11:04:12 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-07-09 11:06:20 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
| 2022-07-09 11:16:40 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-09 11:19:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-09 11:20:09 +0200 | vglfr | (~vglfr@88.155.11.120) (Ping timeout: 276 seconds) |
| 2022-07-09 11:20:34 +0200 | liz | (~liz@host86-159-158-175.range86-159.btcentralplus.com) |
| 2022-07-09 11:21:50 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-07-09 11:33:17 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) |
| 2022-07-09 11:34:20 +0200 | vglfr | (~vglfr@88.155.11.120) |
| 2022-07-09 11:34:57 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-07-09 11:37:24 +0200 | bilegeek | (~bilegeek@2600:1008:b06c:9340:a61:2f68:1774:91bd) (Quit: Leaving) |
| 2022-07-09 11:38:45 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-07-09 11:42:57 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 11:43:10 +0200 | vglfr | (~vglfr@88.155.11.120) (Ping timeout: 240 seconds) |
| 2022-07-09 11:43:44 +0200 | vglfr | (~vglfr@88.155.11.120) |
| 2022-07-09 11:44:30 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 11:44:35 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-07-09 11:47:21 +0200 | malte | (~malte@mal.tc) |
| 2022-07-09 11:49:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 11:53:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 11:53:50 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-07-09 11:55:11 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-07-09 11:57:57 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-09 11:58:13 +0200 | califax | (~califax@user/califx) |
| 2022-07-09 11:58:18 +0200 | raym | (~raym@user/raym) (Ping timeout: 264 seconds) |
| 2022-07-09 11:58:18 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 264 seconds) |
| 2022-07-09 11:59:15 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) |
| 2022-07-09 11:59:54 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-07-09 12:00:22 +0200 | raym | (~raym@user/raym) |
| 2022-07-09 12:02:24 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2022-07-09 12:02:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-09 12:03:30 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-09 12:07:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-07-09 12:08:11 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 255 seconds) |
| 2022-07-09 12:09:03 +0200 | mima | (~mmh@aftr-62-216-210-245.dynamic.mnet-online.de) (Remote host closed the connection) |
| 2022-07-09 12:09:06 +0200 | <tdammers> | re heterogenous lists: IMO this is one of those things that you think you want, but most of the time you really don't. |
| 2022-07-09 12:09:28 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-07-09 12:09:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 12:09:51 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-09 12:10:50 +0200 | <tdammers> | in almost all cases, there are constraints on that list - either the order of elements is fixed, and each position always has the same type (i.e., you want a record or a tuple), or it's not, but the elements are all from the same relatively small set of possible types, in which case you can just wrap them in a sum type and make that the element type |
| 2022-07-09 12:11:45 +0200 | <tdammers> | and of course the case where your list elements are legit polymorphic, but you only apply a fixed set of operations to them, in which case, put that set of operations in the list instead of the values themselves |
| 2022-07-09 12:13:33 +0200 | john | (~john@115.98.234.40) (Quit: Leaving) |
| 2022-07-09 12:14:03 +0200 | <maerwald> | tdammers: String is sufficiently polymorphic xD just serialize everything |
| 2022-07-09 12:14:34 +0200 | <tdammers> | maerwald: import Acme.PHP |
| 2022-07-09 12:15:31 +0200 | <maerwald> | https://hackage.haskell.org/package/acme-php-0.0.3/docs/Prelude-PHP.html |
| 2022-07-09 12:15:33 +0200 | <maerwald> | wtf |
| 2022-07-09 12:15:43 +0200 | <maerwald> | Bool = True | False | File_not_found |
| 2022-07-09 12:15:45 +0200 | <maerwald> | xD |
| 2022-07-09 12:15:55 +0200 | <tdammers> | Yep. That's a tribute to dailywtf |
| 2022-07-09 12:20:18 +0200 | megaTherion | (~therion@unix.io) (Read error: Connection reset by peer) |
| 2022-07-09 12:20:35 +0200 | megaTherion | (~therion@unix.io) |
| 2022-07-09 12:21:49 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 256 seconds) |
| 2022-07-09 12:27:47 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-09 12:29:20 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) |
| 2022-07-09 12:32:30 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2022-07-09 12:36:13 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 12:36:30 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-07-09 12:42:06 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-09 12:42:57 +0200 | mima | (~mmh@aftr-62-216-210-116.dynamic.mnet-online.de) |
| 2022-07-09 12:46:29 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-09 12:50:09 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 276 seconds) |
| 2022-07-09 12:54:04 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 12:55:03 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-09 12:56:39 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-09 12:58:58 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-07-09 13:02:41 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds) |
| 2022-07-09 13:05:06 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-09 13:06:31 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-07-09 13:06:51 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-09 13:10:13 +0200 | mima | (~mmh@aftr-62-216-210-116.dynamic.mnet-online.de) (Remote host closed the connection) |
| 2022-07-09 13:10:54 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2022-07-09 13:14:33 +0200 | vglfr | (~vglfr@88.155.11.120) (Ping timeout: 276 seconds) |
| 2022-07-09 13:15:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-09 13:24:19 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-09 13:28:04 +0200 | vglfr | (~vglfr@88.155.11.120) |
| 2022-07-09 13:29:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 13:30:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-09 13:32:59 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) |
| 2022-07-09 13:33:41 +0200 | califax | (~califax@user/califx) |
| 2022-07-09 13:38:24 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2022-07-09 13:38:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 13:42:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 13:42:24 +0200 | Infinite | (~Infinite@45.112.145.27) |
| 2022-07-09 13:53:30 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-07-09 14:00:44 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-09 14:01:08 +0200 | Infinite | (~Infinite@45.112.145.27) (Ping timeout: 252 seconds) |
| 2022-07-09 14:04:17 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) |
| 2022-07-09 14:08:49 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) (Ping timeout: 244 seconds) |
| 2022-07-09 14:09:26 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-09 14:10:21 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-07-09 14:10:40 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 14:12:31 +0200 | <BusConscious> | say I have action of type StateT SType (EitherT ErrType IO) and I want to do action >>= exitHandler where ExitHandler is from type EitherT ErrType IO |
| 2022-07-09 14:13:02 +0200 | <BusConscious> | ah forget |
| 2022-07-09 14:13:27 +0200 | <BusConscious> | action is of type StateT Stype (EitherT ErrType (IO ExitCode)) |
| 2022-07-09 14:14:11 +0200 | <BusConscious> | and exitHandler of type EitherT ErrType (IO ExitCode) -> StateT SType (EitherT ErrType (IO ExitCode)) |
| 2022-07-09 14:14:45 +0200 | <BusConscious> | right now it binds to ExitCode but not EitherT ErrType (IO ExitCode) |
| 2022-07-09 14:15:18 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.5) |
| 2022-07-09 14:15:32 +0200 | <[exa]> | wait, what's the semantics of `EitherT ErrType (IO ExitCode)` ? |
| 2022-07-09 14:16:00 +0200 | <[exa]> | other than that I guess you just need a `lift` |
| 2022-07-09 14:16:09 +0200 | <tomsmeding> | Shouldn't the type be `StateT SType (EitherT ErrType IO) ExitCode` |
| 2022-07-09 14:16:39 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-07-09 14:16:54 +0200 | <[exa]> | (whew, EitherT disappeared from hoogle even?) |
| 2022-07-09 14:17:10 +0200 | <[exa]> | (ah no it's on full stackage) |
| 2022-07-09 14:17:33 +0200 | <tomsmeding> | [exa]: Assumjng it's an instance of MonadTrans it should have the wrapped monad as penultimate argument :) |
| 2022-07-09 14:18:11 +0200 | <[exa]> | yeah I'd expect that, that's why I was asking |
| 2022-07-09 14:18:53 +0200 | <tomsmeding> | But in any case, assuming the fixed types, that exitHandler will not be usable with that action |
| 2022-07-09 14:19:07 +0200 | <BusConscious> | I have a lot of little computations with IO and access to the state. These computations can fail, but that should not cause the outer Stateful monad to fail |
| 2022-07-09 14:19:12 +0200 | <BusConscious> | if that makes any sense? |
| 2022-07-09 14:19:21 +0200 | <tomsmeding> | You can lift into a larger monad, but you can't stuff a larger monad into a smaller one in general |
| 2022-07-09 14:19:30 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-09 14:19:57 +0200 | <[exa]> | BusConscious: btw it's kinda recommended nowadays to replace EitherT with things that specify how the Either should really behave, eg ExceptT and ValidationT |
| 2022-07-09 14:20:18 +0200 | <tomsmeding> | I guess ExceptT is the same as old EitherT |
| 2022-07-09 14:20:44 +0200 | <tomsmeding> | @unmtl StateT SType (ExceptT ErrType IO) ExitCode |
| 2022-07-09 14:20:45 +0200 | <lambdabot> | SType -> IO (Either ErrType (ExitCode, SType)) |
| 2022-07-09 14:21:39 +0200 | <tomsmeding> | @unmtl ExceptT ErrType (StateT SType IO) ExitCode |
| 2022-07-09 14:21:39 +0200 | <lambdabot> | SType -> IO (Either ErrType ExitCode, SType) |
| 2022-07-09 14:21:50 +0200 | <tomsmeding> | BusConscious: maybe that's what you want? Not sure |
| 2022-07-09 14:22:09 +0200 | <tomsmeding> | Order of composition matters with monad transformers |
| 2022-07-09 14:22:20 +0200 | <BusConscious> | *the failure of the EitherT actions should not stop evaluation of the outer state monad to be more precise |
| 2022-07-09 14:22:45 +0200 | <tomsmeding> | Usually you want StateT on the outside because with it on the inside, you have to produce an output state even if the computation fails |
| 2022-07-09 14:23:06 +0200 | <tomsmeding> | But maybe you want them the other way round |
| 2022-07-09 14:23:19 +0200 | <BusConscious> | so I was right to have StateT on the outside? |
| 2022-07-09 14:23:26 +0200 | <tomsmeding> | Well that's the usual order |
| 2022-07-09 14:23:36 +0200 | <tomsmeding> | But there is no right/wrong here |
| 2022-07-09 14:23:57 +0200 | <tomsmeding> | Depends on what you need, and it sorta sounds like you want ExceptT on the outside - but not sure |
| 2022-07-09 14:25:31 +0200 | <BusConscious> | This is so confusing |
| 2022-07-09 14:25:33 +0200 | <tomsmeding> | BusConscious: look at the @unmtl stuff above, gives intuition about what the monad transformer stacks mean |
| 2022-07-09 14:25:50 +0200 | fluxit | (~fluxit@techsmix.net) (Quit: Bye!) |
| 2022-07-09 14:25:56 +0200 | <tomsmeding> | (@unmtl just unwraps the newtypes) |
| 2022-07-09 14:27:27 +0200 | <tomsmeding> | BusConscious: As you can see, with ExceptT on the outside, you (have to) produce an output state even if the computation "failed" with a Left |
| 2022-07-09 14:27:55 +0200 | <tomsmeding> | Whereas with StateT on the outside, if the computation fails, no output state is produced |
| 2022-07-09 14:28:50 +0200 | <tomsmeding> | The version with StateT on the outside is generally easier to implement, because upon failure you don't necessarily have anything sensible to put in the state |
| 2022-07-09 14:29:02 +0200 | <tomsmeding> | But it depends on what is in your state, and why you fail |
| 2022-07-09 14:29:44 +0200 | <BusConscious> | but I don't think this is really, that I still have to produce a state if the computation fails. Becasue my state in this case is a very global kind of structure, to be precise the so called Shell Execution Environment. |
| 2022-07-09 14:31:08 +0200 | <BusConscious> | Even if the shell fails to execute a particular command it might be required to process further commands and thus access the Shell Execution Environment (for example in interactive mode) |
| 2022-07-09 14:31:09 +0200 | <tomsmeding> | Keeping the state unchanged = returning the input state |
| 2022-07-09 14:31:33 +0200 | <tomsmeding> | So it "keeping the state unchanged" is sensible, then you do have a "new state" to return :) |
| 2022-07-09 14:31:38 +0200 | <tomsmeding> | *So if |
| 2022-07-09 14:32:07 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-09 14:32:14 +0200 | <BusConscious> | yeah so really the ExcepT should be on the outside |
| 2022-07-09 14:32:23 +0200 | <tomsmeding> | I think so, with this usage |
| 2022-07-09 14:32:50 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 14:33:22 +0200 | <BusConscious> | Ok then, even though intuitively I first thought it had to be the other way around |
| 2022-07-09 14:33:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 14:34:12 +0200 | <tomsmeding> | Monad transformer composition order is highly unintuitive |
| 2022-07-09 14:34:22 +0200 | <tomsmeding> | Usually it only makes sense to me when I look at @unmtl output |
| 2022-07-09 14:34:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 14:34:40 +0200 | <tomsmeding> | (either in lambdabot or deduced mentally by looking at the definitions of the monads) |
| 2022-07-09 14:35:35 +0200 | <tomsmeding> | BusConscious: in particular, monad transformer stacks have a tendency to invert (flip order) when you evaluate them |
| 2022-07-09 14:35:39 +0200 | <geekosaur> | I always get it backwards and have to use @unmtl to straighten myself out |
| 2022-07-09 14:35:55 +0200 | <tomsmeding> | For example, IO is surely the most constant outer structure, but it's innermost in the stack |
| 2022-07-09 14:36:24 +0200 | <tomsmeding> | geekosaur: yay I'm not the only one :p |
| 2022-07-09 14:36:37 +0200 | <BusConscious> | the worst thing is: I originally started to do it the right way and now I have to reimpliment it inverted again |
| 2022-07-09 14:36:50 +0200 | <tomsmeding> | Hehe oops |
| 2022-07-09 14:36:59 +0200 | BusConscious | top-down :) |
| 2022-07-09 14:37:24 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-07-09 14:38:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-09 14:48:50 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-07-09 14:49:34 +0200 | maroloccio | (~marolocci@62.98.89.32) |
| 2022-07-09 14:51:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 14:52:54 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 264 seconds) |
| 2022-07-09 14:59:49 +0200 | <hololeap> | @unmtl ReaderT s (WriterT s m) a |
| 2022-07-09 14:59:49 +0200 | <lambdabot> | s -> m (a, s) |
| 2022-07-09 15:00:19 +0200 | <hololeap> | @unmtl WriterT s (ReaderT s m) a |
| 2022-07-09 15:00:19 +0200 | <lambdabot> | s -> m (a, s) |
| 2022-07-09 15:00:27 +0200 | <hololeap> | whoa dood |
| 2022-07-09 15:01:04 +0200 | <geekosaur> | yeh, I think those two commute |
| 2022-07-09 15:01:47 +0200 | <hololeap> | I've noticed that it usually doesn't matter where ReaderT is in the transformer stack |
| 2022-07-09 15:02:45 +0200 | ytret | (~yuritrety@2a00:1fa0:8223:5323:5e15:37ac:e5ca:ce7a) |
| 2022-07-09 15:07:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-09 15:07:57 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-07-09 15:08:25 +0200 | <hololeap> | somebody is asking for us to add ghcup to the haskell repo in gentoo. not sure if that makes any sense |
| 2022-07-09 15:08:53 +0200 | <hololeap> | https://github.com/gentoo-haskell/gentoo-haskell/issues/1292 |
| 2022-07-09 15:09:29 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-09 15:09:30 +0200 | <hololeap> | does ghcup keep everything in $HOME? |
| 2022-07-09 15:09:54 +0200 | <maerwald[m]> | hololeap: yes, but it can be changed |
| 2022-07-09 15:09:55 +0200 | <maerwald[m]> | Why |
| 2022-07-09 15:10:49 +0200 | <maerwald[m]> | https://www.haskell.org/ghcup/guide/#env-variables |
| 2022-07-09 15:11:03 +0200 | acidjnk | (~acidjnk@p200300d6e71a5f0314c092f4495f33c9.dip0.t-ipconnect.de) |
| 2022-07-09 15:11:57 +0200 | <maerwald[m]> | hololeap: why would it not make sense? |
| 2022-07-09 15:12:06 +0200 | <maerwald[m]> | Your PM installs firefox too, no? |
| 2022-07-09 15:12:18 +0200 | <maerwald[m]> | Firefox keeps everything in HOME |
| 2022-07-09 15:12:30 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-09 15:12:41 +0200 | <hololeap> | firefox gets installed to /usr |
| 2022-07-09 15:12:54 +0200 | <hololeap> | and it is compiled from source |
| 2022-07-09 15:13:19 +0200 | <maerwald[m]> | hololeap: https://packages.gentoo.org/packages/dev-util/rustup |
| 2022-07-09 15:13:30 +0200 | <maerwald[m]> | Then remove rustup too |
| 2022-07-09 15:13:41 +0200 | <hololeap> | hm, that could be a good reference |
| 2022-07-09 15:13:41 +0200 | <maerwald[m]> | hololeap: you can install ghcup to /usr too |
| 2022-07-09 15:13:49 +0200 | <maerwald[m]> | And you can compile it from source too |
| 2022-07-09 15:13:57 +0200 | <hololeap> | where is the source code? |
| 2022-07-09 15:14:13 +0200 | <maerwald[m]> | hololeap: hackage? |
| 2022-07-09 15:14:41 +0200 | <hololeap> | oh, I didn't realize it was on there |
| 2022-07-09 15:14:49 +0200 | <hololeap> | I thought it was a shell script or something |
| 2022-07-09 15:15:09 +0200 | <hololeap> | ok, thanks maerwald[m] |
| 2022-07-09 15:15:15 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-09 15:16:31 +0200 | raym | (~raym@user/raym) (Quit: something's wrong, reboot...) |
| 2022-07-09 15:18:29 +0200 | raym | (~raym@user/raym) |
| 2022-07-09 15:19:51 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 15:20:35 +0200 | <hololeap> | anyway, I never said that adding ghcup doesn't make sense. I said that I wasn't sure if it made sense or not |
| 2022-07-09 15:22:01 +0200 | <tomsmeding> | hololeap: old ghcup in forgotten times was a shell script |
| 2022-07-09 15:22:47 +0200 | <hololeap> | having another route to install ghc/libs is fine, but I want to make sure it doesn't fight with the stuff installed through the normal PM, otherwise there's no point in adding it to the repo if it is just going to cause damage |
| 2022-07-09 15:23:24 +0200 | <geekosaur> | ghcup installed stuff should be completely independent of other stuff installed via the package manager. $PATH issues are the only question |
| 2022-07-09 15:24:31 +0200 | <hololeap> | ok, that's encouraging. I can go ahead and try it |
| 2022-07-09 15:24:45 +0200 | <irfan> | /msg alis list elm |
| 2022-07-09 15:25:04 +0200 | <hololeap> | irfan: elm is on discord |
| 2022-07-09 15:25:06 +0200 | <irfan> | sorry! didn't see the space. |
| 2022-07-09 15:25:20 +0200 | <hololeap> | they don't have a trafficked irc channel, afaik |
| 2022-07-09 15:25:48 +0200 | <irfan> | i see. yes, i wondered why nobody was responding. thanks hololeap! |
| 2022-07-09 15:26:06 +0200 | <maerwald[m]> | hololeap: well, since gentoo compiles GHC from source it already conflicts with other methods and even with itself. |
| 2022-07-09 15:26:55 +0200 | <maerwald[m]> | Cabal has no concept of GHC ABI, so recompiling GHC with different use flags can give you miscompilations. |
| 2022-07-09 15:27:05 +0200 | <maerwald[m]> | Due to old artifacts in the store |
| 2022-07-09 15:27:40 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-09 15:28:02 +0200 | <maerwald[m]> | So even package manager installed libraries on gentoo can be broken |
| 2022-07-09 15:28:26 +0200 | <maerwald[m]> | But last time I told them they didn't seem to understand that GHC has no stable ABI whatsoever |
| 2022-07-09 15:29:43 +0200 | <maerwald[m]> | That means your version subslots are not enough |
| 2022-07-09 15:29:55 +0200 | <hololeap> | the portage-installed libs are broken all the time and sadly there isn't a good solution so far, except for the haskell-updater shim. we are very much aware of this :) |
| 2022-07-09 15:30:55 +0200 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-07-09 15:31:09 +0200 | alexhandy | (~trace@user/trace) |
| 2022-07-09 15:31:21 +0200 | <maerwald[m]> | So worst case that can happen is the user mixes gentoo GHC with ghcup GHC of the same version. But that's not really a problem caused by Ghcup, rather by cabal |
| 2022-07-09 15:32:42 +0200 | irfan | (~irfan@user/irfan) (Quit: leaving) |
| 2022-07-09 15:32:42 +0200 | <maerwald[m]> | https://github.com/haskell/cabal/issues/8114 |
| 2022-07-09 15:32:52 +0200 | ddb | (~ddb@ipv6two.tilde.club) (Ping timeout: 272 seconds) |
| 2022-07-09 15:33:30 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-07-09 15:35:50 +0200 | <hololeap> | ok, so we need to make sure cabal can only see its "parent" ghc binary and package.conf.d |
| 2022-07-09 15:37:27 +0200 | <maerwald[m]> | hololeap: what? |
| 2022-07-09 15:37:43 +0200 | <maerwald[m]> | There's nothing you can or should do |
| 2022-07-09 15:38:10 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-07-09 15:38:34 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-09 15:39:38 +0200 | <maerwald[m]> | Don't try to be smart. Cabal can use any GHC binary it pleases. The fact that it doesn't check ABI is a bug. |
| 2022-07-09 15:40:17 +0200 | <hololeap> | so don't try to work around said bug |
| 2022-07-09 15:40:30 +0200 | <geekosaur> | you can't work around it properly |
| 2022-07-09 15:40:53 +0200 | <maerwald[m]> | Yeah |
| 2022-07-09 15:41:17 +0200 | <tomsmeding> | maerwald[m]: "any GHC binary it pleases" as in the -w flag? |
| 2022-07-09 15:42:03 +0200 | <maerwald[m]> | tomsmeding: or whatever is in PATH |
| 2022-07-09 15:42:17 +0200 | <tomsmeding> | Right |
| 2022-07-09 15:42:46 +0200 | <maerwald[m]> | The user csn work around it by using different store paths |
| 2022-07-09 15:43:00 +0200 | <maerwald[m]> | But that's not particularly ergonomic |
| 2022-07-09 15:45:46 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2022-07-09 15:51:20 +0200 | n0den1te | (~n0den1te@122.174.34.26) |
| 2022-07-09 15:52:40 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-07-09 15:52:50 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-09 15:53:49 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) |
| 2022-07-09 15:53:55 +0200 | <hololeap> | can one of the bots on here save a message for an offline user? |
| 2022-07-09 15:54:09 +0200 | <tomsmeding> | Use @tell username message... |
| 2022-07-09 15:54:27 +0200 | <hololeap> | @tell irfan elm is on slack, not discord. sorry for the mixup: https://elmlang.herokuapp.com/ |
| 2022-07-09 15:54:27 +0200 | <lambdabot> | Consider it noted. |
| 2022-07-09 15:54:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 15:55:47 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 15:58:21 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 244 seconds) |
| 2022-07-09 15:59:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 16:01:17 +0200 | <hololeap> | maerwald[m]: does ghcup specifically depend on Cabal-3.6's API? if so we will have to get that in the tree first. we're still on Cabal-3.4 :p |
| 2022-07-09 16:05:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) |
| 2022-07-09 16:06:12 +0200 | ytret | (~yuritrety@2a00:1fa0:8223:5323:5e15:37ac:e5ca:ce7a) (Quit: Konversation terminated!) |
| 2022-07-09 16:06:44 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-09 16:07:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-09 16:07:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 16:09:02 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 16:10:14 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) (Ping timeout: 244 seconds) |
| 2022-07-09 16:11:09 +0200 | <maerwald[m]> | hololeap: there's probably a way to patch it for multiple Cabal versions, but I never bothered |
| 2022-07-09 16:11:44 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-07-09 16:14:29 +0200 | <maerwald[m]> | hololeap: just package the static binary |
| 2022-07-09 16:15:26 +0200 | <maerwald[m]> | https://packages.gentoo.org/packages/app-text/pandoc-bin |
| 2022-07-09 16:15:29 +0200 | <maerwald[m]> | Not uncommon |
| 2022-07-09 16:18:00 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-07-09 16:18:11 +0200 | <hololeap> | yeah, but at that point, why even include it when the user can just download and run it themselves |
| 2022-07-09 16:18:46 +0200 | <hololeap> | (I know that gentoo distributes binary packages on occasion) |
| 2022-07-09 16:19:14 +0200 | <Logio> | pandoc specifically is a dependency for a bunch of packages, so it needs to be known by portage |
| 2022-07-09 16:19:56 +0200 | <Logio> | and portage knows it can be fulfilled by either the binary or the source-built package |
| 2022-07-09 16:21:01 +0200 | <Logio> | I actually uninstalled the pandoc package a while back because I got tired of the forced rebuilds, good to know there's now a binary package |
| 2022-07-09 16:22:39 +0200 | <hololeap> | an option to build things statically may help with all the forced rebuilds |
| 2022-07-09 16:27:41 +0200 | <Logio> | I think those were triggered by a pandoc dependency updating, I doubt there's a way to skip those rebuilds (when updating using --build-deps) |
| 2022-07-09 16:28:43 +0200 | <hololeap> | currently, there is not |
| 2022-07-09 16:29:41 +0200 | <Logio> | trouble was that pandoc has quite a large dependency tree, one of which would be updated each time |
| 2022-07-09 16:29:55 +0200 | acidjnk | (~acidjnk@p200300d6e71a5f0314c092f4495f33c9.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-07-09 16:29:57 +0200 | <Logio> | but I run gentoo to stay warm in the winter, so it's not an actual problem |
| 2022-07-09 16:30:18 +0200 | acidjnk | (~acidjnk@p200300d6e71a5f0314c092f4495f33c9.dip0.t-ipconnect.de) |
| 2022-07-09 16:30:35 +0200 | <hololeap> | I have a list of things to try to make gentoo-haskell less of a headache for users, and a "static" USE flag for binaries is on there. my hope is that the extra size of the binaries is worth not needing to recompile a ton of packages whenever one of the deps gets an update. |
| 2022-07-09 16:31:04 +0200 | <hololeap> | or at least the binary will still work in the meantime |
| 2022-07-09 16:31:50 +0200 | aeka | (~aeka@2606:6080:1001:13:a777:ff73:dfdc:3ab0) (Ping timeout: 240 seconds) |
| 2022-07-09 16:32:38 +0200 | ddb | (~ddb@ipv6two.tilde.club) |
| 2022-07-09 16:36:04 +0200 | aeka | (~aeka@2606:6080:2001:8:df6a:e365:26ff:7f06) |
| 2022-07-09 16:38:20 +0200 | <[itchyjunk]> | Wait, you can't use haskell for leetcode? :'( |
| 2022-07-09 16:38:54 +0200 | <hololeap> | haskell isn't leet enough |
| 2022-07-09 16:39:07 +0200 | <tomsmeding> | Claim |
| 2022-07-09 16:39:24 +0200 | <hololeap> | haskell 4 teh nubs |
| 2022-07-09 16:39:42 +0200 | <tomsmeding> | Just put hugs in there for C and embed your haskell code |
| 2022-07-09 16:39:44 +0200 | <hpc> | they don't want to encourage laziness |
| 2022-07-09 16:40:29 +0200 | <[itchyjunk]> | Since I hear about leetcode quite often, i would have figured it covered popular languages @_@ |
| 2022-07-09 16:40:34 +0200 | <[itchyjunk]> | Aren't they the ones being lazy? |
| 2022-07-09 16:41:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-09 16:41:52 +0200 | <hololeap> | hackerrank has haskell |
| 2022-07-09 16:42:45 +0200 | <hpc> | [itchyjunk]: how many of those times you have heard about it were complaints? :P |
| 2022-07-09 16:42:51 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-07-09 16:43:18 +0200 | <hpc> | i only ever hear about it in posts like "how often is a web dev ever going to need to know how to balance a binary tree" |
| 2022-07-09 16:43:56 +0200 | <BusConscious> | the king of stupid arguments |
| 2022-07-09 16:44:29 +0200 | <[itchyjunk]> | hpc, well, yes almost everytime that was true lol |
| 2022-07-09 16:47:09 +0200 | n0den1te | (~n0den1te@122.174.34.26) (Quit: leaving) |
| 2022-07-09 16:49:10 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 2022-07-09 16:50:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 16:51:48 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-09 16:54:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-09 16:55:31 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 256 seconds) |
| 2022-07-09 16:56:39 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-07-09 16:59:42 +0200 | <carbolymer> | how can I specify multiple rtsopts at once in package.yaml? \"-with-rtsopts=-N -I10 -Iw60\" pass backslashes to cabal file, which does not work |
| 2022-07-09 17:02:06 +0200 | <carbolymer> | ok I've found a solution: https://github.com/sol/hpack/issues/237 |
| 2022-07-09 17:07:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 17:09:35 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-09 17:16:30 +0200 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-07-09 17:16:31 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-09 17:19:47 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) |
| 2022-07-09 17:20:24 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-07-09 17:21:54 +0200 | alp | (~alp@user/alp) |
| 2022-07-09 17:23:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 17:30:39 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 276 seconds) |
| 2022-07-09 17:34:57 +0200 | alexhandy2 | (~trace@user/trace) |
| 2022-07-09 17:36:08 +0200 | aeka` | (~aeka@2606:6080:1002:3:1da3:d12a:3e5:ae70) |
| 2022-07-09 17:37:00 +0200 | aeka | (~aeka@2606:6080:2001:8:df6a:e365:26ff:7f06) (Ping timeout: 272 seconds) |
| 2022-07-09 17:37:00 +0200 | aeka` | aeka |
| 2022-07-09 17:37:30 +0200 | alexhandy | (~trace@user/trace) (Ping timeout: 240 seconds) |
| 2022-07-09 17:37:48 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2022-07-09 17:38:31 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 17:41:15 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-09 17:46:10 +0200 | kronicmage | (user90095@neotame.csclub.uwaterloo.ca) (Ping timeout: 240 seconds) |
| 2022-07-09 17:47:04 +0200 | kronicmage | (user92236@neotame.csclub.uwaterloo.ca) |
| 2022-07-09 17:48:05 +0200 | alexhandy2 | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-07-09 17:48:26 +0200 | alexhandy | (~trace@user/trace) |
| 2022-07-09 17:48:30 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-07-09 17:49:02 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-09 17:49:51 +0200 | beka | (~beka@104.193.170.240) |
| 2022-07-09 17:50:27 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-07-09 17:52:45 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2022-07-09 17:54:16 +0200 | <maerwald> | carbolymer: ditch hpack |
| 2022-07-09 17:54:23 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-07-09 17:55:38 +0200 | <carbolymer> | maerwald: I already heard that from you. ;) and just just cabal files? |
| 2022-07-09 17:55:43 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-09 17:55:47 +0200 | <carbolymer> | s/just just/use just |
| 2022-07-09 17:56:00 +0200 | alp | (~alp@user/alp) (Ping timeout: 276 seconds) |
| 2022-07-09 17:56:33 +0200 | <maerwald> | yes |
| 2022-07-09 17:57:40 +0200 | <carbolymer> | adding each module manually is cumbersome |
| 2022-07-09 17:57:59 +0200 | <maerwald> | oh dear... adding one line of code to my program is cumbersome too |
| 2022-07-09 17:59:39 +0200 | <carbolymer> | I like the fact that I can pull some stuff and have common list of extensions and dependencies for test, libs, execs |
| 2022-07-09 18:00:08 +0200 | <carbolymer> | idk why, but from my point it makes maintaining cabal file (in my case package.yml) much much easier |
| 2022-07-09 18:00:13 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (Quit: You have been kicked for being idle) |
| 2022-07-09 18:00:28 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
| 2022-07-09 18:00:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 18:00:44 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-09 18:00:50 +0200 | <maerwald> | you can do that with cabal too |
| 2022-07-09 18:00:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) |
| 2022-07-09 18:01:05 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) () |
| 2022-07-09 18:01:09 +0200 | <maerwald> | https://cabal.readthedocs.io/en/3.6/cabal-package.html?highlight=common%20stanza#common-stanzas |
| 2022-07-09 18:01:25 +0200 | shapr | yawns |
| 2022-07-09 18:01:32 +0200 | <shapr> | it's already afternoon |
| 2022-07-09 18:01:55 +0200 | <carbolymer> | maerwald: good to know, thanks |
| 2022-07-09 18:02:03 +0200 | <monochrom> | Yes, hpack fills in a lot of chore fields. But what it refuses to do, and is damaging to hackage, is refusing to fill in version bounds. |
| 2022-07-09 18:02:54 +0200 | <carbolymer> | monochrom: wdym, version bounds in dependencies? |
| 2022-07-09 18:02:59 +0200 | <monochrom> | Right. |
| 2022-07-09 18:03:30 +0200 | yauhsien | (~yauhsien@61-231-36-12.dynamic-ip.hinet.net) |
| 2022-07-09 18:03:32 +0200 | carbolymer | is looking at his generated cabal file and sees `base` with version bounds |
| 2022-07-09 18:03:42 +0200 | <monochrom> | hpack is still designed with stackage LTS resolvers, not hackage or cabal, in mind. |
| 2022-07-09 18:04:18 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-07-09 18:06:41 +0200 | <maerwald> | monochrom: https://github.com/NorfairKing/fuzzy-time/pull/4#issuecomment-1171650210 |
| 2022-07-09 18:06:43 +0200 | <maerwald> | xD |
| 2022-07-09 18:08:30 +0200 | yauhsien | (~yauhsien@61-231-36-12.dynamic-ip.hinet.net) (Ping timeout: 264 seconds) |
| 2022-07-09 18:10:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-09 18:16:09 +0200 | arahael | (~arahael@60-242-42-246.tpgi.com.au) (Ping timeout: 276 seconds) |
| 2022-07-09 18:16:30 +0200 | <tomsmeding> | carbolymer: note that monochrom said that hpack refuses to refuse to fill in version bounds |
| 2022-07-09 18:16:36 +0200 | <tomsmeding> | The doubke negation was intentional |
| 2022-07-09 18:17:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 18:17:55 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-07-09 18:18:12 +0200 | <tomsmeding> | maerwald: while snark was well-placed, I do kinda agree that if there is a package.yaml, that one should be fixed and the cabal file regenerated instead of modifying just the cabal file (assuming you'd done that before) :p |
| 2022-07-09 18:18:55 +0200 | <monochrom> | Err no, sorry, this time the repetition is for emphasis, like "ain't got no bounds" |
| 2022-07-09 18:19:38 +0200 | <shapr> | Is there a way to automatically detect/calculate sensible version bounds? |
| 2022-07-09 18:20:08 +0200 | <hpc> | that would be a nice trick |
| 2022-07-09 18:20:12 +0200 | <monochrom> | But I guess hpack is just translating package.yaml. |
| 2022-07-09 18:20:25 +0200 | <geekosaur> | afaik the only way to do it is bisecting build plans |
| 2022-07-09 18:20:38 +0200 | <sclv> | stack has a pvp bounds flag |
| 2022-07-09 18:20:47 +0200 | <sclv> | and cabal has gen-boubds |
| 2022-07-09 18:20:56 +0200 | <sclv> | they’re both conservative |
| 2022-07-09 18:20:58 +0200 | econo | (uid147250@user/econo) |
| 2022-07-09 18:21:15 +0200 | <hpc> | i think the best way would be to have version bounds follow the semantics of version numbers |
| 2022-07-09 18:21:34 +0200 | <hpc> | and then automatically detect different levels of change |
| 2022-07-09 18:21:42 +0200 | <shapr> | huh, I didn't know about cabal gen-bounds |
| 2022-07-09 18:21:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-09 18:22:43 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-07-09 18:23:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 18:24:07 +0200 | <tomsmeding> | Now if only `cabal gen-bounds` could modify the cabal file in-place |
| 2022-07-09 18:24:18 +0200 | <tomsmeding> | But bidirectional parsing hard |
| 2022-07-09 18:25:20 +0200 | <monochrom> | A long time ago I saw people writing self-modifying makefiles so as to incorporate the most up-to-date `gcc -MM` output :) |
| 2022-07-09 18:25:39 +0200 | <shapr> | tomsmeding: yeah, I'd like that |
| 2022-07-09 18:26:38 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 2022-07-09 18:26:41 +0200 | <shapr> | If we could modify the file in-place, we could run the test-suite with different bounds to see what works |
| 2022-07-09 18:28:23 +0200 | mima | (~mmh@aftr-62-216-210-233.dynamic.mnet-online.de) |
| 2022-07-09 18:29:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 18:30:05 +0200 | arahael | (~arahael@114.198.31.146) |
| 2022-07-09 18:30:27 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-09 18:31:16 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-07-09 18:31:16 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2022-07-09 18:31:16 +0200 | jinsun__ | jinsun |
| 2022-07-09 18:32:49 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-07-09 18:33:04 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-07-09 18:34:49 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-09 18:39:06 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 18:43:10 +0200 | vglfr | (~vglfr@88.155.11.120) (Ping timeout: 244 seconds) |
| 2022-07-09 18:44:09 +0200 | <tomsmeding> | monochrom: luckily there is some .include trick or something that works these days (or maybe it worked before too, but people didn't know about it -- I dunno) |
| 2022-07-09 18:45:40 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-09 18:45:49 +0200 | <geekosaur> | "include" is an extension over original make |
| 2022-07-09 18:45:58 +0200 | <maerwald> | tomsmeding: https://github.com/kowainik/autopack |
| 2022-07-09 18:46:04 +0200 | <geekosaur> | then again, so is "gcc -MM" an extension over cc |
| 2022-07-09 18:46:08 +0200 | <maerwald> | but it's a hack |
| 2022-07-09 18:48:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 18:50:01 +0200 | <tomsmeding> | ew Custom setup |
| 2022-07-09 18:50:38 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-09 18:50:39 +0200 | <maerwald> | yeah, custom setup can even serve as a replacement for TH |
| 2022-07-09 18:50:42 +0200 | alp | (~alp@user/alp) |
| 2022-07-09 18:51:21 +0200 | <tomsmeding> | I don't want to make my build even slower :p |
| 2022-07-09 18:55:05 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-07-09 18:55:58 +0200 | <monochrom> | Yeah I now teach the include trick to students. |
| 2022-07-09 19:01:39 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 276 seconds) |
| 2022-07-09 19:04:26 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-09 19:04:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-09 19:04:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 19:05:33 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2022-07-09 19:09:48 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-07-09 19:10:46 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-07-09 19:13:08 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-07-09 19:13:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 19:16:09 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-07-09 19:22:17 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-07-09 19:25:57 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-07-09 19:26:34 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-07-09 19:27:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-09 19:27:38 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-09 19:27:48 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-09 19:28:19 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-09 19:29:27 +0200 | winny | (~weechat@user/winny) |
| 2022-07-09 19:32:26 +0200 | quarkyalice | (~alice@user/quarkyalice) |
| 2022-07-09 19:35:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 19:36:52 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-09 19:38:30 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 240 seconds) |
| 2022-07-09 19:39:47 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-07-09 19:40:24 +0200 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-07-09 19:41:28 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-07-09 19:42:50 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-09 19:43:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 19:58:43 +0200 | GoldsteinQ | (~goldstein@broadband-46-242-8-53.ip.moscow.rt.ru) |
| 2022-07-09 20:00:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 20:01:32 +0200 | GoldsteinQ | (~goldstein@broadband-46-242-8-53.ip.moscow.rt.ru) (Quit: Leaving) |
| 2022-07-09 20:04:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-09 20:05:29 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-09 20:05:29 +0200 | noteness_ | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-09 20:05:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-09 20:05:56 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-09 20:06:11 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-09 20:06:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-09 20:10:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 20:11:51 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2022-07-09 20:18:17 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-07-09 20:24:50 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-07-09 20:26:30 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2022-07-09 20:26:44 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 272 seconds) |
| 2022-07-09 20:28:05 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-09 20:28:40 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-07-09 20:28:45 +0200 | alp | (~alp@user/alp) (Ping timeout: 276 seconds) |
| 2022-07-09 20:29:12 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-09 20:29:28 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-07-09 20:31:05 +0200 | dudek | (~dudek@185.150.236.103) |
| 2022-07-09 20:31:52 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-09 20:33:20 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-07-09 20:33:41 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-09 20:34:14 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-07-09 20:34:34 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-09 20:35:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 20:36:09 +0200 | sndr | (~sander@user/sander) |
| 2022-07-09 20:37:21 +0200 | sander | (~sander@user/sander) (Ping timeout: 244 seconds) |
| 2022-07-09 20:37:24 +0200 | sndr | sander |
| 2022-07-09 20:39:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 20:40:03 +0200 | nuh^ | (~nuh@128-092-191-146.biz.spectrum.com) |
| 2022-07-09 20:41:04 +0200 | Guest6 | (~Guest6@host-95-234-175-160.retail.telecomitalia.it) |
| 2022-07-09 20:41:30 +0200 | <Guest6> | @help |
| 2022-07-09 20:41:30 +0200 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2022-07-09 20:41:38 +0200 | <Guest6> | @help list |
| 2022-07-09 20:41:38 +0200 | <lambdabot> | list [module|command]. Show commands for [module] or the module providing [command]. |
| 2022-07-09 20:41:58 +0200 | <Guest6> | @list |
| 2022-07-09 20:41:58 +0200 | <lambdabot> | What module? Try @listmodules for some ideas. |
| 2022-07-09 20:42:07 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-07-09 20:42:13 +0200 | alp | (~alp@user/alp) |
| 2022-07-09 20:42:45 +0200 | <Guest6> | @pl f xs i = take i xs : f (drop i xs) (i+1) |
| 2022-07-09 20:42:45 +0200 | <lambdabot> | f = fix (ap (ap . ((:) .) . flip take) . flip flip (1 +) . (ap .) . (. flip drop) . (.)) |
| 2022-07-09 20:43:15 +0200 | <Guest6> | @pl \f xs i -> take i xs : f (drop i xs) (i+1) |
| 2022-07-09 20:43:15 +0200 | <lambdabot> | ap (ap . ((:) .) . flip take) . flip flip (1 +) . (ap .) . (. flip drop) . (.) |
| 2022-07-09 20:43:35 +0200 | <Guest6> | @pl \a b c d -> a b (c d) |
| 2022-07-09 20:43:35 +0200 | <lambdabot> | ((.) .) |
| 2022-07-09 20:43:54 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:a9fb:fc4a:9560:a9be) |
| 2022-07-09 20:44:03 +0200 | <Guest6> | @unpl ((.).(.)) |
| 2022-07-09 20:44:03 +0200 | <lambdabot> | (\ x g x0 x1 -> x (g x0 x1)) |
| 2022-07-09 20:44:16 +0200 | <Guest6> | @unpl ((.)$(.)) |
| 2022-07-09 20:44:16 +0200 | <lambdabot> | (\ g x g0 x0 -> g x (g0 x0)) |
| 2022-07-09 20:44:29 +0200 | <Guest6> | @unpl ((.)$($)) |
| 2022-07-09 20:44:30 +0200 | <lambdabot> | (\ g -> g) |
| 2022-07-09 20:44:36 +0200 | <Guest6> | @unpl (($)$($)) |
| 2022-07-09 20:44:37 +0200 | <lambdabot> | (\ f -> f) |
| 2022-07-09 20:44:54 +0200 | <Guest6> | @unpl id |
| 2022-07-09 20:44:55 +0200 | <lambdabot> | (\ x -> x) |
| 2022-07-09 20:45:17 +0200 | quarkyalice | (~alice@user/quarkyalice) (Remote host closed the connection) |
| 2022-07-09 20:45:40 +0200 | Guest6 | (~Guest6@host-95-234-175-160.retail.telecomitalia.it) (Client Quit) |
| 2022-07-09 20:46:20 +0200 | Guest6 | (~Guest6@host-95-234-175-160.retail.telecomitalia.it) |
| 2022-07-09 20:46:59 +0200 | Guest6 | (~Guest6@host-95-234-175-160.retail.telecomitalia.it) (Client Quit) |
| 2022-07-09 20:50:09 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-07-09 20:51:28 +0200 | sander | (~sander@user/sander) (Read error: Connection reset by peer) |
| 2022-07-09 20:52:29 +0200 | sander | (~sander@user/sander) |
| 2022-07-09 20:54:24 +0200 | fjmorazan | (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2022-07-09 20:54:37 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-09 20:55:06 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-07-09 20:59:38 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-07-09 21:01:56 +0200 | fserucas | (~fserucas@12.64.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-07-09 21:02:25 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-09 21:04:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 21:09:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-09 21:10:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 21:11:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-09 21:12:00 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2022-07-09 21:14:40 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 21:17:19 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 256 seconds) |
| 2022-07-09 21:19:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 21:20:59 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz)) |
| 2022-07-09 21:26:39 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 2022-07-09 21:28:39 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2022-07-09 21:31:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 21:35:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 21:36:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 21:43:57 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-07-09 21:47:39 +0200 | pavonia | (~user@user/siracusa) |
| 2022-07-09 21:47:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 21:51:02 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 260 seconds) |
| 2022-07-09 21:51:09 +0200 | vglfr | (~vglfr@88.155.11.120) |
| 2022-07-09 21:53:00 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-09 21:53:15 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-09 21:53:54 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2022-07-09 21:54:03 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-09 21:55:51 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-07-09 21:56:47 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-07-09 21:57:38 +0200 | jgeerds | (~jgeerds@55d437cf.access.ecotel.net) |
| 2022-07-09 22:05:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 22:07:00 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-07-09 22:10:33 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Read error: Connection reset by peer) |
| 2022-07-09 22:10:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 22:13:30 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-07-09 22:20:43 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-07-09 22:21:41 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-07-09 22:23:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 22:28:11 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-09 22:31:08 +0200 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2022-07-09 22:31:47 +0200 | vulpine | (xfnw@tilde.team) |
| 2022-07-09 22:34:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 22:39:40 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 260 seconds) |
| 2022-07-09 22:43:18 +0200 | maroloccio | (~marolocci@62.98.89.32) (Ping timeout: 240 seconds) |
| 2022-07-09 22:44:25 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-07-09 22:44:29 +0200 | maroloccio | (~marolocci@62.98.71.133) |
| 2022-07-09 22:44:39 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 2022-07-09 22:46:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 22:47:24 +0200 | dcoutts | (~duncan@host86-176-29-6.range86-176.btcentralplus.com) |
| 2022-07-09 22:49:06 +0200 | vglfr | (~vglfr@88.155.11.120) (Ping timeout: 244 seconds) |
| 2022-07-09 22:50:34 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-07-09 22:52:46 +0200 | pleo | (~pleo@user/pleo) |
| 2022-07-09 22:53:42 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-07-09 22:54:15 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2022-07-09 22:56:50 +0200 | ubert | (~Thunderbi@p548c90fa.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-09 22:57:53 +0200 | maroloccio | (~marolocci@62.98.71.133) (Ping timeout: 244 seconds) |
| 2022-07-09 22:59:52 +0200 | maroloccio | (~marolocci@62.98.76.98) |
| 2022-07-09 23:00:38 +0200 | mcglk | (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz)) |
| 2022-07-09 23:01:27 +0200 | ubert | (~Thunderbi@p200300ecdf0da5dce12392c79554e02e.dip0.t-ipconnect.de) |
| 2022-07-09 23:01:51 +0200 | ubert | (~Thunderbi@p200300ecdf0da5dce12392c79554e02e.dip0.t-ipconnect.de) (Client Quit) |
| 2022-07-09 23:04:37 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-07-09 23:05:05 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-09 23:08:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-09 23:09:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 23:12:40 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-07-09 23:15:21 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-07-09 23:22:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 23:22:18 +0200 | chomwitt | (~chomwitt@2a02:587:dc0d:4a00:c5c0:a118:2df4:ea86) (Ping timeout: 240 seconds) |
| 2022-07-09 23:26:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-09 23:27:15 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-07-09 23:36:07 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 2022-07-09 23:36:32 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-09 23:37:36 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-07-09 23:38:55 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-07-09 23:40:17 +0200 | merijn | (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 2022-07-09 23:41:37 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-09 23:43:24 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-07-09 23:43:43 +0200 | alp | (~alp@user/alp) |
| 2022-07-09 23:44:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-09 23:46:54 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:d0f1:5dd3:c36e:2b31) |
| 2022-07-09 23:48:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-07-09 23:48:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-09 23:49:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-07-09 23:52:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-07-09 23:55:30 +0200 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2022-07-09 23:57:48 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:d0f1:5dd3:c36e:2b31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-07-09 23:58:27 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:d0f1:5dd3:c36e:2b31) |
| 2022-07-09 23:58:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |