IRCBrowse

2023/07/01

2023-07-01 00:05:00 +0200reach__(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 240 seconds)
2023-07-01 00:05:08 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 00:05:35 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 00:06:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-01 00:10:52 +0200ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2023-07-01 00:11:03 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 00:11:06 +0200ec(~ec@gateway/tor-sasl/ec)
2023-07-01 00:11:32 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 00:13:31 +0200ec(~ec@gateway/tor-sasl/ec) (Client Quit)
2023-07-01 00:14:00 +0200mechap(~mechap@user/mechap) (Ping timeout: 240 seconds)
2023-07-01 00:15:18 +0200mechap(~mechap@user/mechap)
2023-07-01 00:16:05 +0200mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-07-01 00:16:18 +0200iteratee(~kyle@162.218.222.207) (Read error: Connection reset by peer)
2023-07-01 00:16:35 +0200iteratee(~kyle@162.218.222.207)
2023-07-01 00:16:52 +0200falafel(~falafel@50.224.160.45) (Ping timeout: 252 seconds)
2023-07-01 00:18:12 +0200acidjnk(~acidjnk@p200300d6e7072f99394bef7c5112d598.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2023-07-01 00:20:08 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-01 00:20:59 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 00:21:27 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 00:22:55 +0200mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-07-01 00:23:11 +0200ec(~ec@gateway/tor-sasl/ec)
2023-07-01 00:24:03 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-01 00:30:54 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 00:31:20 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 00:40:47 +0200nick__(~nick@2600:8807:9084:7800:80f2:8e5b:42ce:9403) (Ping timeout: 264 seconds)
2023-07-01 00:41:30 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 00:41:53 +0200Guest93(~Guest29@31.221.145.179)
2023-07-01 00:41:57 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 00:42:11 +0200iteratee_(~kyle@162.218.222.207)
2023-07-01 00:43:29 +0200Guest93(~Guest29@31.221.145.179) (Client Quit)
2023-07-01 00:44:42 +0200iteratee(~kyle@162.218.222.207) (Ping timeout: 250 seconds)
2023-07-01 00:45:43 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 00:46:26 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 250 seconds)
2023-07-01 00:49:08 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 00:49:33 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 00:50:55 +0200bratwurst(~dfadsva@2604:3d09:207f:f650::a8c)
2023-07-01 00:56:01 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-07-01 00:57:00 +0200iteratee_(~kyle@162.218.222.207) (Ping timeout: 240 seconds)
2023-07-01 00:58:27 +0200mei(~mei@user/mei)
2023-07-01 00:59:23 +0200iteratee(~kyle@162.218.222.207)
2023-07-01 00:59:35 +0200kupenske_oplatky(~priesvitn@koleje-wifi-0025.koleje.cuni.cz)
2023-07-01 01:00:02 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 01:00:28 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 01:03:50 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-07-01 01:06:33 +0200iteratee_(~kyle@162.218.222.207)
2023-07-01 01:07:41 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 01:07:55 +0200chromoblob(~user@37.113.180.121)
2023-07-01 01:08:10 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 01:09:35 +0200iteratee(~kyle@162.218.222.207) (Ping timeout: 264 seconds)
2023-07-01 01:14:14 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-07-01 01:15:30 +0200mechap(~mechap@user/mechap) (Ping timeout: 240 seconds)
2023-07-01 01:16:42 +0200mechap(~mechap@user/mechap)
2023-07-01 01:18:12 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 01:18:29 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds)
2023-07-01 01:18:39 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 01:19:14 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2023-07-01 01:22:37 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-01 01:22:46 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 4.0.0)
2023-07-01 01:22:53 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-01 01:24:56 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 01:25:24 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 01:27:38 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-07-01 01:32:23 +0200foul_owl(~kerry@157.97.134.168) (Ping timeout: 264 seconds)
2023-07-01 01:32:34 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 01:33:03 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 01:34:42 +0200bilegeek(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
2023-07-01 01:37:51 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 01:38:15 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 01:39:08 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-07-01 01:42:39 +0200mauke_(~mauke@user/mauke)
2023-07-01 01:44:30 +0200mauke(~mauke@user/mauke) (Ping timeout: 250 seconds)
2023-07-01 01:44:30 +0200mauke_mauke
2023-07-01 01:46:45 +0200foul_owl(~kerry@71.212.137.212)
2023-07-01 01:49:54 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 01:50:20 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 01:51:10 +0200hugo(znc@verdigris.lysator.liu.se)
2023-07-01 01:58:05 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 01:58:29 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 02:03:14 +0200kupenske_oplatky(~priesvitn@koleje-wifi-0025.koleje.cuni.cz) (Ping timeout: 258 seconds)
2023-07-01 02:03:26 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 02:03:32 +0200iteratee(~kyle@162.218.222.207)
2023-07-01 02:03:37 +0200foul_owl(~kerry@71.212.137.212) (Quit: WeeChat 2.3)
2023-07-01 02:03:52 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 02:06:22 +0200iteratee_(~kyle@162.218.222.207) (Ping timeout: 260 seconds)
2023-07-01 02:09:10 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 02:09:40 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 02:14:27 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 02:14:52 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 02:17:52 +0200ddellacosta(~ddellacos@146.70.168.100) (Ping timeout: 250 seconds)
2023-07-01 02:18:33 +0200ddellacosta(~ddellacos@146.70.168.100)
2023-07-01 02:21:08 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 02:21:35 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 02:29:05 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 02:29:31 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 02:38:13 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 02:38:19 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-07-01 02:38:40 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 02:40:25 +0200dipper(~dipper@117.61.125.236)
2023-07-01 02:46:01 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 02:46:28 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 02:48:14 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 02:50:34 +0200bilegeek(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Remote host closed the connection)
2023-07-01 02:50:55 +0200bilegeek(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
2023-07-01 02:52:18 +0200bilegeek(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Max SendQ exceeded)
2023-07-01 02:52:43 +0200bilegeek(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
2023-07-01 02:53:26 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2023-07-01 02:54:05 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-07-01 02:56:25 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 02:56:51 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 02:58:37 +0200bilegeek_(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
2023-07-01 03:00:50 +0200bilegeek(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Ping timeout: 260 seconds)
2023-07-01 03:01:34 +0200bilegeek_(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Read error: Connection reset by peer)
2023-07-01 03:01:53 +0200bilegeek_(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
2023-07-01 03:03:10 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2023-07-01 03:03:25 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 03:03:51 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 03:04:26 +0200mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Remote host closed the connection)
2023-07-01 03:05:10 +0200mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-07-01 03:05:59 +0200bilegeek_(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Remote host closed the connection)
2023-07-01 03:06:18 +0200jero98772(~jero98772@2800:484:1d7f:5d36::4) (Quit: leaving)
2023-07-01 03:06:24 +0200bilegeek_(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
2023-07-01 03:09:33 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 03:09:58 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 03:11:16 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-01 03:14:08 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-07-01 03:15:53 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
2023-07-01 03:17:24 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-01 03:20:59 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 03:21:26 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 03:28:38 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 03:29:03 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 03:34:42 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 03:35:08 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 03:36:26 +0200ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2023-07-01 03:37:55 +0200shailangsa(~shailangs@host86-186-142-69.range86-186.btcentralplus.com) (Ping timeout: 258 seconds)
2023-07-01 03:39:47 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 03:40:13 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 03:43:01 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656)
2023-07-01 03:47:08 +0200dipper(~dipper@117.61.125.236) (Ping timeout: 250 seconds)
2023-07-01 03:48:01 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 03:48:28 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 03:55:15 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 03:55:42 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 04:02:04 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 04:02:23 +0200bratwurst(~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 264 seconds)
2023-07-01 04:02:29 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 04:06:42 +0200dipper(~dipper@240e:87c:894:731b:903:4a47:df0d:eb5c)
2023-07-01 04:08:23 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds)
2023-07-01 04:08:33 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 04:08:59 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 04:13:38 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 04:14:13 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 04:14:40 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 04:15:26 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-01 04:17:27 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
2023-07-01 04:18:45 +0200connrs(~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-01 04:19:01 +0200connrs(~connrs@user/connrs)
2023-07-01 04:19:08 +0200geranim0(~geranim0@modemcable182.140-177-173.mc.videotron.ca) (Ping timeout: 240 seconds)
2023-07-01 04:19:18 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-01 04:19:55 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-07-01 04:19:55 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-07-01 04:19:55 +0200finn_elijaFinnElija
2023-07-01 04:21:06 +0200shailangsa(~shailangs@host86-186-196-224.range86-186.btcentralplus.com)
2023-07-01 04:21:43 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 04:24:47 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 04:24:50 +0200td_(~td@i5387093A.versanet.de) (Ping timeout: 250 seconds)
2023-07-01 04:25:13 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 04:26:52 +0200td_(~td@i5387090D.versanet.de)
2023-07-01 04:28:09 +0200 <chromoblob> does GHCJS reuse JS's GC, or reimplement GC?
2023-07-01 04:32:41 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 04:33:08 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 04:33:28 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
2023-07-01 04:34:33 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
2023-07-01 04:34:45 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
2023-07-01 04:38:11 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
2023-07-01 04:39:09 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
2023-07-01 04:40:09 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
2023-07-01 04:40:27 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 04:40:53 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 04:43:14 +0200nick__(~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1)
2023-07-01 04:45:07 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
2023-07-01 04:47:00 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-07-01 04:49:14 +0200nick__(~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1) (Ping timeout: 260 seconds)
2023-07-01 04:50:24 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
2023-07-01 04:53:15 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 04:53:16 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-07-01 04:53:22 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-07-01 04:53:41 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 04:54:28 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-01 04:54:28 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-01 04:54:28 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-01 05:01:43 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-07-01 05:04:11 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 05:04:37 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 05:05:07 +0200notzmv(~zmv@user/notzmv)
2023-07-01 05:08:52 +0200bilegeek_(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Read error: Connection reset by peer)
2023-07-01 05:08:52 +0200mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds)
2023-07-01 05:09:13 +0200bilegeek_(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
2023-07-01 05:11:00 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 05:11:00 +0200mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-07-01 05:11:25 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 05:12:35 +0200bilegeek__(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
2023-07-01 05:13:36 +0200aforemny(~aforemny@2001:9e8:6ce2:e000:2ff3:5ab:fcae:4035)
2023-07-01 05:14:40 +0200aforemny_(~aforemny@i59F516D5.versanet.de) (Ping timeout: 250 seconds)
2023-07-01 05:14:41 +0200bilegeek__(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Read error: Connection reset by peer)
2023-07-01 05:15:03 +0200bilegeek__(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
2023-07-01 05:15:12 +0200bilegeek_(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Ping timeout: 245 seconds)
2023-07-01 05:19:06 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-07-01 05:19:47 +0200bilegeek__(~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Ping timeout: 264 seconds)
2023-07-01 05:21:04 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 05:21:32 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 05:21:54 +0200Fischmiep(~Fischmiep@user/Fischmiep)
2023-07-01 05:22:45 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-07-01 05:29:07 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 05:29:32 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 05:29:50 +0200iteratee(~kyle@162.218.222.207) (Ping timeout: 260 seconds)
2023-07-01 05:30:42 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 250 seconds)
2023-07-01 05:31:28 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
2023-07-01 05:31:54 +0200iteratee(~kyle@162.218.222.207)
2023-07-01 05:32:55 +0200bratwurst(~dfadsva@2604:3d09:207f:f650::a8c)
2023-07-01 05:35:03 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-07-01 05:37:10 +0200xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 245 seconds)
2023-07-01 05:37:34 +0200xff0x(~xff0x@178.255.149.135)
2023-07-01 05:40:35 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 05:40:58 +0200bratwurst(~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 258 seconds)
2023-07-01 05:41:03 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 05:41:48 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-07-01 05:44:32 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-01 05:44:39 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-07-01 05:44:52 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-07-01 05:48:34 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 05:49:04 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 05:51:04 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds)
2023-07-01 05:54:18 +0200smoge(~smoge@2603-7000-4b42-1100-fcba-0ff6-c348-1365.res6.spectrum.com)
2023-07-01 05:56:05 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 05:56:34 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 05:58:16 +0200smoge(~smoge@2603-7000-4b42-1100-fcba-0ff6-c348-1365.res6.spectrum.com) (Client Quit)
2023-07-01 05:59:48 +0200falafel(~falafel@50.224.160.45)
2023-07-01 06:00:32 +0200leah2(~leah@2001:1410:200:eea::1) (Ping timeout: 240 seconds)
2023-07-01 06:02:10 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 06:03:02 +0200RedNifre2(~RedNifre@dslb-088-072-205-088.088.072.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2023-07-01 06:03:12 +0200xff0x(~xff0x@178.255.149.135) (Ping timeout: 250 seconds)
2023-07-01 06:04:05 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 06:04:33 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 06:05:06 +0200xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-07-01 06:09:02 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 260 seconds)
2023-07-01 06:11:29 +0200dsrt^(~dsrt@24.125.210.85) (Remote host closed the connection)
2023-07-01 06:13:43 +0200leah2(~leah@vuxu.org)
2023-07-01 06:15:06 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-01 06:15:07 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 06:15:33 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 06:15:42 +0200RedNifre2(~RedNifre@dslb-002-203-026-004.002.203.pools.vodafone-ip.de)
2023-07-01 06:20:37 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 245 seconds)
2023-07-01 06:21:10 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 06:21:29 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-07-01 06:22:48 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 06:23:16 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 06:34:14 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2023-07-01 06:34:21 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 06:34:52 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 06:36:34 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2023-07-01 06:41:40 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 06:42:12 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 06:45:49 +0200jargon(~jargon@184.101.73.95)
2023-07-01 06:49:38 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 06:50:05 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 06:50:49 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-07-01 06:53:11 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-07-01 07:02:48 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 07:03:16 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 07:11:09 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 07:11:37 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 07:19:51 +0200trev(~trev@user/trev)
2023-07-01 07:22:08 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 07:22:34 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 07:23:55 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds)
2023-07-01 07:27:14 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-07-01 07:28:41 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 07:29:07 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 07:31:52 +0200falafel(~falafel@50.224.160.45) (Ping timeout: 245 seconds)
2023-07-01 07:37:04 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 07:37:30 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 07:37:37 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-01 07:39:04 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-07-01 07:43:54 +0200stallmanator(~stallmana@user/stallmanator) (Leaving...)
2023-07-01 07:44:08 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 07:44:35 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 07:50:42 +0200mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Quit: mizlan)
2023-07-01 07:51:13 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 07:51:44 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 07:52:53 +0200chromoblob(~user@37.113.180.121)
2023-07-01 07:56:36 +0200falafel(~falafel@50.224.160.45)
2023-07-01 07:56:48 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 07:57:14 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 07:58:42 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2023-07-01 07:58:58 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 258 seconds)
2023-07-01 08:00:19 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-07-01 08:02:50 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 08:02:53 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 08:03:17 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 08:10:00 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 08:10:26 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 08:16:16 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 08:16:43 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 08:17:18 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-01 08:22:47 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-01 08:23:00 +0200falafel(~falafel@50.224.160.45) (Remote host closed the connection)
2023-07-01 08:24:02 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds)
2023-07-01 08:24:31 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 08:24:57 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 08:28:36 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-07-01 08:32:11 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 08:32:37 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 08:34:50 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 08:37:08 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-07-01 08:40:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-01 08:42:11 +0200mjt128(~user@2604:3d09:3e79:f200:4e68:3cdc:7f3b:534b) (Remote host closed the connection)
2023-07-01 08:42:58 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 08:43:25 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 08:45:43 +0200notzmv(~zmv@user/notzmv)
2023-07-01 08:54:12 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 08:54:43 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 08:56:38 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 08:56:48 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 252 seconds)
2023-07-01 09:01:12 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
2023-07-01 09:02:15 +0200m5zs7k(aquares@web10.mydevil.net)
2023-07-01 09:02:20 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 09:02:47 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 09:05:46 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 09:06:16 +0200dfip^(~dfip@24.125.210.85)
2023-07-01 09:11:02 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2023-07-01 09:14:31 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 09:14:38 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Remote host closed the connection)
2023-07-01 09:14:58 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 09:15:12 +0200jargon(~jargon@184.101.73.95) (Remote host closed the connection)
2023-07-01 09:16:11 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-01 09:20:54 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 09:21:00 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-07-01 09:21:20 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 09:25:01 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 09:25:55 +0200acidjnk(~acidjnk@p200300d6e7072f917cbb145f44358b06.dip0.t-ipconnect.de)
2023-07-01 09:27:19 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 09:27:47 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 09:29:19 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
2023-07-01 09:33:04 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 09:33:30 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 09:35:56 +0200dipper(~dipper@240e:87c:894:731b:903:4a47:df0d:eb5c) (Ping timeout: 240 seconds)
2023-07-01 09:37:17 +0200gurkenglas(~gurkengla@dynamic-046-114-182-112.46.114.pool.telefonica.de)
2023-07-01 09:39:11 +0200ss4(~wootehfoo@user/wootehfoot)
2023-07-01 09:39:24 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 09:39:50 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 09:42:29 +0200hisa3877(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
2023-07-01 09:42:42 +0200ners[m](~nersnixos@2001:470:69fc:105::3:648b) (Server closed connection)
2023-07-01 09:42:57 +0200ners[m](~nersnixos@2001:470:69fc:105::3:648b)
2023-07-01 09:44:23 +0200hisa387(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 258 seconds)
2023-07-01 09:44:23 +0200hisa3877hisa387
2023-07-01 09:47:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-01 09:47:28 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 09:47:29 +0200gurkenglas(~gurkengla@dynamic-046-114-182-112.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
2023-07-01 09:47:54 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 09:49:10 +0200dipper(~dipper@240e:87c:894:731b:903:4a47:df0d:eb5c)
2023-07-01 09:49:46 +0200gurkenglas(~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de)
2023-07-01 09:51:47 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-01 09:54:50 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 09:55:17 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 09:55:27 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-07-01 09:56:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-01 09:58:47 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 264 seconds)
2023-07-01 10:00:28 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-07-01 10:00:38 +0200titibandit(~titibandi@user/titibandit)
2023-07-01 10:00:46 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-07-01 10:01:00 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 10:01:58 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 10:02:26 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 10:03:15 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-07-01 10:08:40 +0200ss4(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-07-01 10:09:06 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-07-01 10:09:15 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 10:09:44 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 10:15:06 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656)
2023-07-01 10:16:38 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-01 10:19:30 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Ping timeout: 260 seconds)
2023-07-01 10:20:00 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 10:20:28 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 10:23:56 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-07-01 10:23:59 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds)
2023-07-01 10:26:11 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-01 10:26:12 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-01 10:26:12 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-01 10:31:36 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 10:31:44 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 10:32:12 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 10:34:40 +0200emad(~emad@156.214.158.69)
2023-07-01 10:34:47 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-07-01 10:38:00 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2023-07-01 10:39:58 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-07-01 10:43:29 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 10:43:56 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 10:54:50 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 10:55:14 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2023-07-01 10:55:18 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 10:56:13 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 10:58:02 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-07-01 11:01:04 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-01 11:01:05 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-01 11:01:05 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-01 11:02:14 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 11:02:41 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 11:03:58 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 260 seconds)
2023-07-01 11:04:02 +0200Pickchea(~private@user/pickchea)
2023-07-01 11:04:48 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2023-07-01 11:05:14 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-01 11:07:07 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 11:07:29 +0200jtomas(~jtomas@90.162.208.36)
2023-07-01 11:07:34 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 11:08:16 +0200byte(~byte@user/byte) (Quit: Quitting...)
2023-07-01 11:08:37 +0200byte(~byte@user/byte)
2023-07-01 11:13:32 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-07-01 11:15:25 +0200bhamilton(~bhamilton@2-233-89-229.ip217.fastwebnet.it)
2023-07-01 11:17:21 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 11:17:48 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 11:18:53 +0200fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a)
2023-07-01 11:23:23 +0200chromoblob(~user@37.113.180.121)
2023-07-01 11:23:58 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-07-01 11:23:59 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2023-07-01 11:24:22 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 11:24:49 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 11:26:44 +0200Lord_of_Life_Lord_of_Life
2023-07-01 11:27:17 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-07-01 11:29:25 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 11:29:30 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 260 seconds)
2023-07-01 11:29:50 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 11:35:40 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 11:36:07 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 11:37:43 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-07-01 11:38:24 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-01 11:41:13 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 11:41:39 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 11:47:11 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-01 11:47:24 +0200chromoblob(~user@37.113.180.121)
2023-07-01 11:49:11 +0200chromoblob(~user@37.113.180.121) (Read error: Connection reset by peer)
2023-07-01 11:52:24 +0200chromoblob(~user@37.113.180.121)
2023-07-01 11:52:26 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 11:53:38 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 11:54:04 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 11:59:55 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 12:00:22 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 12:02:25 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-01 12:03:09 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2023-07-01 12:05:09 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-07-01 12:06:48 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 12:08:31 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 12:08:59 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 12:09:47 +0200gmg(~user@user/gehmehgeh)
2023-07-01 12:11:32 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds)
2023-07-01 12:13:48 +0200jtomas(~jtomas@90.162.208.36) (Remote host closed the connection)
2023-07-01 12:14:05 +0200jtomas(~jtomas@90.162.208.36)
2023-07-01 12:14:36 +0200gehmehgeh(~user@user/gehmehgeh)
2023-07-01 12:15:15 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 12:15:43 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 12:15:48 +0200jtomas(~jtomas@90.162.208.36) (Remote host closed the connection)
2023-07-01 12:15:59 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2023-07-01 12:16:06 +0200jtomas(~jtomas@90.162.208.36)
2023-07-01 12:20:37 +0200jtomas(~jtomas@90.162.208.36) (Ping timeout: 245 seconds)
2023-07-01 12:23:56 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 12:24:23 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 12:25:46 +0200bhamilton(~bhamilton@2-233-89-229.ip217.fastwebnet.it) (Remote host closed the connection)
2023-07-01 12:31:40 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 252 seconds)
2023-07-01 12:31:59 +0200gmg(~user@user/gehmehgeh)
2023-07-01 12:32:38 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2023-07-01 12:32:53 +0200chromoblob(~user@37.113.180.121)
2023-07-01 12:33:02 +0200alexherbo2(~alexherbo@2a02-8440-2440-ac3e-402c-4994-f708-276a.rev.sfr.net)
2023-07-01 12:33:59 +0200hugo(znc@verdigris.lysator.liu.se)
2023-07-01 12:34:09 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 12:34:36 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 12:35:52 +0200 <chromoblob> what's the easiest way to parse a small subset of Haskell in Javascript or Purescript?
2023-07-01 12:36:58 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2023-07-01 12:38:06 +0200 <chromoblob> Haskell98 without typeclasses and possibly without laziness
2023-07-01 12:40:15 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-01 12:41:02 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 245 seconds)
2023-07-01 12:41:52 +0200 <chromoblob> well, parse and implement
2023-07-01 12:42:04 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 12:42:31 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 12:42:39 +0200 <chromoblob> the hardest things seem to be type inference, laziness, type classes and GC
2023-07-01 12:42:52 +0200notzmv(~zmv@user/notzmv)
2023-07-01 12:43:08 +0200alexherbo2(~alexherbo@2a02-8440-2440-ac3e-402c-4994-f708-276a.rev.sfr.net) (Remote host closed the connection)
2023-07-01 12:45:55 +0200 <arahael> chromoblob: There seems to be a worked example here: https://blog.monadfix.com/nau-1-pipeline But it's "from scratch", nothing easy.
2023-07-01 12:46:18 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-01 12:46:59 +0200 <hellwolf[m]> one of the easiest could be to follow his foot steps https://youtu.be/3kMvXXGXaws
2023-07-01 12:47:06 +0200geranim0(~geranim0@modemcable182.140-177-173.mc.videotron.ca)
2023-07-01 12:47:54 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 12:48:02 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2023-07-01 12:48:22 +0200 <chromoblob> arahael: that doesn't seem to be what i am asking, i want to write in PS/JS an implementation of subset of Haskell
2023-07-01 12:48:22 +0200alexherbo2(~alexherbo@2a02-8440-2440-ac3e-b0ca-fff2-26c0-5e91.rev.sfr.net)
2023-07-01 12:49:44 +0200 <arahael> Oh, like an interpreter.
2023-07-01 12:50:16 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 12:50:42 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 12:51:39 +0200 <chromoblob> well i'd like to generate some JS code and call eval() on it to reuse JIT functionality of host JS implementation
2023-07-01 12:51:48 +0200jtomas(~jtomas@90.162.208.36)
2023-07-01 12:52:12 +0200 <chromoblob> hellwolf[m]: 0:32-0:56 lol
2023-07-01 12:55:16 +0200gmg(~user@user/gehmehgeh)
2023-07-01 12:55:17 +0200 <chromoblob> also reuse GC of host JS for the subset of Haskell i'm implementing
2023-07-01 12:56:30 +0200 <arahael> chromoblob: If the host is javascript, you could provide it with a JS string and have it eval it directly.
2023-07-01 12:59:45 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 13:00:11 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 13:00:42 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-01 13:00:56 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds)
2023-07-01 13:02:08 +0200 <chromoblob> i just said that...
2023-07-01 13:02:13 +0200alexherbo2(~alexherbo@2a02-8440-2440-ac3e-b0ca-fff2-26c0-5e91.rev.sfr.net) (Remote host closed the connection)
2023-07-01 13:02:59 +0200Pickchea(~private@user/pickchea) (Ping timeout: 240 seconds)
2023-07-01 13:04:36 +0200 <arahael> chromoblob: Oh, yeah, indeed. Sorry, it's late for me. I think I had intended to kind of agree with you.
2023-07-01 13:10:26 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 13:10:55 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 13:16:47 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 13:17:14 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 13:17:41 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-01 13:20:56 +0200alexherbo2(~alexherbo@2a02-8440-2440-4f5e-588d-3814-c04a-8028.rev.sfr.net)
2023-07-01 13:22:36 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-07-01 13:23:08 +0200 <chromoblob> mhm
2023-07-01 13:23:26 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 13:23:53 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 13:24:00 +0200kimiamania6(~681cf57f@user/kimiamania) (Ping timeout: 240 seconds)
2023-07-01 13:30:36 +0200 <ncf> https://wiki.haskell.org/The_JavaScript_Problem
2023-07-01 13:30:44 +0200jtomas(~jtomas@90.162.208.36) (Ping timeout: 240 seconds)
2023-07-01 13:31:10 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 13:31:37 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 13:34:00 +0200kimiamania6(~681cf57f@user/kimiamania)
2023-07-01 13:37:59 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 13:38:28 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 13:44:20 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 13:44:46 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 13:47:36 +0200__monty__(~toonn@user/toonn)
2023-07-01 13:47:49 +0200tremon(~tremon@83.80.159.219)
2023-07-01 13:48:13 +0200 <hippoid> i remember seeing a collection of different small haskell games. they might have been all command line games. it was from various programmers, and was like a contest, or event, similar to advent of code. anyone know what i'm talking about and have a link?
2023-07-01 13:48:53 +0200Pickchea(~private@user/pickchea)
2023-07-01 13:49:09 +0200 <__monty__> Yep, you're talking about the first Haskell Tiny Game Jam! https://github.com/haskell-game/tiny-games-hs/
2023-07-01 13:50:05 +0200 <hippoid> __monty__: thats it!
2023-07-01 13:51:10 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 13:51:36 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 13:53:05 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-07-01 13:55:32 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 250 seconds)
2023-07-01 13:57:37 +0200 <chromoblob> ncf: i found Fay, thanks
2023-07-01 13:59:00 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 13:59:18 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-01 13:59:27 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 14:00:54 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 14:06:57 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 14:07:22 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 14:09:46 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-01 14:13:53 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 14:14:19 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 14:14:56 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 14:16:26 +0200emad(~emad@156.214.158.69) (Quit: Leaving)
2023-07-01 14:20:41 +0200alexherbo2(~alexherbo@2a02-8440-2440-4f5e-588d-3814-c04a-8028.rev.sfr.net) (Remote host closed the connection)
2023-07-01 14:21:01 +0200alexherbo2(~alexherbo@2a02-8440-2440-4f5e-588d-3814-c04a-8028.rev.sfr.net)
2023-07-01 14:23:20 +0200myme(~myme@2a01:799:d60:e400:ad99:fa1a:576b:14a8)
2023-07-01 14:24:04 +0200jtomas(~jtomas@90.162.208.36)
2023-07-01 14:24:36 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 14:25:04 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 14:27:07 +0200alexherbo2(~alexherbo@2a02-8440-2440-4f5e-588d-3814-c04a-8028.rev.sfr.net) (Remote host closed the connection)
2023-07-01 14:30:42 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-01 14:31:07 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 14:31:34 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 14:31:47 +0200jtomas(~jtomas@90.162.208.36) (Ping timeout: 264 seconds)
2023-07-01 14:33:56 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-01 14:35:24 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2023-07-01 14:35:52 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 14:38:28 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
2023-07-01 14:39:19 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 14:39:44 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 14:40:23 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 14:42:01 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-01 14:46:38 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 14:47:06 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 14:47:14 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 14:51:34 +0200jtomas(~jtomas@90.162.208.36)
2023-07-01 14:52:35 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 14:53:02 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 14:53:54 +0200geranim0(~geranim0@modemcable182.140-177-173.mc.videotron.ca) (Quit: Leaving)
2023-07-01 14:54:08 +0200geranim0(~geranim0@modemcable182.140-177-173.mc.videotron.ca)
2023-07-01 14:59:33 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 15:00:01 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 15:01:47 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-01 15:04:24 +0200notzmv(~zmv@user/notzmv)
2023-07-01 15:06:58 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 15:07:25 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 15:08:02 +0200jtomas(~jtomas@90.162.208.36) (Ping timeout: 260 seconds)
2023-07-01 15:11:22 +0200Pickchea(~private@user/pickchea) (Ping timeout: 258 seconds)
2023-07-01 15:11:57 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-01 15:15:32 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds)
2023-07-01 15:17:33 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 15:17:38 +0200alexherbo2(~alexherbo@2a02-8440-2440-4f5e-9870-5b3c-af90-bffd.rev.sfr.net)
2023-07-01 15:18:03 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 15:18:25 +0200gurkenglas(~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
2023-07-01 15:19:11 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 15:19:34 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2023-07-01 15:20:06 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 15:20:08 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2023-07-01 15:20:36 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 15:23:22 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 15:23:47 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 15:26:51 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-07-01 15:27:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-01 15:30:07 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 15:30:40 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 15:36:29 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 15:36:56 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 15:41:38 +0200fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Ping timeout: 260 seconds)
2023-07-01 15:42:36 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 15:42:42 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 252 seconds)
2023-07-01 15:43:02 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 15:43:02 +0200aforemny_(~aforemny@2001:9e8:6cec:3100:d473:753c:6494:4f21)
2023-07-01 15:43:13 +0200chromoblob(~user@37.113.180.121)
2023-07-01 15:44:26 +0200aforemny(~aforemny@2001:9e8:6ce2:e000:2ff3:5ab:fcae:4035) (Ping timeout: 260 seconds)
2023-07-01 15:46:56 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 15:49:43 +0200Pickchea(~private@user/pickchea)
2023-07-01 15:50:39 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-07-01 15:52:32 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2023-07-01 15:52:45 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 15:53:10 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-01 15:53:11 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 15:53:32 +0200ddellacosta(~ddellacos@146.70.168.100) (Ping timeout: 245 seconds)
2023-07-01 15:58:55 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 15:59:21 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 16:06:58 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 16:07:24 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 16:10:05 +0200 <adeptangel> sadf
2023-07-01 16:10:08 +0200adeptangel(cren@tilde.team) (Quit: nyaa~)
2023-07-01 16:10:10 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 16:10:45 +0200adeptangel(~adeptange@tilde.guru)
2023-07-01 16:13:40 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 16:14:09 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 16:16:06 +0200tabemann(~tabemann@2600:1700:7990:24e0:a240:2d56:9095:a1c3) (Remote host closed the connection)
2023-07-01 16:16:19 +0200tabemann(~tabemann@2600:1700:7990:24e0:cd08:c5bb:9d2b:dbaa)
2023-07-01 16:17:21 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-07-01 16:19:21 +0200 <Axman6> the well known function for computing sadness (using single precision floating point)
2023-07-01 16:19:49 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 16:20:17 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 16:20:18 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656)
2023-07-01 16:20:36 +0200 <int-e> at least there wasn't a 7. https://xkcd.com/1530/
2023-07-01 16:20:53 +0200 <adeptangel> hello, could somebody help me understand the cause of the type error in this set of defintions? https://paste.tomsmeding.com/KSWyP0lE
2023-07-01 16:21:08 +0200 <adeptangel> (the program being run is a test suite for these functions)
2023-07-01 16:22:17 +0200 <int-e> since the return type is Maybe (Int, Int, Int) (a Maybe wrapping a triple), the value should have the shape Just (_, _, _)
2023-07-01 16:22:30 +0200 <Axman6> int-e: h, hadn't seen that one
2023-07-01 16:22:34 +0200 <int-e> `.` is for function composition; it has almost nothing to do with tuples.
2023-07-01 16:22:35 +0200 <Axman6> ha*
2023-07-01 16:22:55 +0200 <ncf> probably just missing a . between Just and hoursMinutesSeconds ?
2023-07-01 16:23:08 +0200 <adeptangel> ohh that might be it
2023-07-01 16:23:27 +0200 <ncf> and then replace the last . with $
2023-07-01 16:23:28 +0200 <ski> missing brackets. skip the `.'s
2023-07-01 16:23:31 +0200 <adeptangel> no that doesn't quite work
2023-07-01 16:23:42 +0200 <int-e> oh that's just a single value... yeah, what ncf is saying
2023-07-01 16:23:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-01 16:24:06 +0200 <int-e> adeptangel: maybe the return type is wrong? This looks like it might just be a `Maybe Int`
2023-07-01 16:24:29 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Ping timeout: 240 seconds)
2023-07-01 16:24:35 +0200 <int-e> (with some punctuation problems that ncf has suggested how to fix)
2023-07-01 16:24:58 +0200 <ski> | otherwise = Just (hoursMinutesSeconds (hoursToSeconds (catchUpTime v1 v2 g)))
2023-07-01 16:25:49 +0200 <int-e> Let me be offensive and suggest `Just $ hoursMinutesSeconds . hoursToSeconds . catchUpTime v1 v2 $ g` :-P
2023-07-01 16:26:06 +0200 <ski> that's indeed offensive
2023-07-01 16:26:19 +0200 <int-e> Anywa,y if in doubt, don't use `$` or `.`
2023-07-01 16:27:08 +0200fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a)
2023-07-01 16:29:40 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 16:30:07 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 16:30:26 +0200 <int-e> ski: I might actually write that... the thing is, I write `Just $` because I want to produce a Maybe, and *then* I start thinking about the expression. And it works that way when reading code too, for me. But I also know that people disagree.
2023-07-01 16:32:13 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2023-07-01 16:32:14 +0200 <ski> mhm
2023-07-01 16:33:11 +0200 <adeptangel> ski: this version fixes the type error, thanks. I guess . does not do what I thought it did
2023-07-01 16:33:12 +0200 <ski> (i would have offered a version with `.', but then you did, and i also realized mine would've been the same as ncf's, except no `$')
2023-07-01 16:33:35 +0200 <ski> what did you thought it did ?
2023-07-01 16:34:14 +0200 <adeptangel> ski: well, function composition; maybe I should say: function composition does not work like that
2023-07-01 16:34:31 +0200 <int-e> > let times2 x = 2*x in (succ . times2) 2
2023-07-01 16:34:33 +0200 <lambdabot> 5
2023-07-01 16:35:02 +0200 <ski> "does not work like that" -- like what ? .. sorry, i'm not understanding your point there
2023-07-01 16:35:12 +0200Pickchea(~private@user/pickchea) (Ping timeout: 245 seconds)
2023-07-01 16:35:31 +0200 <adeptangel> I just mean, I think I was trying to use . to do something it doesn't do
2023-07-01 16:35:32 +0200 <ski> perhaps what feels unusual is to have the output of a composition chain be a tuple ?
2023-07-01 16:35:57 +0200 <adeptangel> that's okay though, right? Legal, even if unusual
2023-07-01 16:36:12 +0200 <ski> yea, a tuple is just a value, like any other
2023-07-01 16:36:13 +0200 <int-e> aaargh
2023-07-01 16:36:33 +0200 <int-e> I didn't read the type of `hoursMinutesSeconds`... that's where the triple comes from
2023-07-01 16:36:39 +0200 <adeptangel> yeah
2023-07-01 16:36:42 +0200skiwas wondering
2023-07-01 16:37:12 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-01 16:37:50 +0200 <adeptangel> okay so
2023-07-01 16:37:51 +0200 <ski> (this (having a subcomputation produce a tuple) is one reason why it can sometimes be preferable to pass multiple parameters to a function in a tuple, rather than pass them curriedly)
2023-07-01 16:38:04 +0200 <int-e> Just hoursMinutesSeconds . hoursToSeconds . catchUpTime v1 v2 g means (((Just hoursMinutesSeconds) . hoursToSeconds) . (catchUpTime v1 v2 g))
2023-07-01 16:38:21 +0200 <adeptangel> ahhh
2023-07-01 16:38:21 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 16:38:29 +0200 <int-e> It's hard to say whether you misunderstood `.` or the syntax here.
2023-07-01 16:38:40 +0200ripspin(~chatzilla@1.145.168.220)
2023-07-01 16:38:44 +0200 <adeptangel> Just (hoursMinutesSeconds . hoursToSeconds $ catchUpTime v1 v2 g) works
2023-07-01 16:38:52 +0200 <ski> (Just . hoursMinutesSeconds . hoursToSeconds . catchUpTime v1 v2) g -- this would have worked, fwiw
2023-07-01 16:38:54 +0200 <adeptangel> and is closest to what I was trying to do
2023-07-01 16:40:13 +0200 <ski> (and seeing how the first two parameters of `catchUpTime' seem to be conceptually separated from the last one, writing it like this could make sense, as well)
2023-07-01 16:40:21 +0200 <adeptangel> int-e: what do you even get from composing (catchUpTime v1 v2 g) with the other functions? Because catchUpTime is fully applied there, so the type of that expression should just be Int, right?
2023-07-01 16:40:45 +0200 <int-e> > 60*60
2023-07-01 16:40:47 +0200 <lambdabot> 3600
2023-07-01 16:41:01 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 16:41:08 +0200 <ski> adeptangel : you get a type error
2023-07-01 16:41:16 +0200 <adeptangel> int-e: wait I made an arithmetic error didn't I :P
2023-07-01 16:41:24 +0200 <int-e> adeptangel: several really
2023-07-01 16:41:28 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 16:41:41 +0200 <adeptangel> ski: that makes sense
2023-07-01 16:41:53 +0200 <ski> (int-e was talking about your original code, explaining how the parser sees it, hopefully making it more clear *why* it is a type error)
2023-07-01 16:42:09 +0200 <adeptangel> yes that makes it clear, thanks
2023-07-01 16:42:37 +0200 <int-e> > let f hms = let (hm,s) = hms `divMod` 60; (h,m) = hm `divMod` 60 in (h,m,s) in (f 144, f 9999)
2023-07-01 16:42:38 +0200 <lambdabot> ((0,2,24),(2,46,39))
2023-07-01 16:42:52 +0200 <ski> fwiw, i'd probably use `divMod' in `hoursMinutesSeconds'
2023-07-01 16:43:01 +0200 <ski> yep, like that i suppose
2023-07-01 16:44:30 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-01 16:44:37 +0200ddellacosta(~ddellacos@143.244.47.100)
2023-07-01 16:44:55 +0200 <int-e> adeptangel: in the code you have, 1200 should be 3600 and the `mod`-s should be `div`. OTOH, the `div`s you have are used to compute remainders, so you could use `mod` there instead.
2023-07-01 16:45:34 +0200 <ski> > let f hms = mapAccumL divMod hms [60,60] in (f 144,f 9999)
2023-07-01 16:45:36 +0200 <lambdabot> ((0,[24,2]),(2,[39,46]))
2023-07-01 16:45:37 +0200 <int-e> But using two `divMod`-s is less error-prone.
2023-07-01 16:46:06 +0200 <int-e> ski: ...clever but yuck :P
2023-07-01 16:46:13 +0200 <ski> (:
2023-07-01 16:46:19 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 16:47:08 +0200 <ski> (i sometimes use that, for quick conversions from large-number-of-seconds, to seconds-minutes-hours-nychthemerons-weeks)
2023-07-01 16:47:18 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-01 16:48:25 +0200 <ski> > mapAccumL divMod 25955462 [60,60,24,7] -- e.g.
2023-07-01 16:48:27 +0200 <lambdabot> (42,[2,51,9,6])
2023-07-01 16:48:55 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 16:49:14 +0200 <int-e> > snd $ mapAccumL divMod 25955462 [60,60,24,0]
2023-07-01 16:49:16 +0200 <lambdabot> [2,51,9,*Exception: divide by zero
2023-07-01 16:49:19 +0200 <int-e> aww
2023-07-01 16:49:20 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 16:50:36 +0200 <ski> well, `mod n 0' ought to be `n', and `divMod n 0' ought to be `(_|_,n)', yeah
2023-07-01 16:52:34 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 16:55:31 +0200 <Axman6> What is the remainder left when you divide by zero? Well nothing, because you have destroyed the universe
2023-07-01 16:56:36 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 16:57:03 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 16:58:42 +0200 <ski> `mod n d' ought to be some value that's congruent to `n', modulo `d'. when `d = 0', the only such value is `n'
2023-07-01 16:59:48 +0200robertm(~robertm@lattice.rojoma.com) (Quit: WeeChat 3.8)
2023-07-01 17:00:43 +0200 <ski> (one could also consider the equation `d * div n d + mod n d = n', take `d = 0', and imagine a version of `*' that is non-strict in its right operand when the left is zero)
2023-07-01 17:01:42 +0200 <int-e> tbf I didn't really expect that to work, but it would've been a cute way to fix the awkward order of the numbers in the result
2023-07-01 17:02:22 +0200robertm(robertm@lattice.rojoma.com)
2023-07-01 17:03:40 +0200 <int-e> (from left to right you have the most significant "digit" followed by the rest starting with the least significant. of coure that "digit" is unbounded, contrary to the others)
2023-07-01 17:03:43 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 17:04:07 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-07-01 17:04:09 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 17:06:00 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-07-01 17:08:46 +0200 <ski> a function `f' is periodic iff there is some period `p' such that `f (x + p) = f x' (for all `x'). if `p' is the least such period (wrt the divisibility ordering. iow `forall q. p | q <=> forall x. f (x + q) = x', where `p | q' means `exists k : |Z. k * p = q'), then it's called the fundamental/primitive/basic/prime period. the case `p = 0' corresponds to what we'd usually say is not a periodic function `f'
2023-07-01 17:09:50 +0200 <Axman6> f (x + q) = x not f (x + q) = f(x)?
2023-07-01 17:09:51 +0200 <ski> so, in terms of `mod n d', choosing `d = 0' (getting answer `n') corresponds to not wrapping around, while other values of `d' wraps around at that bound
2023-07-01 17:10:00 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 17:10:14 +0200 <ski> er, sorry, that should be `f (x + q) = f x', right
2023-07-01 17:10:30 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 17:12:06 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 17:15:35 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 17:16:01 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 17:17:00 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-07-01 17:17:34 +0200fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection)
2023-07-01 17:19:14 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-01 17:21:07 +0200ystael(~ystael@user/ystael)
2023-07-01 17:21:46 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-07-01 17:23:10 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2023-07-01 17:23:44 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-07-01 17:23:59 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-07-01 17:24:07 +0200eggplant_(~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd)
2023-07-01 17:24:14 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 17:26:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-01 17:26:08 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2023-07-01 17:27:26 +0200eggplant_(~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd) (Remote host closed the connection)
2023-07-01 17:27:42 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd)
2023-07-01 17:30:57 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-07-01 17:33:28 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 17:33:54 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 17:38:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-01 17:41:34 +0200phma(~phma@host-67-44-208-154.hnremote.net) (Read error: Connection reset by peer)
2023-07-01 17:42:00 +0200phma(phma@2001:5b0:212a:a5a8:9482:144e:6eb8:2c18)
2023-07-01 17:43:31 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 17:43:38 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-07-01 17:43:57 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 17:46:28 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd) (Remote host closed the connection)
2023-07-01 17:47:47 +0200monochromprefers: What's the remainder of dividng by 0? Well everything! You've created a whole new universe!
2023-07-01 17:48:01 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd)
2023-07-01 17:49:50 +0200dipper(~dipper@240e:87c:894:731b:903:4a47:df0d:eb5c) (Ping timeout: 260 seconds)
2023-07-01 17:50:49 +0200 <hpc> apple pies for everyone!
2023-07-01 17:50:55 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 245 seconds)
2023-07-01 17:50:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-01 17:52:47 +0200 <EvanR> absurd :: Int -> a
2023-07-01 17:53:16 +0200alexherbo2(~alexherbo@2a02-8440-2440-4f5e-9870-5b3c-af90-bffd.rev.sfr.net) (Remote host closed the connection)
2023-07-01 17:54:42 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 17:55:08 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 17:59:20 +0200 <adeptangel> hi, me again, could somebody help me locate the type error in these definitions? https://paste.tomsmeding.com/6U6qAity
2023-07-01 18:00:22 +0200 <davean> he compiler tells you what the type error is, we can only help you fix it
2023-07-01 18:00:28 +0200 <ncf> fromIntegral lead
2023-07-01 18:00:47 +0200 <adeptangel> davean: I know what the type error is but I don't know what's causing it
2023-07-01 18:01:15 +0200 <EvanR> translation of the error: you tried to use `floor' on an Int
2023-07-01 18:01:16 +0200 <EvanR> but
2023-07-01 18:01:18 +0200 <EvanR> :t floor
2023-07-01 18:01:20 +0200 <lambdabot> (RealFrac a, Integral b) => a -> b
2023-07-01 18:01:30 +0200 <EvanR> Int has no RealFrac support
2023-07-01 18:01:31 +0200 <davean> What do you even expect that to do? It can only be id
2023-07-01 18:01:53 +0200 <EvanR> so that's what's causing it
2023-07-01 18:01:56 +0200 <adeptangel> ncf: thanks that fixed it
2023-07-01 18:02:09 +0200 <adeptangel> I knew that floor wasn't working because you can't floor an Int
2023-07-01 18:02:19 +0200 <adeptangel> but I didn't know why its arguments were Int
2023-07-01 18:02:25 +0200 <EvanR> oh that's what ncf was saying, they were already helping you fix it
2023-07-01 18:04:24 +0200 <EvanR> to see why it thought the argument was an Int, you'll have to play type checker
2023-07-01 18:04:28 +0200 <ncf> alternatively, = (faster - slower) * lead `div` 3600
2023-07-01 18:04:43 +0200ncfhopes that parenthesises correctly
2023-07-01 18:04:52 +0200 <EvanR> the checker "knows" that floor $ (fromIntegral (faster - slower)) / 3600.0 * lead is supposed to be an Int
2023-07-01 18:05:03 +0200 <adeptangel> I think I'm using a faulty formula anyway because this isn't giving the right answer haha
2023-07-01 18:05:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-01 18:05:42 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 18:06:10 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 18:06:22 +0200 <EvanR> the argument, (fromIntegral (faster - slower)) / 3600.0 * lead, starts with an unknown type, a
2023-07-01 18:06:34 +0200 <EvanR> it's a multiplication with lead, an Int
2023-07-01 18:06:43 +0200 <EvanR> so the result is an Int
2023-07-01 18:06:46 +0200 <EvanR> a = Int
2023-07-01 18:07:15 +0200 <adeptangel> that makes sense
2023-07-01 18:07:25 +0200 <adeptangel> I thought that the division happened first
2023-07-01 18:07:43 +0200 <monochrom> This also contributes to a type error:
2023-07-01 18:07:50 +0200 <EvanR> a / b * c = (a / b) * c
2023-07-01 18:07:57 +0200 <monochrom> @type 1.0 * (undefined :: Int)
2023-07-01 18:07:59 +0200 <lambdabot> error:
2023-07-01 18:07:59 +0200 <lambdabot> • No instance for (Fractional Int) arising from the literal ‘1.0’
2023-07-01 18:07:59 +0200 <lambdabot> • In the first argument of ‘(*)’, namely ‘1.0’
2023-07-01 18:08:37 +0200 <EvanR> "happens first" is a tricky concept. You actually learned the grouping rules in school math, not the evaluation order
2023-07-01 18:08:45 +0200 <EvanR> in haskell they are different
2023-07-01 18:08:46 +0200 <monochrom> Or tl;dr 1.0*(Int) does not make sense.
2023-07-01 18:09:22 +0200 <monochrom> Well in school math the two are almost identical so they're unified.
2023-07-01 18:09:47 +0200 <EvanR> (1 / 3) * 0, the zero times happens first xD
2023-07-01 18:10:27 +0200 <monochrom> Yeah.
2023-07-01 18:10:36 +0200 <EvanR> when I do it
2023-07-01 18:11:25 +0200 <monochrom> There are also people who unify "Windows" with "computer", or "Mac" with "computer", because in their simpler world it's that way.
2023-07-01 18:12:43 +0200 <monochrom> And then there are people who completely don't know what "computer" means because they have only heard of "smart phones" and "tablets".
2023-07-01 18:13:05 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 18:13:06 +0200 <adeptangel> I actually thought that the division happened first because it was on the left :S
2023-07-01 18:13:30 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 18:13:52 +0200 <EvanR> because you learn that a + b + c + d = ((a+b)+c)+d, and you "do" (evaluate) "parentheses first"
2023-07-01 18:14:27 +0200 <adeptangel> what is the difference between grouping and evaluation order, then?
2023-07-01 18:14:37 +0200 <EvanR> in haskell you have
2023-07-01 18:14:50 +0200 <monochrom> > const 1 (div 1 0)
2023-07-01 18:14:51 +0200 <lambdabot> 1
2023-07-01 18:14:54 +0200 <EvanR> that
2023-07-01 18:15:09 +0200 <EvanR> so you see it's not always best to do parentheses first
2023-07-01 18:15:09 +0200 <monochrom> No error. () did not cause div 1 0 to be evaled first.
2023-07-01 18:15:26 +0200 <monochrom> > if True then 1 else (div 1 0)
2023-07-01 18:15:28 +0200 <lambdabot> 1
2023-07-01 18:15:33 +0200 <monochrom> That one neither.
2023-07-01 18:15:40 +0200fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a)
2023-07-01 18:15:59 +0200tackleton(~tackleton@user/tackleton)
2023-07-01 18:17:16 +0200 <adeptangel> ah I see what you mean
2023-07-01 18:17:49 +0200 <monochrom> Even in C. i<n && a[i]==0. Whole point being to avoid a[i] when i is bad.
2023-07-01 18:18:10 +0200 <adeptangel> yeah
2023-07-01 18:18:24 +0200 <adeptangel> that relies on &&'s property of short-circuiting
2023-07-01 18:18:36 +0200 <EvanR> haskell takes && || from C and applies it to everything xD
2023-07-01 18:18:57 +0200 <monochrom> && is the first time you realize that some operands should not be evaluated.
2023-07-01 18:19:26 +0200 <monochrom> Just because you see "foo op bar" you do not eval both foo and bar before asking what op means.
2023-07-01 18:19:49 +0200 <monochrom> So now "foo op bar" is just describing an expression tree.
2023-07-01 18:20:57 +0200 <monochrom> Next level is you realize that semantics is separated from syntax. Just because you have learned the syntax doesn't mean you know what the thing means.
2023-07-01 18:22:00 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 18:22:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-01 18:22:27 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 18:23:02 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds)
2023-07-01 18:25:25 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-07-01 18:26:54 +0200 <EvanR> when (not really) "explaining" haskell to someone, by just showing them some code and what it evaluated to, the gears turned for a while until they offered the theory of operation "what is it doing? manipulating syntax?"
2023-07-01 18:27:40 +0200 <monochrom> Oh! But then one person's semantics is another person's syntax. >:D
2023-07-01 18:28:39 +0200 <monochrom> I wouldn't mind "semantics = how to manipulate syntax". In fact sometimes I advocate it.
2023-07-01 18:29:16 +0200bratwurst(~dfadsva@2604:3d09:207f:f650::a8c)
2023-07-01 18:30:34 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 18:31:01 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 18:32:25 +0200dipper(~dipper@117.61.125.236)
2023-07-01 18:32:36 +0200titibandit(~titibandi@user/titibandit)
2023-07-01 18:34:49 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-07-01 18:36:53 +0200 <chromoblob> > 1 / 0
2023-07-01 18:36:55 +0200 <lambdabot> Infinity
2023-07-01 18:37:05 +0200 <chromoblob> > -1 / 0
2023-07-01 18:37:07 +0200 <lambdabot> -Infinity
2023-07-01 18:37:59 +0200 <chromoblob> > read "Infinity" :: Float
2023-07-01 18:38:00 +0200 <lambdabot> Infinity
2023-07-01 18:38:08 +0200 <chromoblob> > read "+Infinity" :: Float
2023-07-01 18:38:10 +0200 <lambdabot> *Exception: Prelude.read: no parse
2023-07-01 18:38:42 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 18:39:09 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 18:39:44 +0200bratwurst(~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 246 seconds)
2023-07-01 18:45:27 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 18:45:56 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 18:46:18 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-07-01 18:46:33 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 18:46:51 +0200adeptangel(~adeptange@tilde.guru) (Quit: Lost terminal)
2023-07-01 18:47:41 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 18:51:17 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-07-01 18:52:15 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 18:52:44 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 18:57:46 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-07-01 18:57:55 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-01 18:58:46 +0200motherfsck(~motherfsc@user/motherfsck)
2023-07-01 18:59:21 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 18:59:48 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 19:02:01 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-07-01 19:02:30 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-01 19:02:53 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 19:06:55 +0200nick__(~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1)
2023-07-01 19:07:32 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2023-07-01 19:09:22 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 19:09:49 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 19:12:40 +0200dtman34(~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2023-07-01 19:18:13 +0200ripspin(~chatzilla@1.145.168.220) (Remote host closed the connection)
2023-07-01 19:18:27 +0200dtman34(~dtman34@2601:447:d000:93c9:67d8:dd42:3a5c:896d)
2023-07-01 19:19:58 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-01 19:22:00 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 19:22:28 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 19:24:47 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-07-01 19:25:33 +0200 <monochrom> Haha TIL: In the Rust community, their equivalent of our "cabal script" (i.e., can cargo just take one Rust file and run it?) is only a recent nightly feature.
2023-07-01 19:25:56 +0200 <monochrom> So yeah, what tooling issue?
2023-07-01 19:26:34 +0200nick__(~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1) (Ping timeout: 260 seconds)
2023-07-01 19:28:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-01 19:28:13 +0200 <glguy> everything's a nightly feature in rust
2023-07-01 19:28:35 +0200 <monochrom> haha
2023-07-01 19:29:00 +0200 <sm> I'll cc this, just out: Interview with Senior Rust Developer in 2023 https://www.youtube.com/watch?v=TGfQu0bQTKc
2023-07-01 19:29:32 +0200 <glguy> I think the model of locking experimental features out of the stable compiler release is an interesting one, in any case
2023-07-01 19:29:57 +0200 <monochrom> I got distracted by the blue hair "is this Sonic Hedgehog?" :)
2023-07-01 19:30:02 +0200 <monochrom> Sorry!
2023-07-01 19:30:15 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-01 19:30:36 +0200nick__(~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1)
2023-07-01 19:30:37 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 19:30:41 +0200perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8)
2023-07-01 19:31:03 +0200perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2023-07-01 19:32:00 +0200dmenz(~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a)
2023-07-01 19:32:12 +0200 <monochrom> I tend to think that keeping experimental features in experimental versions is the normal. Instead, Haskell's position of playing double role as production and research, therefore experimental features go into stable versions, is the exceptional and interesting one.
2023-07-01 19:33:58 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 19:34:24 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 19:36:36 +0200 <EvanR> interesting is such a versatile word
2023-07-01 19:37:24 +0200nick__(~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1) (Ping timeout: 258 seconds)
2023-07-01 19:38:13 +0200perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8)
2023-07-01 19:38:29 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
2023-07-01 19:38:32 +0200 <EvanR> running a single rust file like a script. interesting
2023-07-01 19:41:29 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 19:41:55 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 19:45:42 +0200nick__(~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1)
2023-07-01 19:50:15 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 19:50:42 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 19:52:12 +0200nick__(~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1) (Ping timeout: 240 seconds)
2023-07-01 19:58:28 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8)
2023-07-01 20:00:10 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-01 20:00:42 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 20:00:58 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 20:01:12 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
2023-07-01 20:01:26 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 20:06:59 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 20:07:25 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 20:07:36 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-01 20:07:43 +0200titiband1t(~titibandi@user/titibandit)
2023-07-01 20:08:00 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 20:08:42 +0200nick__(~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1)
2023-07-01 20:10:56 +0200 <dolio> Not Sonic. Dankey Kang.
2023-07-01 20:12:21 +0200 <monochrom> oh heh
2023-07-01 20:12:45 +0200 <Nosrep> so dank
2023-07-01 20:13:14 +0200 <monochrom> Oh haha TIL the Dankey Kang meme.
2023-07-01 20:13:26 +0200dtman34(~dtman34@2601:447:d000:93c9:67d8:dd42:3a5c:896d) (Ping timeout: 258 seconds)
2023-07-01 20:13:30 +0200 <monochrom> Well played!
2023-07-01 20:14:00 +0200nick__(~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1) (Ping timeout: 240 seconds)
2023-07-01 20:15:37 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 20:16:04 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 20:16:55 +0200titiband1t(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-01 20:21:03 +0200dtman34(~dtman34@2601:447:d000:93c9:67d8:dd42:3a5c:896d)
2023-07-01 20:23:03 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-07-01 20:24:00 +0200alexherbo2(~alexherbo@2a02-8440-2440-c475-c5b5-e1e1-b3cc-0b91.rev.sfr.net)
2023-07-01 20:25:26 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 20:25:54 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 20:30:19 +0200gurkenglas(~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de)
2023-07-01 20:31:38 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 20:32:41 +0200bjobjo(~bjobjo@user/bjobjo) (Quit: leaving)
2023-07-01 20:32:45 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 20:33:15 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 20:36:02 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2023-07-01 20:38:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-01 20:38:29 +0200alexherbo2(~alexherbo@2a02-8440-2440-c475-c5b5-e1e1-b3cc-0b91.rev.sfr.net) (Remote host closed the connection)
2023-07-01 20:39:05 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 20:39:36 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 20:41:17 +0200bratwurst(~dfadsva@2604:3d09:207f:f650::a8c)
2023-07-01 20:41:48 +0200alexherbo2(~alexherbo@2a02-8440-2440-c475-7cbc-cfde-ddc0-de49.rev.sfr.net)
2023-07-01 20:42:16 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-07-01 20:43:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-01 20:46:24 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-07-01 20:47:24 +0200bollu(~bollu@159.65.151.13)
2023-07-01 20:48:28 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-07-01 20:50:21 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 20:50:47 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 20:52:42 +0200dtman34(~dtman34@2601:447:d000:93c9:67d8:dd42:3a5c:896d) (Ping timeout: 245 seconds)
2023-07-01 20:55:57 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-01 20:56:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-01 21:01:25 +0200phma(phma@2001:5b0:212a:a5a8:9482:144e:6eb8:2c18) (Read error: Connection reset by peer)
2023-07-01 21:03:34 +0200dtman34(~dtman34@2601:447:d000:93c9:94a4:4b7f:6fb4:16e2)
2023-07-01 21:03:38 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-07-01 21:04:05 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-01 21:06:27 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-01 21:08:07 +0200hisa3875(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
2023-07-01 21:09:02 +0200alexherbo2(~alexherbo@2a02-8440-2440-c475-7cbc-cfde-ddc0-de49.rev.sfr.net) (Remote host closed the connection)
2023-07-01 21:09:47 +0200hisa387(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 245 seconds)
2023-07-01 21:09:48 +0200hisa3875hisa387
2023-07-01 21:10:20 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-07-01 21:10:56 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-07-01 21:11:49 +0200alexherbo2(~alexherbo@2a02-8440-2440-c475-a995-56ed-05f5-1e78.rev.sfr.net)
2023-07-01 21:15:04 +0200trev(~trev@user/trev) (Quit: trev)
2023-07-01 21:15:53 +0200Pickchea(~private@user/pickchea)
2023-07-01 21:21:47 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-01 21:22:38 +0200phma(~phma@host-67-44-208-144.hnremote.net)
2023-07-01 21:24:26 +0200gurkenglas(~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
2023-07-01 21:26:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-01 21:33:44 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-07-01 21:39:35 +0200connrs(~connrs@user/connrs) (Read error: Connection reset by peer)
2023-07-01 21:40:59 +0200ystael(~ystael@user/ystael) (Ping timeout: 240 seconds)
2023-07-01 21:45:31 +0200gurkenglas(~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de)
2023-07-01 21:45:55 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-01 21:55:16 +0200dtman34(~dtman34@2601:447:d000:93c9:94a4:4b7f:6fb4:16e2) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2023-07-01 21:56:47 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-07-01 21:59:21 +0200connrs(~connrs@user/connrs)
2023-07-01 22:00:44 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-01 22:02:01 +0200fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection)
2023-07-01 22:02:20 +0200fendor(~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0)
2023-07-01 22:03:37 +0200motherfsck(~motherfsc@user/motherfsck) (Read error: Connection reset by peer)
2023-07-01 22:05:53 +0200connrs(~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-01 22:07:29 +0200connrs(~connrs@user/connrs)
2023-07-01 22:08:49 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds)
2023-07-01 22:15:35 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-01 22:17:21 +0200michalz(~michalz@185.246.207.218)
2023-07-01 22:19:47 +0200motherfsck(~motherfsc@user/motherfsck)
2023-07-01 22:24:35 +0200alexherbo2(~alexherbo@2a02-8440-2440-c475-a995-56ed-05f5-1e78.rev.sfr.net) (Remote host closed the connection)
2023-07-01 22:39:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-01 22:41:58 +0200 <bratwurst> hi. i'm trying to single step through the slot machine example from reactive-banana. i've started ghci with 'cabal v2-repl' and then ':l doc/examples/SlotMachine.hs'
2023-07-01 22:42:24 +0200 <bratwurst> however it says "main is not in scope". what am i doing wrong?
2023-07-01 22:43:12 +0200 <bratwurst> i get a lot of warnings but it says "ok. 22 modules loaded"
2023-07-01 22:43:14 +0200mechap(~mechap@user/mechap)
2023-07-01 22:45:57 +0200 <bratwurst> ok i tried making a copy of the file named "Main.hs" and put a module header in it and loaded that. works fine now
2023-07-01 22:47:16 +0200 <bratwurst> is there a simpler thing to do?
2023-07-01 22:53:38 +0200 <hpc> run "ghci doc/examples/SlotMachine.hs" instead?
2023-07-01 22:54:23 +0200 <geekosaur> betting they need to do some `cabal install --lib` for that to work
2023-07-01 22:54:46 +0200phma(~phma@host-67-44-208-144.hnremote.net) (Read error: Connection reset by peer)
2023-07-01 22:56:29 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-07-01 22:57:05 +0200phma(~phma@2001:5b0:211f:cfc8:7811:e29d:8e4:daa2)
2023-07-01 23:17:34 +0200gurkenglas(~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de) (Ping timeout: 250 seconds)
2023-07-01 23:18:58 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-07-01 23:19:17 +0200alexherbo2(~alexherbo@2a02-8440-2440-c475-1079-7fb6-9707-eeef.rev.sfr.net)
2023-07-01 23:21:34 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-01 23:26:14 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-07-01 23:29:19 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-01 23:29:52 +0200troydm(~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2023-07-01 23:30:09 +0200troydm(~troydm@user/troydm)
2023-07-01 23:31:15 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-01 23:34:26 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-07-01 23:39:12 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-07-01 23:39:52 +0200fendor(~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection)
2023-07-01 23:40:47 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-07-01 23:42:43 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-01 23:43:30 +0200gurkenglas(~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de)
2023-07-01 23:45:46 +0200 <bratwurst> hpc: don't i need cabal to set up all the things?
2023-07-01 23:47:02 +0200 <bratwurst> i tried it. cabal sets up load paths that ghci alone doesn't
2023-07-01 23:47:35 +0200 <geekosaur> that was why I mentioned cabal install --lib. but honestly it's usually a way to make a mess
2023-07-01 23:48:00 +0200 <geekosaur> but especially for older stuff whose documentation expects cabal version 1, sometimes you need it
2023-07-01 23:48:16 +0200 <hippoid> i'm trying to use the ExifTool package. it works in my nix development env, but I don't know how to specify to cabal2nix that the cabal executable requires exiftool
2023-07-01 23:48:44 +0200 <hippoid> this is what i have so far: https://github.com/idrisr/picoctf/tree/min-example
2023-07-01 23:49:16 +0200 <hippoid> how do i tell nix, cabal, or cabal2nix lol how to include exiftool
2023-07-01 23:49:42 +0200michalz(~michalz@185.246.207.218) (Remote host closed the connection)
2023-07-01 23:49:43 +0200 <bratwurst> geekosaur: i experimented with 'cabal install --lib'. it didn't make a difference. i'm fine with the work-around i mentioned
2023-07-01 23:54:27 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-07-01 23:54:30 +0200 <geekosaur> you probably have an environment file you need to remove now, in that case…
2023-07-01 23:54:52 +0200 <geekosaur> ghci will tell you about it when you start it (if it doesn't, you did `--lib` wrong which may be for the best)
2023-07-01 23:55:17 +0200alexherbo2(~alexherbo@2a02-8440-2440-c475-1079-7fb6-9707-eeef.rev.sfr.net) (Remote host closed the connection)
2023-07-01 23:58:43 +0200 <bratwurst> geekosaur: i see no errors so possibly i did 'cabal install --lib' wrong
2023-07-01 23:59:03 +0200 <geekosaur> it wouldn't be an error, just a note that it's loading a package environment from a file
2023-07-01 23:59:26 +0200biberu(~biberu@user/biberu)