IRCBrowse

2022/03/14

2022-03-14 00:00:59 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-03-14 00:03:18 +0100nf(~n@monade.li) (Read error: Connection reset by peer)
2022-03-14 00:04:30 +0100nf(~n@monade.li)
2022-03-14 00:05:09 +0100cosimone(~user@93-44-187-176.ip98.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1))
2022-03-14 00:05:14 +0100fendor_(~fendor@178.115.62.26.wireless.dyn.drei.com) (Remote host closed the connection)
2022-03-14 00:05:41 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-14 00:07:49 +0100liz(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa)
2022-03-14 00:07:50 +0100notzmv(~zmv@user/notzmv)
2022-03-14 00:09:54 +0100Giovanni(~Giovanni@176.55.166.222)
2022-03-14 00:10:29 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:ce2:e317:ec2b:10ff) (Remote host closed the connection)
2022-03-14 00:11:17 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds)
2022-03-14 00:14:28 +0100slaydr(~seriley@75.164.66.230)
2022-03-14 00:15:02 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-14 00:19:07 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-14 00:19:20 +0100boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Read error: Connection reset by peer)
2022-03-14 00:19:21 +0100boborygmy__(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Read error: Connection reset by peer)
2022-03-14 00:19:59 +0100boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-14 00:24:40 +0100Midjak(~Midjak@82.66.147.146) (Quit: Leaving)
2022-03-14 00:24:56 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-03-14 00:26:43 +0100Midjak(~Midjak@82.66.147.146)
2022-03-14 00:28:48 +0100DNH(~DNH@2a02:8108:1100:16d8:2846:6042:d084:be62) (Read error: Connection reset by peer)
2022-03-14 00:30:37 +0100jackson99(~bc8147f2@cerf.good1.com)
2022-03-14 00:32:16 +0100srk-(~sorki@user/srk)
2022-03-14 00:32:44 +0100Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-03-14 00:32:54 +0100spacenautx(~spacenaut@user/spacenautx) (Quit: WeeChat 3.4)
2022-03-14 00:34:48 +0100Pickchea(~private@user/pickchea) (Ping timeout: 252 seconds)
2022-03-14 00:35:45 +0100srk(~sorki@user/srk) (Ping timeout: 256 seconds)
2022-03-14 00:35:45 +0100srk-srk
2022-03-14 00:41:08 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-03-14 00:42:54 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-14 00:44:56 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee)
2022-03-14 00:56:00 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-03-14 00:59:51 +0100vicfred(~vicfred@user/vicfred)
2022-03-14 01:02:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-03-14 01:05:06 +0100acidjnk(~acidjnk@p200300d0c7049f09a48046c09dc85a06.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-03-14 01:06:38 +0100srk-(~sorki@user/srk)
2022-03-14 01:07:32 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-14 01:09:25 +0100srk(~sorki@user/srk) (Ping timeout: 240 seconds)
2022-03-14 01:09:26 +0100srk-srk
2022-03-14 01:11:43 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 01:11:50 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-03-14 01:13:30 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-03-14 01:19:43 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-03-14 01:22:27 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-14 01:23:56 +0100namkeleser(~namkelese@101.175.104.107) (Ping timeout: 256 seconds)
2022-03-14 01:26:27 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 01:26:47 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-14 01:31:24 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-14 01:34:12 +0100mreh(~matthew@host86-172-33-212.range86-172.btcentralplus.com) (Ping timeout: 252 seconds)
2022-03-14 01:34:36 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds)
2022-03-14 01:38:26 +0100kimjetwav(~user@2607:fea8:2363:8f00:1c7e:ff3d:8ab5:397a)
2022-03-14 01:39:10 +0100meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-03-14 01:42:54 +0100kimjetwav(~user@2607:fea8:2363:8f00:1c7e:ff3d:8ab5:397a) (Remote host closed the connection)
2022-03-14 01:46:32 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-14 01:46:43 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 01:54:31 +0100dsrt^(~dsrt@50.232.121.75)
2022-03-14 01:56:12 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 252 seconds)
2022-03-14 01:59:28 +0100tomboy64(~tomboy64@user/tomboy64) (Quit: Off to see the wizard.)
2022-03-14 02:00:03 +0100cyphase(~cyphase@user/cyphase) (Ping timeout: 252 seconds)
2022-03-14 02:02:00 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 02:03:37 +0100ph88^(~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) (Ping timeout: 240 seconds)
2022-03-14 02:05:17 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-03-14 02:11:19 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee)
2022-03-14 02:11:24 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-0d13-db80-1316-2ed6.res6.spectrum.com) (Remote host closed the connection)
2022-03-14 02:12:55 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-03-14 02:19:45 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 02:30:45 +0100andreabedini[m](~andreabed@2001:470:69fc:105::c821) ()
2022-03-14 02:31:15 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-03-14 02:31:24 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-03-14 02:34:41 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-14 02:45:09 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-03-14 02:46:33 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-14 02:46:33 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-14 02:46:33 +0100wroathe(~wroathe@user/wroathe)
2022-03-14 02:53:00 +0100dsrt^(~dsrt@50.232.121.75) (Ping timeout: 250 seconds)
2022-03-14 02:57:20 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-03-14 03:00:57 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds)
2022-03-14 03:05:29 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 03:07:11 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-14 03:08:32 +0100vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-03-14 03:15:11 +0100InstX1Inst
2022-03-14 03:15:43 +0100img(~img@user/img)
2022-03-14 03:16:03 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2022-03-14 03:24:53 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-14 03:24:53 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-14 03:24:53 +0100wroathe(~wroathe@user/wroathe)
2022-03-14 03:24:53 +0100wroathe(~wroathe@user/wroathe) (Client Quit)
2022-03-14 03:25:05 +0100wroathe(~wroathe@user/wroathe)
2022-03-14 03:26:22 +0100arjun(~arjun@user/arjun)
2022-03-14 03:28:05 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-03-14 03:29:21 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-03-14 03:33:30 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-14 03:34:39 +0100rtsn(~nstr@h-98-128-229-174.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2022-03-14 03:36:20 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 03:41:15 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-03-14 03:43:17 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-03-14 03:45:52 +0100Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si) (Quit: Leaving)
2022-03-14 03:46:36 +0100ub(~Thunderbi@p200300ecdf19b7b7b1fc5a865b2694ae.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-14 03:46:56 +0100ub(~Thunderbi@p200300ecdf19b765b1fc5a865b2694ae.dip0.t-ipconnect.de)
2022-03-14 03:47:10 +0100alMalsamolumberjack123
2022-03-14 03:51:00 +0100ubert(~Thunderbi@p200300ecdf19b7b750061d6876d392e8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-14 03:51:19 +0100ubert(~Thunderbi@p200300ecdf19b765379f43bf352ea1c3.dip0.t-ipconnect.de)
2022-03-14 03:51:20 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection)
2022-03-14 03:51:51 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-0034-44e7-d0a8-40e0.res6.spectrum.com)
2022-03-14 03:52:48 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-0034-44e7-d0a8-40e0.res6.spectrum.com) (Remote host closed the connection)
2022-03-14 03:55:43 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 04:04:00 +0100lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-14 04:04:21 +0100tomku(~tomku@user/tomku) (Ping timeout: 252 seconds)
2022-03-14 04:05:53 +0100tomku(~tomku@user/tomku)
2022-03-14 04:17:33 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 04:18:09 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 04:22:24 +0100lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-03-14 04:25:06 +0100hololeap(~hololeap@user/hololeap) (Read error: Connection reset by peer)
2022-03-14 04:26:56 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 240 seconds)
2022-03-14 04:27:36 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2022-03-14 04:28:25 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 04:29:57 +0100boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds)
2022-03-14 04:29:57 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds)
2022-03-14 04:30:09 +0100td_(~td@muedsl-82-207-238-124.citykom.de) (Ping timeout: 272 seconds)
2022-03-14 04:35:41 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-14 04:35:43 +0100boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-14 04:38:15 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 04:42:17 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds)
2022-03-14 04:46:12 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-03-14 04:46:57 +0100InstX1(~Liam@2601:6c4:4080:3f80:19b3:b5d4:126:3f1b)
2022-03-14 04:48:12 +0100Inst(~Liam@2601:6c4:4080:3f80:cd4d:1ad4:b525:ecf8) (Ping timeout: 240 seconds)
2022-03-14 04:48:16 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-14 04:48:16 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-14 04:48:16 +0100wroathe(~wroathe@user/wroathe)
2022-03-14 04:49:58 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2022-03-14 04:49:59 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-03-14 04:50:02 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-14 04:51:03 +0100rekahsoft(~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6)
2022-03-14 04:54:18 +0100xkuru(~xkuru@user/xkuru)
2022-03-14 04:59:32 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 05:00:00 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.)
2022-03-14 05:00:41 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 05:01:15 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2022-03-14 05:01:24 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-14 05:01:28 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-03-14 05:05:10 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-14 05:05:52 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-14 05:05:57 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2022-03-14 05:06:29 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 05:12:20 +0100img(~img@user/img)
2022-03-14 05:13:43 +0100liz(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Remote host closed the connection)
2022-03-14 05:14:42 +0100jao(~jao@45.134.142.225) (Ping timeout: 250 seconds)
2022-03-14 05:17:18 +0100ph88^(~ph88@2001:1c05:2402:c600:9cf1:b6e0:91f2:fea3)
2022-03-14 05:21:41 +0100ph88^(~ph88@2001:1c05:2402:c600:9cf1:b6e0:91f2:fea3) (Ping timeout: 256 seconds)
2022-03-14 05:24:57 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-03-14 05:26:22 +0100deadmarshal_(~deadmarsh@95.38.231.29)
2022-03-14 05:30:18 +0100rekahsoft(~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6) (Remote host closed the connection)
2022-03-14 05:31:08 +0100jackson99(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2022-03-14 05:32:32 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2022-03-14 05:33:12 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 05:33:15 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 05:34:00 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-03-14 05:34:01 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2022-03-14 05:34:04 +0100allbery_bgeekosaur
2022-03-14 05:36:39 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2022-03-14 05:36:41 +0100zerozzz
2022-03-14 05:39:44 +0100zmt01(~zmt00@user/zmt00) (Quit: Leaving)
2022-03-14 05:40:03 +0100arjun(~arjun@user/arjun) (Ping timeout: 252 seconds)
2022-03-14 05:40:55 +0100zmt00(~zmt00@user/zmt00)
2022-03-14 05:41:05 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-14 05:49:57 +0100swistak(~swistak@185.21.216.141) (Ping timeout: 240 seconds)
2022-03-14 05:51:36 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2022-03-14 05:53:51 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-03-14 05:56:34 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 05:56:41 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 05:56:42 +0100cyphase(~cyphase@user/cyphase)
2022-03-14 05:58:54 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 250 seconds)
2022-03-14 06:00:39 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-14 06:03:18 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 06:04:53 +0100Giovanni(~Giovanni@176.55.166.222) (Remote host closed the connection)
2022-03-14 06:07:00 +0100EvanR(~EvanR@user/evanr) (Quit: Leaving)
2022-03-14 06:09:53 +0100InstX1Inst
2022-03-14 06:14:12 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds)
2022-03-14 06:14:38 +0100boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds)
2022-03-14 06:21:00 +0100shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-03-14 06:21:04 +0100arjun(~arjun@user/arjun)
2022-03-14 06:21:14 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-03-14 06:25:55 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-14 06:25:57 +0100boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-14 06:26:13 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 06:28:39 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-14 06:31:14 +0100swistak(~swistak@185.21.216.141)
2022-03-14 06:31:48 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-03-14 06:37:38 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-03-14 06:38:00 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-14 06:39:24 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-14 06:41:14 +0100arjun(~arjun@user/arjun) (Ping timeout: 272 seconds)
2022-03-14 06:44:49 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 06:44:50 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds)
2022-03-14 06:45:38 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 06:45:41 +0100boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds)
2022-03-14 06:50:18 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-14 06:51:00 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2022-03-14 06:57:01 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 06:57:35 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 06:58:21 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 07:02:42 +0100Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-03-14 07:03:56 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2022-03-14 07:04:46 +0100ski(~ski@remote12.chalmers.se) (Quit: Lost terminal)
2022-03-14 07:07:33 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 07:09:31 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 07:09:44 +0100ski(~ski@remote12.chalmers.se)
2022-03-14 07:11:42 +0100weeezes[m](~weeezesma@2001:470:69fc:105::1:da65)
2022-03-14 07:14:38 +0100vglfr(~vglfr@88.155.84.15)
2022-03-14 07:15:02 +0100parsnip(~parsnip0m@user/parsnip)
2022-03-14 07:18:16 +0100parsnip(~parsnip0m@user/parsnip) ()
2022-03-14 07:19:04 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 07:19:53 +0100unyu(~pyon@user/pyon) (Quit: WeeChat 3.4)
2022-03-14 07:20:35 +0100vicfred(~vicfred@user/vicfred)
2022-03-14 07:21:46 +0100vicfred_(~vicfred@user/vicfred)
2022-03-14 07:23:33 +0100vicfred_(~vicfred@user/vicfred) (Client Quit)
2022-03-14 07:24:52 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 07:25:06 +0100vicfred(~vicfred@user/vicfred) (Ping timeout: 252 seconds)
2022-03-14 07:25:24 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 07:25:53 +0100slaydr(~seriley@75.164.66.230) (Quit: leaving)
2022-03-14 07:30:39 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-14 07:33:11 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-03-14 07:37:08 +0100ajb(~ajb@cupid.whatbox.ca)
2022-03-14 07:38:49 +0100nurupo(~nurupo.ga@user/nurupo) (Quit: nurupo.ga)
2022-03-14 07:39:20 +0100nurupo(~nurupo.ga@user/nurupo)
2022-03-14 07:42:02 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2022-03-14 07:43:47 +0100nexus_(~nexus@fibhost-67-47-22.fibernet.hu)
2022-03-14 07:45:29 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-14 07:47:10 +0100arjun(~arjun@user/arjun)
2022-03-14 07:50:17 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2022-03-14 07:52:25 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-14 07:54:58 +0100coot(~coot@213.134.190.95)
2022-03-14 07:57:10 +0100bahamas(~lucian@84.232.140.52)
2022-03-14 07:59:39 +0100michalz(~michalz@185.246.204.93)
2022-03-14 08:07:41 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 08:09:19 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 08:10:33 +0100mmhat(~mmh@55d4c3ac.access.ecotel.net)
2022-03-14 08:16:56 +0100m1dnight_(~christoph@78-22-9-5.access.telenet.be) (Quit: WeeChat 3.4)
2022-03-14 08:17:17 +0100m1dnight(~christoph@78-22-9-5.access.telenet.be)
2022-03-14 08:20:30 +0100solomon[m](~solomonco@2001:470:69fc:105::1:6000)
2022-03-14 08:28:21 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 252 seconds)
2022-03-14 08:31:32 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2022-03-14 08:32:45 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2022-03-14 08:36:05 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:e9d9:d179:7feb:e279)
2022-03-14 08:36:36 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 08:37:47 +0100Natch(~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection)
2022-03-14 08:42:04 +0100thevishy(~Nishant@49.37.242.151)
2022-03-14 08:42:50 +0100cfricke(~cfricke@user/cfricke)
2022-03-14 08:43:10 +0100Natch(~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se)
2022-03-14 08:43:21 +0100toulene(~toulene@user/toulene) (Quit: Ping timeout (120 seconds))
2022-03-14 08:44:46 +0100toulene(~toulene@user/toulene)
2022-03-14 08:46:24 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-14 08:48:45 +0100mmhat(~mmh@55d4c3ac.access.ecotel.net) (Ping timeout: 256 seconds)
2022-03-14 08:49:08 +0100thevishy(~Nishant@49.37.242.151) (Quit: Leaving)
2022-03-14 08:50:08 +0100nishant(~Nishant@49.37.242.151)
2022-03-14 08:51:01 +0100acidjnk(~acidjnk@p200300d0c7049f8431258c04711cd36e.dip0.t-ipconnect.de)
2022-03-14 08:52:16 +0100MajorBiscuit(~MajorBisc@c-001-018-036.client.tudelft.eduvpn.nl)
2022-03-14 08:53:30 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-03-14 08:53:37 +0100toulene(~toulene@user/toulene) (Ping timeout: 272 seconds)
2022-03-14 08:54:53 +0100kuribas(~user@ptr-25vy0i6vc7g38qqigba.18120a2.ip6.access.telenet.be)
2022-03-14 08:55:42 +0100toulene(~toulene@user/toulene)
2022-03-14 08:56:09 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds)
2022-03-14 09:01:37 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-14 09:01:55 +0100nexus_(~nexus@fibhost-67-47-22.fibernet.hu) (Read error: Connection reset by peer)
2022-03-14 09:02:15 +0100mmhat(~mmh@55d4b6b1.access.ecotel.net)
2022-03-14 09:02:49 +0100arjun(~arjun@user/arjun) (Quit: Leaving)
2022-03-14 09:03:39 +0100nexus_(~nexus@178-164-208-88.pool.digikabel.hu)
2022-03-14 09:03:55 +0100fendor(~fendor@178.115.62.26.wireless.dyn.drei.com)
2022-03-14 09:12:49 +0100alp(~alp@user/alp)
2022-03-14 09:13:15 +0100vglfr(~vglfr@88.155.84.15) (Ping timeout: 272 seconds)
2022-03-14 09:15:34 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 09:25:56 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 09:33:42 +0100toulene(~toulene@user/toulene) (Quit: The Lounge - https://thelounge.chat)
2022-03-14 09:34:43 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 09:37:38 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 09:38:04 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-03-14 09:38:06 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2022-03-14 09:40:45 +0100m1dnight(~christoph@78-22-9-5.access.telenet.be) (Quit: WeeChat 3.4.1)
2022-03-14 09:41:24 +0100m1dnight(~christoph@78-22-9-5.access.telenet.be)
2022-03-14 09:43:01 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-14 09:44:05 +0100toulene(~toulene@user/toulene)
2022-03-14 09:44:13 +0100acidjnk(~acidjnk@p200300d0c7049f8431258c04711cd36e.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2022-03-14 09:45:09 +0100mc47(~mc47@xmonad/TheMC47)
2022-03-14 09:51:18 +0100Inst(~Liam@2601:6c4:4080:3f80:19b3:b5d4:126:3f1b) (Quit: Leaving)
2022-03-14 09:51:19 +0100ph88^(~ph88@2001:1c05:2402:c600:9cf1:b6e0:91f2:fea3)
2022-03-14 09:52:59 +0100ardell(~ardell@user/ardell)
2022-03-14 09:54:42 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-03-14 09:55:31 +0100acidjnk(~acidjnk@p200300d0c7049f845552850e41000a61.dip0.t-ipconnect.de)
2022-03-14 09:55:55 +0100chele(~chele@user/chele)
2022-03-14 09:56:36 +0100Inst(~Liam@2601:6c4:4080:3f80:dc06:54f2:d0a:6b8c)
2022-03-14 09:57:06 +0100 <Inst> hi guys
2022-03-14 10:00:05 +0100mbuf(~Shakthi@223.178.86.208)
2022-03-14 10:00:09 +0100Drew[m](~drewefenw@2001:470:69fc:105::c8c4) (Quit: You have been kicked for being idle)
2022-03-14 10:00:10 +0100justAstache(~justache@user/justache) (Read error: Connection reset by peer)
2022-03-14 10:01:10 +0100justAstache(~justache@user/justache)
2022-03-14 10:01:41 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-03-14 10:04:18 +0100rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-14 10:05:12 +0100rembo10(~rembo10@main.remulis.com)
2022-03-14 10:06:57 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds)
2022-03-14 10:08:45 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-14 10:08:48 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-03-14 10:09:49 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2022-03-14 10:11:57 +0100ph88^(~ph88@2001:1c05:2402:c600:9cf1:b6e0:91f2:fea3) (Ping timeout: 240 seconds)
2022-03-14 10:14:01 +0100Pickchea(~private@user/pickchea)
2022-03-14 10:15:52 +0100agumonke`(~user@88.163.231.79) (Ping timeout: 250 seconds)
2022-03-14 10:16:33 +0100 <kuribas> Morning.
2022-03-14 10:16:48 +0100 <kuribas> convinced your cleaning lady yet to use haskell?
2022-03-14 10:17:07 +0100 <kuribas> It was you who wanted to convert everyone to haskell right?
2022-03-14 10:19:54 +0100 <kuribas> I see a lot of rust jobs for crypto now. Does rust have the same curse as haskell now?
2022-03-14 10:20:46 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-14 10:21:39 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 252 seconds)
2022-03-14 10:22:23 +0100 <Inst> hi guys
2022-03-14 10:22:32 +0100 <Inst> I'm willing to pay 20-80 USD an hour
2022-03-14 10:22:37 +0100 <Inst> for tutoring in Haskell and Computer Science
2022-03-14 10:22:46 +0100 <Inst> contact me if interested, we can set something up on an accredited tutoring website
2022-03-14 10:24:03 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 10:24:09 +0100ubert(~Thunderbi@p200300ecdf19b765379f43bf352ea1c3.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-03-14 10:24:09 +0100ububert
2022-03-14 10:24:28 +0100ubert1(~Thunderbi@p200300ecdf19b7650b46467200086b86.dip0.t-ipconnect.de)
2022-03-14 10:24:32 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds)
2022-03-14 10:26:24 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-14 10:28:44 +0100ph88(~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl)
2022-03-14 10:30:54 +0100 <[exa]> O_o
2022-03-14 10:31:49 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 10:41:29 +0100__monty__(~toonn@user/toonn)
2022-03-14 10:51:37 +0100zaquest(~notzaques@5.130.79.72) (Quit: Leaving)
2022-03-14 10:52:46 +0100zaquest(~notzaques@5.130.79.72)
2022-03-14 10:53:44 +0100 <maerwald> kuribas: you can just ignore those jobs if you're not interested
2022-03-14 10:56:23 +0100 <merijn> Sure. I can also ignore jobs in all the other "burn the world down"-industries, but as someone with a vested interest in "not burning the world down", I'd rather complain about them existing and hopefully getting others to reconsider taking those jobs too :)
2022-03-14 10:58:30 +0100 <maerwald> merijn: I contacted reddit mods to remove those troll posts from job postings, but I'm not sure what the verdict is
2022-03-14 10:58:39 +0100 <maerwald> I find it extremely annoying
2022-03-14 10:59:34 +0100 <maerwald> Idc about peoples opinions on industries in job postings. I can make my own decision. Those people can write those things on their own blogs.
2022-03-14 11:00:47 +0100 <kuribas> maerwald: which troll posts?
2022-03-14 11:00:48 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-14 11:01:16 +0100 <maerwald> kuribas: things like "I hope this is not blockchain or high-speed trading"
2022-03-14 11:01:29 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-14 11:01:48 +0100 <kuribas> maerwald: oh, so now something is a troll-post because it doesn't fit your world-view?
2022-03-14 11:01:54 +0100 <merijn> I mean, high-speed trading is at least several orders of magnitude less harmful
2022-03-14 11:01:57 +0100 <maerwald> kuribas: not at all
2022-03-14 11:02:21 +0100mreh(~matthew@host86-172-33-212.range86-172.btcentralplus.com)
2022-03-14 11:02:55 +0100 <maerwald> kuribas: my view is that all replies to job postings that don't either engage with the author or ask for more information are troll posts
2022-03-14 11:03:00 +0100 <merijn> I can still respect someone who works in high-frequency trading.
2022-03-14 11:03:14 +0100 <kuribas> maerwald: well, then luckily the moderators are less short minded that you are.
2022-03-14 11:03:18 +0100 <kuribas> reddit is not a job board.
2022-03-14 11:03:24 +0100 <maerwald> if everyone posts their opinion about random industries on every single job post, then no one is gonna post jobs anymore
2022-03-14 11:03:38 +0100 <merijn> maerwald: Why? I think it's fine advertising jobs in the community, but then you can't complain if the community thinks your job is shit
2022-03-14 11:03:38 +0100 <maerwald> I've advised companies before not to post their job postings on r/haskell
2022-03-14 11:03:45 +0100 <maerwald> because it's toxic
2022-03-14 11:03:47 +0100 <kuribas> merijn: isn't that just gambling?
2022-03-14 11:04:08 +0100 <kuribas> merijn: I mean, it doesn't look at all at the added value of the product.
2022-03-14 11:04:19 +0100 <kuribas> it's just gaming the system.
2022-03-14 11:04:19 +0100 <merijn> maerwald: If you don't want criticism on your company/job posts, pay a recruiter and advertise them somewhere else
2022-03-14 11:04:30 +0100 <maerwald> merijn: that's not criticism
2022-03-14 11:04:39 +0100 <maerwald> that's your personal world view
2022-03-14 11:04:48 +0100 <maerwald> you can share that somewhere else
2022-03-14 11:04:58 +0100 <kuribas> maerwald: if reddit was a job board, then I'd agree, but it isn't.
2022-03-14 11:05:05 +0100 <merijn> It's both my personal worldview *and* criticism
2022-03-14 11:05:05 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-03-14 11:05:11 +0100 <merijn> kuribas++
2022-03-14 11:05:21 +0100 <maerwald> sure, I'm not making reddit rules
2022-03-14 11:05:33 +0100 <maerwald> and will continue to advise people not to post jobs there
2022-03-14 11:05:34 +0100 <[exa]> can it be classified as spam?
2022-03-14 11:05:45 +0100 <merijn> kuribas: At least it's gaming the system in ways that aren't actively victimising tons of gullible people >.>
2022-03-14 11:06:11 +0100 <merijn> kuribas: And orders of magnitude less negative environmental impact
2022-03-14 11:06:46 +0100 <kuribas> isn't cardano less impactful on the environment?
2022-03-14 11:06:55 +0100 <kuribas> Because it's proof of stake, not proof of work?
2022-03-14 11:07:06 +0100 <maerwald> yes, but most people don't even think that far
2022-03-14 11:07:42 +0100 <merijn> That's what they claim. But even if it's true, proof of stake still has toxic social problems, so "kudos to at least not burning the world in a literal sense, I guess"
2022-03-14 11:08:33 +0100 <maerwald> I'm anti capitalism, but I don't promote this world view on every job posting, just because 99% of all companies in the world are run by capitalistic principles. That's trolling.
2022-03-14 11:09:06 +0100 <maerwald> And I could also claim this is *criticism*.
2022-03-14 11:10:23 +0100 <kuribas> maerwald: no, it's censorship.
2022-03-14 11:11:17 +0100 <Inst> [exa]
2022-03-14 11:11:25 +0100 <Inst> do you want extra money? I can pay 20-80 USD
2022-03-14 11:11:31 +0100 <Inst> for tutoring in Haskell and computer science
2022-03-14 11:11:36 +0100 <Inst> 2 hours, so 40-160 USD depending on qualifications
2022-03-14 11:11:39 +0100 <maerwald> kuribas: absolutely not
2022-03-14 11:11:48 +0100 <[exa]> Inst: I want extra time and less money
2022-03-14 11:11:53 +0100 <Inst> fuck
2022-03-14 11:11:57 +0100 <maerwald> kuribas: freenode doesn't allow sharing porn. Is that censorship?
2022-03-14 11:11:57 +0100 <[exa]> yeah.
2022-03-14 11:11:57 +0100 <Inst> anyone want extra money and less time?
2022-03-14 11:12:02 +0100tomboy64(~tomboy64@user/tomboy64)
2022-03-14 11:12:02 +0100nexus_(~nexus@178-164-208-88.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-14 11:12:10 +0100 <maerwald> er, libera =D
2022-03-14 11:12:12 +0100 <kuribas> maerwald: yes, it is.
2022-03-14 11:12:18 +0100 <maerwald> that's nonsense
2022-03-14 11:12:22 +0100 <maerwald> but anyway, nuff said
2022-03-14 11:12:28 +0100 <kuribas> Though it makes sense in some context.
2022-03-14 11:13:09 +0100 <[exa]> Inst: books don't work for you? (I learned most of the stuff that way, usually just following a syllabus for whatever exam I needed to pass)
2022-03-14 11:13:44 +0100 <Inst> [exa]: I have minimum proper computer science experience
2022-03-14 11:13:48 +0100 <Inst> actually,
2022-03-14 11:13:50 +0100 <Inst> @monochrom
2022-03-14 11:13:50 +0100 <lambdabot> Unknown command, try @list
2022-03-14 11:13:58 +0100 <Inst> wanna get me to stop being an idiotic blowhard and be paid for it?
2022-03-14 11:14:02 +0100nexus_(~nexus@178-164-208-109.pool.digikabel.hu)
2022-03-14 11:14:24 +0100 <Inst> There are very few books that are oriented at people who are starting computer science with Haskell
2022-03-14 11:14:30 +0100 <Inst> HaskellBook doesn't count, I hate that book
2022-03-14 11:15:14 +0100 <kuribas> btw, I see nothing in https://libera.chat/guidelines/ about pornography...
2022-03-14 11:15:26 +0100 <[exa]> Inst: "basics of computer science" and "haskell" don't have much in common
2022-03-14 11:15:43 +0100 <Inst> thing is, working through Whitington's Haskell From The Very Beginning
2022-03-14 11:15:45 +0100 <Inst> Haskell seemed easy
2022-03-14 11:15:57 +0100 <Inst> it was completely mind-blowing, tbh
2022-03-14 11:16:12 +0100 <Inst> I guess Whitington's going to make a book on Prolog next
2022-03-14 11:16:21 +0100 <maerwald> kuribas: you can try it and see how quickly you get banned :D
2022-03-14 11:16:40 +0100 <Inst> and how long it takes before IRCops listens to your begging and unbans you
2022-03-14 11:16:50 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
2022-03-14 11:17:35 +0100 <kuribas> it does say channels should be on-tipic, which makes sense.
2022-03-14 11:18:14 +0100 <maerwald> does it? that's censorship
2022-03-14 11:19:15 +0100ph88(~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds)
2022-03-14 11:19:18 +0100 <merijn> kuribas: Wrong page
2022-03-14 11:19:27 +0100 <merijn> kuribas: That's the guidelines, not network policies
2022-03-14 11:19:34 +0100 <merijn> kuribas: "Libera.Chat is bound by Swedish law. Unlawful activities and related supporting activities are not allowed. In addition to that, heavy media file trading, pornography, and various forms of antisocial behaviour are forbidden."
2022-03-14 11:19:46 +0100 <merijn> https://libera.chat/policies/
2022-03-14 11:19:57 +0100 <kuribas> merijn: right, thanks :)
2022-03-14 11:20:04 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 11:20:07 +0100 <Inst> so I guess supporting Julian Assange is forbidden
2022-03-14 11:20:08 +0100 <Inst> ;_;
2022-03-14 11:20:17 +0100 <kuribas> maerwald: yes, it is.
2022-03-14 11:20:41 +0100 <maerwald> great we sorted this out
2022-03-14 11:21:08 +0100 <kuribas> maerwald: what you are proposing is censorship, not based on some well defined rules, but arbitrary rules you define based on your own preferences.
2022-03-14 11:21:20 +0100 <maerwald> kuribas: I gave the rules, you missed them
2022-03-14 11:21:23 +0100 <maerwald> and they are well-defined
2022-03-14 11:21:23 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 11:21:38 +0100 <kuribas> yeah, your rules.
2022-03-14 11:21:47 +0100 <maerwald> eh?
2022-03-14 11:22:04 +0100 <maerwald> you're just arguing now
2022-03-14 11:22:23 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-14 11:23:01 +0100 <maerwald> I proposed those rules to the mods, we'll see how they decide.
2022-03-14 11:24:11 +0100ph88(~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl)
2022-03-14 11:24:21 +0100 <kuribas> maerwald: what were those rules?
2022-03-14 11:24:45 +0100 <maerwald> I'm not going to repeat myself, you can scroll up
2022-03-14 11:25:44 +0100 <kuribas> I only see a remark about "troll posts".
2022-03-14 11:26:04 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-14 11:26:26 +0100 <romesrf> Hi, cabal question: when defining a library in the package file, how should I set the ghc-options? What I mean is, if the executable is compiled with -O2, will the library also be compiled with O2? The same for -fllvm, etc
2022-03-14 11:26:42 +0100 <romesrf> How should I set ghc-options in the library to guarantee that?
2022-03-14 11:27:08 +0100nishant(~Nishant@49.37.242.151) (Quit: Leaving)
2022-03-14 11:27:20 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-14 11:29:44 +0100 <kuribas> maerwald: BTW, if there should be rules on job-postings, then there should be also a rule to at least show: - what the job is about, - salary range.
2022-03-14 11:30:07 +0100 <maerwald> kuribas: I absolutely agree. It's very annoying to ask for salary expectations all the time. I have better things to do ;)
2022-03-14 11:31:08 +0100 <maerwald> It's like I put "software engineering" on my CV and expect themto ask what exactly I mean
2022-03-14 11:32:03 +0100euandreh(~euandreh@2804:14c:33:9fe5:2e86:80a5:f58b:d1a4) (Ping timeout: 252 seconds)
2022-03-14 11:32:31 +0100cosimone(~user@93-44-187-176.ip98.fastwebnet.it)
2022-03-14 11:32:59 +0100euandreh(~euandreh@2804:14c:33:9fe5:a4f7:3458:36c4:ffd7)
2022-03-14 11:33:09 +0100 <Inst> anyone want a 20-80 USD tutoring job?
2022-03-14 11:33:49 +0100 <maerwald> Inst: maybe you have more success posting this on discourse
2022-03-14 11:33:56 +0100 <maerwald> (don't use reddit)
2022-03-14 11:34:06 +0100 <maerwald> https://discourse.haskell.org/
2022-03-14 11:34:16 +0100 <Inst> merci
2022-03-14 11:34:34 +0100 <Inst> or should it be bedankt?
2022-03-14 11:34:57 +0100 <xerox> Inst: what is it about?
2022-03-14 11:35:07 +0100 <Inst> Haskell / Comp Sci tutoring
2022-03-14 11:37:09 +0100 <kuribas> Inst: nederlands?
2022-03-14 11:37:39 +0100 <Inst> was trying to guess maerwald's origin (Ospald more implies German / Austrian, or perhaps Scandinavian country)
2022-03-14 11:37:45 +0100 <Inst> and try to say thank you in his native language
2022-03-14 11:38:17 +0100 <Inst> 谢谢，arigato,kangsamnida, danke, etc...
2022-03-14 11:38:33 +0100 <Inst> gracias, grazie, etc
2022-03-14 11:41:09 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-14 11:41:16 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 11:47:33 +0100 <romesrf> Inst: 20-80 USD per hour?
2022-03-14 11:48:25 +0100 <kuribas> Inst: -60? So I pay you 60$, and I teach you?
2022-03-14 11:48:51 +0100 <Inst> sounds like a good deal!
2022-03-14 11:49:27 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-14 11:51:58 +0100 <kuribas> Inst: indeed! Let me know if you find someone.
2022-03-14 11:54:40 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 250 seconds)
2022-03-14 11:56:20 +0100agumonkey(~user@88.163.231.79)
2022-03-14 11:56:32 +0100Lucretia(~laguest@user/lucretia) (Konversation terminated!)
2022-03-14 11:57:15 +0100 <Inst> https://discourse.haskell.org/t/looking-for-haskell-comp-sci-tutor/4195
2022-03-14 12:00:03 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-14 12:00:36 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-14 12:03:04 +0100razetime(~quassel@117.254.35.152)
2022-03-14 12:03:25 +0100 <maerwald> Inst: maybe also add your timezone there
2022-03-14 12:09:33 +0100 <Inst> thanks
2022-03-14 12:10:57 +0100razetime(~quassel@117.254.35.152) (Ping timeout: 240 seconds)
2022-03-14 12:11:16 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:64ad:f021:a34e:c231)
2022-03-14 12:11:46 +0100razetime(~quassel@117.254.35.152)
2022-03-14 12:12:27 +0100coot(~coot@213.134.190.95)
2022-03-14 12:16:02 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:64ad:f021:a34e:c231) (Ping timeout: 252 seconds)
2022-03-14 12:16:42 +0100tomboy64(~tomboy64@user/tomboy64) (Quit: Off to see the wizard.)
2022-03-14 12:17:39 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-14 12:18:06 +0100fendor_(~fendor@77.119.195.147.wireless.dyn.drei.com)
2022-03-14 12:19:54 +0100Pickchea(~private@user/pickchea) (Ping timeout: 252 seconds)
2022-03-14 12:20:21 +0100fendor(~fendor@178.115.62.26.wireless.dyn.drei.com) (Ping timeout: 245 seconds)
2022-03-14 12:22:23 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-14 12:22:30 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 12:24:24 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-03-14 12:24:56 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2022-03-14 12:25:57 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-03-14 12:33:53 +0100ardell(~ardell@user/ardell) (Quit: Konversation terminated!)
2022-03-14 12:38:28 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-14 12:39:30 +0100yaroot_(~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953)
2022-03-14 12:39:43 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-14 12:41:02 +0100yaroot(~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 250 seconds)
2022-03-14 12:41:03 +0100yaroot_yaroot
2022-03-14 12:41:23 +0100Midjak(~Midjak@82.66.147.146)
2022-03-14 12:41:49 +0100tremon(~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl)
2022-03-14 12:55:33 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-03-14 12:56:10 +0100rtsn(~nstr@h-98-128-229-174.NA.cust.bahnhof.se)
2022-03-14 12:56:50 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 12:58:05 +0100unyu(~pyon@user/pyon)
2022-03-14 12:58:47 +0100jackson99(~bc8147f2@cerf.good1.com)
2022-03-14 13:00:25 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-03-14 13:03:46 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 13:10:04 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds)
2022-03-14 13:12:00 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-14 13:16:42 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-14 13:16:42 +0100boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-14 13:33:00 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-03-14 13:35:08 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-14 13:39:02 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-03-14 13:43:52 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 250 seconds)
2022-03-14 13:44:09 +0100Pickchea(~private@user/pickchea)
2022-03-14 13:45:32 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-14 13:47:57 +0100acidjnk(~acidjnk@p200300d0c7049f845552850e41000a61.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-14 13:50:17 +0100sprout_(~quassel@2a02:a467:ccd6:1:dc5b:897:dfbc:2d30)
2022-03-14 13:53:41 +0100sprout(~quassel@2a02:a467:ccd6:1:fc09:57a0:d89c:b417) (Ping timeout: 245 seconds)
2022-03-14 13:56:59 +0100nexus_(~nexus@178-164-208-109.pool.digikabel.hu) (Ping timeout: 272 seconds)
2022-03-14 13:57:58 +0100nexus_(~nexus@91-83-1-220.pool.digikabel.hu)
2022-03-14 13:59:42 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-03-14 14:01:36 +0100sprout(~quassel@2a02:a467:ccd6:1:dc5b:897:dfbc:2d30)
2022-03-14 14:03:17 +0100sprout_(~quassel@2a02:a467:ccd6:1:dc5b:897:dfbc:2d30) (Ping timeout: 252 seconds)
2022-03-14 14:05:14 +0100shriekingnoise(~shrieking@201.231.16.156)
2022-03-14 14:08:47 +0100razetime(~quassel@117.254.35.152) (Ping timeout: 252 seconds)
2022-03-14 14:12:39 +0100FilipKalan(~FilipKala@77.28.128.234)
2022-03-14 14:16:43 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 14:17:26 +0100raym(~raym@user/raym) (Quit: technical problems, rebooting...)
2022-03-14 14:19:16 +0100raym(~raym@user/raym)
2022-03-14 14:20:05 +0100razetime(~quassel@117.254.34.245)
2022-03-14 14:22:04 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca)
2022-03-14 14:22:26 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Read error: Connection reset by peer)
2022-03-14 14:22:45 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca)
2022-03-14 14:22:47 +0100toulene7(~toulene@user/toulene)
2022-03-14 14:23:04 +0100toulene(~toulene@user/toulene) (Read error: Connection reset by peer)
2022-03-14 14:23:05 +0100toulene7toulene
2022-03-14 14:35:43 +0100bahamas(~lucian@84.232.140.52)
2022-03-14 14:47:01 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-03-14 14:51:02 +0100alp(~alp@user/alp) (Ping timeout: 240 seconds)
2022-03-14 14:52:32 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-03-14 14:54:12 +0100zebrag(~chris@user/zebrag)
2022-03-14 14:57:10 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-14 15:06:57 +0100Sgeo(~Sgeo@user/sgeo)
2022-03-14 15:07:24 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-03-14 15:08:44 +0100Pickchea(~private@user/pickchea) (Ping timeout: 252 seconds)
2022-03-14 15:09:10 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-03-14 15:15:18 +0100ec(~ec@gateway/tor-sasl/ec)
2022-03-14 15:19:43 +0100bahamas(~lucian@86.120.77.115)
2022-03-14 15:25:52 +0100alp(~alp@user/alp)
2022-03-14 15:31:21 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-14 15:35:20 +0100briandaed(~root@109.95.142.93.r.toneticgroup.pl)
2022-03-14 15:37:00 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-14 15:40:42 +0100lottaquestions(~nick@104.221.94.126) (Quit: Konversation terminated!)
2022-03-14 15:46:38 +0100 <FilipKalan> [Hiring] Remote Haskell Engineer
2022-03-14 15:46:38 +0100 <FilipKalan> Adeva - a global talent network that enables work without boundaries by connecting high-scale companies with distributed tech talent across the world is hiring Haskell Engineers. The position is fully remote, time-flexible and the wages start at around 9000$ monthly.
2022-03-14 15:46:39 +0100 <FilipKalan> If you are interested, you can easily apply at the following link:
2022-03-14 15:46:39 +0100 <FilipKalan> https://adevait.com/careers/job-openings/2RlkV5WePY
2022-03-14 15:47:41 +0100 <geekosaur> this is probably better done on discourse.haskell.org or reddit. not that it's wrong to do it here but fewer people will notice
2022-03-14 15:49:48 +0100 <FilipKalan> Thank you for your recommendation!
2022-03-14 15:51:24 +0100 <shapr> wat
2022-03-14 15:53:17 +0100 <geekosaur> hm?
2022-03-14 15:53:56 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-03-14 15:55:55 +0100notzmv(~zmv@user/notzmv)
2022-03-14 16:00:07 +0100rekahsoft(~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6)
2022-03-14 16:01:17 +0100lechner(~lechner@debian/lechner) (Ping timeout: 240 seconds)
2022-03-14 16:02:26 +0100FilipKalan(~FilipKala@77.28.128.234) (Quit: Client closed)
2022-03-14 16:02:29 +0100Pickchea(~private@user/pickchea)
2022-03-14 16:02:33 +0100lechner(~lechner@debian/lechner)
2022-03-14 16:02:43 +0100dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-14 16:03:48 +0100marquis_andras(~marquis_a@61.69.224.60) (Ping timeout: 240 seconds)
2022-03-14 16:05:26 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-14 16:05:48 +0100marquis_andras(~marquis_a@14-201-230-116.tpgi.com.au)
2022-03-14 16:06:26 +0100 <janus> @tell romesrf you can put the options in the 'common' stanza and they will apply to all.if you have multiple cabal files i guess you need to use cabal.project/.local
2022-03-14 16:06:26 +0100 <lambdabot> Consider it noted.
2022-03-14 16:06:42 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-14 16:07:20 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-14 16:09:31 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 245 seconds)
2022-03-14 16:12:20 +0100dextaa_(~dextaa@user/dextaa)
2022-03-14 16:13:16 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2022-03-14 16:14:02 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-03-14 16:15:44 +0100Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si)
2022-03-14 16:18:41 +0100agumonkey(~user@88.163.231.79) (Read error: Connection reset by peer)
2022-03-14 16:19:02 +0100unit73e(~ecouto@2001:818:e8dd:7c00:68a7:58c1:6b19:bf7d)
2022-03-14 16:19:05 +0100 <unit73e> hello
2022-03-14 16:19:40 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-03-14 16:20:08 +0100 <unit73e> I'm trying to have a ByteString that can skip bytes but it seems like Get will have to be it just not to repeat code, though it's not the intended use case
2022-03-14 16:20:36 +0100agumonkey(~user@37.165.146.191)
2022-03-14 16:20:39 +0100 <unit73e> Reason being that xp3 files first check were the file ranges are located, and then get the files
2022-03-14 16:20:46 +0100 <unit73e> unless someone here has a better idea
2022-03-14 16:20:54 +0100agumonkey(~user@37.165.146.191) (Read error: Connection reset by peer)
2022-03-14 16:21:10 +0100razetime(~quassel@117.254.34.245) (Ping timeout: 250 seconds)
2022-03-14 16:21:34 +0100 <unit73e> I could use the good old drop, take, etc but that would end up just being something like Get
2022-03-14 16:23:42 +0100 <lortabac> unit73e: there is a 'skip' function in Data.Binary.Get, is it what you need?
2022-03-14 16:23:44 +0100agumonkey(~user@37.175.209.151)
2022-03-14 16:24:06 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-14 16:30:03 +0100bsdbandit(~bwell@users.757.org) (Ping timeout: 268 seconds)
2022-03-14 16:30:37 +0100Pickchea(~private@user/pickchea) (Ping timeout: 240 seconds)
2022-03-14 16:31:01 +0100razetime(~quassel@117.254.35.152)
2022-03-14 16:32:08 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-03-14 16:36:27 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2022-03-14 16:36:43 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-14 16:37:40 +0100jao(~jao@45.134.142.199)
2022-03-14 16:38:11 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 16:39:59 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-14 16:40:24 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-14 16:40:38 +0100Vajb(~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813)
2022-03-14 16:41:12 +0100 <unit73e> lortabac, that's what I'm using right now. I think it's good enough.
2022-03-14 16:41:41 +0100 <unit73e> not sure what will happen since it's the idea is to extract, so Get (IO ())
2022-03-14 16:41:43 +0100 <unit73e> but we'll see
2022-03-14 16:42:13 +0100samhh(7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection)
2022-03-14 16:42:13 +0100sm2n(ae95cb1267@user/sm2n) (Write error: Broken pipe)
2022-03-14 16:42:13 +0100dawdler(035b60b5aa@user/dawdler) (Write error: Broken pipe)
2022-03-14 16:42:13 +0100pranaysashank(ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection)
2022-03-14 16:42:13 +0100Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection)
2022-03-14 16:42:13 +0100jleightcap(7bc4014b62@user/jleightcap) (Remote host closed the connection)
2022-03-14 16:42:13 +0100jakzale(6291399afa@user/jakzale) (Remote host closed the connection)
2022-03-14 16:42:13 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) (Remote host closed the connection)
2022-03-14 16:42:13 +0100filwisher(2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection)
2022-03-14 16:42:13 +0100evanrelf(3addc196af@2604:bf00:561:2000::f0) (Remote host closed the connection)
2022-03-14 16:42:13 +0100zoglesby(f0f8ca1525@user/zoglesby) (Remote host closed the connection)
2022-03-14 16:42:14 +0100jkoshy(99b9359beb@2604:bf00:561:2000::10f) (Remote host closed the connection)
2022-03-14 16:42:14 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection)
2022-03-14 16:42:14 +0100tdmm(1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection)
2022-03-14 16:42:14 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e) (Remote host closed the connection)
2022-03-14 16:42:15 +0100fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection)
2022-03-14 16:42:17 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (Remote host closed the connection)
2022-03-14 16:42:19 +0100 <lortabac> unit73e: sorry I don't understand
2022-03-14 16:42:33 +0100filwisher(2e6936c793@2604:bf00:561:2000::170)
2022-03-14 16:42:34 +0100samhh(7569f027cf@2604:bf00:561:2000::e4)
2022-03-14 16:42:34 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2022-03-14 16:42:34 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2022-03-14 16:42:39 +0100dawdler(035b60b5aa@2604:bf00:561:2000::3b6)
2022-03-14 16:42:41 +0100zoglesby(f0f8ca1525@user/zoglesby)
2022-03-14 16:42:41 +0100jakzale(6291399afa@user/jakzale)
2022-03-14 16:42:41 +0100fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2022-03-14 16:42:47 +0100dawdler(035b60b5aa@2604:bf00:561:2000::3b6) (Changing host)
2022-03-14 16:42:47 +0100dawdler(035b60b5aa@user/dawdler)
2022-03-14 16:42:48 +0100evanrelf(3addc196af@2604:bf00:561:2000::f0)
2022-03-14 16:42:48 +0100jkoshy(99b9359beb@2604:bf00:561:2000::10f)
2022-03-14 16:42:48 +0100tdmm(1c9b9145fc@2604:bf00:561:2000::1c8)
2022-03-14 16:42:49 +0100shreyasminocha(51fdc93eda@user/shreyasminocha)
2022-03-14 16:42:50 +0100sm2n(ae95cb1267@user/sm2n)
2022-03-14 16:42:50 +0100raghavgururajan(ea769b8000@user/raghavgururajan)
2022-03-14 16:43:03 +0100Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2022-03-14 16:43:03 +0100jleightcap(7bc4014b62@user/jleightcap)
2022-03-14 16:43:03 +0100pranaysashank(ef3e56ca8b@2604:bf00:561:2000::3c4)
2022-03-14 16:43:23 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-14 16:44:30 +0100 <unit73e> lortabac, I need to do copies of ranges of a bytestring, so I need to know how much I read. that's why I need something like Get or something that tells me how much I read already. At least that makes sense to me. Now Get is supposed to transform a ByteString into something else, but I'm using it to get ranges.
2022-03-14 16:44:41 +0100 <unit73e> I don't think it's a problem, but I'll find out
2022-03-14 16:45:06 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 16:45:28 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 16:45:30 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-14 16:45:58 +0100 <lortabac> unit73e: so you want to define an instance 'Get (IO ())'?
2022-03-14 16:46:44 +0100 <unit73e> lortabac, that's what I need to do. It's not like I don't know what to do, it's just that I don't know a better way.
2022-03-14 16:46:55 +0100 <unit73e> if there's a better way at all
2022-03-14 16:47:01 +0100nexus_(~nexus@91-83-1-220.pool.digikabel.hu) (Ping timeout: 245 seconds)
2022-03-14 16:47:08 +0100 <lortabac> sorry I meant 'Binary (IO ())'
2022-03-14 16:48:13 +0100 <lortabac> I think it's often a good idea to create some intermediate structured type before executing IO
2022-03-14 16:48:36 +0100 <lortabac> it allows you to separate the pure seralization part from the side effects
2022-03-14 16:48:51 +0100bahamas(~lucian@86.120.77.115) (Ping timeout: 252 seconds)
2022-03-14 16:49:00 +0100nexus_(~nexus@80-95-69-192.pool.digikabel.hu)
2022-03-14 16:50:39 +0100 <unit73e> so something like this example: https://wiki.haskell.org/Serialisation_and_compression_with_Data_Binary
2022-03-14 16:51:13 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 16:51:20 +0100 <unit73e> but in my case I need to get sub-strings of the bytestring. the xp3 file has many files in it.
2022-03-14 16:51:35 +0100 <unit73e> in general the idea would be the same though
2022-03-14 16:52:08 +0100 <lortabac> yes, I would define a Ranges data type with all the substrings that you need
2022-03-14 16:52:42 +0100 <lortabac> then you may define a Binary instance for that type (or you can do it without the type class)
2022-03-14 16:53:43 +0100 <unit73e> hum, ok. that sounds like a good idea.
2022-03-14 16:54:00 +0100 <unit73e> better than cheating with Get. thanks
2022-03-14 16:55:09 +0100benin(~benin@183.82.26.94)
2022-03-14 16:56:53 +0100 <merijn> Why is Get cheating?
2022-03-14 16:57:05 +0100 <merijn> I would personally highly recommend explicit use of Get over Binary
2022-03-14 16:59:16 +0100coot(~coot@213.134.190.95)
2022-03-14 17:00:03 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2022-03-14 17:00:11 +0100alMalsamolumberjack123
2022-03-14 17:01:25 +0100 <unit73e> merijn, because it's supposed to be used for building structures, but I shouldn't really care about that I guess
2022-03-14 17:01:52 +0100 <unit73e> if all I want to copy data, so be it
2022-03-14 17:02:13 +0100 <merijn> Get is basically a parser combinator monad for byte data
2022-03-14 17:02:40 +0100 <unit73e> yes, I successfuly used it to parse the xp3 index
2022-03-14 17:02:47 +0100 <unit73e> that part works very well
2022-03-14 17:03:21 +0100 <unit73e> the xp3 index has items, which are files, and then segments, which are the ranges were the binary data actually is in the xp3 file
2022-03-14 17:03:38 +0100 <unit73e> each range can be compressed or not
2022-03-14 17:04:05 +0100 <unit73e> so I could use Get anyway, skip to the ranges I want, and copy the data to files
2022-03-14 17:04:22 +0100EvanR(~EvanR@user/evanr)
2022-03-14 17:04:33 +0100 <unit73e> does that sound kind a dumb or not really?
2022-03-14 17:05:54 +0100 <unit73e> of course I need the segments to be sorted but that's easy
2022-03-14 17:06:51 +0100 <lortabac> unit73e: I'd say if it works then it's not dumb :)
2022-03-14 17:07:03 +0100 <unit73e> :) yeah
2022-03-14 17:07:22 +0100 <lortabac> it's just that if you separate the serialization logic from the side effects the code tends to become cleaner
2022-03-14 17:08:05 +0100 <unit73e> I can deal with that later I guess. for now I'll just have it working. At one point I'll publish it in hackage.
2022-03-14 17:08:12 +0100 <unit73e> when it does something useful
2022-03-14 17:08:52 +0100tomboy64(~tomboy64@user/tomboy64)
2022-03-14 17:11:54 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:e9d9:d179:7feb:e279) (Quit: WeeChat 2.8)
2022-03-14 17:12:25 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:64ad:f021:a34e:c231)
2022-03-14 17:14:54 +0100Akiva(~Akiva@user/Akiva)
2022-03-14 17:16:12 +0100Vajb(~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer)
2022-03-14 17:16:59 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-14 17:17:48 +0100agumonkey(~user@37.175.209.151) (Ping timeout: 240 seconds)
2022-03-14 17:19:38 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2022-03-14 17:22:12 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-03-14 17:22:28 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-03-14 17:23:52 +0100v0rpun1(~pvorp@2001:861:3881:c690:cdf8:3ec7:b816:ed30)
2022-03-14 17:24:00 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 250 seconds)
2022-03-14 17:24:28 +0100v0rpun1(~pvorp@2001:861:3881:c690:cdf8:3ec7:b816:ed30) (Client Quit)
2022-03-14 17:25:03 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
2022-03-14 17:26:08 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-14 17:26:38 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 17:29:55 +0100Giovanni(~Giovanni@176.55.166.222)
2022-03-14 17:30:58 +0100Lizarus(~Lizarus@178.89.163.184)
2022-03-14 17:31:07 +0100 <Lizarus> Guys
2022-03-14 17:31:20 +0100 <Lizarus> what's the best hackage library to work with gtk
2022-03-14 17:31:46 +0100 <Lizarus> i just want to create some simple gui apps
2022-03-14 17:31:47 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee)
2022-03-14 17:33:27 +0100 <Hecate> Lizarus: I think monomer is nice
2022-03-14 17:33:29 +0100 <Hecate> check it out
2022-03-14 17:35:41 +0100 <[exa]> Lizarus: gi-gtk seems like the "maintained" bindings, but ^ very recommendable
2022-03-14 17:36:21 +0100tomboy64(~tomboy64@user/tomboy64) (Remote host closed the connection)
2022-03-14 17:37:14 +0100tomboy64(~tomboy64@user/tomboy64)
2022-03-14 17:41:28 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-14 17:42:01 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-14 17:42:42 +0100mud(~mud@user/kadoban) (Remote host closed the connection)
2022-03-14 17:43:07 +0100mud(~mud@user/kadoban)
2022-03-14 17:43:35 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com)
2022-03-14 17:43:48 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Remote host closed the connection)
2022-03-14 17:45:08 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-14 17:46:23 +0100stef204(~stef204@user/stef204)
2022-03-14 17:48:44 +0100 <maerwald> Lizarus: I prefer gtk3
2022-03-14 17:49:54 +0100razetime(~quassel@117.254.35.152) (Ping timeout: 252 seconds)
2022-03-14 17:50:27 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Remote host closed the connection)
2022-03-14 17:50:50 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com)
2022-03-14 17:51:25 +0100zebrag(~chris@user/zebrag)
2022-03-14 17:52:39 +0100alp(~alp@user/alp) (Ping timeout: 252 seconds)
2022-03-14 17:57:28 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-03-14 18:01:16 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-14 18:03:00 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 18:08:03 +0100Lizarus(~Lizarus@178.89.163.184) (Quit: Connection closed)
2022-03-14 18:08:07 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-14 18:08:42 +0100stef204(~stef204@user/stef204) (Quit: WeeChat 3.4)
2022-03-14 18:09:07 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-14 18:09:11 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-14 18:10:12 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-03-14 18:10:26 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 18:11:45 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-14 18:14:16 +0100_xor(~xor@dsl-50-5-233-169.fuse.net) (Ping timeout: 250 seconds)
2022-03-14 18:15:25 +0100_xor(~xor@dsl-50-5-233-169.fuse.net)
2022-03-14 18:15:55 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Remote host closed the connection)
2022-03-14 18:17:11 +0100Guest5114(~Guest51@94.231.133.170)
2022-03-14 18:17:28 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-14 18:18:12 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-14 18:19:23 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-14 18:20:26 +0100econo(uid147250@user/econo)
2022-03-14 18:21:01 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-14 18:21:17 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 18:21:31 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-14 18:21:41 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Remote host closed the connection)
2022-03-14 18:21:50 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-14 18:23:06 +0100bahamas(~lucian@84.232.140.52)
2022-03-14 18:24:50 +0100Guest5114(~Guest51@94.231.133.170) (Quit: Client closed)
2022-03-14 18:25:46 +0100motherfsck(~motherfsc@user/motherfsck)
2022-03-14 18:27:25 +0100chele(~chele@user/chele) (Remote host closed the connection)
2022-03-14 18:27:38 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-14 18:28:13 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-14 18:28:26 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-14 18:29:17 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-14 18:31:15 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-14 18:32:15 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-14 18:32:20 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-03-14 18:33:19 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-03-14 18:37:32 +0100motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2022-03-14 18:38:46 +0100motherfsck(~motherfsc@user/motherfsck)
2022-03-14 18:39:51 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-14 18:45:43 +0100pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-14 18:46:36 +0100stef204(~stef204@user/stef204)
2022-03-14 18:47:15 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-03-14 18:47:17 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-14 18:48:12 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 252 seconds)
2022-03-14 18:48:48 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-14 18:50:02 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-03-14 18:50:42 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 18:52:21 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-14 18:53:10 +0100mbuf(~Shakthi@223.178.86.208) (Quit: Leaving)
2022-03-14 18:54:21 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-14 18:54:29 +0100x_kuru(xkuru@user/xkuru)
2022-03-14 18:54:35 +0100 <energizer> Typeclasses mean that when i want to implement f for both X and Y I need to say X and Y implement typeclass C and f is available to C-implementers. and then C T => g T in terms of f. why is that better than just making f available directly and g in terms of that, without introducing the typeclass at all? assume 1) namespacing such that f can be uniquely identified and 2) the typeclass system that doesn't take proofs of the typeclass laws. In other
2022-03-14 18:54:35 +0100 <energizer> words, the typeclass might as well be called "Hasf" and implemented automatically behind the scences for any type that has f.
2022-03-14 18:57:10 +0100xkuru(~xkuru@user/xkuru) (Ping timeout: 250 seconds)
2022-03-14 18:58:29 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-14 18:59:03 +0100agumonkey(~user@88.163.231.79)
2022-03-14 19:00:10 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-14 19:01:41 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 250 seconds)
2022-03-14 19:02:09 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-14 19:05:29 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-14 19:06:59 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-14 19:08:58 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-14 19:09:01 +0100nexus_(~nexus@80-95-69-192.pool.digikabel.hu) (Ping timeout: 256 seconds)
2022-03-14 19:09:29 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-14 19:10:32 +0100nexus_(~nexus@fibhost-67-47-34.fibernet.hu)
2022-03-14 19:12:49 +0100belphegor666(~satan@user/belphegor666)
2022-03-14 19:13:42 +0100vglfr(~vglfr@46.96.161.0)
2022-03-14 19:17:55 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-14 19:18:18 +0100mastarija(~mastarija@2a05:4f46:e04:6000:71d1:cc1d:c135:158b)
2022-03-14 19:18:57 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-14 19:18:57 +0100mastarija(~mastarija@2a05:4f46:e04:6000:71d1:cc1d:c135:158b) (Client Quit)
2022-03-14 19:20:00 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 19:20:45 +0100agumonkey(~user@88.163.231.79) (Ping timeout: 250 seconds)
2022-03-14 19:21:22 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-14 19:29:48 +0100jinsun(~jinsun@user/jinsun)
2022-03-14 19:30:26 +0100hololeap(~hololeap@user/hololeap)
2022-03-14 19:31:25 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds)
2022-03-14 19:31:47 +0100stef204(~stef204@user/stef204) (Quit: WeeChat 3.4)
2022-03-14 19:32:03 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-14 19:32:12 +0100jinsun__(~jinsun@user/jinsun) (Ping timeout: 240 seconds)
2022-03-14 19:33:23 +0100 <Logio> what is the type of f in the latter case?
2022-03-14 19:35:47 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2022-03-14 19:36:32 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-14 19:37:31 +0100v0rpun1(~pvorp@2001:861:3881:c690:4295:9ff7:4e0c:3709)
2022-03-14 19:38:45 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-03-14 19:40:41 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-14 19:40:41 +0100stef204(~stef204@user/stef204)
2022-03-14 19:41:31 +0100agumonkey(~user@88.163.231.79)
2022-03-14 19:44:43 +0100rekahsoft(~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6) (Ping timeout: 256 seconds)
2022-03-14 19:58:13 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-14 19:58:29 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2022-03-14 19:59:09 +0100jespada(~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 252 seconds)
2022-03-14 20:00:20 +0100jespada(~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net)
2022-03-14 20:02:20 +0100epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-03-14 20:02:31 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds)
2022-03-14 20:03:01 +0100jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-03-14 20:03:38 +0100jinsun(~jinsun@user/jinsun)
2022-03-14 20:05:41 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-14 20:07:04 +0100gehmehgeh(~user@user/gehmehgeh)
2022-03-14 20:20:31 +0100Guest84(~Guest84@2601:602:87f:4220:c3f4:c3dc:6b1f:b324)
2022-03-14 20:20:39 +0100deadmarshal_(~deadmarsh@95.38.231.29) (Ping timeout: 256 seconds)
2022-03-14 20:21:13 +0100 <Guest84> Hello!
2022-03-14 20:23:17 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-03-14 20:23:24 +0100liz_(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa)
2022-03-14 20:23:36 +0100rekahsoft(~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6)
2022-03-14 20:24:12 +0100 <[exa]> \o
2022-03-14 20:25:19 +0100Codaraxis(~Codaraxis@user/codaraxis)
2022-03-14 20:27:24 +0100 <[exa]> energizer: the typeclass serves as a kind of "general schema" that all overloads of a given function need to respect, without that the type _inference_ gets quite problematic (google: "ad-hoc overloading is np-complete")
2022-03-14 20:29:20 +0100bahamas(~lucian@84.232.140.52)
2022-03-14 20:31:59 +0100 <[exa]> energizer: compare this eg. with C++, where the tradeoff is a bit different: the type inference in C++ is unidirectional (thus capable of inferring less information), but there are also fewer restrictions on overloading (you don't need the type schemes of the methods, the only thing you have to ensure is that you don't have "ambiguous" return types with the same-parameter overloads)
2022-03-14 20:33:24 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-03-14 20:37:16 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-14 20:38:47 +0100jinsun__(~jinsun@user/jinsun)
2022-03-14 20:41:36 +0100jinsun(~jinsun@user/jinsun) (Ping timeout: 250 seconds)
2022-03-14 20:42:11 +0100vglfr(~vglfr@46.96.161.0) (Ping timeout: 256 seconds)
2022-03-14 20:44:03 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-14 20:44:57 +0100rekahsoft(~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6) (Ping timeout: 240 seconds)
2022-03-14 20:48:30 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e)
2022-03-14 20:51:03 +0100 <Las[m]> Is there a way to explicitly add implicit parameters to a type alias? I specifically want to do something like `type A {x} = B x` to essentially create an alias for `B` where the first parameter is hidden.
2022-03-14 20:51:31 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-03-14 20:52:41 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-14 20:54:56 +0100 <byorgey> Las[m]: no, that's not possible. There would be no way for Haskell to infer the hidden parameter.
2022-03-14 20:55:47 +0100k8yun(~k8yun@user/k8yun)
2022-03-14 20:57:48 +0100 <Las[m]> well I don't expect it to be inferrable
2022-03-14 20:58:31 +0100 <energizer> [exa]: so what is the point of C++'s Concepts?
2022-03-14 20:58:44 +0100 <Las[m]> In my concrete scenario I have two parameters so I'm doing `type A (y :: MyConst Type x) = something @x`
2022-03-14 20:59:09 +0100 <Las[m]> I'd rather not make use of this hack
2022-03-14 20:59:13 +0100 <geekosaur> I was wondering if you'd used the wrong term, from the syntax
2022-03-14 20:59:27 +0100 <geekosaur> an implicit parameter is ?foo :: type
2022-03-14 20:59:36 +0100 <energizer> [exa]: which iiuc is basically typeclasses
2022-03-14 20:59:48 +0100 <geekosaur> you want to hide a type parameter from TypeApplications, correct?
2022-03-14 20:59:49 +0100 <energizer> (maybe i should ask #c++ instead)
2022-03-14 20:59:50 +0100 <Las[m]> ah yeah I don't mean that kind of implicit parameter, I mean like the ones in Idris
2022-03-14 21:00:02 +0100 <Las[m]> Well I want it to be available through TypeApplications
2022-03-14 21:00:33 +0100 <geekosaur> pretty sure all type params have to be explicit
2022-03-14 21:01:00 +0100agrosant(~agrosant@46.12.50.59.dsl.dyn.forthnet.gr)
2022-03-14 21:01:03 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-03-14 21:01:20 +0100 <Las[m]> well the above work-around does work
2022-03-14 21:01:32 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2022-03-14 21:03:48 +0100Lord_of_Life_Lord_of_Life
2022-03-14 21:04:34 +0100Guest27(~Guest27@2601:281:d47f:1590::6b90)
2022-03-14 21:06:39 +0100 <Guest27> May I ask a noob question about subclassing?
2022-03-14 21:08:25 +0100cjb(~cjb@user/cjb)
2022-03-14 21:09:35 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-14 21:09:35 +0100lagooned(~jme@108-208-149-42.lightspeed.hstntx.sbcglobal.net)
2022-03-14 21:09:39 +0100unit73e(~ecouto@2001:818:e8dd:7c00:68a7:58c1:6b19:bf7d) (Quit: Leaving)
2022-03-14 21:11:49 +0100 <Las[m]> don't ask to ask, just ask the question
2022-03-14 21:11:57 +0100 <Guest27> Oh okay
2022-03-14 21:13:24 +0100 <[exa]> energizer: concepts are much more like simple interface tests, they mostly allow the typechecker to fail early with a good explanation of what the problem is, instead of hitting a problem in a complex context much deeper in the code. Not sure if you can do anything better with them
2022-03-14 21:13:29 +0100fendor_(~fendor@77.119.195.147.wireless.dyn.drei.com) (Remote host closed the connection)
2022-03-14 21:13:53 +0100 <[exa]> the correspondence with typeclasses is AFAIK mostly optical, they describe sensible properties
2022-03-14 21:15:09 +0100 <Guest27> Implementing an Altair BASIC emulator as a learning project. Altair BASIC uses both integers and floating-point and often coerces one into the other for different operations.
2022-03-14 21:15:10 +0100 <Guest27> At the moment I have a BasicNum class that subclasses Num, Integral, etc. and there's lots of boilerplate-looking code like
2022-03-14 21:15:10 +0100 <Guest27> Int i + Dub d = Dub $ fromIntegral i + d
2022-03-14 21:15:10 +0100 <Guest27> Dub d + Int i = Dub $ d + fromIntegral i
2022-03-14 21:15:11 +0100 <yushyin> Guest27: beginner questions are most welcome here (this also applies to any other level of question ofc).
2022-03-14 21:15:11 +0100 <Guest27> etc.
2022-03-14 21:15:11 +0100 <Guest27> Is there a more elegant way to express these coercions in Haskell?
2022-03-14 21:15:23 +0100 <[exa]> Las[m]: why would you need the extra parameter there btw?
2022-03-14 21:15:24 +0100MajorBiscuit(~MajorBisc@c-001-018-036.client.tudelft.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-14 21:16:08 +0100pavonia(~user@user/siracusa)
2022-03-14 21:16:50 +0100 <Las[m]> [exa]: you mean the `y`? It's necessary for other reasons
2022-03-14 21:16:50 +0100kenran(~kenran@200116b82b398800867f448303c43c5e.dip.versatel-1u1.de)
2022-03-14 21:17:03 +0100 <Las[m]> Or are you asking why I need this implicit type parameter in the first place
2022-03-14 21:17:06 +0100 <[exa]> Guest27: there are a few possibilities, the simplest one is literally to make your `Int` and `Dub` to be constructors of a single type, like `data MyNum = MyInt Int |MyFlt Float | ...`
2022-03-14 21:17:18 +0100kenran(~kenran@200116b82b398800867f448303c43c5e.dip.versatel-1u1.de) (Client Quit)
2022-03-14 21:17:27 +0100 <[exa]> Las[m]: yeah, what is the situation where the implicit parameter would help?
2022-03-14 21:17:31 +0100 <[exa]> (they generally don't help much)
2022-03-14 21:17:47 +0100 <Guest27> [exa] Oh it already is. data BasicNum = Int Integer | Dub Double. But I still need to pattern match every possibility right?
2022-03-14 21:18:27 +0100kenran(~kenran@200116b82b398800867f448303c43c5e.dip.versatel-1u1.de)
2022-03-14 21:19:15 +0100 <[exa]> Guest27: yeah, I assumed there aren't that much possibilities
2022-03-14 21:19:29 +0100 <Las[m]> [exa]: the parameter is confusing to users of the API and can in practice always be inferred. It's currently a common practice to just do `B _ y`
2022-03-14 21:20:19 +0100briandaed(~root@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection)
2022-03-14 21:20:55 +0100immae(~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 2.9)
2022-03-14 21:21:09 +0100 <Guest27> [exa] It's not too bad, but if I ever decide to add another number type (e.g. throwing in single-precision Floats as well) the possibilities quickly multiply...
2022-03-14 21:21:14 +0100 <[exa]> if it can be inferred from the other params, can you make a type family for it to autofill it where required?
2022-03-14 21:21:18 +0100 <[exa]> Las[m]: ^
2022-03-14 21:21:45 +0100 <Las[m]> [exa]: I don't see how that would work
2022-03-14 21:22:02 +0100mud(~mud@user/kadoban) (Ping timeout: 240 seconds)
2022-03-14 21:22:32 +0100 <Las[m]> Well it's not even inferred from the other params, it's inferred from the usage in practice. The first and second parameter don't constrain each other
2022-03-14 21:22:52 +0100 <[exa]> not sure about the exact usecase but instead of `data My x y z = My x y z` you could write `data My x y = My x y (GetZFor x y)`
2022-03-14 21:23:14 +0100 <Las[m]> yeah that wouldn't work in my case
2022-03-14 21:23:20 +0100 <[exa]> ah ok
2022-03-14 21:24:36 +0100 <Las[m]> so with newtypes you can usually do `newtype A :: forall x. Y` to explicitly introduce an implicit type parameter, but this syntax doesn't work with type aliases AFAICT
2022-03-14 21:24:48 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-03-14 21:24:56 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 250 seconds)
2022-03-14 21:25:13 +0100 <Las[m]> that is, `newtype A :: forall x. Y where A :: ...` such that it's GADT syntax
2022-03-14 21:25:21 +0100 <[exa]> Guest27: for doing this generically you'd need to encode the whole conversion table (or partial ordering of the subclasses) somehow into the type system. I guess you could do with a bunch of typeclasses
2022-03-14 21:26:08 +0100Pickchea(~private@user/pickchea)
2022-03-14 21:26:35 +0100deadmarshal_(~deadmarsh@95.38.231.29)
2022-03-14 21:27:15 +0100 <[exa]> Las[m]: lenses use type aliases with foralls, although the variable is AFAIK always qualified there
2022-03-14 21:27:48 +0100 <Guest27> [exa] Interesting... thanks for the suggestion/help
2022-03-14 21:27:53 +0100 <[exa]> you need some uncanny extension like Rank2Types or so, but otherwise it should work
2022-03-14 21:29:09 +0100mud(~mud@user/kadoban)
2022-03-14 21:30:33 +0100 <Las[m]> thanks
2022-03-14 21:30:55 +0100deadmarshal_(~deadmarsh@95.38.231.29) (Ping timeout: 256 seconds)
2022-03-14 21:32:58 +0100 <[exa]> Guest27: not sure if that's the best solution but you can code a bit of prolog in multiparameter typeclasses to inductively convert the types at both sides to a common supertype
2022-03-14 21:33:27 +0100nexus_(~nexus@fibhost-67-47-34.fibernet.hu) (Ping timeout: 268 seconds)
2022-03-14 21:33:28 +0100 <[exa]> (honestly I guess other folks here might know better ways to do it)
2022-03-14 21:34:14 +0100 <geekosaur> acme-php? (no, don't do that)
2022-03-14 21:34:20 +0100 <Guest27> Is it easy to integrate Prolog into Haskell? That sounds like a fun solution
2022-03-14 21:34:50 +0100 <[exa]> Guest27: if you disable a few safety checks, haskell type system can be used as prolog
2022-03-14 21:35:01 +0100nexus_(~nexus@84-236-1-101.pool.digikabel.hu)
2022-03-14 21:35:06 +0100 <[exa]> geekosaur: that's everything via strings but yeah I thought about that. :D
2022-03-14 21:36:17 +0100 <[exa]> Guest27: there's a fun post here https://aphyr.com/posts/342-typing-the-technical-interview
2022-03-14 21:37:02 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-03-14 21:37:26 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4)
2022-03-14 21:38:18 +0100jackson99(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2022-03-14 21:38:47 +0100 <Guest27> [exa] "The walls smell of Slack DMs and conflict avoidance." lol this is great
2022-03-14 21:39:03 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-14 21:43:13 +0100immae(~immae@2a01:4f8:141:53e7::)
2022-03-14 21:43:23 +0100acidjnk(~acidjnk@p200300d0c7049f84692835b345d10091.dip0.t-ipconnect.de)
2022-03-14 21:43:51 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-14 21:44:52 +0100 <[exa]> Guest27: anyway, I'm not really sure if this will work for normal (+) from Num, at least not easily. Its interface is pretty strict, and you'd need to hide the subtype information somehow.
2022-03-14 21:48:20 +0100ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-03-14 21:52:14 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-14 21:53:47 +0100sander(~sander@user/sander) (Quit: So long! :))
2022-03-14 21:55:33 +0100sander(~sander@user/sander)
2022-03-14 21:55:50 +0100lavaman(~lavaman@98.38.249.169)
2022-03-14 21:57:19 +0100bahamas(~lucian@84.232.140.52)
2022-03-14 22:01:25 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-03-14 22:05:57 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-14 22:06:03 +0100 <Guest27> [exa] That article was really cool, thanks for sharing. Now to define BASIC integers as Peano numbers :P
2022-03-14 22:08:17 +0100fjmorazan(~quassel@user/fjmorazan) (Quit: fjmorazan)
2022-03-14 22:08:55 +0100fjmorazan(~quassel@user/fjmorazan)
2022-03-14 22:15:46 +0100kuribas(~user@ptr-25vy0i6vc7g38qqigba.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2022-03-14 22:18:12 +0100x_kuru_(~xkuru@user/xkuru)
2022-03-14 22:21:01 +0100cosimone(~user@93-44-187-176.ip98.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1))
2022-03-14 22:21:27 +0100x_kuru(xkuru@user/xkuru) (Ping timeout: 250 seconds)
2022-03-14 22:26:30 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-03-14 22:32:07 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-03-14 22:40:59 +0100k8yun_(~k8yun@user/k8yun)
2022-03-14 22:41:24 +0100k8yun(~k8yun@user/k8yun) (Ping timeout: 252 seconds)
2022-03-14 22:42:36 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-03-14 22:42:49 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-14 22:45:27 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-14 22:49:07 +0100bahamas(~lucian@84.232.140.52)
2022-03-14 22:49:49 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-14 22:54:03 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 252 seconds)
2022-03-14 22:57:22 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-14 22:58:00 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-14 22:58:11 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-14 22:59:53 +0100Guest84(~Guest84@2601:602:87f:4220:c3f4:c3dc:6b1f:b324) (Quit: Client closed)
2022-03-14 23:01:22 +0100kenran(~kenran@200116b82b398800867f448303c43c5e.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-03-14 23:02:26 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 250 seconds)
2022-03-14 23:03:44 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2022-03-14 23:07:32 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-03-14 23:15:38 +0100k8yun_(~k8yun@user/k8yun) (Quit: Leaving)
2022-03-14 23:18:02 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-14 23:21:00 +0100cjb(~cjb@user/cjb) (Ping timeout: 260 seconds)
2022-03-14 23:21:12 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-03-14 23:22:51 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-03-14 23:28:39 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2022-03-14 23:30:41 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-03-14 23:32:09 +0100Guest27(~Guest27@2601:281:d47f:1590::6b90) (Quit: Client closed)
2022-03-14 23:32:23 +0100Guest27(~Guest27@2601:281:d47f:1590::6b90)
2022-03-14 23:33:06 +0100v0rpun1(~pvorp@2001:861:3881:c690:4295:9ff7:4e0c:3709) (Quit: bye)
2022-03-14 23:35:31 +0100jao(~jao@45.134.142.199) (Remote host closed the connection)
2022-03-14 23:41:31 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-14 23:41:44 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-14 23:42:04 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-14 23:42:43 +0100liz_(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Remote host closed the connection)
2022-03-14 23:44:40 +0100Topsi(~Tobias@dyndsl-095-033-027-018.ewe-ip-backbone.de)
2022-03-14 23:48:31 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 272 seconds)
2022-03-14 23:49:04 +0100Topsi(~Tobias@dyndsl-095-033-027-018.ewe-ip-backbone.de) (Client Quit)
2022-03-14 23:50:00 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-0034-44e7-d0a8-40e0.res6.spectrum.com)
2022-03-14 23:53:57 +0100x_kuru_(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-03-14 23:54:37 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 256 seconds)
2022-03-14 23:56:11 +0100stef204(~stef204@user/stef204) (Quit: WeeChat 3.4)
2022-03-14 23:57:03 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-03-14 23:57:45 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-0034-44e7-d0a8-40e0.res6.spectrum.com) (Leaving)
2022-03-14 23:59:17 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)