| 2022-04-02 00:01:04 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-04-02 00:10:19 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-02 00:10:56 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-04-02 00:17:28 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::3800) (Ping timeout: 260 seconds) |
| 2022-04-02 00:21:28 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-02 00:21:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-02 00:22:40 +0200 | <abastro[m]> | Hm how can I access #haskell-in-depth |
| 2022-04-02 00:22:45 +0200 | <abastro[m]> | From matrix |
| 2022-04-02 00:23:01 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-02 00:24:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-02 00:24:53 +0200 | <geekosaur> | #haskell-in-depth:libera.chat I think |
| 2022-04-02 00:26:47 +0200 | <abastro[m]> | Thank you!!! |
| 2022-04-02 00:27:33 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-02 00:28:44 +0200 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:6d4c:38a4:18b7:4b48) |
| 2022-04-02 00:34:54 +0200 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-04-02 00:36:17 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-02 00:38:13 +0200 | acidjnk | (~acidjnk@p200300d0c7049f94e8cdd499a79a3878.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-02 00:40:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-04-02 00:42:08 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 2022-04-02 00:44:22 +0200 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:6d4c:38a4:18b7:4b48) (Quit: WeeChat 3.4) |
| 2022-04-02 00:45:31 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 00:46:08 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-04-02 00:48:26 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2022-04-02 00:50:08 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-02 01:00:03 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-04-02 01:00:40 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 01:01:55 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-02 01:04:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-04-02 01:05:00 +0200 | natechan | (~nate@98.45.152.91) |
| 2022-04-02 01:05:11 +0200 | zyklotomic | (~ethan@r4-128-61-95-82.res.gatech.edu) (Ping timeout: 246 seconds) |
| 2022-04-02 01:07:10 +0200 | zyklotomic | (~ethan@res380d-128-61-87-11.res.gatech.edu) |
| 2022-04-02 01:07:19 +0200 | chomwitt | (~chomwitt@ppp-94-67-69-112.home.otenet.gr) (Ping timeout: 260 seconds) |
| 2022-04-02 01:12:00 +0200 | Guest40 | (~Guest40@189.101.232.157) |
| 2022-04-02 01:12:13 +0200 | Guest40 | (~Guest40@189.101.232.157) (Client Quit) |
| 2022-04-02 01:14:38 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2022-04-02 01:21:51 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 01:26:27 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-02 01:32:28 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 01:37:19 +0200 | rawley | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) |
| 2022-04-02 01:45:08 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-02 01:49:50 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) |
| 2022-04-02 01:49:57 +0200 | lainon | (~lainon@45-18-156-230.lightspeed.knvltn.sbcglobal.net) |
| 2022-04-02 01:54:18 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) (Ping timeout: 260 seconds) |
| 2022-04-02 01:58:29 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 01:59:13 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-02 02:01:16 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-02 02:03:19 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-02 02:05:02 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-04-02 02:07:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-04-02 02:08:24 +0200 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-02 02:10:19 +0200 | alp | (~alp@user/alp) |
| 2022-04-02 02:11:50 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-02 02:11:50 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-02 02:11:50 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-02 02:15:55 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-02 02:18:13 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-04-02 02:21:24 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 272 seconds) |
| 2022-04-02 02:25:18 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-02 02:28:39 +0200 | califax | (~califax@user/califx) |
| 2022-04-02 02:29:18 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:4091:e9b1:bc9f:dc79) (Ping timeout: 260 seconds) |
| 2022-04-02 02:32:44 +0200 | lainon | (~lainon@45-18-156-230.lightspeed.knvltn.sbcglobal.net) (Quit: lainon) |
| 2022-04-02 02:35:17 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 02:39:41 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-02 02:43:35 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 02:47:31 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-04-02 02:49:52 +0200 | lainon | (~lainon@2600:1700:1bb0:1c10::1b) |
| 2022-04-02 02:50:50 +0200 | lainon | (~lainon@2600:1700:1bb0:1c10::1b) (Client Quit) |
| 2022-04-02 02:52:38 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-02 02:59:36 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:4091:e9b1:bc9f:dc79) |
| 2022-04-02 03:05:50 +0200 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-04-02 03:06:33 +0200 | chenqisu1 | (~chenqisu1@183.217.200.168) |
| 2022-04-02 03:07:35 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-02 03:08:16 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 03:10:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-02 03:11:15 +0200 | frost | (~frost@user/frost) |
| 2022-04-02 03:11:17 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-04-02 03:11:53 +0200 | rawley | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) (Ping timeout: 256 seconds) |
| 2022-04-02 03:12:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-04-02 03:12:29 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-04-02 03:13:20 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-02 03:15:44 +0200 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 246 seconds) |
| 2022-04-02 03:16:40 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-02 03:17:08 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-02 03:18:55 +0200 | neurocyte86149 | (~neurocyte@IP-094046077081.dynamic.medianet-world.de) |
| 2022-04-02 03:18:56 +0200 | neurocyte86149 | (~neurocyte@IP-094046077081.dynamic.medianet-world.de) (Changing host) |
| 2022-04-02 03:18:56 +0200 | neurocyte86149 | (~neurocyte@user/neurocyte) |
| 2022-04-02 03:20:47 +0200 | neurocyte8614 | (~neurocyte@user/neurocyte) (Ping timeout: 260 seconds) |
| 2022-04-02 03:20:48 +0200 | neurocyte86149 | neurocyte8614 |
| 2022-04-02 03:27:00 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-04-02 03:35:10 +0200 | michalz | (~michalz@185.246.204.61) (Remote host closed the connection) |
| 2022-04-02 03:36:35 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:4091:e9b1:bc9f:dc79) (Ping timeout: 256 seconds) |
| 2022-04-02 03:44:32 +0200 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2022-04-02 03:45:27 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2022-04-02 03:46:05 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-04-02 03:47:27 +0200 | robertm | (robertm@lattice.rojoma.com) |
| 2022-04-02 03:47:35 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2022-04-02 03:50:11 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-02 03:50:11 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-02 03:50:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-02 03:51:53 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2022-04-02 03:54:36 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2022-04-02 03:57:02 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-02 03:59:09 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 03:59:34 +0200 | <abastro[m]> | I think when we use haskell, we are enjoying advantage of laziness without noticing esp. when we employ abstractions. Am I the only one with this opinion? |
| 2022-04-02 04:02:03 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-04-02 04:03:26 +0200 | dsrt^ | (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) |
| 2022-04-02 04:03:27 +0200 | cheater | (~Username@user/cheater) |
| 2022-04-02 04:03:33 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-02 04:04:01 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-02 04:04:40 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:4091:e9b1:bc9f:dc79) |
| 2022-04-02 04:06:42 +0200 | rawley | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) |
| 2022-04-02 04:08:36 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:4091:e9b1:bc9f:dc79) (Ping timeout: 240 seconds) |
| 2022-04-02 04:08:50 +0200 | robertm | (robertm@lattice.rojoma.com) (Quit: WeeChat 3.0) |
| 2022-04-02 04:13:59 +0200 | <shapr> | abastro[m]: I would agree with that |
| 2022-04-02 04:14:43 +0200 | robertm | (robertm@lattice.rojoma.com) |
| 2022-04-02 04:25:05 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-02 04:25:27 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.168) |
| 2022-04-02 04:28:04 +0200 | AlexZenon | (~alzenon@178.34.151.158) (Ping timeout: 272 seconds) |
| 2022-04-02 04:28:04 +0200 | Alex_test | (~al_test@178.34.151.158) (Ping timeout: 272 seconds) |
| 2022-04-02 04:28:37 +0200 | AlexNoo | (~AlexNoo@178.34.151.158) (Ping timeout: 240 seconds) |
| 2022-04-02 04:29:28 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-04-02 04:29:49 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-04-02 04:29:58 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-02 04:31:16 +0200 | Alex_test | (~al_test@178.34.161.168) |
| 2022-04-02 04:31:17 +0200 | AlexZenon | (~alzenon@178.34.161.168) |
| 2022-04-02 04:31:53 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 04:34:00 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-02 04:36:35 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-02 04:36:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-02 04:36:35 +0200 | finn_elija | FinnElija |
| 2022-04-02 04:38:19 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:4091:e9b1:bc9f:dc79) |
| 2022-04-02 04:40:18 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-02 04:40:28 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-02 04:42:53 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:4091:e9b1:bc9f:dc79) (Ping timeout: 260 seconds) |
| 2022-04-02 04:49:44 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-02 04:58:09 +0200 | neightchan | (~nate@98.45.152.91) |
| 2022-04-02 04:58:09 +0200 | Dorkside | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 04:58:23 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 04:58:24 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 04:58:36 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 04:58:36 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 04:58:41 +0200 | natechan | (~nate@98.45.152.91) (Read error: Connection reset by peer) |
| 2022-04-02 04:58:48 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 04:58:48 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 04:59:01 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 04:59:01 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 04:59:14 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 04:59:14 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 04:59:29 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 04:59:30 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 04:59:41 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 2022-04-02 04:59:43 +0200 | zyklotomic | (~ethan@res380d-128-61-87-11.res.gatech.edu) (Ping timeout: 260 seconds) |
| 2022-04-02 04:59:43 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 04:59:44 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 04:59:56 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 04:59:57 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:00:01 +0200 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-04-02 05:00:09 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:00:09 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:00:21 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:00:21 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:00:34 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:00:35 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:00:48 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:00:49 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:01:08 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:01:08 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:01:11 +0200 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 245 seconds) |
| 2022-04-02 05:01:25 +0200 | haasn | (~nand@haasn.dev) |
| 2022-04-02 05:01:27 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:01:28 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:01:28 +0200 | zyklotomic | (~ethan@res380d-128-61-87-255.res.gatech.edu) |
| 2022-04-02 05:01:49 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:01:49 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:02:01 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:02:02 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:02:15 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:02:16 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:02:29 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:02:29 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:02:42 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:02:42 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:03:03 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:03:03 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:03:16 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:03:17 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:03:30 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:03:31 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:03:44 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:03:44 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:03:57 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:03:58 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:04:11 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:04:12 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:04:24 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:04:24 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:04:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2022-04-02 05:04:36 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:04:36 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:04:51 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:04:51 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:05:04 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:05:05 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:05:17 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:05:17 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:05:30 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:05:31 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:05:44 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:05:44 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:05:47 +0200 | arjun | (~arjun@user/arjun) |
| 2022-04-02 05:05:57 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:05:57 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:06:11 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:06:11 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:06:24 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:06:25 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:06:38 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:06:38 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:06:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-02 05:06:51 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:06:51 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:07:04 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:07:05 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:07:19 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:07:19 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:07:21 +0200 | <shapr> | wow, part/join spam is much |
| 2022-04-02 05:07:33 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:07:33 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:07:46 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:07:47 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:08:00 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:08:00 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:08:13 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:08:13 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:08:27 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:08:27 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:08:40 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:08:41 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:08:53 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:08:53 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:09:05 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-02 05:09:05 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-04-02 05:09:06 +0200 | ChanServ | +o litharge |
| 2022-04-02 05:09:06 +0200 | litharge | +b *!*@208.190.197.222 |
| 2022-04-02 05:09:16 +0200 | litharge | -o litharge |
| 2022-04-02 05:09:59 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-02 05:10:46 +0200 | ChanServ | +o shapr |
| 2022-04-02 05:12:13 +0200 | gingeh | (~gingeh@2001:8003:1c2a:b600:6547:4150:79c1:8a30) |
| 2022-04-02 05:14:29 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 05:16:21 +0200 | mmaruseacph2 | (~mihai@198.199.100.72) (Quit: So long and thanks for all the lambdas) |
| 2022-04-02 05:18:28 +0200 | <gingeh> | Hi, I'm fairly new to Haskell. I am writing a very basic interpreter (https://paste.tomsmeding.com/eT561V0J) and want to know if there is a way lines 11 and 12 could be simplified. Perhaps using something like a state monad? |
| 2022-04-02 05:22:35 +0200 | <dsal> | I don't think a State Monad is what you need there. The structure seems a little odd to me, though. |
| 2022-04-02 05:26:26 +0200 | Zemyla | (~Zemyla@2603-8080-4901-6095-ad10-d42b-e8a2-48d2.res6.spectrum.com) |
| 2022-04-02 05:26:57 +0200 | <glguy> | gingeh: https://paste.tomsmeding.com/RwcJYkCH |
| 2022-04-02 05:27:04 +0200 | <glguy> | dsal: maybe you'll find it interesting, too? |
| 2022-04-02 05:30:01 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-04-02 05:30:04 +0200 | <dsal> | Yeah, that's neat. I still don't think I'd use state for that, though. |
| 2022-04-02 05:30:23 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-04-02 05:30:30 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:4091:e9b1:bc9f:dc79) |
| 2022-04-02 05:30:46 +0200 | <glguy> | it's the same idea as using parser combinators |
| 2022-04-02 05:30:53 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-02 05:31:08 +0200 | Codaraxis__ | (~Codaraxis@user/codaraxis) |
| 2022-04-02 05:32:03 +0200 | <monochrom> | If you use Haskell's built-in recursion, you no longer use your own stack state. |
| 2022-04-02 05:32:14 +0200 | Zemyla_ | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) |
| 2022-04-02 05:32:23 +0200 | Zemyla | (~Zemyla@2603-8080-4901-6095-ad10-d42b-e8a2-48d2.res6.spectrum.com) (Quit: Client closed) |
| 2022-04-02 05:32:32 +0200 | Zemyla_ | Zemyla |
| 2022-04-02 05:32:32 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-02 05:32:40 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-02 05:33:35 +0200 | <monochrom> | But you can also choose to limit yourself to tail recursion so you're as close to a low level loop as Haskell allows, and then you maintain your own stack and you can make it your state of the State monad. |
| 2022-04-02 05:34:12 +0200 | <monochrom> | Although, the only state operations are push and pop, so it is not the full power of State either. |
| 2022-04-02 05:34:43 +0200 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2022-04-02 05:34:47 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:4091:e9b1:bc9f:dc79) (Ping timeout: 260 seconds) |
| 2022-04-02 05:34:48 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-04-02 05:34:51 +0200 | <monochrom> | In this case any or all of Graham Hutton's "calculating a compiler" papers apply. |
| 2022-04-02 05:35:23 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-02 05:36:01 +0200 | <gingeh> | glguy: that looks promising! I'll play around with that to see if it makes things easier. |
| 2022-04-02 05:36:49 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 05:37:31 +0200 | <gingeh> | monochrom: "If you use Haskell's built-in recursion, you no longer use your own stack state." What do you mean by that? |
| 2022-04-02 05:38:43 +0200 | <monochrom> | Err nevermind this is a Polish-notation calculator. So yeah what glguy says about parsing, this is simply parsing Polish notation. And s/stack/input stream/ . |
| 2022-04-02 05:39:07 +0200 | ChanServ | +o litharge |
| 2022-04-02 05:39:07 +0200 | litharge | -bo *!*@208.190.197.222 litharge |
| 2022-04-02 05:39:36 +0200 | <monochrom> | It is true that "StateT [Token] Maybe" is poor man's parser monad. |
| 2022-04-02 05:48:13 +0200 | rawley | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) (Remote host closed the connection) |
| 2022-04-02 05:50:44 +0200 | <dsal> | gingeh: Where was that list format specified? I think that's the part that's thrown me off. I'd expected to have parsed something into a tree structure that's more natural to evaluate instead of doing the same parsing phase again in the evaluator. |
| 2022-04-02 05:51:03 +0200 | <dsal> | I realized here I'd never actually seen forward polish notation. |
| 2022-04-02 05:51:25 +0200 | <gingeh> | This is just something I made while bored in class |
| 2022-04-02 05:51:35 +0200 | <gingeh> | I didn't put much design thought into it |
| 2022-04-02 05:54:19 +0200 | <dsal> | Ah, OK. It's a sensible exercise. In practice, I end up with the expression being more tree-like. e.g., data Expr a = Constant a | Add Expr Expr | Mul Expr Expr etc... |
| 2022-04-02 06:00:32 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 272 seconds) |
| 2022-04-02 06:01:10 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-02 06:02:01 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) |
| 2022-04-02 06:10:32 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-02 06:16:37 +0200 | <abastro[m]> | Can you backtrack with `StateT [Token] Maybe`? |
| 2022-04-02 06:17:25 +0200 | <glguy> | You'd switch from Maybe to [] |
| 2022-04-02 06:18:17 +0200 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 2022-04-02 06:18:50 +0200 | <abastro[m]> | Oh, so that is poor man's parser monad |
| 2022-04-02 06:19:08 +0200 | <glguy> | also |
| 2022-04-02 06:34:55 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-02 06:40:08 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-04-02 06:40:46 +0200 | <Zemyla> | Do you tokenize before parsing? |
| 2022-04-02 06:45:07 +0200 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
| 2022-04-02 06:45:13 +0200 | arjun | (~arjun@user/arjun) (Quit: Leaving) |
| 2022-04-02 06:45:25 +0200 | <dsal> | Most of the time, I just do everything in one pass with megaparsec. |
| 2022-04-02 06:47:38 +0200 | <dsal> | My current work project is using attoparsec, but similar concept, I built up the final data structure as I'm going. |
| 2022-04-02 06:48:53 +0200 | Codaraxis__ | (~Codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2022-04-02 06:49:55 +0200 | <Zemyla> | So would tokenizing make things faster or simpler? |
| 2022-04-02 06:55:08 +0200 | <dsal> | I don't have performance or simplicity problems with any of my parsers, so I've not put thought into it. |
| 2022-04-02 06:57:43 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-02 06:58:17 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 07:00:42 +0200 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-02 07:02:53 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) (Ping timeout: 260 seconds) |
| 2022-04-02 07:03:14 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-02 07:05:12 +0200 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 260 seconds) |
| 2022-04-02 07:08:21 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-02 07:08:55 +0200 | <abastro[m]> | Why not do tokenizers tho? |
| 2022-04-02 07:10:30 +0200 | <dsal> | I don't understand what kind of improvements people are suggesting. Can you be concrete about what needs to be better in a particular parser? |
| 2022-04-02 07:10:35 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-04-02 07:11:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-02 07:13:50 +0200 | <dolio> | Parser combinators don't really require factoring out a separate tokenization stage as much as traditional parser designs. |
| 2022-04-02 07:14:24 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 07:14:26 +0200 | <dolio> | Getting a token can just be a parser. |
| 2022-04-02 07:16:17 +0200 | napping | (~brandon@65.128.49.110) (Ping timeout: 260 seconds) |
| 2022-04-02 07:16:39 +0200 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 252 seconds) |
| 2022-04-02 07:17:31 +0200 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-04-02 07:17:41 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-02 07:24:20 +0200 | mmaruseacph2 | (~mihai@198.199.98.239) |
| 2022-04-02 07:32:31 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-02 07:33:29 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-02 07:36:59 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-02 07:37:27 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-02 07:42:34 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-02 07:43:25 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-02 07:45:03 +0200 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 250 seconds) |
| 2022-04-02 07:51:39 +0200 | acidjnk | (~acidjnk@p200300d0c7049f703514052294f74a96.dip0.t-ipconnect.de) |
| 2022-04-02 07:58:26 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 08:01:15 +0200 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 260 seconds) |
| 2022-04-02 08:01:28 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-02 08:08:03 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-02 08:18:30 +0200 | vysn | (~vysn@user/vysn) (Remote host closed the connection) |
| 2022-04-02 08:22:13 +0200 | vicfred | (~vicfred@user/vicfred) (Read error: Connection reset by peer) |
| 2022-04-02 08:22:55 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-02 08:24:20 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-02 08:26:38 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-02 08:31:28 +0200 | vicfred_ | (~vicfred@user/vicfred) |
| 2022-04-02 08:31:33 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-02 08:31:52 +0200 | <abastro[m]> | I mean, getting a token would be parser |
| 2022-04-02 08:32:08 +0200 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 260 seconds) |
| 2022-04-02 08:32:37 +0200 | <abastro[m]> | So I was suggesting more like, gathering PC doing lexing together - so that you could distinguish which is interacting with char more easily |
| 2022-04-02 08:32:38 +0200 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-04-02 08:36:45 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-04-02 08:43:13 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-02 09:01:24 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-02 09:12:51 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2022-04-02 09:15:52 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-04-02 09:16:39 +0200 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-04-02 09:18:31 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-04-02 09:20:43 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-02 09:28:43 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-02 09:28:49 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-02 09:30:36 +0200 | ellie | (~ellie@user/ellie) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-02 09:32:24 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-02 09:32:46 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-02 09:34:25 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-02 09:34:36 +0200 | Midjak | (~Midjak@82.66.147.146) (Client Quit) |
| 2022-04-02 09:48:29 +0200 | vicfred__ | (~vicfred@user/vicfred) |
| 2022-04-02 09:48:47 +0200 | vicfred_ | (~vicfred@user/vicfred) (Ping timeout: 246 seconds) |
| 2022-04-02 09:52:38 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-02 09:52:51 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-02 09:56:45 +0200 | nek0 | (~nek0@nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-02 09:57:50 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2022-04-02 10:07:27 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-02 10:08:23 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-02 10:10:30 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-02 10:15:27 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-02 10:15:45 +0200 | kuribas | (~user@ptr-25vy0i9ukrx95drquaj.18120a2.ip6.access.telenet.be) |
| 2022-04-02 10:19:09 +0200 | benin | (~benin@183.82.204.110) (Ping timeout: 256 seconds) |
| 2022-04-02 10:19:23 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2022-04-02 10:19:39 +0200 | mixfix41 | (~homefame@user/mixfix41) |
| 2022-04-02 10:23:25 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) |
| 2022-04-02 10:24:22 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-04-02 10:27:43 +0200 | daisyc1 | (~daisyc4@212.30.36.90) |
| 2022-04-02 10:33:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-04-02 10:36:41 +0200 | alp | (~alp@user/alp) |
| 2022-04-02 10:38:45 +0200 | Midjak | (~Midjak@82.66.147.146) (Read error: Connection reset by peer) |
| 2022-04-02 10:39:27 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-02 10:40:42 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 10:45:01 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-04-02 10:49:03 +0200 | ph14nix[m] | (~ph14nixma@2001:470:69fc:105::1:ec40) |
| 2022-04-02 10:49:12 +0200 | ph14nix[m] | (~ph14nixma@2001:470:69fc:105::1:ec40) () |
| 2022-04-02 10:52:49 +0200 | dsrt^ | (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-04-02 10:57:58 +0200 | daisyc1 | (~daisyc4@212.30.36.90) (Ping timeout: 260 seconds) |
| 2022-04-02 11:00:18 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-02 11:00:52 +0200 | chomwitt | (~chomwitt@2a02:587:dc1b:d600:c3a8:b4dc:b642:1f2) |
| 2022-04-02 11:03:50 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-02 11:04:25 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 11:05:06 +0200 | mike11 | (~Mike@user/mike11) |
| 2022-04-02 11:08:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-02 11:09:36 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-02 11:13:08 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-04-02 11:14:06 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-04-02 11:18:24 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 11:20:50 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-02 11:22:28 +0200 | mike11 | (~Mike@user/mike11) (Ping timeout: 260 seconds) |
| 2022-04-02 11:24:13 +0200 | acidjnk | (~acidjnk@p200300d0c7049f703514052294f74a96.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-02 11:24:50 +0200 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-04-02 11:25:23 +0200 | zyklotomic | (~ethan@res380d-128-61-87-255.res.gatech.edu) (Ping timeout: 260 seconds) |
| 2022-04-02 11:27:19 +0200 | zyklotomic | (~ethan@res388d-128-61-92-112.res.gatech.edu) |
| 2022-04-02 11:27:55 +0200 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-04-02 11:32:08 +0200 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-02 11:35:08 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-04-02 11:37:48 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-02 11:37:53 +0200 | AlexNoo_ | AlexNoo |
| 2022-04-02 11:45:20 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-02 11:46:02 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-02 11:46:02 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-04-02 11:48:10 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-02 11:52:20 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-02 11:53:56 +0200 | acidjnk | (~acidjnk@p200300d0c7049f70650b5af7f0466f4b.dip0.t-ipconnect.de) |
| 2022-04-02 11:56:02 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-02 11:59:39 +0200 | Guest43 | (~Guest43@176.42.176.37) |
| 2022-04-02 12:01:08 +0200 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-02 12:02:34 +0200 | hrdl | (~hrdl@mail.hrdl.eu) |
| 2022-04-02 12:05:32 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-04-02 12:06:03 +0200 | Guest43 | (~Guest43@176.42.176.37) (Quit: Client closed) |
| 2022-04-02 12:06:56 +0200 | vicfred__ | (~vicfred@user/vicfred) (Remote host closed the connection) |
| 2022-04-02 12:07:50 +0200 | vicfred__ | (~vicfred@user/vicfred) |
| 2022-04-02 12:10:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-02 12:11:49 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-02 12:14:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-04-02 12:17:43 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-02 12:17:54 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-02 12:23:43 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) (Ping timeout: 260 seconds) |
| 2022-04-02 12:25:16 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-02 12:28:17 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-02 12:28:58 +0200 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 260 seconds) |
| 2022-04-02 12:30:22 +0200 | frost | (~frost@user/frost) (Ping timeout: 250 seconds) |
| 2022-04-02 12:31:35 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-04-02 12:32:51 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-02 12:33:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-04-02 12:34:53 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-04-02 12:35:43 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 256 seconds) |
| 2022-04-02 12:36:01 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2022-04-02 12:36:01 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2022-04-02 12:36:01 +0200 | turlando | (~turlando@user/turlando) |
| 2022-04-02 12:36:23 +0200 | ubert1 | (~Thunderbi@p200300ecdf158897cd25ca1c45111265.dip0.t-ipconnect.de) |
| 2022-04-02 12:36:46 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-02 12:47:05 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 12:50:47 +0200 | acidjnk | (~acidjnk@p200300d0c7049f70650b5af7f0466f4b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-04-02 12:53:10 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) |
| 2022-04-02 12:54:42 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-02 12:55:20 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-02 12:57:40 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-02 12:57:54 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) (Ping timeout: 272 seconds) |
| 2022-04-02 12:58:32 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-04-02 12:58:32 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-04-02 12:58:35 +0200 | allbery_b | geekosaur |
| 2022-04-02 12:59:40 +0200 | zer0bitz | (~zer0bitz@2001:2003:f750:a200:a519:6081:f3da:f296) |
| 2022-04-02 13:00:20 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.4.1) |
| 2022-04-02 13:01:41 +0200 | <abastro> | What is the idiomatic way to represent a function `f :: u -> v` where f (a <> b) = f a <> f b? |
| 2022-04-02 13:01:42 +0200 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 272 seconds) |
| 2022-04-02 13:02:05 +0200 | <abastro> | When `u`, `v` are at least semigroup, ofc |
| 2022-04-02 13:02:34 +0200 | <abastro> | (Also `f mempty = mempty` in case of Monoid) |
| 2022-04-02 13:03:11 +0200 | <abastro> | I want a type which denotes that the restriction holds. |
| 2022-04-02 13:05:28 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Read error: Connection reset by peer) |
| 2022-04-02 13:05:28 +0200 | awschnap | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 13:05:41 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-02 13:06:16 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 13:08:37 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-02 13:09:54 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-02 13:11:22 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-02 13:11:50 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-02 13:19:22 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 13:20:22 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-02 13:21:34 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-02 13:21:51 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-04-02 13:25:47 +0200 | awschnap | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-02 13:28:01 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-02 13:28:48 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-02 13:28:49 +0200 | gingeh | (~gingeh@2001:8003:1c2a:b600:6547:4150:79c1:8a30) (Read error: Connection reset by peer) |
| 2022-04-02 13:29:38 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 260 seconds) |
| 2022-04-02 13:29:52 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-04-02 13:30:22 +0200 | gingeh | (~gingeh@2001:8003:1c2a:b600:79c4:94cc:218e:5ea5) |
| 2022-04-02 13:32:40 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-02 13:35:13 +0200 | acidjnk | (~acidjnk@p200300d0c7049f70498c262e6d47c9a7.dip0.t-ipconnect.de) |
| 2022-04-02 13:35:45 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 13:40:59 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-02 13:41:56 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-02 13:43:15 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 13:45:44 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-02 13:48:27 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-04-02 13:49:11 +0200 | <unit73e> | hello. looks like the best way to handle packages is just using ghcup. at least in arch. |
| 2022-04-02 13:49:19 +0200 | <unit73e> | avoids all the issues |
| 2022-04-02 13:49:36 +0200 | <geekosaur> | that's generally the recommendation, yes |
| 2022-04-02 13:52:20 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-02 13:57:06 +0200 | <Franciman> | unit73e: i like that way too ^^ |
| 2022-04-02 13:58:22 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-02 14:04:09 +0200 | <unit73e> | hls now works flawlessly. unfortunately arch packages never really worked very well with haskell. |
| 2022-04-02 14:04:34 +0200 | <unit73e> | not even the static versions |
| 2022-04-02 14:05:46 +0200 | <unit73e> | still on the nobody asked xp3 battle. making args now. |
| 2022-04-02 14:11:17 +0200 | zer0bitz | (~zer0bitz@2001:2003:f750:a200:a519:6081:f3da:f296) () |
| 2022-04-02 14:16:26 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-04-02 14:17:35 +0200 | razetime | (~quassel@49.207.199.125) |
| 2022-04-02 14:18:43 +0200 | <abastro> | Anyone knows answer to my question? |
| 2022-04-02 14:20:14 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-04-02 14:21:28 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2022-04-02 14:23:00 +0200 | gawen | (~gawen@user/gawen) |
| 2022-04-02 14:24:21 +0200 | mbuf | (~Shakthi@171.61.151.80) |
| 2022-04-02 14:27:20 +0200 | <abastro> | (Is it fine to say it again?) |
| 2022-04-02 14:27:38 +0200 | <tdammers> | it generally won't increase your odds of getting an answer |
| 2022-04-02 14:27:50 +0200 | <tdammers> | maybe if it's been hours |
| 2022-04-02 14:27:50 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-04-02 14:28:02 +0200 | <geekosaur> | you might want to ask it on reddit or the discourse too |
| 2022-04-02 14:29:12 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-02 14:30:53 +0200 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-04-02 14:34:14 +0200 | chenqisu1 | (~chenqisu1@183.217.200.168) (Quit: Leaving) |
| 2022-04-02 14:36:24 +0200 | odnes | (~odnes@5-203-146-18.pat.nym.cosmote.net) |
| 2022-04-02 14:37:40 +0200 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) (Quit: leaving) |
| 2022-04-02 14:38:29 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-02 14:39:07 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 14:40:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-02 14:42:51 +0200 | razetime | (~quassel@49.207.199.125) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-02 14:43:07 +0200 | razetime | (~quassel@49.207.199.125) |
| 2022-04-02 14:43:59 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-02 14:44:49 +0200 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) |
| 2022-04-02 14:45:20 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:ac31:7ac1:bab2:710d) (Remote host closed the connection) |
| 2022-04-02 14:45:44 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:67d2:d391:3f5:bf92) |
| 2022-04-02 14:46:23 +0200 | <abastro> | I see, that could be betteer |
| 2022-04-02 14:46:46 +0200 | <abastro> | Perhaps you mean you do not have an easy answer for this? |
| 2022-04-02 14:47:28 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-02 14:50:03 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-02 14:51:09 +0200 | <geekosaur> | I just mean if you're not getting answers here you might need a wider audience |
| 2022-04-02 14:51:34 +0200 | <geekosaur> | speaking more as a mod than as a Haskell person (sadly, I don't know nearly as much Haskell as I sometimes seem to) |
| 2022-04-02 14:53:08 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 252 seconds) |
| 2022-04-02 14:53:12 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.4) |
| 2022-04-02 14:55:03 +0200 | nek0 | (~nek0@nek0.eu) |
| 2022-04-02 14:55:51 +0200 | <abastro> | Oh, I see. I thought you were master haskeller (and perhaps you really are & suffering imposter syndrome) |
| 2022-04-02 14:58:54 +0200 | <geekosaur> | no, there's quite a lot I don't know yet |
| 2022-04-02 14:59:25 +0200 | <geekosaur> | I think a lot of my rep comes from being the main xmonad maintainer… but 90% of that is twiddling the right X server bits, which I *do* know well |
| 2022-04-02 15:01:05 +0200 | <geekosaur> | but I confused myself (as usual) and possiblky confused someone else last night trying to explain "forall" last night: I understand it in practice but can't describe it properly for the life of me |
| 2022-04-02 15:03:15 +0200 | <liz> | abastro: i'm not sure if there's a type that represents that restriction, but that sort of function is a homomorphism of semigroups |
| 2022-04-02 15:09:11 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 260 seconds) |
| 2022-04-02 15:09:58 +0200 | acidjnk | (~acidjnk@p200300d0c7049f70498c262e6d47c9a7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-02 15:12:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-02 15:12:52 +0200 | AlexZenon | (~alzenon@178.34.161.168) (Quit: ;-) |
| 2022-04-02 15:13:02 +0200 | Alex_test | (~al_test@178.34.161.168) (Quit: ;-) |
| 2022-04-02 15:13:08 +0200 | <abastro> | Yep, I want to represent homomorphism of semigroups |
| 2022-04-02 15:13:08 +0200 | AlexNoo | (~AlexNoo@178.34.161.168) (Quit: Leaving) |
| 2022-04-02 15:13:18 +0200 | <abastro> | Feels bad just using function |
| 2022-04-02 15:14:38 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-04-02 15:16:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-04-02 15:17:06 +0200 | AlexNoo | (~AlexNoo@178.34.161.168) |
| 2022-04-02 15:17:38 +0200 | AlexZenon | (~alzenon@178.34.161.168) |
| 2022-04-02 15:18:58 +0200 | Alex_test | (~al_test@178.34.161.168) |
| 2022-04-02 15:19:24 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Ping timeout: 240 seconds) |
| 2022-04-02 15:19:43 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2022-04-02 15:20:18 +0200 | Alex_test | (~al_test@178.34.161.168) (Client Quit) |
| 2022-04-02 15:20:26 +0200 | Psybur | (~Psybur@2600:1003:b1ad:503e:b062:f712:8f0b:8adc) |
| 2022-04-02 15:21:10 +0200 | Alex_test | (~al_test@178.34.161.168) |
| 2022-04-02 15:23:29 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 15:27:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-02 15:27:53 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 15:32:08 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-02 15:35:16 +0200 | <kuribas> | albet70: hi |
| 2022-04-02 15:35:18 +0200 | <kuribas> | albet70: do you get RankN types now? |
| 2022-04-02 15:37:49 +0200 | <abastro> | I guess my question is actually more suited for Haskell Discourse. Thank you! |
| 2022-04-02 15:42:33 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 15:44:28 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-04-02 15:46:14 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) |
| 2022-04-02 15:51:27 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-02 15:52:06 +0200 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-02 15:52:22 +0200 | kuribas | (~user@ptr-25vy0i9ukrx95drquaj.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-04-02 15:56:39 +0200 | Psybur | (~Psybur@2600:1003:b1ad:503e:b062:f712:8f0b:8adc) (Ping timeout: 256 seconds) |
| 2022-04-02 15:59:21 +0200 | Psybur | (~Psybur@2600:1003:b1a9:25a8:85a:5624:5153:ebdd) |
| 2022-04-02 16:01:12 +0200 | acidjnk | (~acidjnk@p200300d0c7049f70498c262e6d47c9a7.dip0.t-ipconnect.de) |
| 2022-04-02 16:01:33 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-02 16:01:34 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-02 16:01:34 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-02 16:01:56 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-02 16:02:07 +0200 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-04-02 16:02:51 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-02 16:04:23 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-02 16:12:21 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-02 16:12:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-02 16:15:56 +0200 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-04-02 16:17:28 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-02 16:17:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-04-02 16:18:15 +0200 | acidjnk | (~acidjnk@p200300d0c7049f70498c262e6d47c9a7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-02 16:23:44 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-02 16:23:56 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-02 16:24:29 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-02 16:25:23 +0200 | BlackboardN | (~Blackboar@c-71-231-59-104.hsd1.wa.comcast.net) |
| 2022-04-02 16:25:26 +0200 | Graham31415 | (~Graham@user/Graham31415) |
| 2022-04-02 16:28:10 +0200 | razetime | (~quassel@49.207.199.125) (Ping timeout: 272 seconds) |
| 2022-04-02 16:28:59 +0200 | BlackboardN | (~Blackboar@c-71-231-59-104.hsd1.wa.comcast.net) (Client Quit) |
| 2022-04-02 16:31:17 +0200 | nsaritzky | (~nsaritzky@c-71-231-59-104.hsd1.wa.comcast.net) |
| 2022-04-02 16:31:36 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 252 seconds) |
| 2022-04-02 16:32:36 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::3800) |
| 2022-04-02 16:40:57 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 2022-04-02 16:42:28 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-02 16:42:28 +0200 | zer0bitz | (~zer0bitz@2001:2003:f750:a200:d90e:8b62:fe9d:3118) |
| 2022-04-02 16:46:43 +0200 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Quit: ZNC - https://znc.in) |
| 2022-04-02 16:46:43 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-02 16:48:40 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-02 16:48:40 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-02 16:48:40 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-02 16:57:50 +0200 | nsaritzky | (~nsaritzky@c-71-231-59-104.hsd1.wa.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-02 17:00:18 +0200 | nsaritzky | (~nsaritzky@c-71-231-59-104.hsd1.wa.comcast.net) |
| 2022-04-02 17:05:35 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-02 17:08:23 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2022-04-02 17:14:20 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8) |
| 2022-04-02 17:15:01 +0200 | napping | (~brandon@65.128.49.110) |
| 2022-04-02 17:15:14 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-02 17:15:16 +0200 | alp | (~alp@user/alp) |
| 2022-04-02 17:15:31 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-02 17:15:48 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 17:20:33 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2022-04-02 17:21:51 +0200 | jrm | (~jrm@156.34.173.250) (Quit: ciao) |
| 2022-04-02 17:23:26 +0200 | jrm | (~jrm@156.34.173.250) |
| 2022-04-02 17:26:59 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-02 17:28:00 +0200 | benin | (~benin@183.82.204.110) |
| 2022-04-02 17:32:28 +0200 | kuribas | (~user@ptr-25vy0i7mej08atpseum.18120a2.ip6.access.telenet.be) |
| 2022-04-02 17:34:19 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-02 17:36:13 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 240 seconds) |
| 2022-04-02 17:38:00 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-02 17:38:51 +0200 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-02 17:42:44 +0200 | econo | (uid147250@user/econo) |
| 2022-04-02 17:44:57 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-02 17:47:17 +0200 | daisyc1 | (~daisyc4@212.30.36.24) |
| 2022-04-02 17:50:34 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-04-02 17:56:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-02 17:57:40 +0200 | boxscape_ | (~boxscape_@p4ff0be5f.dip0.t-ipconnect.de) |
| 2022-04-02 17:57:57 +0200 | <boxscape_> | is there a way to tell cabal which ghc binary it should use? |
| 2022-04-02 17:58:07 +0200 | <maerwald> | cabal build -w ghc-8.10.7 |
| 2022-04-02 17:58:17 +0200 | <boxscape_> | ah, thanks |
| 2022-04-02 17:58:56 +0200 | <maerwald> | or: ghcup run --ghc 8.10.7 cabal -- build |
| 2022-04-02 17:59:16 +0200 | <boxscape_> | okay |
| 2022-04-02 17:59:41 +0200 | <maerwald> | more useful for vscode and such |
| 2022-04-02 17:59:53 +0200 | <boxscape_> | right, I see |
| 2022-04-02 18:00:07 +0200 | VanceIsM7[m] | (~vanceism7@2001:470:69fc:105::3ad) (Quit: You have been kicked for being idle) |
| 2022-04-02 18:00:12 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 18:01:26 +0200 | odnes_ | (~odnes@5-203-146-18.pat.nym.cosmote.net) |
| 2022-04-02 18:01:51 +0200 | odnes | (~odnes@5-203-146-18.pat.nym.cosmote.net) (Ping timeout: 260 seconds) |
| 2022-04-02 18:05:29 +0200 | <monochrom> | Every program evolves towards including an email client and a run command. >:) |
| 2022-04-02 18:05:52 +0200 | <abastro> | Can include ghc-options in `cabal.project` as well |
| 2022-04-02 18:06:14 +0200 | <abastro> | Oh, I meant `with-compiler: ghc-8.10.7 |
| 2022-04-02 18:06:27 +0200 | <boxscape_> | oh, yeah, using cabal.project is a good idea |
| 2022-04-02 18:09:07 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-02 18:10:15 +0200 | FragByte_ | (~christian@user/fragbyte) |
| 2022-04-02 18:12:11 +0200 | <maerwald> | monochrom: ghcup run --ghc 8.10.7 -- cabal exec stack -- --system-ghc runghc -- --version |
| 2022-04-02 18:12:32 +0200 | <monochrom> | haha |
| 2022-04-02 18:12:46 +0200 | <maerwald> | that actually works (in a project dir) |
| 2022-04-02 18:12:49 +0200 | <monochrom> | Truly the next level of software envelopment. |
| 2022-04-02 18:13:00 +0200 | Psybur | (~Psybur@2600:1003:b1a9:25a8:85a:5624:5153:ebdd) (Ping timeout: 240 seconds) |
| 2022-04-02 18:13:01 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 240 seconds) |
| 2022-04-02 18:13:01 +0200 | FragByte_ | FragByte |
| 2022-04-02 18:13:15 +0200 | <maerwald> | funnilly, specifing stack first doesn't work because it messes with GHC_PACKAGE_PATH |
| 2022-04-02 18:13:28 +0200 | mbuf | (~Shakthi@171.61.151.80) (Quit: Leaving) |
| 2022-04-02 18:13:38 +0200 | <geekosaur> | that's what I was just wondering, cabal exec should as well |
| 2022-04-02 18:13:49 +0200 | <geekosaur> | although you may need to be inside a project for that |
| 2022-04-02 18:14:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-02 18:14:35 +0200 | Psybur | (~Psybur@2600:4040:4022:4000:19c2:a1cd:6600:38ba) |
| 2022-04-02 18:14:40 +0200 | <maerwald> | is just missing a `docker run` |
| 2022-04-02 18:15:28 +0200 | <monochrom> | If specify stack first, perhaps insert a middle shell script that umesses GHC_PACKAGE_PATH |
| 2022-04-02 18:16:25 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-02 18:16:49 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2022-04-02 18:18:30 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-02 18:19:38 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-04-02 18:19:39 +0200 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-04-02 18:21:38 +0200 | <maerwald> | wrt email, I think https://github.com/soywod/himalaya might actually integrate well with ghcup xD |
| 2022-04-02 18:25:21 +0200 | boxscape_ | (~boxscape_@p4ff0be5f.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2022-04-02 18:25:27 +0200 | boxscape_3 | (~boxscape_@p4ff0be5f.dip0.t-ipconnect.de) |
| 2022-04-02 18:25:39 +0200 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) |
| 2022-04-02 18:25:52 +0200 | boxscape_3 | boxscape_ |
| 2022-04-02 18:25:55 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-02 18:26:44 +0200 | boxscape_ | (~boxscape_@p4ff0be5f.dip0.t-ipconnect.de) (Client Quit) |
| 2022-04-02 18:26:57 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-02 18:27:59 +0200 | <kuribas> | :t foldl |
| 2022-04-02 18:28:00 +0200 | <lambdabot> | Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2022-04-02 18:28:18 +0200 | img | (~img@user/img) |
| 2022-04-02 18:28:21 +0200 | <kuribas> | > foldl f a [b, c] |
| 2022-04-02 18:28:23 +0200 | <lambdabot> | f (f a b) c |
| 2022-04-02 18:28:50 +0200 | <kuribas> | @src foldl |
| 2022-04-02 18:28:50 +0200 | <lambdabot> | foldl f z [] = z |
| 2022-04-02 18:28:50 +0200 | <lambdabot> | foldl f z (x:xs) = foldl f (f z x) xs |
| 2022-04-02 18:28:57 +0200 | boxscape_ | (~boxscape_@p4ff0be5f.dip0.t-ipconnect.de) |
| 2022-04-02 18:37:02 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-02 18:37:29 +0200 | <kuribas> | @src foldl' |
| 2022-04-02 18:37:29 +0200 | <lambdabot> | foldl' f a [] = a |
| 2022-04-02 18:37:29 +0200 | <lambdabot> | foldl' f a (x:xs) = let a' = f a x in a' `seq` foldl' f a' xs |
| 2022-04-02 18:38:37 +0200 | <boxscape_> | @src foldl |
| 2022-04-02 18:38:37 +0200 | <lambdabot> | foldl f z [] = z |
| 2022-04-02 18:38:37 +0200 | <lambdabot> | foldl f z (x:xs) = foldl f (f z x) xs |
| 2022-04-02 18:39:41 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-02 18:41:29 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-02 18:43:10 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-02 18:48:11 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-02 18:48:46 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 2022-04-02 18:52:52 +0200 | razetime | (~quassel@49.207.199.125) |
| 2022-04-02 18:55:00 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-02 18:55:08 +0200 | daisyc1 | (~daisyc4@212.30.36.24) (Ping timeout: 246 seconds) |
| 2022-04-02 18:55:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-02 18:59:32 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) (Ping timeout: 272 seconds) |
| 2022-04-02 19:02:27 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-04-02 19:07:15 +0200 | razetime | (~quassel@49.207.199.125) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-02 19:08:45 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 256 seconds) |
| 2022-04-02 19:11:15 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds) |
| 2022-04-02 19:12:38 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 246 seconds) |
| 2022-04-02 19:15:02 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-02 19:15:36 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-04-02 19:16:21 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-02 19:17:18 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-02 19:21:23 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 260 seconds) |
| 2022-04-02 19:25:12 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-02 19:25:34 +0200 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 2022-04-02 19:26:16 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-02 19:35:04 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) |
| 2022-04-02 19:36:47 +0200 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-02 19:37:33 +0200 | avpx | (~avpx@c-174-61-141-172.hsd1.wa.comcast.net) |
| 2022-04-02 19:38:35 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2022-04-02 19:39:00 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-02 19:39:04 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-02 19:39:14 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.113) (Ping timeout: 246 seconds) |
| 2022-04-02 19:39:28 +0200 | avpx | (~avpx@c-174-61-141-172.hsd1.wa.comcast.net) (Client Quit) |
| 2022-04-02 19:39:42 +0200 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-02 19:40:19 +0200 | jtm | (~jtm@user/jtm) (Quit: k byeeee) |
| 2022-04-02 19:40:40 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-02 19:41:15 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 19:41:24 +0200 | avpx | (~avpx___@c-174-61-141-172.hsd1.wa.comcast.net) |
| 2022-04-02 19:42:43 +0200 | jtm | (~jtm@user/jtm) |
| 2022-04-02 19:43:52 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 272 seconds) |
| 2022-04-02 19:46:24 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-02 19:48:14 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-02 19:54:19 +0200 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 260 seconds) |
| 2022-04-02 19:55:36 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-02 19:58:07 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-02 20:05:31 +0200 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-02 20:08:48 +0200 | Digit | (~user@user/digit) (i'll be back when i'm haskelling harder.) |
| 2022-04-02 20:08:55 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-04-02 20:09:06 +0200 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-04-02 20:09:33 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 20:11:17 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-02 20:13:56 +0200 | Psybur | (~Psybur@2600:4040:4022:4000:19c2:a1cd:6600:38ba) (Ping timeout: 260 seconds) |
| 2022-04-02 20:14:22 +0200 | Psybur | (~Psybur@2600:1003:b1a9:25a8:9157:2734:89e6:c88e) |
| 2022-04-02 20:16:23 +0200 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Quit: ZNC - https://znc.in) |
| 2022-04-02 20:16:45 +0200 | avpx | (~avpx___@c-174-61-141-172.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2022-04-02 20:17:00 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-04-02 20:21:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-02 20:22:59 +0200 | boxscape_ | (~boxscape_@p4ff0be5f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-04-02 20:23:18 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-02 20:24:24 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-04-02 20:25:11 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-02 20:33:26 +0200 | vicfred__ | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-02 20:33:59 +0200 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 260 seconds) |
| 2022-04-02 20:37:47 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-04-02 20:39:17 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 20:39:37 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-02 20:39:38 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-02 20:39:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-02 20:39:52 +0200 | califax | (~califax@user/califx) |
| 2022-04-02 20:40:57 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-02 20:53:05 +0200 | phma | (phma@2001:5b0:211f:57f8:a451:bb44:e55e:abda) (Read error: Connection reset by peer) |
| 2022-04-02 20:54:29 +0200 | phma | (phma@2001:5b0:210f:36e8:e24d:2973:8920:8f2a) |
| 2022-04-02 20:54:59 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-02 20:56:46 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-02 21:03:58 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2022-04-02 21:06:51 +0200 | gamara | (~gamara@2607:fea8:1e5f:8df0:b897:10fa:588b:45bc) |
| 2022-04-02 21:09:02 +0200 | <gamara> | Why is this invalid syntax? https://paste.tomsmeding.com/AeEbRie9 How do i write this with where statements? |
| 2022-04-02 21:11:03 +0200 | <hpc> | i would expect that to be an error for using (/) on Ints |
| 2022-04-02 21:11:13 +0200 | <hpc> | is this just going in a file and you're doing like "ghci foo.hs"? |
| 2022-04-02 21:13:16 +0200 | <gamara> | I am using a file |
| 2022-04-02 21:13:37 +0200 | <gamara> | Not much interest in using the interpreter other than for info |
| 2022-04-02 21:13:38 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-02 21:14:02 +0200 | <hpc> | hmm, not sure why it would be failing then |
| 2022-04-02 21:14:30 +0200 | <hpc> | i suspected something like pasting it into ghci, where it misinterprets multiline inputs |
| 2022-04-02 21:14:33 +0200 | <gamara> | I think you are right getting the error No instance for (Fractional Int) arising from a use of ‘/’ |
| 2022-04-02 21:14:46 +0200 | <gamara> | changing type to double fixes it |
| 2022-04-02 21:15:07 +0200 | <gamara> | I need to learn to read |
| 2022-04-02 21:15:07 +0200 | <hpc> | oh, cool |
| 2022-04-02 21:15:51 +0200 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-02 21:16:23 +0200 | <gamara> | If I want to use int I would do quot z x y |
| 2022-04-02 21:16:26 +0200 | x88x88x | (~x88x88x@149.28.53.172) |
| 2022-04-02 21:18:12 +0200 | <gamara> | thanks for the help |
| 2022-04-02 21:18:53 +0200 | <geekosaur> | that has an indentation error |
| 2022-04-02 21:19:09 +0200 | <geekosaur> | the let-in needs everything indented properly |
| 2022-04-02 21:19:34 +0200 | <gamara> | it was a copy paste from a textbook |
| 2022-04-02 21:20:39 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-02 21:21:26 +0200 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-02 21:24:06 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2022-04-02 21:24:57 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-02 21:25:26 +0200 | gawen | (~gawen@user/gawen) |
| 2022-04-02 21:26:16 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-02 21:34:23 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-02 21:43:07 +0200 | hueso_ | (~root@user/hueso) (Ping timeout: 256 seconds) |
| 2022-04-02 21:45:30 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-04-02 21:46:15 +0200 | hueso | (~root@user/hueso) |
| 2022-04-02 21:46:36 +0200 | tfeb | (~tfb@88.98.95.237) |
| 2022-04-02 21:47:48 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-02 21:48:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 21:48:23 +0200 | Psybur | (~Psybur@2600:1003:b1a9:25a8:9157:2734:89e6:c88e) (Ping timeout: 260 seconds) |
| 2022-04-02 21:48:48 +0200 | tfeb | (~tfb@88.98.95.237) (Client Quit) |
| 2022-04-02 21:49:43 +0200 | Psybur | (~Psybur@137.sub-97-47-71.myvzw.com) |
| 2022-04-02 21:49:44 +0200 | Graham31415 | (~Graham@user/Graham31415) (Read error: Connection reset by peer) |
| 2022-04-02 21:56:34 +0200 | frostbyte_ | (~uid@2001:bc8:2117:100::) |
| 2022-04-02 21:56:36 +0200 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) |
| 2022-04-02 21:56:51 +0200 | Graham31415 | (~Graham@user/Graham31415) |
| 2022-04-02 21:58:13 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-02 21:58:32 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-02 22:00:07 +0200 | <frostbyte_> | (completey new to haskell) I'm surprised to find that `runhaskell helloworld.hs > /dev/full` is correctly reporting an error: "helloworld.hs: <stdout>: hPutChar: resource exhausted (No space left on device)", but the compiled version of helloworld is not. Does anyone know why? |
| 2022-04-02 22:00:53 +0200 | <frostbyte_> | ghc --version: "The Glorious Glasgow Haskell Compilation System, version 9.2.1" |
| 2022-04-02 22:01:13 +0200 | Psybur | (~Psybur@137.sub-97-47-71.myvzw.com) (Ping timeout: 260 seconds) |
| 2022-04-02 22:01:58 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-02 22:02:07 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-e4f8-bd3f-9136-d580.res6.spectrum.com) |
| 2022-04-02 22:03:33 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::3800) (Ping timeout: 260 seconds) |
| 2022-04-02 22:03:38 +0200 | Psybur | (~Psybur@2600:1003:b103:720d:4903:f699:2ddf:4e24) |
| 2022-04-02 22:05:04 +0200 | <frostbyte_> | helloworld.hs: 'main = putStrLn "Hello, world!"' |
| 2022-04-02 22:06:12 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-02 22:08:53 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-02 22:10:33 +0200 | <avpx> | frostbyte_: What platform are you on? I wasn't able to repro on Windows/MinGW and Mac doesn't have /dev/full |
| 2022-04-02 22:10:45 +0200 | <frostbyte_> | Debian Linux |
| 2022-04-02 22:11:28 +0200 | <avpx> | It seems surprising to me too |
| 2022-04-02 22:11:47 +0200 | <hpc> | frostbyte_: i remember reading about that a while ago, a bunch of languages have this issue |
| 2022-04-02 22:12:22 +0200 | <hpc> | they just ignore the return status of the syscall |
| 2022-04-02 22:12:36 +0200 | jtm | (~jtm@user/jtm) (Leaving) |
| 2022-04-02 22:12:45 +0200 | <frostbyte_> | Indeed. It was seeing that article that led me to try. I wanted it to not be true, as one of the things appealing to me about haskell is correctness. |
| 2022-04-02 22:13:14 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::3800) |
| 2022-04-02 22:13:16 +0200 | Graham31415 | (~Graham@user/Graham31415) (Read error: Connection reset by peer) |
| 2022-04-02 22:13:25 +0200 | <frostbyte_> | I'm particularly surprised that there's a difference between the two execution methods. |
| 2022-04-02 22:13:41 +0200 | <frostbyte_> | Rather than both go unreported. |
| 2022-04-02 22:13:56 +0200 | Graham31415 | (~Graham@user/Graham31415) |
| 2022-04-02 22:13:58 +0200 | <hpc> | there's probably some generic syscall wrapper in the interpreter maybe? |
| 2022-04-02 22:14:03 +0200 | hpc | isn't a ghc dev |
| 2022-04-02 22:14:48 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-02 22:14:52 +0200 | <frostbyte_> | Does `runhaskell` use ghci? |
| 2022-04-02 22:15:00 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 22:15:08 +0200 | <Rembane> | It uses the interpreter rather than the compiler. |
| 2022-04-02 22:15:09 +0200 | <hpc> | no, but they both use the same underlying bytecode stuff |
| 2022-04-02 22:15:17 +0200 | <frostbyte_> | Right. |
| 2022-04-02 22:15:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-02 22:17:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-04-02 22:18:39 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-02 22:20:53 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-02 22:21:31 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-02 22:22:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-02 22:24:27 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-02 22:24:52 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-02 22:25:51 +0200 | kawen | (~quassel@static.208.191.216.95.clients.your-server.de) |
| 2022-04-02 22:26:11 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-02 22:26:25 +0200 | <geekosaur> | write(1, "Hello, world!\n", 14) = -1 ENOSPC (No space left on device) |
| 2022-04-02 22:26:35 +0200 | <frostbyte_> | Why does the filter in the following code "stop the laziness"? That is, it will no longer read and write a line at-a-time. |
| 2022-04-02 22:26:38 +0200 | <frostbyte_> | main = mapM_ putStrLn =<< filterM doesDirectoryExist =<< lines <$> getContents |
| 2022-04-02 22:26:53 +0200 | <frostbyte_> | geekosaur: Yes, I saw that too. |
| 2022-04-02 22:28:26 +0200 | <frostbyte_> | So, clearly, the return value / error is being ignored. I'm surprised that it is; doubly surprised that it's not the case when using `runhaskell`. |
| 2022-04-02 22:29:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-02 22:30:23 +0200 | gamara | (~gamara@2607:fea8:1e5f:8df0:b897:10fa:588b:45bc) (Quit: Client closed) |
| 2022-04-02 22:30:28 +0200 | <geekosaur> | actually I'm not |
| 2022-04-02 22:30:36 +0200 | <frostbyte_> | Why so? |
| 2022-04-02 22:30:48 +0200 | <geekosaur> | runhaskell will be in line at a time mode and the output is flushed at the newline, which causes the error to be caught |
| 2022-04-02 22:31:51 +0200 | <geekosaur> | the compiled one will be in block mode because output is not a terminal. this means the Handle isn't flushed and closed until the RTS is doing cleanup post-execution; it therefore has nowhere to report the error to |
| 2022-04-02 22:32:26 +0200 | <geekosaur> | thsi will as noted be a common probem. you need to switch buffering mode to enable the program to catch it |
| 2022-04-02 22:32:37 +0200 | <Rembane> | So... what happens if the output mode is changed? Will both interpreted and compiled code behave the same? |
| 2022-04-02 22:32:42 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-02 22:33:30 +0200 | acidjnk | (~acidjnk@p200300d0c7049f70498c262e6d47c9a7.dip0.t-ipconnect.de) |
| 2022-04-02 22:34:37 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-02 22:34:38 +0200 | <frostbyte_> | That's not really an answer because the error isn't even visible in the program's exit status. |
| 2022-04-02 22:35:26 +0200 | <geekosaur> | it should. sadly stdbuf doesn't work on Haskell programs so you have to change the source |
| 2022-04-02 22:35:29 +0200 | <frostbyte_> | Which I think suggests more that the error is completely ignored and unhandled rather than simply lacking somewhere to report it. |
| 2022-04-02 22:36:39 +0200 | <geekosaur> | skkukuk Z$ ./hello > /dev/full |
| 2022-04-02 22:36:39 +0200 | <geekosaur> | hello: <stdout>: commitBuffer: resource exhausted (No space left on device) |
| 2022-04-02 22:36:39 +0200 | <geekosaur> | zsh: exit 1 ./hello > /dev/full |
| 2022-04-02 22:37:02 +0200 | <frostbyte_> | What have you done differently there? |
| 2022-04-02 22:37:13 +0200 | <geekosaur> | import System.IO |
| 2022-04-02 22:37:13 +0200 | <geekosaur> | main = hSetBuffering stdout LineBuffering >> putStrLn "Hello, world!" |
| 2022-04-02 22:37:45 +0200 | <geekosaur> | the problem is, hFlush throws an exception. but during RTS cleanup exception handling doesn't work |
| 2022-04-02 22:37:57 +0200 | <geekosaur> | it's already been torn down |
| 2022-04-02 22:38:35 +0200 | <geekosaur> | if I force the exception to be thrown during normal execution then it is thrown as usual and the RTS catches it because main doens't |
| 2022-04-02 22:39:00 +0200 | Psybur | (~Psybur@2600:1003:b103:720d:4903:f699:2ddf:4e24) (Ping timeout: 240 seconds) |
| 2022-04-02 22:39:24 +0200 | Psybur | (~Psybur@2600:1003:b103:720d:4903:f699:2ddf:4e24) |
| 2022-04-02 22:39:55 +0200 | <geekosaur> | I am not sure this is fixable: if exceptions were sent to an already closed Handle then that would just throw another exception inside the exception handler |
| 2022-04-02 22:40:13 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-02 22:40:18 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 260 seconds) |
| 2022-04-02 22:41:18 +0200 | <frostbyte_> | Perhaps, but surely the error could still surface without outputting error messages, such as the exit status. |
| 2022-04-02 22:41:24 +0200 | <geekosaur> | which is the general problem with trying to do exception/error handling during RTS cleanup in any language |
| 2022-04-02 22:42:51 +0200 | <frostbyte_> | Based on what you've said, are we able to manually flush and create the error without fiddling the linebuffering? |
| 2022-04-02 22:43:06 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 2022-04-02 22:43:26 +0200 | <geekosaur> | mm, you'd have to take that one up with the ghc folks since the RTS is their baby. https://gitlab.haskell.org/ghc/ghc/-/issues/new |
| 2022-04-02 22:44:21 +0200 | <geekosaur> | skkukuk Z$ ./hello > /dev/full |
| 2022-04-02 22:44:22 +0200 | <geekosaur> | hello: <stdout>: hFlush: resource exhausted (No space left on device) |
| 2022-04-02 22:44:22 +0200 | <geekosaur> | zsh: exit 1 ./hello > /dev/full |
| 2022-04-02 22:44:22 +0200 | <geekosaur> | skkukuk Z$ cat hello.hs |
| 2022-04-02 22:44:22 +0200 | <geekosaur> | import System.IO |
| 2022-04-02 22:44:22 +0200 | <geekosaur> | main = putStrLn "Hello, world!" >> hFlush stdout |
| 2022-04-02 22:44:43 +0200 | <frostbyte_> | Right. Good. |
| 2022-04-02 22:45:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-02 22:45:13 +0200 | odnes_ | (~odnes@5-203-146-18.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-02 22:46:08 +0200 | Psybur | (~Psybur@2600:1003:b103:720d:4903:f699:2ddf:4e24) (Ping timeout: 260 seconds) |
| 2022-04-02 22:46:32 +0200 | <geekosaur> | come tothink of it, exitFailed is also implemented as an exception, so this may be difficult to fix |
| 2022-04-02 22:47:48 +0200 | <frostbyte_> | Of course I know nothing of the internals but I don't see why, really. Shouldn't flushing and checking it's success be part of cleaning up anyway? |
| 2022-04-02 22:48:14 +0200 | Graham31415 | (~Graham@user/Graham31415) (Ping timeout: 246 seconds) |
| 2022-04-02 22:48:36 +0200 | <frostbyte_> | It's just quite sad for me because it undermines what was haskell's main appeal for me. |
| 2022-04-02 22:48:48 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-02 22:49:21 +0200 | <geekosaur> | I think if you ever let a filehandle be autoclosed, you're begging to lose any associated errors. be explicit if you care |
| 2022-04-02 22:49:26 +0200 | <geekosaur> | in any language |
| 2022-04-02 22:50:07 +0200 | Graham31415 | (~Graham@user/Graham31415) |
| 2022-04-02 22:50:45 +0200 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-02 22:50:54 +0200 | <frostbyte_> | Although that's true enough, I don't think that should be the case for high level languages, particularly with stdout being something one rarely explicitly opens / closes. |
| 2022-04-02 22:51:17 +0200 | <geekosaur> | this does raise the question of what happens if a Handle with a pending error condition is gc-ed, but it'd take a more involved program to check that |
| 2022-04-02 22:51:41 +0200 | <frostbyte_> | Interesting. |
| 2022-04-02 22:52:01 +0200 | <geekosaur> | because again I'm not sure it's safe to throw an exception in the middle of a gc |
| 2022-04-02 22:55:46 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-04-02 22:57:30 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-02 22:57:49 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-04-02 23:01:50 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-02 23:02:38 +0200 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-04-02 23:05:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-02 23:07:01 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-02 23:07:59 +0200 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-02 23:08:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-02 23:08:35 +0200 | Graham31415 | (~Graham@user/Graham31415) (Read error: Connection reset by peer) |
| 2022-04-02 23:09:01 +0200 | Graham31415 | (~Graham@user/Graham31415) |
| 2022-04-02 23:09:43 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-02 23:10:03 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-02 23:11:28 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-04-02 23:12:12 +0200 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 240 seconds) |
| 2022-04-02 23:13:24 +0200 | Graham31415 | (~Graham@user/Graham31415) (Ping timeout: 240 seconds) |
| 2022-04-02 23:14:26 +0200 | Graham31415 | (~Graham@user/Graham31415) |
| 2022-04-02 23:14:42 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-04-02 23:16:57 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Quit: WeeChat 3.4) |
| 2022-04-02 23:20:43 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-02 23:21:46 +0200 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-02 23:25:35 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-02 23:26:27 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-02 23:26:33 +0200 | mixfix41 | (~homefame@user/mixfix41) (Quit: cya bbiab!) |
| 2022-04-02 23:27:59 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-04-02 23:30:28 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Ping timeout: 260 seconds) |
| 2022-04-02 23:31:14 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-02 23:31:42 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-02 23:33:52 +0200 | Graham31415 | (~Graham@user/Graham31415) (Read error: Connection reset by peer) |
| 2022-04-02 23:36:32 +0200 | Psybur | (~Psybur@2600:1003:b103:720d:e963:cba8:6a5a:3543) |
| 2022-04-02 23:37:56 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-02 23:42:50 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-04-02 23:43:03 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2022-04-02 23:43:35 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-04-02 23:44:28 +0200 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 260 seconds) |
| 2022-04-02 23:45:02 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-02 23:48:30 +0200 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-02 23:49:10 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-02 23:49:29 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-04-02 23:49:36 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-04-02 23:50:29 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-02 23:50:41 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-04-02 23:50:48 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-02 23:57:05 +0200 | Psybur | (~Psybur@2600:1003:b103:720d:e963:cba8:6a5a:3543) (Ping timeout: 252 seconds) |
| 2022-04-02 23:59:06 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |