| 2022-03-11 00:00:51 +0100 | <romesrf> | ppr (XTypedBracket b) = case ghcPass @p of |
| 2022-03-11 00:00:53 +0100 | <romesrf> | #if __GLASGOW_HASKELL__ <= 900 |
| 2022-03-11 00:00:55 +0100 | <romesrf> | GhcPs -> dataConCantHappen b |
| 2022-03-11 00:00:57 +0100 | <romesrf> | GhcRn -> dataConCantHappen b |
| 2022-03-11 00:00:59 +0100 | <romesrf> | #endif |
| 2022-03-11 00:01:01 +0100 | <romesrf> | GhcTc | (TExpBr _ e) <- b -> thTyBrackets (ppr e) |
| 2022-03-11 00:01:29 +0100 | <romesrf> | in which dataConCantHappen is semantically equivalent to absurd |
| 2022-03-11 00:02:05 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-03-11 00:02:18 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-11 00:02:42 +0100 | <romesrf> | perhaps I'm mixing up things... I'll try a minimal example some other time |
| 2022-03-11 00:03:31 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Remote host closed the connection) |
| 2022-03-11 00:03:37 +0100 | <romesrf> | this one definitely isn't minimal =P |
| 2022-03-11 00:07:01 +0100 | <romesrf> | because if I have those case branches when compiling GHC >= 900, I get an "overlapping pattern" warning |
| 2022-03-11 00:07:07 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-03-11 00:07:12 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-11 00:07:22 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) |
| 2022-03-11 00:07:28 +0100 | <romesrf> | or "unused pattern" |
| 2022-03-11 00:08:40 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8) |
| 2022-03-11 00:09:11 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f800083b30852f1c45e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-03-11 00:10:17 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-11 00:11:30 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 00:11:52 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2022-03-11 00:19:14 +0100 | off^ | (~off@50.232.121.75) (Remote host closed the connection) |
| 2022-03-11 00:19:19 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-11 00:19:48 +0100 | kongsheng | (~kongsheng@71.28.225.182) (Quit: Client closed) |
| 2022-03-11 00:22:27 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2022-03-11 00:23:28 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-11 00:23:45 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-11 00:23:45 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-11 00:23:45 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-11 00:24:09 +0100 | ishutin | (~ishutin@92-249-150-149.static.digikabel.hu) (Ping timeout: 256 seconds) |
| 2022-03-11 00:25:56 +0100 | ishutin | (~ishutin@92-249-150-250.static.digikabel.hu) |
| 2022-03-11 00:27:06 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) |
| 2022-03-11 00:31:39 +0100 | V | (~v@anomalous.eu) |
| 2022-03-11 00:39:52 +0100 | kongsheng | (~kongsheng@71.28.225.182) |
| 2022-03-11 00:42:51 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2022-03-11 00:44:28 +0100 | alp | (~alp@user/alp) |
| 2022-03-11 00:45:59 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-11 00:50:42 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-11 00:51:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 00:51:43 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 00:51:46 +0100 | kongsheng | (~kongsheng@71.28.225.182) (Quit: Client closed) |
| 2022-03-11 00:53:09 +0100 | dsrt^ | (~dsrt@50.232.121.75) |
| 2022-03-11 01:09:07 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 01:10:50 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-11 01:11:07 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-11 01:12:37 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-11 01:12:53 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-03-11 01:13:20 +0100 | Guest80 | (~Guest80@pool-98-110-124-224.cmdnnj.fios.verizon.net) |
| 2022-03-11 01:13:41 +0100 | <Axman6> | Hmm, I hadn't been keeping up with Unison, but it looks like it's come a long way since I last looked! I'll have to give it a closer look. https://www.unison-lang.org/blog/unison_2021-year-in-review/ has a lot of interesting stuff, not least of which is that they're now using "the Haskell VM" for its runtime, which gives it access to GHC's concurrency and STM stuff. very cool |
| 2022-03-11 01:14:43 +0100 | Kaipi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-03-11 01:15:06 +0100 | Kaipi | (~Kaiepi@156.34.47.253) |
| 2022-03-11 01:16:10 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-11 01:17:43 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-11 01:21:27 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-11 01:22:28 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Remote host closed the connection) |
| 2022-03-11 01:24:02 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) |
| 2022-03-11 01:24:55 +0100 | <jackdk> | Axman6: thanks for teh link. Those are some pretty massive improvements, and Unison has thought hard and long about a lot of important things |
| 2022-03-11 01:25:44 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:d2a9:19c8:2a3e:4c40:5c44) |
| 2022-03-11 01:26:15 +0100 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-03-11 01:30:27 +0100 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 256 seconds) |
| 2022-03-11 01:30:56 +0100 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-03-11 01:38:11 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-11 01:39:12 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-11 01:39:19 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-11 01:43:49 +0100 | jbox | (~jbox@user/jbox) (Ping timeout: 240 seconds) |
| 2022-03-11 01:44:38 +0100 | jbox | (~jbox@user/jbox) |
| 2022-03-11 01:47:46 +0100 | dsrt^ | (~dsrt@50.232.121.75) (Ping timeout: 256 seconds) |
| 2022-03-11 01:48:01 +0100 | liz_ | (~liz@81.92.203.102) |
| 2022-03-11 01:50:27 +0100 | liz | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Ping timeout: 252 seconds) |
| 2022-03-11 01:55:01 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-11 01:55:17 +0100 | liz_ | (~liz@81.92.203.102) (Quit: Leaving) |
| 2022-03-11 01:55:37 +0100 | <Axman6> | huh, I was looking at the Unison docs, and I couldn't figure out why they felt to seird - turns out that each definition you looks at gets pushed onto a stack in your browser window, so things you looked at to get to where youy are are right there - this is awesome! |
| 2022-03-11 01:56:41 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-11 01:57:17 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-11 01:58:45 +0100 | <geekosaur> | now imagine wikipedia with that tech |
| 2022-03-11 02:00:01 +0100 | dsrt^ | (~dsrt@50.232.121.75) |
| 2022-03-11 02:00:28 +0100 | <Axman6> | that'd be pretty cool - though the items are much smaller; I guess if you did it on the level or parageraphs or sections or something itmight work |
| 2022-03-11 02:00:54 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-03-11 02:01:48 +0100 | jbox | (~jbox@user/jbox) (Ping timeout: 240 seconds) |
| 2022-03-11 02:02:21 +0100 | jbox | (~jbox@user/jbox) |
| 2022-03-11 02:02:32 +0100 | simeon | (~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-03-11 02:04:27 +0100 | simeon | (~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de) |
| 2022-03-11 02:05:37 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-11 02:06:25 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-03-11 02:08:09 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-11 02:08:24 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:d2a9:19c8:2a3e:4c40:5c44) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-11 02:10:17 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-11 02:10:55 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-11 02:12:36 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-03-11 02:13:21 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) () |
| 2022-03-11 02:15:48 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-11 02:17:02 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-11 02:17:42 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-03-11 02:18:15 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-11 02:18:23 +0100 | deadmarshal_ | (~deadmarsh@95.38.228.103) |
| 2022-03-11 02:22:54 +0100 | deadmarshal_ | (~deadmarsh@95.38.228.103) (Ping timeout: 252 seconds) |
| 2022-03-11 02:23:14 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-11 02:25:22 +0100 | phma_ | phma |
| 2022-03-11 02:26:03 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2022-03-11 02:29:51 +0100 | ishutin | (~ishutin@92-249-150-250.static.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-03-11 02:31:27 +0100 | ishutin | (~ishutin@92-249-150-250.static.digikabel.hu) |
| 2022-03-11 02:39:01 +0100 | dsrt^ | (~dsrt@50.232.121.75) (Ping timeout: 256 seconds) |
| 2022-03-11 02:39:36 +0100 | dsrt^ | (~dsrt@50.232.121.75) |
| 2022-03-11 02:41:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-11 02:41:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-11 02:41:25 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-11 02:43:01 +0100 | benin | (~benin@183.82.26.94) |
| 2022-03-11 02:43:20 +0100 | <sm> | cool link. how does an experimental new programming language have 10 full time developers ? |
| 2022-03-11 02:47:00 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 02:47:56 +0100 | aeka` | (~aeka@2606:6080:1001:16:3492:5f11:f1fb:66ae) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-11 02:48:15 +0100 | aeka | (~aeka@user/hiruji) |
| 2022-03-11 02:51:11 +0100 | <exarkun> | I guess https://www.unison-lang.org/blog/benefit-corp-report/ explains how ("investors") |
| 2022-03-11 02:51:50 +0100 | <exarkun> | hmm hq in my old backyard... |
| 2022-03-11 03:00:33 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-03-11 03:00:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-03-11 03:11:23 +0100 | liz | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) |
| 2022-03-11 03:12:05 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 03:14:11 +0100 | <sm> | +1, thanks |
| 2022-03-11 03:16:15 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2022-03-11 03:16:25 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-11 03:18:17 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 2022-03-11 03:27:47 +0100 | kongsheng | (~kongsheng@71.28.225.182) |
| 2022-03-11 03:28:27 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-11 03:29:01 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 03:30:42 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-138.cust.tzulo.com) |
| 2022-03-11 03:32:12 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-03-11 03:32:18 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-03-11 03:32:24 +0100 | Guest80 | (~Guest80@pool-98-110-124-224.cmdnnj.fios.verizon.net) (Quit: Client closed) |
| 2022-03-11 03:49:40 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-11 03:51:31 +0100 | ubert1 | (~Thunderbi@p200300ecdf3be97ed771739640ac5cea.dip0.t-ipconnect.de) |
| 2022-03-11 03:52:42 +0100 | ubert | (~Thunderbi@p200300ecdf3be919a5031f04def6f440.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-03-11 03:52:42 +0100 | ubert1 | ubert |
| 2022-03-11 03:52:48 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-11 03:52:48 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-11 03:52:48 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-11 03:53:00 +0100 | alp | (~alp@user/alp) (Ping timeout: 256 seconds) |
| 2022-03-11 04:00:01 +0100 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-03-11 04:00:03 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-03-11 04:00:31 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-03-11 04:01:26 +0100 | sander | (~sander@user/sander) |
| 2022-03-11 04:02:15 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 04:02:15 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 04:02:15 +0100 | finn_elija | FinnElija |
| 2022-03-11 04:07:47 +0100 | Articus | (~Articus@207.248.198.65) |
| 2022-03-11 04:09:48 +0100 | td_ | (~td@94.134.91.38) (Ping timeout: 240 seconds) |
| 2022-03-11 04:11:48 +0100 | td_ | (~td@94.134.91.18) |
| 2022-03-11 04:13:04 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-03-11 04:14:18 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-11 04:18:10 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-03-11 04:18:17 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-11 04:21:35 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-03-11 04:21:48 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-03-11 04:25:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:26:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:26:10 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:26:26 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:26:34 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:26:50 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:26:57 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:27:13 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:27:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:27:37 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:27:44 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:27:59 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:28:06 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:28:22 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:28:29 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:28:44 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:28:51 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:29:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:29:13 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:29:28 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:29:35 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:29:50 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 04:29:57 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 04:36:07 +0100 | kilolympus | (~kilolympu@31.205.200.235) (Read error: Connection reset by peer) |
| 2022-03-11 04:40:36 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-138.cust.tzulo.com) (Ping timeout: 256 seconds) |
| 2022-03-11 04:41:00 +0100 | ishutin | (~ishutin@92-249-150-250.static.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-11 04:43:06 +0100 | ishutin | (~ishutin@87-97-25-195.pool.digikabel.hu) |
| 2022-03-11 04:47:00 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 2022-03-11 04:49:00 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:d2a9:19c8:2a3e:4c40:5c44) |
| 2022-03-11 04:55:31 +0100 | incertia | (~incertia@207.98.163.88) (Ping timeout: 272 seconds) |
| 2022-03-11 04:56:20 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection) |
| 2022-03-11 04:57:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 05:00:03 +0100 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-03-11 05:01:25 +0100 | haasn | (~nand@haasn.dev) |
| 2022-03-11 05:02:40 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-03-11 05:03:10 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-11 05:03:25 +0100 | incertia | (~incertia@207.98.163.88) |
| 2022-03-11 05:06:10 +0100 | <zzz> | what's the "fixity" of :: ? |
| 2022-03-11 05:06:48 +0100 | <zzz> | if that makes sense |
| 2022-03-11 05:07:07 +0100 | <Axman6> | % :info (::) |
| 2022-03-11 05:07:07 +0100 | <yahb> | Axman6: ; <interactive>:1:2: error: parse error on input `::' |
| 2022-03-11 05:07:10 +0100 | <Axman6> | :( |
| 2022-03-11 05:07:35 +0100 | <Axman6> | I don't think it does make sense |
| 2022-03-11 05:08:31 +0100 | <monochrom> | It's a reserved word, so :info doesn't have it. You can treat it as very low precedence. |
| 2022-03-11 05:08:53 +0100 | <janus> | can any expression have :: after it? |
| 2022-03-11 05:08:56 +0100 | <Axman6> | low precedence, v. high importance |
| 2022-03-11 05:09:07 +0100 | <monochrom> | Yes. |
| 2022-03-11 05:09:17 +0100 | <zzz> | > length "test" :: [Char] |
| 2022-03-11 05:09:18 +0100 | <lambdabot> | error: |
| 2022-03-11 05:09:18 +0100 | <lambdabot> | • Couldn't match expected type ‘[Char]’ with actual type ‘Int’ |
| 2022-03-11 05:09:19 +0100 | <lambdabot> | • In the expression: length "test" :: [Char] |
| 2022-03-11 05:09:24 +0100 | <zzz> | > length $ "test" :: [Char] |
| 2022-03-11 05:09:25 +0100 | <lambdabot> | error: |
| 2022-03-11 05:09:25 +0100 | <lambdabot> | • Couldn't match expected type ‘[Char]’ with actual type ‘Int’ |
| 2022-03-11 05:09:25 +0100 | <lambdabot> | • In the expression: length $ "test" :: [Char] |
| 2022-03-11 05:09:31 +0100 | <monochrom> | Lower than $ |
| 2022-03-11 05:09:34 +0100 | <zzz> | nice |
| 2022-03-11 05:09:58 +0100 | <monochrom> | It's <humongous expr> :: <type> in the grammar. |
| 2022-03-11 05:12:30 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 05:12:36 +0100 | jbox | (~jbox@user/jbox) (Read error: Connection reset by peer) |
| 2022-03-11 05:18:48 +0100 | mbuf | (~Shakthi@171.61.199.222) |
| 2022-03-11 05:19:04 +0100 | <hololeap> | > \x -> replicate x $ "abcd" :: Int -> String |
| 2022-03-11 05:19:06 +0100 | <lambdabot> | error: |
| 2022-03-11 05:19:06 +0100 | <lambdabot> | • Couldn't match expected type ‘Int -> String’ |
| 2022-03-11 05:19:06 +0100 | <lambdabot> | with actual type ‘[[Char]]’ |
| 2022-03-11 05:19:20 +0100 | <hololeap> | so "\x -> " isn't considered part of the expression? |
| 2022-03-11 05:20:55 +0100 | <hololeap> | @type (\x -> replicate x $ "abcd") :: Int -> [String] |
| 2022-03-11 05:20:56 +0100 | <lambdabot> | Int -> [String] |
| 2022-03-11 05:21:05 +0100 | <monochrom> | Oh oops. |
| 2022-03-11 05:29:32 +0100 | [_] | [itchyjunk] |
| 2022-03-11 05:29:40 +0100 | da39a3ee5e6b4b0_ | (~textual@2403:6200:8876:d2a9:cd54:b207:d3aa:c763) |
| 2022-03-11 05:29:54 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 2022-03-11 05:32:36 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:d2a9:19c8:2a3e:4c40:5c44) (Ping timeout: 240 seconds) |
| 2022-03-11 05:34:44 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-11 05:37:29 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-03-11 05:39:18 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 05:42:08 +0100 | Articus | (~Articus@207.248.198.65) (Quit: Client closed) |
| 2022-03-11 05:44:04 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-11 05:47:27 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-11 05:48:36 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-03-11 05:49:08 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 05:49:20 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-11 05:49:21 +0100 | boborygmy | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-11 05:51:54 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-03-11 05:53:10 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 05:53:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 05:53:34 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 05:53:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 05:53:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 05:54:14 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 05:54:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 05:54:25 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-03-11 05:54:50 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-11 05:57:46 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-03-11 06:01:53 +0100 | deadmarshal_ | (~deadmarsh@95.38.228.103) |
| 2022-03-11 06:03:03 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-11 06:03:03 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-11 06:03:03 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-11 06:05:21 +0100 | stvc | (~stvc@192.241.166.39) (Ping timeout: 245 seconds) |
| 2022-03-11 06:06:39 +0100 | zq | (~zq@xorshift.org) () |
| 2022-03-11 06:06:45 +0100 | da39a3ee5e6b4b0_ | (~textual@2403:6200:8876:d2a9:cd54:b207:d3aa:c763) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-11 06:07:30 +0100 | da39a3ee5e6b4b0d | (~textual@67.23.55.162) |
| 2022-03-11 06:07:42 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-03-11 06:14:06 +0100 | paul1 | (~kaskal@2001:4bb8:2e0:b5bd:e3c0:d71b:f32:84d8) |
| 2022-03-11 06:15:30 +0100 | kaskal | (~kaskal@2001:4bb8:2cc:5073:e1cf:a3ef:264a:1e80) (Ping timeout: 260 seconds) |
| 2022-03-11 06:16:03 +0100 | da39a3ee5e6b4b0d | (~textual@67.23.55.162) (Ping timeout: 256 seconds) |
| 2022-03-11 06:19:18 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:d2a9:cd54:b207:d3aa:c763) |
| 2022-03-11 06:29:39 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:52c2:6b24:7f36:817c) |
| 2022-03-11 06:32:13 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-11 06:35:28 +0100 | jushur | (~human@user/jushur) |
| 2022-03-11 06:39:23 +0100 | ishutin | (~ishutin@87-97-25-195.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-03-11 06:40:17 +0100 | rando25892 | (~homefame@user/rando25892) |
| 2022-03-11 06:40:27 +0100 | ishutin | (~ishutin@94-21-108-4.pool.digikabel.hu) |
| 2022-03-11 06:45:15 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 252 seconds) |
| 2022-03-11 06:54:01 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 2022-03-11 06:54:15 +0100 | stvc | (~stvc@192.241.166.39) |
| 2022-03-11 06:54:35 +0100 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-11 06:55:16 +0100 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2022-03-11 06:56:24 +0100 | kongsheng | (~kongsheng@71.28.225.182) (Quit: Client closed) |
| 2022-03-11 06:59:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 07:01:08 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-03-11 07:13:42 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-03-11 07:14:11 +0100 | euprogramista | (~euprogram@103.1.212.126) |
| 2022-03-11 07:17:12 +0100 | <ski> | > let x = 0; y = 1 in x * y -- "Yeah manual ; turns off layout parsing and so explicit {} is also called for." |
| 2022-03-11 07:17:13 +0100 | <lambdabot> | 0 |
| 2022-03-11 07:19:30 +0100 | <ski> | the absurd pattern is the neutral element of the disjunctive pattern, just like the wildcard ("don't care"/"anything goes") pattern is the neutral element of the conjunctive pattern (of which the "as"-pattern, `<var>@<pat>', is a special case). (conjunctive patterns would be more useful, with `ViewPatterns', or `PatternSynonyms') |
| 2022-03-11 07:21:02 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-03-11 07:24:27 +0100 | kongsheng | (~kongsheng@71.28.225.182) |
| 2022-03-11 07:28:42 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 07:29:03 +0100 | kongsheng | (~kongsheng@71.28.225.182) (Client Quit) |
| 2022-03-11 07:29:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-03-11 07:30:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-11 07:31:40 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
| 2022-03-11 07:31:54 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) |
| 2022-03-11 07:40:15 +0100 | euprogramista | (~euprogram@103.1.212.126) (Ping timeout: 252 seconds) |
| 2022-03-11 07:41:09 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-03-11 07:41:30 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 07:48:08 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 07:56:45 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2022-03-11 07:58:13 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:a45d:272f:6e0f:d723) |
| 2022-03-11 08:00:42 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-03-11 08:12:42 +0100 | incertia | (~incertia@207.98.163.88) (Ping timeout: 252 seconds) |
| 2022-03-11 08:13:01 +0100 | incertia | (~incertia@207.98.163.88) |
| 2022-03-11 08:13:04 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-11 08:14:44 +0100 | dschrempf | (~dominik@2a02:8389:100:e100:d670:f073:3fe1:a27e) |
| 2022-03-11 08:15:21 +0100 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-03-11 08:16:41 +0100 | briandaed | (~root@109.95.142.93.r.toneticgroup.pl) |
| 2022-03-11 08:16:42 +0100 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-03-11 08:17:33 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-11 08:18:23 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-11 08:26:15 +0100 | <tomsmeding> | byorgey: yes, that's precisely what I mean! Thanks for the example, that's even an application of TTG :) |
| 2022-03-11 08:30:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9870:63e6:8429:151f) |
| 2022-03-11 08:34:09 +0100 | pottsy | (~pottsy@2400:4050:b560:3700:e503:6ff:c324:ffe6) |
| 2022-03-11 08:36:54 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-11 08:48:57 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-11 08:50:23 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2022-03-11 08:50:25 +0100 | mncheckm | (~mncheck@193.224.205.254) |
| 2022-03-11 08:50:39 +0100 | liz | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Quit: Leaving) |
| 2022-03-11 08:52:47 +0100 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-03-11 08:54:59 +0100 | dschrempf | (~dominik@2a02:8389:100:e100:d670:f073:3fe1:a27e) (Quit: WeeChat 3.3) |
| 2022-03-11 08:55:23 +0100 | dschrempf | (~dominik@2a02:8389:100:e100:d670:f073:3fe1:a27e) |
| 2022-03-11 08:55:26 +0100 | mncheck | (~mncheck@193.224.205.254) (Quit: Leaving) |
| 2022-03-11 08:55:34 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2022-03-11 08:59:27 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:d2a9:cd54:b207:d3aa:c763) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-03-11 09:00:45 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:52c2:6b24:7f36:817c) (Remote host closed the connection) |
| 2022-03-11 09:01:10 +0100 | Major_Biscuit | (~MajorBisc@c-001-018-027.client.tudelft.eduvpn.nl) |
| 2022-03-11 09:01:39 +0100 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Ping timeout: 252 seconds) |
| 2022-03-11 09:03:22 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-03-11 09:03:45 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-03-11 09:04:07 +0100 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-11 09:05:01 +0100 | haskelln00b | (~haskelln0@94.177.118.146) |
| 2022-03-11 09:09:48 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Ping timeout: 240 seconds) |
| 2022-03-11 09:12:13 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f552486cafe8385a22e.dip0.t-ipconnect.de) |
| 2022-03-11 09:12:38 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2022-03-11 09:15:29 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 09:15:53 +0100 | alp | (~alp@user/alp) |
| 2022-03-11 09:18:36 +0100 | fendor | (~fendor@91.141.79.203.wireless.dyn.drei.com) |
| 2022-03-11 09:20:32 +0100 | dschrempf | (~dominik@2a02:8389:100:e100:d670:f073:3fe1:a27e) (Ping timeout: 240 seconds) |
| 2022-03-11 09:21:44 +0100 | dschrempf | (~dominik@2a02:8389:100:e100:1099:d420:1032:362c) |
| 2022-03-11 09:25:42 +0100 | justAstache4 | (~justache@user/justache) |
| 2022-03-11 09:27:21 +0100 | justAstache | (~justache@user/justache) (Ping timeout: 256 seconds) |
| 2022-03-11 09:27:21 +0100 | justAstache4 | justAstache |
| 2022-03-11 09:27:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-03-11 09:27:54 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-03-11 09:29:56 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-11 09:32:57 +0100 | ph88 | (~ph88@2a01:598:9091:a112:15a0:c731:7b0b:e91f) |
| 2022-03-11 09:36:27 +0100 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-11 09:38:16 +0100 | zer0bitz__ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-11 09:40:00 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2022-03-11 09:41:14 +0100 | dschrempf | (~dominik@2a02:8389:100:e100:1099:d420:1032:362c) (Ping timeout: 252 seconds) |
| 2022-03-11 09:41:44 +0100 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2022-03-11 09:42:17 +0100 | kuribas | (~user@ptr-25vy0i772myfuxlbon4.18120a2.ip6.access.telenet.be) |
| 2022-03-11 09:42:55 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-11 09:45:45 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-11 09:46:04 +0100 | zer0bitz__ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2022-03-11 09:46:41 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-11 09:47:40 +0100 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-11 09:49:06 +0100 | zer0bitz__ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-11 09:49:42 +0100 | haskelln00b | (~haskelln0@94.177.118.146) (Ping timeout: 256 seconds) |
| 2022-03-11 09:50:01 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 272 seconds) |
| 2022-03-11 09:50:15 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-03-11 09:51:01 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-03-11 09:52:30 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-11 09:52:37 +0100 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-03-11 09:55:49 +0100 | zer0bitz__ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-03-11 09:56:51 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-03-11 09:56:58 +0100 | ccntrq | (~Thunderbi@2a01:c22:84e5:8a00:e78d:ab33:9063:803d) |
| 2022-03-11 09:57:12 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2022-03-11 10:00:06 +0100 | unrooted | (~unrooted@2001:470:69fc:105::a4a) (Quit: You have been kicked for being idle) |
| 2022-03-11 10:00:10 +0100 | mmos[m] | (~mmosmatri@2001:470:69fc:105::1:8340) (Quit: You have been kicked for being idle) |
| 2022-03-11 10:00:30 +0100 | chele | (~chele@user/chele) |
| 2022-03-11 10:00:51 +0100 | ph88 | (~ph88@2a01:598:9091:a112:15a0:c731:7b0b:e91f) (Read error: Connection reset by peer) |
| 2022-03-11 10:01:14 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:488b:33cf:eab8:79a8) |
| 2022-03-11 10:01:42 +0100 | haskelln00b | (~haskelln0@94.177.118.42) |
| 2022-03-11 10:02:21 +0100 | <haskelln00b> | I only just ran across the super-helpful https://web.archive.org/web/20160321231319/http://haskell.cs.yale.edu/wp-content/uploads/2011/02/h… |
| 2022-03-11 10:02:25 +0100 | <haskelln00b> | great overview of the story at that point |
| 2022-03-11 10:02:26 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
| 2022-03-11 10:02:29 +0100 | <haskelln00b> | it makes me wonder if there is a "10 years on" retrospective from then |
| 2022-03-11 10:02:42 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) |
| 2022-03-11 10:02:43 +0100 | <haskelln00b> | from authors who have an equally comprehensive view of what happened in the decade since |
| 2022-03-11 10:11:24 +0100 | kuribas | (~user@ptr-25vy0i772myfuxlbon4.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-03-11 10:15:48 +0100 | kuribas | (~user@ptr-25vy0i772myfuxlbon4.18120a2.ip6.access.telenet.be) |
| 2022-03-11 10:17:15 +0100 | <kuribas> | gtraverse seems to restrictive: gftraverse :: forall t (f :: Type -> Type) (g :: Type -> Type) m. (Applicative m, Generic (t f), Generic (t g), GFTraversable (Curried (Yoneda m)) f g (Rep (t f)) (Rep (t g))) => (forall a. f a -> m (g a)) -> t f -> m (t g) |
| 2022-03-11 10:17:24 +0100 | <kuribas> | I need f :: (k -> Type) |
| 2022-03-11 10:18:54 +0100 | <kuribas> | bug? |
| 2022-03-11 10:19:04 +0100 | <kuribas> | FTraversable has : FTraversable (t :: (k -> Type) -> Type) where |
| 2022-03-11 10:19:18 +0100 | <kuribas> | https://hackage.haskell.org/package/hkd-0.1/docs/Data-HKD.html#t:FTraversable |
| 2022-03-11 10:19:47 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-11 10:25:21 +0100 | romesrf | (~romes@2001:8a0:6d13:9700:f55f:4f24:3a75:f78c) |
| 2022-03-11 10:27:29 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-03-11 10:29:37 +0100 | michalz | (~michalz@185.246.204.93) |
| 2022-03-11 10:33:32 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) |
| 2022-03-11 10:36:38 +0100 | pottsy | (~pottsy@2400:4050:b560:3700:e503:6ff:c324:ffe6) (Quit: Leaving) |
| 2022-03-11 10:37:46 +0100 | <kuribas> | is the default kind *, or k ? |
| 2022-03-11 10:38:17 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-03-11 10:38:18 +0100 | <kuribas> | for example: f in https://hackage.haskell.org/package/hkd-0.1/docs/Data-HKD.html#v:ftraverse_ |
| 2022-03-11 10:39:27 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) |
| 2022-03-11 10:40:24 +0100 | <kuribas> | Or a in (forall a. f a). |
| 2022-03-11 10:40:32 +0100 | <kuribas> | does a have kind * or k? |
| 2022-03-11 10:41:10 +0100 | <romesrf> | i think f :: * -> * |
| 2022-03-11 10:41:36 +0100 | <romesrf> | however, with levity polymorphism, you can say that f :: k -> k |
| 2022-03-11 10:41:46 +0100 | <romesrf> | but I'm really not sure |
| 2022-03-11 10:42:08 +0100 | <romesrf> | I have to re read the paper on levity polymorphism bc I didn't grok it all the first time around |
| 2022-03-11 10:42:27 +0100 | <romesrf> | kuribas: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/levity-pldi17.pdf |
| 2022-03-11 10:42:49 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Remote host closed the connection) |
| 2022-03-11 10:43:49 +0100 | <romesrf> | I believe you'll find your answer there |
| 2022-03-11 10:44:05 +0100 | <kuribas> | err... |
| 2022-03-11 10:44:10 +0100 | <kuribas> | that's a lot of text |
| 2022-03-11 10:44:32 +0100 | <kuribas> | I just want to know the default. |
| 2022-03-11 10:45:14 +0100 | <romesrf> | kuribas: quoting the paper |
| 2022-03-11 10:45:40 +0100 | <romesrf> | symbol "*" is the kind of ordinary types |
| 2022-03-11 10:46:02 +0100 | <romesrf> | when you say f :: * -> * I believe it's the same as f :: Type -> Type |
| 2022-03-11 10:46:09 +0100 | <kuribas> | I know... |
| 2022-03-11 10:46:16 +0100 | <romesrf> | when you say f :: k -> k it means the function is polymorphic on the kind |
| 2022-03-11 10:46:24 +0100 | <kuribas> | I want to pass it a phantom type. |
| 2022-03-11 10:46:33 +0100 | <romesrf> | so f would work for both ordinary types Type but also Unboxed types |
| 2022-03-11 10:46:56 +0100 | <romesrf> | and by default, the kind of f there is * -> * |
| 2022-03-11 10:47:25 +0100 | <romesrf> | to answer your question, I'm pretty sure the default kind is * |
| 2022-03-11 10:47:41 +0100 | <romesrf> | and in (forall a. f a), a :: * |
| 2022-03-11 10:48:39 +0100 | <kuribas> | didn't that change in some ghc version? |
| 2022-03-11 10:49:54 +0100 | <kuribas> | type f ~> g = forall a. f a -> g a |
| 2022-03-11 10:50:07 +0100 | <kuribas> | :k (~>) :: (k -> *) -> (k -> *) -> * |
| 2022-03-11 10:50:08 +0100 | <lambdabot> | error: |
| 2022-03-11 10:50:08 +0100 | <lambdabot> | Not in scope: type constructor or class ‘~>’ |
| 2022-03-11 10:50:08 +0100 | <lambdabot> | error: Not in scope: type variable ‘k’ |
| 2022-03-11 10:50:21 +0100 | krappix | (~krappix@nat-eduroam-76-gw-01-lne.lille.inria.fr) |
| 2022-03-11 10:50:25 +0100 | <kuribas> | so it does infer k in that definition... |
| 2022-03-11 10:50:37 +0100 | <romesrf> | kuribas: it does seem to be k |
| 2022-03-11 10:50:45 +0100 | <romesrf> | I was running tests on ghci rn |
| 2022-03-11 10:50:54 +0100 | <romesrf> | I'll get back to you |
| 2022-03-11 10:51:31 +0100 | <romesrf> | you need PolyKinds to type some type variable as k |
| 2022-03-11 10:54:03 +0100 | <romesrf> | kuribas: :k (~>) is a good example |
| 2022-03-11 10:54:24 +0100 | <romesrf> | Turns out I do not know the concrete answer |
| 2022-03-11 10:54:34 +0100 | <romesrf> | however, one more observation: |
| 2022-03-11 10:58:13 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-11 10:59:46 +0100 | <romesrf> | nevermind I'm afraid I might be saying things without purpose |
| 2022-03-11 11:00:07 +0100 | <romesrf> | a few messages before I meant kind polymorphism * not levity |
| 2022-03-11 11:04:47 +0100 | <kuribas> | hrmf, and now stack doesn't want to take my changes from git... |
| 2022-03-11 11:04:56 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f552486cafe8385a22e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-11 11:04:59 +0100 | <kuribas> | "This may indicate that the source is a git archive which uses git-annex." |
| 2022-03-11 11:05:08 +0100 | <kuribas> | thanks, very helpful, stack... |
| 2022-03-11 11:11:42 +0100 | <kuribas> | haskell tooling sucks big time |
| 2022-03-11 11:11:43 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2022-03-11 11:12:49 +0100 | <kuribas> | documentation says I can use a tarball, but there is nothing on how to specify one... |
| 2022-03-11 11:12:51 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-11 11:12:57 +0100 | <sm> | each tool is heroic, yet still the war goes badly! |
| 2022-03-11 11:12:58 +0100 | <kuribas> | On my local file system. |
| 2022-03-11 11:13:30 +0100 | <kuribas> | It'd be better if there was no stack, and all tools support cabal. |
| 2022-03-11 11:14:07 +0100 | <sm> | I think lots of people act that way already. What tools don't support cabal ? |
| 2022-03-11 11:14:49 +0100 | <kuribas> | intellij |
| 2022-03-11 11:15:22 +0100 | boborygmy | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-11 11:15:23 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-11 11:15:34 +0100 | <sm> | I never managed to get intellij to work, certainly not at the level vs code does now |
| 2022-03-11 11:17:17 +0100 | <kuribas> | vscode doesn't work for me. It crashes on TH. |
| 2022-03-11 11:17:19 +0100 | sm | switched from idea to vs code for haskell (and later, everything...) |
| 2022-03-11 11:17:29 +0100 | <kuribas> | Anyway, I use emacs :) stack if for my colleages. |
| 2022-03-11 11:18:11 +0100 | <sm> | stack is still my workhorse. I like its UX. |
| 2022-03-11 11:18:30 +0100 | <sm> | it's undermaintained now though |
| 2022-03-11 11:18:34 +0100 | yauhsien_ | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 11:18:36 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-03-11 11:18:40 +0100 | <kuribas> | it expects everyone to use stack. |
| 2022-03-11 11:19:13 +0100 | <maerwald> | kuribas: vscode crashes on TH? |
| 2022-03-11 11:19:17 +0100 | <maerwald> | you mean HLS? |
| 2022-03-11 11:19:30 +0100 | <kuribas> | yes |
| 2022-03-11 11:19:36 +0100 | <maerwald> | compile it from soure |
| 2022-03-11 11:19:46 +0100 | <maerwald> | you probably have ABI mismatch |
| 2022-03-11 11:19:49 +0100 | <kuribas> | and this stack issue is 2019, guess 2 years is to short to solve it... |
| 2022-03-11 11:20:12 +0100 | <maerwald> | kuribas: the next HLS release will be dynamically linked and check GHC ABI |
| 2022-03-11 11:20:20 +0100 | <maerwald> | that should remove some of those TH issues |
| 2022-03-11 11:20:21 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-03-11 11:20:31 +0100 | <maerwald> | the alternative is to build it yourself |
| 2022-03-11 11:20:37 +0100 | <kuribas> | maerwald: I really don't want to spend more time in tooling. |
| 2022-03-11 11:20:45 +0100 | <maerwald> | building HLS is easy with ghcup |
| 2022-03-11 11:21:07 +0100 | <kuribas> | like half a day to setup an editor, to find out it doesn't work. |
| 2022-03-11 11:21:38 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2022-03-11 11:21:52 +0100 | yauhsien_ | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-11 11:23:29 +0100 | <maerwald> | good news then... vscode extension will soon use ghcup to install a dynamically linked HLS |
| 2022-03-11 11:24:05 +0100 | <kuribas> | maerwald: great I'll try HLS in a few months, and then wait a few months more if it doesn't work. |
| 2022-03-11 11:24:38 +0100 | <maerwald> | stack is on life-support so the experience will only get worse |
| 2022-03-11 11:25:19 +0100 | <ski> | haskelln00b : your link got cut off at the end |
| 2022-03-11 11:26:30 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 11:28:24 +0100 | <kuribas> | ah, a local tarball isn't even supported, I have to upload it somewhere... |
| 2022-03-11 11:28:39 +0100 | <kuribas> | yay, it's working! |
| 2022-03-11 11:28:58 +0100 | <sm> | kuribas: just curious, what are you doing ? |
| 2022-03-11 11:29:41 +0100 | <maerwald> | kuribas: did you specify the local tarball with file:///patth? |
| 2022-03-11 11:29:45 +0100 | <kuribas> | yeah |
| 2022-03-11 11:29:53 +0100 | <kuribas> | sm: adding a fix to hkd |
| 2022-03-11 11:30:02 +0100 | <kuribas> | sm: to use in my project. |
| 2022-03-11 11:31:00 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-11 11:32:33 +0100 | <kuribas> | yay, the deriving works now! |
| 2022-03-11 11:33:25 +0100 | <maerwald> | kuribas: did you try without file://? |
| 2022-03-11 11:33:34 +0100 | <kuribas> | yeah, that didn't work. |
| 2022-03-11 11:33:59 +0100 | <maerwald> | odd |
| 2022-03-11 11:34:32 +0100 | <juhp[m]> | Anyone use vterm btw for example in Emacs? I am not sure why, seems haskeline does not work work well in vterm afaict |
| 2022-03-11 11:34:36 +0100 | <fockerized> | do people use vector+lens for easy mutable vector updates,much like array modifications in imperative languages? |
| 2022-03-11 11:35:36 +0100 | <juhp[m]> | (maybe haskeline does not recognise vterm as a terminal?) |
| 2022-03-11 11:36:55 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f552486cafe8385a22e.dip0.t-ipconnect.de) |
| 2022-03-11 11:37:11 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-11 11:39:07 +0100 | dschrempf | (~dominik@2a02:8389:100:e100:bd3d:cf84:df7c:e927) |
| 2022-03-11 11:41:09 +0100 | <kuribas> | fockerized: what does lens give you compared to indexing? |
| 2022-03-11 11:41:21 +0100 | <kuribas> | fockerized: I use the functions provided by vector. |
| 2022-03-11 11:42:56 +0100 | <fockerized> | kuribas: vector API are quite cumblesome |
| 2022-03-11 11:43:11 +0100 | <kuribas> | I found it quite ok. |
| 2022-03-11 11:43:13 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) |
| 2022-03-11 11:43:18 +0100 | <fockerized> | kuribas: for example, i have use 'write' to write something |
| 2022-03-11 11:43:27 +0100 | <fockerized> | very verbose |
| 2022-03-11 11:43:35 +0100 | <kuribas> | to seems right :) |
| 2022-03-11 11:43:59 +0100 | <kuribas> | that |
| 2022-03-11 11:44:13 +0100 | <maerwald> | Vector is ok |
| 2022-03-11 11:44:24 +0100 | <maerwald> | Array is horrible |
| 2022-03-11 11:45:03 +0100 | <fockerized> | and 'modify' to modify something. in c like languages, you know arry[1]=.. |
| 2022-03-11 11:45:19 +0100 | <fockerized> | so i'm guessing the lens api can offer some help |
| 2022-03-11 11:45:25 +0100 | <fockerized> | but not sure of its performances |
| 2022-03-11 11:46:35 +0100 | mikoto-chan | (~mikoto-ch@84.199.144.235) |
| 2022-03-11 11:47:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Ping timeout: 240 seconds) |
| 2022-03-11 11:47:26 +0100 | <kuribas> | no, lenses are for deeply nested structures. |
| 2022-03-11 11:48:00 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-11 11:48:13 +0100 | <fockerized> | i see their sample code snippets are all used for shallow structures |
| 2022-03-11 11:50:09 +0100 | bliminse | (~bliminse@host86-156-84-211.range86-156.btcentralplus.com) (Quit: leaving) |
| 2022-03-11 11:53:21 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 11:55:26 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-03-11 11:56:40 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2022-03-11 11:57:16 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-11 11:59:13 +0100 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 2022-03-11 12:02:04 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-03-11 12:02:40 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-11 12:05:07 +0100 | krappix | (~krappix@nat-eduroam-76-gw-01-lne.lille.inria.fr) (Ping timeout: 256 seconds) |
| 2022-03-11 12:09:09 +0100 | bliminse | (~bliminse@host86-156-84-211.range86-156.btcentralplus.com) |
| 2022-03-11 12:10:30 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-03-11 12:13:38 +0100 | <jackdk> | lenses can be used for deeply nested structures, but you can use them for shallow structures too |
| 2022-03-11 12:14:05 +0100 | <jackdk> | and to traverse across the `Char`s in a `Text` an the `a`s in a `[a]` in a uniform way |
| 2022-03-11 12:14:14 +0100 | <jackdk> | and to set the bits in an `Int` |
| 2022-03-11 12:18:17 +0100 | fendor_ | (~fendor@77.119.174.8.wireless.dyn.drei.com) |
| 2022-03-11 12:20:59 +0100 | fendor | (~fendor@91.141.79.203.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2022-03-11 12:24:15 +0100 | romesrf | (~romes@2001:8a0:6d13:9700:f55f:4f24:3a75:f78c) (Quit: WeeChat 3.4) |
| 2022-03-11 12:24:42 +0100 | <byorgey> | fockerized: I'm not convinced that using lens would get you more concise syntax for mutable array updates |
| 2022-03-11 12:24:52 +0100 | dschrempf | (~dominik@2a02:8389:100:e100:bd3d:cf84:df7c:e927) (Ping timeout: 268 seconds) |
| 2022-03-11 12:25:37 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f552486cafe8385a22e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-11 12:25:50 +0100 | <kuribas> | jackdk: you can, but is it worth the complexity? |
| 2022-03-11 12:26:05 +0100 | <byorgey> | but in general, libraries like 'vector' are set up to make it easy to do operations on entire arrays (map, scan, etc.), not to set individual elements one by one |
| 2022-03-11 12:26:57 +0100 | <byorgey> | if you find yourself doing lots of individual write operations at particular indices, it's worth asking whether there's a higher-level way to think about whatever you're doing |
| 2022-03-11 12:27:09 +0100 | <byorgey> | though sometimes it's not easily avoidable. |
| 2022-03-11 12:27:24 +0100 | <jackdk> | kuribas: for me? yes. |
| 2022-03-11 12:28:41 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-03-11 12:31:01 +0100 | razetime | (~quassel@117.193.4.25) |
| 2022-03-11 12:32:32 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 2022-03-11 12:33:03 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-03-11 12:34:50 +0100 | Lucretia | (~laguest@user/lucretia) |
| 2022-03-11 12:35:32 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:488b:33cf:eab8:79a8) (Ping timeout: 240 seconds) |
| 2022-03-11 12:38:57 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-11 12:42:00 +0100 | ubert | (~Thunderbi@p200300ecdf3be97ed771739640ac5cea.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-11 12:48:15 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-11 12:50:58 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Remote host closed the connection) |
| 2022-03-11 12:51:22 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-11 12:51:24 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Remote host closed the connection) |
| 2022-03-11 12:54:25 +0100 | madnight_ | (~madnight@static.59.103.201.195.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2022-03-11 12:57:00 +0100 | ptrcmd | (~ptrcmd@user/ptrcmd) (Quit: leaving) |
| 2022-03-11 12:57:00 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2022-03-11 12:57:13 +0100 | ptrcmd | (~ptrcmd@user/ptrcmd) |
| 2022-03-11 12:57:37 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-11 12:58:10 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-03-11 13:03:34 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-03-11 13:07:37 +0100 | mikoto-chan | (~mikoto-ch@84.199.144.235) (Ping timeout: 272 seconds) |
| 2022-03-11 13:07:47 +0100 | ishutin | (~ishutin@94-21-108-4.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2022-03-11 13:09:20 +0100 | ishutin | (~ishutin@92-249-179-87.pool.digikabel.hu) |
| 2022-03-11 13:13:24 +0100 | boborygmy | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-03-11 13:13:32 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2022-03-11 13:13:33 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-03-11 13:14:28 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-03-11 13:19:58 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 13:22:58 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2022-03-11 13:23:20 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 2022-03-11 13:24:15 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-03-11 13:24:46 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-11 13:25:50 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 13:27:05 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-11 13:31:51 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-11 13:32:19 +0100 | euprogramista | (~euprogram@103.1.212.126) |
| 2022-03-11 13:33:51 +0100 | razetime | (~quassel@117.193.4.25) (Ping timeout: 256 seconds) |
| 2022-03-11 13:36:45 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-11 13:41:27 +0100 | ccntrq1 | (~Thunderbi@dynamic-077-010-200-243.77.10.pool.telefonica.de) |
| 2022-03-11 13:41:36 +0100 | ccntrq | (~Thunderbi@2a01:c22:84e5:8a00:e78d:ab33:9063:803d) (Ping timeout: 252 seconds) |
| 2022-03-11 13:41:36 +0100 | ccntrq1 | ccntrq |
| 2022-03-11 13:45:29 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) |
| 2022-03-11 13:46:15 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Read error: Connection reset by peer) |
| 2022-03-11 13:46:33 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-03-11 13:48:04 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-11 13:48:50 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) |
| 2022-03-11 13:48:57 +0100 | razetime | (~quassel@117.193.4.149) |
| 2022-03-11 13:49:46 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Read error: Connection reset by peer) |
| 2022-03-11 13:50:02 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Ping timeout: 260 seconds) |
| 2022-03-11 13:50:11 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-03-11 13:51:03 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 13:54:49 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Read error: Connection reset by peer) |
| 2022-03-11 13:56:42 +0100 | <kuribas> | How can I use "Type" instead of "*"? |
| 2022-03-11 13:56:49 +0100 | <kuribas> | is there an import? |
| 2022-03-11 13:56:54 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-11 13:57:00 +0100 | <dminuoso> | set -XStarIsType |
| 2022-03-11 13:57:27 +0100 | <kuribas> | thanks :) |
| 2022-03-11 13:57:28 +0100 | <dminuoso> | It should be on by default |
| 2022-03-11 13:57:48 +0100 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 2022-03-11 13:58:06 +0100 | <lortabac> | IIRC it's in Data.Kind |
| 2022-03-11 13:58:09 +0100 | <geekosaur> | I think you might need to import it still though |
| 2022-03-11 13:58:12 +0100 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 256 seconds) |
| 2022-03-11 13:58:31 +0100 | <kuribas> | right |
| 2022-03-11 13:58:33 +0100 | <geekosaur> | and isn't that backwards? -XNoStarIsType to force it to us4e Type instead of * ? |
| 2022-03-11 13:58:39 +0100 | Topsi | (~Tobias@dyndsl-091-249-082-060.ewe-ip-backbone.de) |
| 2022-03-11 13:59:00 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-03-11 13:59:48 +0100 | <kuribas> | Now I am confused why it is useful? |
| 2022-03-11 13:59:55 +0100 | <kuribas> | XStarIsType |
| 2022-03-11 14:00:05 +0100 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-03-11 14:00:32 +0100 | <geekosaur> | that's just how things used to work |
| 2022-03-11 14:00:55 +0100 | <geekosaur> | I think the Report may speak of kinds that way, although standard Haskel lhas no way to express them? |
| 2022-03-11 14:01:23 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-03-11 14:01:36 +0100 | ubert | (~Thunderbi@p200300ecdf19b77776b4004eb09af332.dip0.t-ipconnect.de) |
| 2022-03-11 14:06:58 +0100 | haskelln00b | (~haskelln0@94.177.118.42) (Ping timeout: 256 seconds) |
| 2022-03-11 14:10:28 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-03-11 14:11:24 +0100 | ccntrq1 | (~Thunderbi@2a01:c22:904e:8800:e607:dad6:86e8:7c9e) |
| 2022-03-11 14:13:29 +0100 | ccntrq | (~Thunderbi@dynamic-077-010-200-243.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-03-11 14:13:29 +0100 | ccntrq1 | ccntrq |
| 2022-03-11 14:15:46 +0100 | euprogramista | (~euprogram@103.1.212.126) (Ping timeout: 256 seconds) |
| 2022-03-11 14:17:15 +0100 | agumonkey | (~user@88.163.231.79) (Read error: Connection reset by peer) |
| 2022-03-11 14:21:32 +0100 | mncheckm | (~mncheck@193.224.205.254) |
| 2022-03-11 14:21:34 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2022-03-11 14:22:40 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-11 14:22:42 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-11 14:23:37 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-11 14:25:24 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-11 14:31:27 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-03-11 14:34:19 +0100 | <kuribas> | How do you dispatch on a type in a GADT? |
| 2022-03-11 14:34:51 +0100 | <kuribas> | Do I need to make a second, "type witness" datatype? |
| 2022-03-11 14:36:04 +0100 | <kuribas> | I guess haskell sucks as a dependently typed language... |
| 2022-03-11 14:38:00 +0100 | <geekosaur> | yep |
| 2022-03-11 14:38:02 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-11 14:42:38 +0100 | <kuribas> | ah, stackoverflow post confirms it's impossible. |
| 2022-03-11 14:42:44 +0100 | <kuribas> | without type classes. |
| 2022-03-11 14:45:09 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-03-11 14:45:49 +0100 | <siers> | what does "dispatch" mean? |
| 2022-03-11 14:47:15 +0100 | <kuribas> | to pick an implementation based on the type. |
| 2022-03-11 14:47:55 +0100 | <geekosaur> | only typeclasses can do that, yeh |
| 2022-03-11 14:48:22 +0100 | <kuribas> | even if the type is an exhaustive phantom type... |
| 2022-03-11 14:48:24 +0100 | <kuribas> | like Bool |
| 2022-03-11 14:48:35 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-11 14:48:39 +0100 | <dminuoso> | You can think of typeclasses as type-level case-of |
| 2022-03-11 14:48:59 +0100 | <dminuoso> | With each instance providing a branch |
| 2022-03-11 14:49:28 +0100 | <dminuoso> | kuribas: Sure, at the end GADTs are just generalized ADTs. But fundamentally they still only allow you to case-of on data constructors. |
| 2022-03-11 14:49:50 +0100 | <siers> | is there a world where the type-level programming resembles regular (value) programming more? |
| 2022-03-11 14:50:00 +0100 | <kuribas> | siers: dependent types. |
| 2022-03-11 14:50:10 +0100 | <kuribas> | siers: idris, agda, coq, ... |
| 2022-03-11 14:50:35 +0100 | <siers> | hm, ok |
| 2022-03-11 14:50:42 +0100 | <kuribas> | it doesn't not resemble value programming, it "is" value programming. |
| 2022-03-11 14:50:43 +0100 | <siers> | but it has type-classes too, no? |
| 2022-03-11 14:50:57 +0100 | <kuribas> | yes, interfaces. |
| 2022-03-11 14:51:04 +0100 | <kuribas> | But they are not fundamental. |
| 2022-03-11 14:51:16 +0100 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Quit: leaving) |
| 2022-03-11 14:51:19 +0100 | <kuribas> | They are built on proof search. |
| 2022-03-11 14:51:33 +0100 | <siers> | but then "type-classes are type-level case-of" and the resemblence is lost? |
| 2022-03-11 14:51:53 +0100 | <kuribas> | indeed |
| 2022-03-11 14:52:04 +0100 | <siers> | that was what I kind of was getting at |
| 2022-03-11 14:52:22 +0100 | <siers> | (I have written a small amount of agda with peano number functions, but I hope this summer I'll have time to write something more substantial) |
| 2022-03-11 14:54:08 +0100 | <kuribas> | Is there a way to remove a constraint? |
| 2022-03-11 14:54:34 +0100 | <kuribas> | Like : Num a => a => forall a. Maybe a ? |
| 2022-03-11 14:54:51 +0100 | <kuribas> | turn (Num a => a) into (forall a. Maybe a)? |
| 2022-03-11 14:55:48 +0100 | <siers> | well, it requires the Num instance, so you need that code |
| 2022-03-11 14:56:24 +0100 | <kuribas> | yeah, it's open ended. |
| 2022-03-11 14:56:30 +0100 | <dminuoso> | siers: In the lambda cube, we have polymorphism as `terms binding types` (think id @Int), type operators as `types binding types` (think Maybe :: Type -> Type), and then you have `types binding terms` as dependent types. |
| 2022-03-11 14:57:13 +0100 | <dminuoso> | So in something like idris or agda you can have all the fun with all the consequences. |
| 2022-03-11 14:57:30 +0100 | <siers> | :) funny phrasing |
| 2022-03-11 14:57:35 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-03-11 14:57:38 +0100 | <siers> | kuribas, what do you mean by that? |
| 2022-03-11 14:58:00 +0100 | <kuribas> | that the behaviour depends on the call site. |
| 2022-03-11 14:58:09 +0100 | <siers> | dminuoso, did you read some book about to learn about the lambda cube? |
| 2022-03-11 14:58:40 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-03-11 15:00:01 +0100 | <dminuoso> | I picked it up across various resources. Some books and papers referenced it |
| 2022-03-11 15:00:33 +0100 | <siers> | is there something "canonical" (hope i'm using this right) that lays it out effectively? |
| 2022-03-11 15:01:01 +0100 | <siers> | dminuoso, and this is supposed to answer my question about "why isn't the type-level lingo more like regular programming lingo?" or? |
| 2022-03-11 15:02:26 +0100 | <kuribas> | siers: in haskell or idris? |
| 2022-03-11 15:02:33 +0100 | <siers> | (I hope I don't come off as impolite :), I can't tell) |
| 2022-03-11 15:02:50 +0100 | <kuribas> | in haskell, you can write "type Foo = Bar 1" |
| 2022-03-11 15:02:57 +0100 | <kuribas> | then type is a "type synonym". |
| 2022-03-11 15:03:20 +0100 | tabemann | (~travisb@2600:1700:7990:24e0:afa7:cc85:6e08:da6f) (Remote host closed the connection) |
| 2022-03-11 15:03:21 +0100 | <kuribas> | In idris, it's just a value "Foo : Type; Foo = Bar 1" |
| 2022-03-11 15:03:32 +0100 | <kuribas> | so the "lingo" is not necessary. |
| 2022-03-11 15:03:37 +0100 | tabemann | (~travisb@2600:1700:7990:24e0:305:eafc:7502:a3bd) |
| 2022-03-11 15:03:46 +0100 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-03-11 15:04:56 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-11 15:05:34 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 15:10:44 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-11 15:11:43 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 15:11:43 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 15:11:43 +0100 | finn_elija | FinnElija |
| 2022-03-11 15:12:22 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 15:15:49 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-03-11 15:16:48 +0100 | <siers> | is that with DataKinds? |
| 2022-03-11 15:17:06 +0100 | <kuribas> | there are no DataKinds in idris. |
| 2022-03-11 15:17:20 +0100 | <siers> | > in haskell, you can write "type Foo = Bar 1" |
| 2022-03-11 15:17:21 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘in’ |
| 2022-03-11 15:18:04 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-11 15:18:21 +0100 | <geekosaur> | DataKinds is kinda the first step toward trying to Idris-ize Haskell. we have a very long way to go, though |
| 2022-03-11 15:18:42 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 15:21:43 +0100 | dschrempf | (~dominik@2a02:8389:100:e100:b354:d491:299f:8d) |
| 2022-03-11 15:23:00 +0100 | agumonkey | (~user@88.163.231.79) |
| 2022-03-11 15:23:27 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-11 15:25:34 +0100 | <siers> | I have had this question at the back of my mind for a while: if you're writing in some dependently typed language, I understand you can encode/prove all sorts of mathematical proofs |
| 2022-03-11 15:25:36 +0100 | <siers> | Then you must be also able to encode probably all invariants you want about your algo and potentially squash a bunch of bugs? :) |
| 2022-03-11 15:25:53 +0100 | <kuribas> | siers: you can prove anything in idris. |
| 2022-03-11 15:26:00 +0100 | <siers> | * :D |
| 2022-03-11 15:26:07 +0100 | <kuribas> | however, wether it is sustainable is another question. |
| 2022-03-11 15:26:10 +0100 | <siers> | agda also? |
| 2022-03-11 15:26:14 +0100 | <siers> | yes, sustainability aside |
| 2022-03-11 15:26:16 +0100 | <kuribas> | sure |
| 2022-03-11 15:26:28 +0100 | <siers> | So long as you've actually encoded what you had in mind |
| 2022-03-11 15:26:29 +0100 | <kuribas> | you can prove anything of math in idris/agda/... |
| 2022-03-11 15:26:54 +0100 | <siers> | well, you don't have the law of excluded middle, apparently, so not quite everything |
| 2022-03-11 15:27:12 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2022-03-11 15:27:29 +0100 | boborygmy | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-11 15:27:29 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-11 15:29:09 +0100 | <siers> | at least I've heard that much and I can imagine that will hurt having seen enough mathematics to know that proof by contradiction is used often enough in textbooks |
| 2022-03-11 15:29:29 +0100 | <kuribas> | you can do proof by contradiction in idris. |
| 2022-03-11 15:30:02 +0100 | <siers> | ! amazing, I have outdated info |
| 2022-03-11 15:30:08 +0100 | <kuribas> | if you can prove a contradiction, you can prove anything. |
| 2022-03-11 15:30:09 +0100 | <kuribas> | :t void |
| 2022-03-11 15:30:10 +0100 | <lambdabot> | Functor f => f a -> f () |
| 2022-03-11 15:30:15 +0100 | <kuribas> | :t absurd |
| 2022-03-11 15:30:16 +0100 | <lambdabot> | Void -> a |
| 2022-03-11 15:30:19 +0100 | <Franciman> | neado |
| 2022-03-11 15:30:41 +0100 | <Franciman> | it's hard to get to absurd, but when you get there |
| 2022-03-11 15:30:43 +0100 | <janus> | kuribas: what do you mean by 'anything of math'? i thought the constructive approach was different than how much mathematicians work? |
| 2022-03-11 15:30:49 +0100 | <Franciman> | you'll be granted godlike powers |
| 2022-03-11 15:31:05 +0100 | <kuribas> | janus: oh well, I am not an expert... |
| 2022-03-11 15:31:36 +0100 | <janus> | ok just checking.. i think it's worth noting |
| 2022-03-11 15:31:43 +0100 | joeyh | (~joeyh@kitenet.net) |
| 2022-03-11 15:32:20 +0100 | joeyh_ | (joeyh@kitenet.net) (Ping timeout: 268 seconds) |
| 2022-03-11 15:32:55 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 15:32:57 +0100 | razetime | (~quassel@117.193.4.149) (Ping timeout: 240 seconds) |
| 2022-03-11 15:32:58 +0100 | <siers> | logic is tough |
| 2022-03-11 15:33:43 +0100 | cods_ | cods |
| 2022-03-11 15:33:51 +0100 | Guest47 | (~Guest47@eduroam-mff-ms.koleje.cuni.cz) |
| 2022-03-11 15:34:11 +0100 | Guest47 | (~Guest47@eduroam-mff-ms.koleje.cuni.cz) (Client Quit) |
| 2022-03-11 15:34:45 +0100 | <Franciman> | logic is tough for the hard users of it |
| 2022-03-11 15:34:58 +0100 | <Franciman> | if you are an outsider to logic and have learnt your whole life to reason about your flawed reasonings |
| 2022-03-11 15:35:12 +0100 | dschrempf | (~dominik@2a02:8389:100:e100:b354:d491:299f:8d) (Quit: WeeChat 3.3) |
| 2022-03-11 15:35:19 +0100 | <Franciman> | then logic is something you are familiar with, since you've been processing your whole life reasonings as well |
| 2022-03-11 15:35:30 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 15:36:27 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-11 15:37:01 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 15:38:05 +0100 | romesrf | (~romes@198.177.63.94.rev.vodafone.pt) |
| 2022-03-11 15:39:38 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-03-11 15:41:13 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-11 15:42:02 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-11 15:43:54 +0100 | razetime | (~quassel@117.254.34.198) |
| 2022-03-11 15:44:39 +0100 | <kuribas> | ah great, I found a work-around. |
| 2022-03-11 15:44:55 +0100 | <kuribas> | Basically, as long as there is a GADT around to restrict the types, GHC is happy. |
| 2022-03-11 15:45:07 +0100 | <kuribas> | So a bit of boilerplate, and it works :) |
| 2022-03-11 15:50:56 +0100 | <lortabac> | kuribas: depending on what you are doing, at some point you may need an existential or a continuation to unrefine the type |
| 2022-03-11 15:54:40 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-11 15:56:36 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-11 15:57:53 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9870:63e6:8429:151f) (Quit: WeeChat 2.8) |
| 2022-03-11 16:03:04 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-03-11 16:03:49 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-11 16:07:21 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-03-11 16:11:03 +0100 | jmorris | (~jmorris@98.221.165.173) |
| 2022-03-11 16:13:04 +0100 | alt-romes | (~romes@198.177.63.94.rev.vodafone.pt) |
| 2022-03-11 16:14:46 +0100 | romesrf | (~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-11 16:14:58 +0100 | jmorris | (~jmorris@98.221.165.173) (Client Quit) |
| 2022-03-11 16:15:12 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 2022-03-11 16:15:22 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-11 16:22:26 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-11 16:24:17 +0100 | alt-romes | (~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-11 16:26:26 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-03-11 16:29:49 +0100 | marquis_1ndras | (~marquis_a@61.69.224.60) (Ping timeout: 240 seconds) |
| 2022-03-11 16:31:02 +0100 | marquis_andras | (~marquis_a@61.69.224.60) |
| 2022-03-11 16:32:35 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 2022-03-11 16:34:28 +0100 | Guest82 | (~Guest82@2a02:587:4854:f100:4eed:fbff:fe67:3137) |
| 2022-03-11 16:35:14 +0100 | Jason | (~Jason@31-152-164-202.pat.amp.cosmote.net) |
| 2022-03-11 16:35:55 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-03-11 16:36:35 +0100 | <Jason> | Hello, I am unable to find the haskell-gsoc channel, can anybody point me at the right direction? |
| 2022-03-11 16:41:09 +0100 | <geekosaur> | I think it hasn't been reconstituted on libera yet, since it's still in the planning phase. I'd ask at committee@haskell.org and also point out to them summer.haskell.org still points to freenode :) |
| 2022-03-11 16:42:08 +0100 | <Jason> | I will do that, thanks for the info. |
| 2022-03-11 16:42:17 +0100 | kitten | (~kitten@host-80-41-94-158.as13285.net) |
| 2022-03-11 16:42:29 +0100 | kitten | (~kitten@host-80-41-94-158.as13285.net) (Remote host closed the connection) |
| 2022-03-11 16:42:42 +0100 | kitten | (~kitten@host-80-41-94-158.as13285.net) |
| 2022-03-11 16:47:47 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) |
| 2022-03-11 16:52:30 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Ping timeout: 260 seconds) |
| 2022-03-11 16:55:48 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:488b:33cf:eab8:79a8) |
| 2022-03-11 16:57:31 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-03-11 16:58:11 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-11 16:59:36 +0100 | Major_Biscuit | (~MajorBisc@c-001-018-027.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4) |
| 2022-03-11 17:00:08 +0100 | wysteriary[m] | (~wysteriar@2001:470:69fc:105::a42e) (Quit: You have been kicked for being idle) |
| 2022-03-11 17:00:29 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 17:01:18 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-11 17:01:30 +0100 | Jason | (~Jason@31-152-164-202.pat.amp.cosmote.net) (Ping timeout: 256 seconds) |
| 2022-03-11 17:01:52 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 17:01:54 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f552486cafe8385a22e.dip0.t-ipconnect.de) |
| 2022-03-11 17:03:24 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 2022-03-11 17:05:42 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-11 17:05:55 +0100 | ccntrq | (~Thunderbi@2a01:c22:904e:8800:e607:dad6:86e8:7c9e) (Remote host closed the connection) |
| 2022-03-11 17:06:12 +0100 | ccntrq | (~Thunderbi@2a01:c22:904e:8800:e607:dad6:86e8:7c9e) |
| 2022-03-11 17:07:12 +0100 | alt-romes | (~romes@2001:8a0:6d13:9700:3d91:207e:6db1:ade) |
| 2022-03-11 17:07:18 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-03-11 17:08:54 +0100 | Guest82 | (~Guest82@2a02:587:4854:f100:4eed:fbff:fe67:3137) (Quit: Client closed) |
| 2022-03-11 17:13:58 +0100 | haskelln00b | (~haskelln0@94.177.118.146) |
| 2022-03-11 17:15:55 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) |
| 2022-03-11 17:17:29 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9870:63e6:8429:151f) |
| 2022-03-11 17:19:42 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-11 17:20:06 +0100 | <mcgroin> | How are linked list represented in haskell? |
| 2022-03-11 17:20:34 +0100 | <mcgroin> | define some custom data type? |
| 2022-03-11 17:20:52 +0100 | <mcgroin> | or are there some well known library |
| 2022-03-11 17:23:24 +0100 | <lortabac> | mcgroin: there is a standard list type, whose constructors are [] and (:) |
| 2022-03-11 17:23:28 +0100 | <geekosaur> | a normla list is a linked list. if you want an array there is Array, there is Vector, there are others |
| 2022-03-11 17:23:56 +0100 | <lortabac> | it also has syntactic sugar so you can write [1, 2, 3] instead of 1 : 2 : 3 : [] |
| 2022-03-11 17:24:29 +0100 | <merijn> | mcgroin: The standard list *is* a linked list :) |
| 2022-03-11 17:24:42 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:488b:33cf:eab8:79a8) (Ping timeout: 260 seconds) |
| 2022-03-11 17:25:01 +0100 | <merijn> | You can easily define your own with slightly different syntax, though |
| 2022-03-11 17:27:40 +0100 | xpika | (~xpika@n175-34-196-120.sun1.vic.optusnet.com.au) |
| 2022-03-11 17:28:09 +0100 | <mcgroin> | i see |
| 2022-03-11 17:30:13 +0100 | <xpika> | hello! first time on libera chat. just testing it works. |
| 2022-03-11 17:30:22 +0100 | ccntrq1 | (~Thunderbi@2a01:c23:8d50:8100:4c5f:620e:1ebe:6a68) |
| 2022-03-11 17:30:34 +0100 | <lortabac> | xpika: hello |
| 2022-03-11 17:30:44 +0100 | ccntrq | (~Thunderbi@2a01:c22:904e:8800:e607:dad6:86e8:7c9e) (Ping timeout: 268 seconds) |
| 2022-03-11 17:30:44 +0100 | ccntrq1 | ccntrq |
| 2022-03-11 17:34:26 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-03-11 17:35:59 +0100 | haskelln00b | (~haskelln0@94.177.118.146) (Quit: Client closed) |
| 2022-03-11 17:36:05 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-03-11 17:36:18 +0100 | xpika | blah |
| 2022-03-11 17:37:00 +0100 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 252 seconds) |
| 2022-03-11 17:37:00 +0100 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 252 seconds) |
| 2022-03-11 17:37:08 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 17:38:44 +0100 | xpika | (~xpika@n175-34-196-120.sun1.vic.optusnet.com.au) |
| 2022-03-11 17:40:26 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-11 17:41:04 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-03-11 17:42:17 +0100 | blah | (~xpika@n175-34-196-120.sun1.vic.optusnet.com.au) (Ping timeout: 256 seconds) |
| 2022-03-11 17:44:43 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9870:63e6:8429:151f) (Quit: WeeChat 2.8) |
| 2022-03-11 17:47:23 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-11 17:47:42 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 17:47:42 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 17:47:42 +0100 | finn_elija | FinnElija |
| 2022-03-11 17:49:26 +0100 | alt-romes | romesrf |
| 2022-03-11 17:50:02 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-03-11 17:57:05 +0100 | kuribas | (~user@ptr-25vy0i772myfuxlbon4.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-03-11 17:57:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Remote host closed the connection) |
| 2022-03-11 17:57:54 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) |
| 2022-03-11 18:02:21 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-11 18:02:41 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-03-11 18:04:01 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-11 18:05:32 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) |
| 2022-03-11 18:07:04 +0100 | <fockerized> | xpika: hello i'm using weechat, also on libera |
| 2022-03-11 18:07:32 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-11 18:11:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Remote host closed the connection) |
| 2022-03-11 18:13:54 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-03-11 18:16:03 +0100 | razetime | (~quassel@117.254.34.198) (Ping timeout: 252 seconds) |
| 2022-03-11 18:16:03 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-03-11 18:16:51 +0100 | Kaipi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-03-11 18:17:10 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-03-11 18:17:40 +0100 | Articus | (~Articus@207.248.198.65) |
| 2022-03-11 18:18:29 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-11 18:19:56 +0100 | agumonkey | (~user@88.163.231.79) (Remote host closed the connection) |
| 2022-03-11 18:21:33 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-03-11 18:21:33 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-03-11 18:21:37 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-11 18:21:42 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-11 18:23:09 +0100 | <Articus> | Hi, I installed XMonad through stack, I'm having issues with this, help about this would be awesome. Now xmessage appears when there are errors, but doesn't show any message also whith xmonad --recompile, it says XMonad module not found |
| 2022-03-11 18:23:18 +0100 | cheater | (~Username@user/cheater) |
| 2022-03-11 18:23:43 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-03-11 18:24:12 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-03-11 18:25:34 +0100 | <geekosaur> | you need a stack.yaml to go along with the xmonad.hs, to tell xmonad --recompile to get its dependencies from stack |
| 2022-03-11 18:26:45 +0100 | <geekosaur> | this also requires xmonad 0.17.0; it's a bit more work if you are still on 0.15. which come to think of it you will be unless you're using the nightly resolver :( |
| 2022-03-11 18:27:48 +0100 | <Articus> | Should I symlink ~/.config/xmonad/stack.yaml to ~/.xmonad ? |
| 2022-03-11 18:28:59 +0100 | <Articus> | It's version 0.17 |
| 2022-03-11 18:30:09 +0100 | <geekosaur> | if you're on 0.17 then you should probably not be using ~/.xmonad at all |
| 2022-03-11 18:30:15 +0100 | <Articus> | I thought I had version 0.17 but I have 0.15 |
| 2022-03-11 18:30:27 +0100 | <Articus> | How do I unistall it? |
| 2022-03-11 18:32:24 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 18:32:24 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 18:32:24 +0100 | finn_elija | FinnElija |
| 2022-03-11 18:34:14 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 18:34:23 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-11 18:35:15 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-11 18:35:39 +0100 | ph88 | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) |
| 2022-03-11 18:39:29 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-11 18:46:03 +0100 | kitten | (~kitten@host-80-41-94-158.as13285.net) (Remote host closed the connection) |
| 2022-03-11 18:46:13 +0100 | econo | (uid147250@user/econo) |
| 2022-03-11 18:47:07 +0100 | Jason | (~Jason@31-152-249-202.pat.amp.cosmote.net) |
| 2022-03-11 18:48:21 +0100 | Graham31415 | (~Graham314@213.237.95.25) |
| 2022-03-11 18:51:13 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) |
| 2022-03-11 18:51:23 +0100 | <geekosaur> | Articus, you can just remove the xmonad binary. you can then reinstall using the nightly resolver, or install it with cabal instead of stack. https://xmonad.org/INSTALL.html may be of interest |
| 2022-03-11 18:52:01 +0100 | <geekosaur> | also you might want to ask in #xmonad instead of here, there are more people who know xmonad (and stack, which I don't particularly; I'm a cabal user) |
| 2022-03-11 18:52:32 +0100 | <Articus> | Thanks! |
| 2022-03-11 18:52:37 +0100 | ishutin | (~ishutin@92-249-179-87.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-11 18:54:06 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-11 18:54:30 +0100 | ishutin | (~ishutin@193-226-233-55.pool.digikabel.hu) |
| 2022-03-11 19:01:52 +0100 | Articus | (~Articus@207.248.198.65) (Quit: Client closed) |
| 2022-03-11 19:02:36 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Remote host closed the connection) |
| 2022-03-11 19:08:02 +0100 | ccntrq | (~Thunderbi@2a01:c23:8d50:8100:4c5f:620e:1ebe:6a68) (Remote host closed the connection) |
| 2022-03-11 19:08:44 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-03-11 19:10:46 +0100 | qwedfg | (~qwedfg@user/qwedfg) (Excess Flood) |
| 2022-03-11 19:12:40 +0100 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-03-11 19:12:59 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-11 19:13:28 +0100 | Articus | (~Articus@207.248.198.65) |
| 2022-03-11 19:15:27 +0100 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 252 seconds) |
| 2022-03-11 19:16:32 +0100 | polyphem | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 240 seconds) |
| 2022-03-11 19:18:20 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-03-11 19:19:22 +0100 | ph88 | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) (Ping timeout: 272 seconds) |
| 2022-03-11 19:20:10 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-11 19:21:05 +0100 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-03-11 19:22:39 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-11 19:22:54 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 19:22:58 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-11 19:24:32 +0100 | mbuf | (~Shakthi@171.61.199.222) (Quit: Leaving) |
| 2022-03-11 19:26:36 +0100 | romesrf | (~romes@2001:8a0:6d13:9700:3d91:207e:6db1:ade) (Ping timeout: 240 seconds) |
| 2022-03-11 19:27:27 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 19:29:04 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 19:30:31 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-03-11 19:32:22 +0100 | romesrf | (~romes@2001:8a0:6d13:9700:5925:9a0c:3d64:35e6) |
| 2022-03-11 19:33:55 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 19:34:34 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 19:35:30 +0100 | <sm> | https://www.tweag.io/blog/2022-03-11-nickel-first-release |
| 2022-03-11 19:36:52 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-03-11 19:38:00 +0100 | romesrf | (~romes@2001:8a0:6d13:9700:5925:9a0c:3d64:35e6) (Ping timeout: 252 seconds) |
| 2022-03-11 19:42:48 +0100 | romesrf | (~romes@2001:8a0:6d13:9700:5925:9a0c:3d64:35e6) |
| 2022-03-11 19:48:26 +0100 | romesrf | (~romes@2001:8a0:6d13:9700:5925:9a0c:3d64:35e6) (Quit: WeeChat 3.4) |
| 2022-03-11 19:51:29 +0100 | <shapr> | yay! |
| 2022-03-11 19:52:21 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 19:52:25 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) |
| 2022-03-11 19:53:34 +0100 | <maerwald> | "Nickel targets Nix" that's where I stopped reading :p |
| 2022-03-11 19:54:11 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 19:55:42 +0100 | Graham31415 | (~Graham314@213.237.95.25) (Quit: Client closed) |
| 2022-03-11 19:56:35 +0100 | Graham31415 | (~Graham314@213.237.95.25) |
| 2022-03-11 19:59:04 +0100 | bliminse | (~bliminse@host86-156-84-211.range86-156.btcentralplus.com) (Quit: leaving) |
| 2022-03-11 19:59:27 +0100 | <sm> | it's general purpose, not only for nix |
| 2022-03-11 19:59:30 +0100 | <sm> | looks like a more practical dhall |
| 2022-03-11 20:01:20 +0100 | xpika | (~xpika@n175-34-196-120.sun1.vic.optusnet.com.au) (Quit: Client closed) |
| 2022-03-11 20:03:13 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-03-11 20:06:43 +0100 | agumonke` | (~user@88.163.231.79) |
| 2022-03-11 20:07:42 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 252 seconds) |
| 2022-03-11 20:08:04 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-03-11 20:08:26 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-03-11 20:09:54 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-03-11 20:10:13 +0100 | bliminse | (~bliminse@host86-156-84-211.range86-156.btcentralplus.com) |
| 2022-03-11 20:10:37 +0100 | theproffesor | (~theproffe@2601:282:847f:8010::7f59) (Ping timeout: 240 seconds) |
| 2022-03-11 20:10:45 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 20:11:01 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-03-11 20:11:04 +0100 | theproffesor | (~theproffe@c-24-9-30-127.hsd1.co.comcast.net) |
| 2022-03-11 20:12:11 +0100 | bliminse | (~bliminse@host86-156-84-211.range86-156.btcentralplus.com) (Client Quit) |
| 2022-03-11 20:12:53 +0100 | Jason | (~Jason@31-152-249-202.pat.amp.cosmote.net) (Quit: Client closed) |
| 2022-03-11 20:13:52 +0100 | Articus | (~Articus@207.248.198.65) (Quit: Client closed) |
| 2022-03-11 20:19:14 +0100 | <lechner> | sm: hi, i like it! maybe i'll try using it in places where dhall scared me. is nickel as capable? |
| 2022-03-11 20:19:57 +0100 | <sm> | check it out lechner, it's 0.1 but looks powerful |
| 2022-03-11 20:20:07 +0100 | <ski> | siers : proof-by-contradiction is distinct from (direct) proof-of-negation |
| 2022-03-11 20:20:13 +0100 | <sm> | more powerful perhaps (contracts) |
| 2022-03-11 20:20:58 +0100 | <maerwald> | sm: dhall tries to be so simple so hard, that it's kinda unergonomic, imo |
| 2022-03-11 20:21:23 +0100 | <sm> | lots of boilerplate, it seems |
| 2022-03-11 20:21:34 +0100 | <sm> | in dhall |
| 2022-03-11 20:21:55 +0100 | <lechner> | yeah, i have stayed away so far |
| 2022-03-11 20:22:05 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-03-11 20:22:11 +0100 | <sm> | (I don't use these things, just a spectator) |
| 2022-03-11 20:22:37 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 240 seconds) |
| 2022-03-11 20:22:44 +0100 | polyphem | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
| 2022-03-11 20:23:50 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-11 20:26:16 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 20:28:31 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 20:31:12 +0100 | <lechner> | BTW, for anyone using Debian bullseye/stable: I hope to start making backports availablesoon. Right now, it's just GHC 8.10.7. |
| 2022-03-11 20:31:31 +0100 | <lechner> | https://haskell-backports.debian.net/ |
| 2022-03-11 20:34:55 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-11 20:44:00 +0100 | ishutin | (~ishutin@193-226-233-55.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2022-03-11 20:45:51 +0100 | ishutin | (~ishutin@193-226-238-219.pool.digikabel.hu) |
| 2022-03-11 20:47:39 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection) |
| 2022-03-11 20:49:06 +0100 | <tomjaguarpaw> | I'm installing llvm through brew on a Mac Book Pro M1 (because ghcup said I need it). It's taking forever. Is this expected? I guess I'm surprised there's not a binary distribution of llvm. |
| 2022-03-11 20:49:37 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-03-11 20:49:48 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Client Quit) |
| 2022-03-11 20:50:02 +0100 | <geekosaur> | if it's compiling it, yes, it'll take a while. I thought they did have prebuilt binaries though |
| 2022-03-11 20:50:22 +0100 | <geekosaur> | but I haven't used a Mac in along time and never used brew |
| 2022-03-11 20:50:46 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-03-11 20:50:58 +0100 | <maerwald> | tomjaguarpaw: yeah, I use brew on gitlab GHC CI too to install llvm. Not sure why there are no binaries yet |
| 2022-03-11 20:51:22 +0100 | <tomjaguarpaw> | It's making my Mac hot, which has never happened before. |
| 2022-03-11 20:52:28 +0100 | <maerwald> | well, if you fancy, you can use nix on mac, there's probably some build cache |
| 2022-03-11 20:52:46 +0100 | <maerwald> | and 20 hours of problem fixing along the way |
| 2022-03-11 20:53:00 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 256 seconds) |
| 2022-03-11 20:53:08 +0100 | tomku | (~tomku@user/tomku) |
| 2022-03-11 20:53:19 +0100 | <hololeap> | llvm takes 3 hours to build on my old box, you'll be fine |
| 2022-03-11 20:54:32 +0100 | <tomjaguarpaw> | It's got to installing! |
| 2022-03-11 20:54:40 +0100 | Graham31415 | (~Graham314@213.237.95.25) (Quit: Client closed) |
| 2022-03-11 20:55:39 +0100 | <tomjaguarpaw> | 2336 seconds elapsed, so 40 minutes? This is mostly for compiling llvm, but also for installing some dependent packages. |
| 2022-03-11 20:55:52 +0100 | <tomjaguarpaw> | Ah well, now I can install ghc and try to diagnose https://www.reddit.com/r/haskell/comments/tbn46e/out_of_memory_when_building_productprofunctors/ |
| 2022-03-11 20:55:55 +0100 | <geekosaur> | yeh, llvm's *big* |
| 2022-03-11 20:56:25 +0100 | deadmarshal_ | (~deadmarsh@95.38.228.103) (Ping timeout: 256 seconds) |
| 2022-03-11 20:56:46 +0100 | <tomjaguarpaw> | Um, now that I've looked, it seems that llvm is already in /usr/bin? |
| 2022-03-11 20:57:13 +0100 | <geekosaur> | there are smallpieces of llvm but it'sincomplete |
| 2022-03-11 20:57:22 +0100 | <geekosaur> | apple has always shipped llvm that way ime |
| 2022-03-11 20:57:41 +0100 | <tomjaguarpaw> | Ah, I see |
| 2022-03-11 20:57:51 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-03-11 20:57:51 +0100 | <geekosaur> | in particular opt is missing/incomplete |
| 2022-03-11 20:58:01 +0100 | <maerwald> | they ship broken toolchain? Sounds like apple. |
| 2022-03-11 20:58:18 +0100 | <geekosaur> | thye ship just enough toolchain to keep their portof clang happy |
| 2022-03-11 20:58:28 +0100 | <geekosaur> | but it uses the library versions instead of the standalone ones |
| 2022-03-11 20:58:51 +0100 | <geekosaur> | so opt and lld are usually missing or unusable |
| 2022-03-11 20:58:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-03-11 20:59:07 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-03-11 21:01:52 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.4) |
| 2022-03-11 21:02:33 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 21:02:33 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 21:02:33 +0100 | finn_elija | FinnElija |
| 2022-03-11 21:02:37 +0100 | ph88 | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) |
| 2022-03-11 21:02:48 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-03-11 21:03:53 +0100 | <tomjaguarpaw> | over successfulInstallationsViaGhcup (+) RealWorld |
| 2022-03-11 21:04:01 +0100 | <tomjaguarpaw> | Thanks maerwald ! |
| 2022-03-11 21:04:26 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-11 21:04:54 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 252 seconds) |
| 2022-03-11 21:05:20 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 21:05:20 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 21:05:20 +0100 | finn_elija | FinnElija |
| 2022-03-11 21:05:29 +0100 | <tomjaguarpaw> | Oh, that should be (+ 1) |
| 2022-03-11 21:05:45 +0100 | <maerwald> | are you running 8.10.7? |
| 2022-03-11 21:06:22 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 21:06:22 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 21:06:22 +0100 | finn_elija | FinnElija |
| 2022-03-11 21:07:24 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-11 21:09:35 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-11 21:10:10 +0100 | pavonia | (~user@user/siracusa) |
| 2022-03-11 21:10:45 +0100 | <tomjaguarpaw> | Yes I am. Whatever was the default. |
| 2022-03-11 21:11:00 +0100 | <tomjaguarpaw> | Or rather, yes I am, because it was the default. |
| 2022-03-11 21:11:17 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) |
| 2022-03-11 21:12:57 +0100 | <maerwald> | 9.2.1 has native codegen, but I think it's broken? |
| 2022-03-11 21:13:26 +0100 | <maerwald> | maybe 9.2.2 is better |
| 2022-03-11 21:13:27 +0100 | bliminse | (~bliminse@host86-156-84-211.range86-156.btcentralplus.com) |
| 2022-03-11 21:13:30 +0100 | <geekosaur> | yes. but 9.2.2 is out and should be fixed |
| 2022-03-11 21:15:54 +0100 | yauhsien | (~yauhsien@61-231-43-120.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-11 21:18:54 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Remote host closed the connection) |
| 2022-03-11 21:20:11 +0100 | <tomjaguarpaw> | Ah well, I can't reproduce the bug. |
| 2022-03-11 21:21:37 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-03-11 21:21:44 +0100 | <maerwald> | blame the user, close the ticket! |
| 2022-03-11 21:22:50 +0100 | <tomjaguarpaw> | Interesting, 9.2.2 seems to use significantly less memory. |
| 2022-03-11 21:23:51 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-11 21:24:12 +0100 | <tomjaguarpaw> | Haha, cabal using a funny compression scheme in its store. Seems to strip out all the vowels. prdct-prfnctrs FTW! |
| 2022-03-11 21:24:47 +0100 | briandaed | (~root@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 272 seconds) |
| 2022-03-11 21:24:56 +0100 | <sclv> | https://github.com/haskell/cabal/issues/7209 |
| 2022-03-11 21:24:56 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) |
| 2022-03-11 21:27:35 +0100 | <tomjaguarpaw> | Cunning |
| 2022-03-11 21:32:01 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:c718:8a02:6a5d:599e) |
| 2022-03-11 21:39:07 +0100 | benin | (~benin@183.82.26.94) (Quit: The Lounge - https://thelounge.chat) |
| 2022-03-11 21:40:46 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-11 21:41:05 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-11 21:42:42 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-11 21:42:57 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 240 seconds) |
| 2022-03-11 21:45:15 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-11 21:47:46 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-11 21:47:47 +0100 | liz_ | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) |
| 2022-03-11 21:48:05 +0100 | tomku | (~tomku@user/tomku) |
| 2022-03-11 21:48:29 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-11 21:49:22 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Max SendQ exceeded) |
| 2022-03-11 21:52:09 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2022-03-11 21:52:49 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-11 21:56:37 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-11 21:58:35 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) |
| 2022-03-11 21:58:47 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2022-03-11 22:01:04 +0100 | liz_ | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Remote host closed the connection) |
| 2022-03-11 22:02:05 +0100 | deadmarshal_ | (~deadmarsh@95.38.228.103) |
| 2022-03-11 22:02:58 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 22:04:18 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 22:04:33 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 22:04:34 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 22:04:34 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 22:04:34 +0100 | finn_elija | FinnElija |
| 2022-03-11 22:05:50 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-11 22:06:49 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 22:07:13 +0100 | deadmarshal_ | (~deadmarsh@95.38.228.103) (Ping timeout: 272 seconds) |
| 2022-03-11 22:07:17 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 22:08:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 22:08:26 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 22:08:26 +0100 | finn_elija | FinnElija |
| 2022-03-11 22:10:53 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-11 22:12:36 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-03-11 22:18:52 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 2022-03-11 22:22:30 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-03-11 22:23:57 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 22:28:10 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-11 22:30:54 +0100 | liz_ | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) |
| 2022-03-11 22:31:58 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-11 22:33:11 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-11 22:33:19 +0100 | ubert | (~Thunderbi@p200300ecdf19b77776b4004eb09af332.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-03-11 22:33:26 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 22:42:56 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-03-11 22:46:39 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4817:6457:31f4:d58b) (Remote host closed the connection) |
| 2022-03-11 22:48:25 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) |
| 2022-03-11 22:48:54 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-03-11 22:52:21 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-03-11 22:52:27 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-11 22:54:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 22:55:12 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:00:04 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 23:01:07 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 23:04:12 +0100 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) (Ping timeout: 240 seconds) |
| 2022-03-11 23:05:00 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:05:17 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:05:25 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:05:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:05:47 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:05:48 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-03-11 23:06:02 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:06:09 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:06:23 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:06:31 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:06:45 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:06:52 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:06:55 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-11 23:07:07 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:07:14 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:07:28 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:07:35 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:07:51 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:07:58 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:08:02 +0100 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2022-03-11 23:08:12 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:08:19 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:08:33 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:08:40 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:08:56 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:09:03 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:09:07 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-11 23:09:18 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:09:25 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:09:39 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:09:46 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:10:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:10:10 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:10:24 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:10:31 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:10:46 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:10:52 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-03-11 23:10:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
| 2022-03-11 23:11:07 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:11:14 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:11:29 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:11:36 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:11:51 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:11:58 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:12:13 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:12:20 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:12:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:12:42 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:12:56 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:13:03 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:13:18 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:13:25 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:13:43 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:13:50 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:14:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:14:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:14:26 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:14:33 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:14:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:14:54 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:14:55 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-03-11 23:15:09 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:15:16 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:15:31 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:15:38 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:15:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:16:00 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:16:14 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:16:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:16:36 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:16:43 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:16:59 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:17:06 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:17:21 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:17:28 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:17:46 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:17:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:17:54 +0100 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) |
| 2022-03-11 23:18:07 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:18:14 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:18:29 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:18:36 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:18:50 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:18:57 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:19:12 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:19:19 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:19:33 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:19:41 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:19:56 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:20:03 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:20:17 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:20:24 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:20:36 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 23:20:39 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:20:46 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:21:00 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:21:07 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:21:23 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:21:30 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:21:45 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:21:52 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:22:07 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:22:14 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:22:24 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-11 23:22:29 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 23:22:31 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:22:38 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:22:53 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:23:00 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:23:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:23:23 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:23:35 +0100 | michalz | (~michalz@185.246.204.93) (Remote host closed the connection) |
| 2022-03-11 23:23:38 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:23:45 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:24:00 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:24:07 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:24:21 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:24:28 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:24:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:24:50 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:25:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:25:12 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:25:26 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:25:34 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:25:45 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2022-03-11 23:25:48 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:25:54 +0100 | xacktm | (xacktm@user/xacktm) (Ping timeout: 260 seconds) |
| 2022-03-11 23:25:56 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:26:10 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:26:12 +0100 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (Ping timeout: 240 seconds) |
| 2022-03-11 23:26:18 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:26:32 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:26:40 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:26:54 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:27:02 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:27:18 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:27:26 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:27:41 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:27:48 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:28:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:28:10 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:28:25 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-11 23:28:33 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-11 23:29:05 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 23:30:05 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 23:30:06 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-03-11 23:30:28 +0100 | qhong_ | (~qhong@rescomp-21-400677.stanford.edu) |
| 2022-03-11 23:30:48 +0100 | fendor__ | (~fendor@77.119.174.8.wireless.dyn.drei.com) |
| 2022-03-11 23:31:00 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-11 23:31:01 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-11 23:31:22 +0100 | iteratee | (~kyle@162.218.222.107) |
| 2022-03-11 23:31:27 +0100 | res0nat0r084 | (~Fletch@dia.whatbox.ca) |
| 2022-03-11 23:31:29 +0100 | Goodbye_Vincent4 | (cyvahl@freakshells.net) |
| 2022-03-11 23:31:33 +0100 | MasseR46 | (~MasseR@51.15.143.128) |
| 2022-03-11 23:31:35 +0100 | Katarushisu1 | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 2022-03-11 23:31:40 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 23:31:40 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 23:31:40 +0100 | finn_elija | FinnElija |
| 2022-03-11 23:32:02 +0100 | sayola1 | (~vekto@dslb-002-201-085-116.002.201.pools.vodafone-ip.de) |
| 2022-03-11 23:32:07 +0100 | Topsi1 | (~Tobias@dyndsl-091-249-082-060.ewe-ip-backbone.de) |
| 2022-03-11 23:32:31 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2022-03-11 23:32:32 +0100 | uroboros | (~ouroboros@user/ouroboros) |
| 2022-03-11 23:32:34 +0100 | In0perable | (~PLAYER_1@fancydata.science) |
| 2022-03-11 23:32:35 +0100 | zero | (~z@user/zero) |
| 2022-03-11 23:32:35 +0100 | vgtw_ | (~vgtw@user/vgtw) |
| 2022-03-11 23:32:38 +0100 | shriekingnoise_ | (~shrieking@201.231.16.156) |
| 2022-03-11 23:32:43 +0100 | ishutin | (~ishutin@193-226-238-219.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-03-11 23:32:51 +0100 | habib | (~habib@217.146.83.233) |
| 2022-03-11 23:33:22 +0100 | hgolden_ | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2022-03-11 23:33:50 +0100 | quintasan_ | (~quassel@quintasan.pl) |
| 2022-03-11 23:33:53 +0100 | Dykam_ | (Dykam@dykam.nl) |
| 2022-03-11 23:33:58 +0100 | hueso_ | (~root@user/hueso) |
| 2022-03-11 23:34:03 +0100 | ishutin | (~ishutin@193-226-238-244.pool.digikabel.hu) |
| 2022-03-11 23:34:11 +0100 | qwedfg_ | (~qwedfg@user/qwedfg) |
| 2022-03-11 23:34:35 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-11 23:34:37 +0100 | zachel_ | (~zachel@user/zachel) |
| 2022-03-11 23:34:38 +0100 | habib | alaminium |
| 2022-03-11 23:34:40 +0100 | ski_ | (~ski@remote12.chalmers.se) |
| 2022-03-11 23:34:42 +0100 | bendo_ | (~bendo@ip5f5bebbb.dynamic.kabel-deutschland.de) |
| 2022-03-11 23:34:49 +0100 | abrar_ | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 2022-03-11 23:34:51 +0100 | jjhoo_ | (~jahakala@user/jjhoo) |
| 2022-03-11 23:34:55 +0100 | alaminium | habibalamin |
| 2022-03-11 23:34:57 +0100 | chronon | (~chronon@user/chronon) |
| 2022-03-11 23:35:01 +0100 | m1dnight_ | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-03-11 23:35:02 +0100 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2022-03-11 23:35:03 +0100 | pie__ | (~pie_bnc@user/pie/x-2818909) |
| 2022-03-11 23:35:11 +0100 | stilgart_ | (~Christoph@chezlefab.net) |
| 2022-03-11 23:35:16 +0100 | habibalamin | alaminium |
| 2022-03-11 23:35:21 +0100 | Zemyla | (~ec2-user@ec2-54-196-172-247.compute-1.amazonaws.com) |
| 2022-03-11 23:35:25 +0100 | xdej_ | (~xdej@quatramaran.salle-s.org) |
| 2022-03-11 23:35:59 +0100 | alaminium | habibalamin |
| 2022-03-11 23:36:40 +0100 | habibalamin | alaminium |
| 2022-03-11 23:36:56 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-03-11 23:37:12 +0100 | infinity0_ | (~infinity0@occupy.ecodis.net) |
| 2022-03-11 23:37:12 +0100 | infinity0 | (~infinity0@occupy.ecodis.net) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2022-03-11 23:37:12 +0100 | infinity0_ | infinity0 |
| 2022-03-11 23:37:26 +0100 | liz_ | liz |
| 2022-03-11 23:38:10 +0100 | incertia_ | (~incertia@207.98.163.88) |
| 2022-03-11 23:39:36 +0100 | habib | (~textual@217.146.83.233) |
| 2022-03-11 23:39:44 +0100 | xkuru | (~xkuru@user/xkuru) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | juhp | (~juhp@128.106.188.82) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | theproffesor | (~theproffe@c-24-9-30-127.hsd1.co.comcast.net) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | agumonke` | (~user@88.163.231.79) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | qwedfg | (~qwedfg@user/qwedfg) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | Akiva | (~Akiva@user/Akiva) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | zebrag | (~chris@user/zebrag) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | boborygmy | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | zaquest | (~notzaques@5.130.79.72) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | Topsi | (~Tobias@dyndsl-091-249-082-060.ewe-ip-backbone.de) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | fendor_ | (~fendor@77.119.174.8.wireless.dyn.drei.com) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | machinedgod | (~machinedg@24.105.81.50) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | incertia | (~incertia@207.98.163.88) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | haasn | (~nand@haasn.dev) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (*.net *.split) |
| 2022-03-11 23:39:44 +0100 | echoreply | (~echoreply@45.32.163.16) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | Inoperable | (~PLAYER_1@fancydata.science) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | jjhoo | (~jahakala@user/jjhoo) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | foul_owl | (~kerry@23.82.193.89) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | Dykam | (Dykam@dykam.nl) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | pranshukhandal | (~ghost@envs.net) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | res0nat0r08 | (~Fletch@dia.whatbox.ca) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | Goodbye_Vincent | (~Goodbye_V@freakshells.net) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | vgtw | (~vgtw@user/vgtw) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | zachel | (~zachel@user/zachel) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | koolazer | (~koo@user/koolazer) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | Zemyla_ | (~ec2-user@ec2-54-196-172-247.compute-1.amazonaws.com) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | chronon_ | (~chronon@user/chronon) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | MasseR4 | (~MasseR@51.15.143.128) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | ncopa | (~ncopa@alpine/developer/ncopa) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | ouroboros | (~ouroboros@user/ouroboros) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | sayola | (~vekto@dslb-002-201-085-116.002.201.pools.vodafone-ip.de) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | hueso | (~root@user/hueso) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | bendo | (~bendo@ip5f5bebbb.dynamic.kabel-deutschland.de) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | quintasan | (~quassel@quintasan.pl) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | ski | (~ski@remote12.chalmers.se) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | zzz | (~z@user/zero) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | iteratee_ | (~kyle@162.218.222.107) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | xdej | (~xdej@quatramaran.salle-s.org) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | adium | (adium@user/adium) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | stilgart | (~Christoph@chezlefab.net) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split) |
| 2022-03-11 23:39:45 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-11 23:39:45 +0100 | uroboros | ouroboros |
| 2022-03-11 23:39:46 +0100 | Katarushisu1 | Katarushisu |
| 2022-03-11 23:39:47 +0100 | Goodbye_Vincent4 | Goodbye_Vincent |
| 2022-03-11 23:39:47 +0100 | MasseR46 | MasseR4 |
| 2022-03-11 23:39:48 +0100 | incertia_ | incertia |
| 2022-03-11 23:39:53 +0100 | kritzefitz_ | kritzefitz |
| 2022-03-11 23:40:02 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-03-11 23:40:25 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-11 23:40:53 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-11 23:41:00 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-11 23:41:43 +0100 | alaminium | (~habib@217.146.83.233) () |
| 2022-03-11 23:44:17 +0100 | fendor__ | (~fendor@77.119.174.8.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-03-11 23:44:34 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-11 23:44:56 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-11 23:45:28 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-11 23:45:28 +0100 | theproffesor | (~theproffe@c-24-9-30-127.hsd1.co.comcast.net) |
| 2022-03-11 23:45:28 +0100 | agumonke` | (~user@88.163.231.79) |
| 2022-03-11 23:45:28 +0100 | cheater | (~Username@user/cheater) |
| 2022-03-11 23:45:28 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-11 23:45:28 +0100 | haasn | (~nand@haasn.dev) |
| 2022-03-11 23:45:28 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-03-11 23:45:28 +0100 | echoreply | (~echoreply@45.32.163.16) |
| 2022-03-11 23:45:28 +0100 | foul_owl | (~kerry@23.82.193.89) |
| 2022-03-11 23:45:28 +0100 | pranshukhandal | (~ghost@envs.net) |
| 2022-03-11 23:45:28 +0100 | c_wraith | (~c_wraith@adjoint.us) |
| 2022-03-11 23:45:28 +0100 | cross | (~cross@spitfire.i.gajendra.net) |
| 2022-03-11 23:45:28 +0100 | Philonous | (~Philonous@user/philonous) |
| 2022-03-11 23:45:28 +0100 | ncopa | (~ncopa@alpine/developer/ncopa) |
| 2022-03-11 23:45:28 +0100 | hiredman | (~hiredman@frontier1.downey.family) |
| 2022-03-11 23:45:28 +0100 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) |
| 2022-03-11 23:45:39 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-03-11 23:45:39 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-03-11 23:45:43 +0100 | allbery_b | geekosaur |
| 2022-03-11 23:45:47 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-03-11 23:45:56 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-03-11 23:46:07 +0100 | cheater | (~Username@user/cheater) (Max SendQ exceeded) |
| 2022-03-11 23:46:07 +0100 | foul_owl | (~kerry@23.82.193.89) (Max SendQ exceeded) |
| 2022-03-11 23:46:36 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2022-03-11 23:47:05 +0100 | koolazer | (~koo@user/koolazer) |
| 2022-03-11 23:47:14 +0100 | ski_ | ski |
| 2022-03-11 23:47:25 +0100 | adium | (znc@user/adium) |
| 2022-03-11 23:47:25 +0100 | immae | (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 2.9) |
| 2022-03-11 23:47:42 +0100 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-03-11 23:47:51 +0100 | foul_owl | (~kerry@23.82.193.89) |
| 2022-03-11 23:47:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-03-11 23:48:57 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-11 23:49:33 +0100 | cheater | (~Username@user/cheater) |
| 2022-03-11 23:50:36 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-11 23:50:36 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-11 23:50:36 +0100 | finn_elija | FinnElija |
| 2022-03-11 23:50:54 +0100 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (Quit: Lost terminal) |
| 2022-03-11 23:52:27 +0100 | tomku | (~tomku@user/tomku) |
| 2022-03-11 23:52:40 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 23:53:14 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 23:53:39 +0100 | alp | (~alp@user/alp) |
| 2022-03-11 23:54:01 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-11 23:55:17 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-11 23:55:39 +0100 | xacktm | (xacktm@user/xacktm) |
| 2022-03-11 23:56:09 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-03-11 23:58:32 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-11 23:59:48 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |