IRCBrowse

2023/03/23

2023-03-23 00:00:12 +0100jakalx(~jakalx@base.jakalx.net) ()
2023-03-23 00:00:31 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-03-23 00:00:31 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-03-23 00:00:31 +0100wroathe(~wroathe@user/wroathe)
2023-03-23 00:06:37 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-23 00:07:12 +0100srz(~srz@181.228.49.93)
2023-03-23 00:07:44 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-23 00:07:44 +0100hnOsmium0001(uid453710@user/hnOsmium0001)
2023-03-23 00:16:42 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-23 00:17:17 +0100ubert(~Thunderbi@p548c8d0f.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2023-03-23 00:18:34 +0100captnemo(~captnemo@193.32.127.232)
2023-03-23 00:20:25 +0100ubert(~Thunderbi@p548c9c54.dip0.t-ipconnect.de)
2023-03-23 00:21:51 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 00:21:54 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-23 00:22:14 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-03-23 00:25:50 +0100dtman34(~dtman34@76.156.89.180) (Ping timeout: 252 seconds)
2023-03-23 00:26:03 +0100dtman34_(~dtman34@2601:447:d000:93c9:dca4:919:c8a:849c)
2023-03-23 00:37:13 +0100captnemo(~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
2023-03-23 00:39:33 +0100sgarcia(sgarcia@swarm.znchost.com) (Ping timeout: 256 seconds)
2023-03-23 00:39:43 +0100sgarcia(sgarcia@swarm.znchost.com)
2023-03-23 00:43:31 +0100msavoritias(cb716af6b3@irc.cheogram.com) (Ping timeout: 240 seconds)
2023-03-23 00:47:07 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-23 00:48:23 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-23 00:51:31 +0100haskl[error](~haskl@user/haskl)
2023-03-23 00:51:33 +0100haskl(~haskl@user/haskl) (Read error: Connection reset by peer)
2023-03-23 00:54:01 +0100srz(~srz@181.228.49.93) (Ping timeout: 240 seconds)
2023-03-23 00:54:31 +0100acidjnk_new(~acidjnk@p200300d6e715c478d15f8d4e2e4105b1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-03-23 00:54:46 +0100gurkenglas(~gurkengla@dynamic-046-114-181-182.46.114.pool.telefonica.de) (Ping timeout: 246 seconds)
2023-03-23 00:55:28 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds)
2023-03-23 01:00:03 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-03-23 01:01:56 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-23 01:07:01 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-03-23 01:08:54 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-03-23 01:10:15 +0100dcoutts(~duncan@host86-149-51-125.range86-149.btcentralplus.com)
2023-03-23 01:10:59 +0100ubert(~Thunderbi@p548c9c54.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-03-23 01:11:15 +0100ubert(~Thunderbi@p548c9c54.dip0.t-ipconnect.de)
2023-03-23 01:12:31 +0100dcoutts_(~duncan@host86-150-41-249.range86-150.btcentralplus.com) (Ping timeout: 240 seconds)
2023-03-23 01:16:24 +0100slack1256(~slack1256@181.42.50.18)
2023-03-23 01:23:01 +0100mncheckm(~mncheck@193.224.205.254) (Ping timeout: 240 seconds)
2023-03-23 01:31:31 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2023-03-23 01:38:56 +0100nunggu(~q@user/nunggu)
2023-03-23 01:41:23 +0100mauke(~mauke@user/mauke) (Remote host closed the connection)
2023-03-23 01:41:25 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: uppdatar data)
2023-03-23 01:41:34 +0100mauke(~mauke@user/mauke)
2023-03-23 01:42:27 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-03-23 01:43:28 +0100zeenk(~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!)
2023-03-23 01:44:46 +0100Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2023-03-23 01:45:04 +0100Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-03-23 01:45:53 +0100hector(~arthur@c-73-32-119-4.hsd1.tx.comcast.net)
2023-03-23 01:46:01 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-03-23 01:46:43 +0100Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 260 seconds)
2023-03-23 01:46:49 +0100hector(~arthur@c-73-32-119-4.hsd1.tx.comcast.net) ()
2023-03-23 01:47:26 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2023-03-23 01:48:32 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Remote host closed the connection)
2023-03-23 01:48:46 +0100mauke(~mauke@user/mauke) (Ping timeout: 276 seconds)
2023-03-23 01:48:57 +0100mauke(~mauke@user/mauke)
2023-03-23 01:49:49 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2023-03-23 01:51:48 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 01:52:08 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Client Quit)
2023-03-23 01:58:36 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2023-03-23 01:59:51 +0100Ranhir(~Ranhir@157.97.53.139)
2023-03-23 02:00:21 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
2023-03-23 02:04:31 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-03-23 02:05:45 +0100srz(~srz@181.228.49.93)
2023-03-23 02:08:49 +0100srz_(~srz@179.36.65.97)
2023-03-23 02:10:38 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-03-23 02:11:36 +0100srz(~srz@181.228.49.93) (Ping timeout: 255 seconds)
2023-03-23 02:16:44 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-03-23 02:17:01 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Ping timeout: 240 seconds)
2023-03-23 02:25:43 +0100jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb)
2023-03-23 02:26:01 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-03-23 02:27:18 +0100xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 265 seconds)
2023-03-23 02:32:06 +0100abhixec(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
2023-03-23 02:33:53 +0100Square2(~Square4@user/square)
2023-03-23 02:42:28 +0100srz_(~srz@179.36.65.97) (Quit: Leaving)
2023-03-23 02:46:28 +0100srz(~srz@179.36.65.97)
2023-03-23 02:52:12 +0100Square2Square
2023-03-23 02:53:14 +0100nate4(~nate@98.45.169.16)
2023-03-23 02:54:54 +0100catern-catern
2023-03-23 02:58:14 +0100nate4(~nate@98.45.169.16) (Ping timeout: 265 seconds)
2023-03-23 03:03:35 +0100Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-1549-7fc0-0feb-adca.res6.spectrum.com)
2023-03-23 03:05:29 +0100Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-1549-7fc0-0feb-adca.res6.spectrum.com) (Client Quit)
2023-03-23 03:06:15 +0100Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-1549-7fc0-0feb-adca.res6.spectrum.com)
2023-03-23 03:11:00 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-03-23 03:12:29 +0100gmg(~user@user/gehmehgeh)
2023-03-23 03:14:35 +0100gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-03-23 03:15:44 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 246 seconds)
2023-03-23 03:19:49 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-03-23 03:22:25 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 03:25:22 +0100nunggu(~q@user/nunggu) (Quit: nunggu)
2023-03-23 03:28:33 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-03-23 03:31:45 +0100srz(~srz@179.36.65.97) (Remote host closed the connection)
2023-03-23 03:32:35 +0100srz(~srz@179.36.65.97)
2023-03-23 03:41:15 +0100codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 265 seconds)
2023-03-23 03:47:01 +0100nate4(~nate@98.45.169.16)
2023-03-23 03:47:25 +0100Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-1549-7fc0-0feb-adca.res6.spectrum.com) (Quit: ZZZzzz…)
2023-03-23 03:47:41 +0100thegeekinside(~thegeekin@189.141.115.134) (Ping timeout: 250 seconds)
2023-03-23 03:51:58 +0100Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-1549-7fc0-0feb-adca.res6.spectrum.com)
2023-03-23 03:55:38 +0100jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Quit: leaving)
2023-03-23 04:04:30 +0100Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-1549-7fc0-0feb-adca.res6.spectrum.com) (Read error: Connection reset by peer)
2023-03-23 04:05:06 +0100Albina_Pavlovna(~Albina_Pa@047-230-050-118.res.spectrum.com)
2023-03-23 04:05:48 +0100razetime(~Thunderbi@117.193.0.31)
2023-03-23 04:08:40 +0100codaraxis(~codaraxis@user/codaraxis)
2023-03-23 04:09:31 +0100Albina_Pavlovna(~Albina_Pa@047-230-050-118.res.spectrum.com) (Ping timeout: 240 seconds)
2023-03-23 04:13:31 +0100td_(~td@i53870930.versanet.de) (Ping timeout: 240 seconds)
2023-03-23 04:15:36 +0100td_(~td@i53870924.versanet.de)
2023-03-23 04:17:31 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-03-23 04:24:22 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 04:30:57 +0100dipper(~dipper@203.168.8.163)
2023-03-23 04:43:37 +0100mei(~mei@user/mei) (Remote host closed the connection)
2023-03-23 04:46:04 +0100mei(~mei@user/mei)
2023-03-23 04:46:26 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-03-23 04:46:26 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-03-23 04:46:26 +0100finn_elijaFinnElija
2023-03-23 04:46:30 +0100razetime(~Thunderbi@117.193.0.31) (Ping timeout: 265 seconds)
2023-03-23 04:49:24 +0100nate4(~nate@98.45.169.16) (Ping timeout: 265 seconds)
2023-03-23 04:56:14 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 04:57:53 +0100srz(~srz@179.36.65.97) (Quit: Leaving)
2023-03-23 04:58:43 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
2023-03-23 05:03:13 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 05:04:55 +0100Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-1549-7fc0-0feb-adca.res6.spectrum.com)
2023-03-23 05:19:48 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 05:22:53 +0100razetime(~Thunderbi@117.193.0.31)
2023-03-23 05:24:51 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2023-03-23 05:26:19 +0100cassiopea(~cassiopea@user/cassiopea) (Ping timeout: 248 seconds)
2023-03-23 05:28:18 +0100mbuf(~Shakthi@49.207.178.186)
2023-03-23 05:43:26 +0100Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-1549-7fc0-0feb-adca.res6.spectrum.com) (Quit: bb)
2023-03-23 05:43:48 +0100slack1256(~slack1256@181.42.50.18) (Remote host closed the connection)
2023-03-23 05:43:50 +0100trev(~trev@user/trev)
2023-03-23 05:48:22 +0100cassiopea(~cassiopea@user/cassiopea)
2023-03-23 05:48:32 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 05:51:21 +0100michalz(~michalz@185.246.207.221)
2023-03-23 05:53:55 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 06:23:49 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 06:25:47 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-03-23 06:26:33 +0100gmg(~user@user/gehmehgeh)
2023-03-23 06:28:33 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-03-23 06:29:58 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-03-23 06:31:41 +0100jakalx(~jakalx@base.jakalx.net)
2023-03-23 06:32:14 +0100Sgeo(~Sgeo@user/sgeo)
2023-03-23 06:39:51 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 06:45:47 +0100catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 250 seconds)
2023-03-23 06:45:53 +0100nate4(~nate@98.45.169.16)
2023-03-23 06:46:00 +0100msavoritias(cb716af6b3@irc.cheogram.com)
2023-03-23 06:50:43 +0100nate4(~nate@98.45.169.16) (Ping timeout: 265 seconds)
2023-03-23 06:52:40 +0100jakalx(~jakalx@base.jakalx.net) ()
2023-03-23 06:54:01 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-03-23 06:54:13 +0100jakalx(~jakalx@base.jakalx.net)
2023-03-23 07:07:16 +0100freeside_(~mengwong@202.161.55.11) (Ping timeout: 276 seconds)
2023-03-23 07:09:15 +0100incertia(~incertia@209.122.71.127) (Ping timeout: 248 seconds)
2023-03-23 07:09:47 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 264 seconds)
2023-03-23 07:11:26 +0100incertia(~incertia@209.122.71.127)
2023-03-23 07:17:40 +0100mncheck(~mncheck@193.224.205.254)
2023-03-23 07:18:25 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-03-23 07:23:56 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-03-23 07:24:01 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-03-23 07:24:30 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-03-23 07:27:16 +0100freeside(~mengwong@122.11.248.245)
2023-03-23 07:27:35 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 07:28:17 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-23 07:29:33 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-23 07:31:31 +0100razetime(~Thunderbi@117.193.0.31) (Ping timeout: 240 seconds)
2023-03-23 07:33:13 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-03-23 07:36:06 +0100Sgeo(~Sgeo@user/sgeo)
2023-03-23 07:36:54 +0100chomwitt(~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1)
2023-03-23 07:37:46 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-03-23 07:46:51 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-03-23 07:47:01 +0100Vq(~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 240 seconds)
2023-03-23 07:48:56 +0100Vq(~vq@90-227-192-206-no77.tbcn.telia.com)
2023-03-23 07:50:50 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-23 07:57:15 +0100Vajb(~Vajb@2001:999:68c:7f92:37da:222a:b35b:af4d) (Ping timeout: 260 seconds)
2023-03-23 07:57:34 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2023-03-23 07:57:44 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-23 07:58:57 +0100razetime(~Thunderbi@117.193.0.31)
2023-03-23 08:00:00 +0100Vajb(~Vajb@2001:999:489:7277:ab48:5ab4:36c5:acd3)
2023-03-23 08:05:15 +0100ensyde(ensyde@2600:3c02::f03c:93ff:fef7:5529)
2023-03-23 08:09:06 +0100Square(~Square4@user/square) (Remote host closed the connection)
2023-03-23 08:09:46 +0100Square(~Square4@user/square)
2023-03-23 08:09:51 +0100asm(~alexander@user/asm) (Ping timeout: 248 seconds)
2023-03-23 08:11:06 +0100razetime(~Thunderbi@117.193.0.31) (Quit: See You Space Cowboy)
2023-03-23 08:11:34 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 08:12:27 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 08:21:38 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2023-03-23 08:23:42 +0100Techcable(~Techcable@user/Techcable) (Ping timeout: 268 seconds)
2023-03-23 08:25:13 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-23 08:28:05 +0100gurkenglas(~gurkengla@dynamic-046-114-181-182.46.114.pool.telefonica.de)
2023-03-23 08:28:28 +0100asm(~alexander@burner.asm89.io)
2023-03-23 08:28:31 +0100Square(~Square4@user/square) (Ping timeout: 260 seconds)
2023-03-23 08:29:56 +0100asm(~alexander@burner.asm89.io) (Changing host)
2023-03-23 08:29:56 +0100asm(~alexander@user/asm)
2023-03-23 08:30:56 +0100dcoutts(~duncan@host86-149-51-125.range86-149.btcentralplus.com) (Ping timeout: 252 seconds)
2023-03-23 08:32:30 +0100dcoutts(~duncan@host86-149-51-125.range86-149.btcentralplus.com)
2023-03-23 08:34:55 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:cc5e:442d:a4cd:9d3)
2023-03-23 08:35:55 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-03-23 08:40:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-23 08:41:31 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds)
2023-03-23 08:44:14 +0100Techcable(~Techcable@user/Techcable)
2023-03-23 08:53:13 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-03-23 08:53:40 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 08:57:07 +0100catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407)
2023-03-23 08:57:39 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 09:02:35 +0100kenran(~user@user/kenran)
2023-03-23 09:03:53 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-03-23 09:08:54 +0100Lycurgus(~juan@user/Lycurgus)
2023-03-23 09:10:22 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 09:11:32 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-03-23 09:12:54 +0100razetime(~Thunderbi@117.193.0.31)
2023-03-23 09:14:08 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a)
2023-03-23 09:15:56 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a) (Remote host closed the connection)
2023-03-23 09:24:19 +0100Midjak(~Midjak@82.66.147.146)
2023-03-23 09:24:31 +0100 <dminuoso> % (255 :: Word8) + 1
2023-03-23 09:24:31 +0100 <yahb2> <interactive>:20:9: error: ; Not in scope: type constructor or class ‘Word8’ ; Perhaps you meant ‘Word’ (imported from Prelude)
2023-03-23 09:24:31 +0100madjestic(~madjestic@188-207-86-38.mobile.kpn.net)
2023-03-23 09:24:37 +0100 <dminuoso> % import Data.Word
2023-03-23 09:24:37 +0100 <yahb2> <no output>
2023-03-23 09:24:39 +0100 <dminuoso> % (255 :: Word8) + 1
2023-03-23 09:24:39 +0100 <yahb2> 0
2023-03-23 09:24:47 +0100 <dminuoso> Is this behavior guaranteed?
2023-03-23 09:25:36 +0100 <dminuoso> Ah mmm
2023-03-23 09:25:38 +0100 <dminuoso> https://www.haskell.org/onlinereport/haskell2010/haskellch23.html#x31-26000023
2023-03-23 09:25:40 +0100 <dminuoso> All arithmetic is performed modulo 2^n, where n is the number of bits in the type.
2023-03-23 09:25:50 +0100 <dminuoso> I guess that's a guarantee
2023-03-23 09:26:46 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-03-23 09:28:15 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2023-03-23 09:32:22 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 09:33:23 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-03-23 09:33:51 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 09:34:33 +0100acidjnk_new(~acidjnk@p200300d6e715c426d15f8d4e2e4105b1.dip0.t-ipconnect.de)
2023-03-23 09:35:51 +0100Feuermagier(~Feuermagi@user/feuermagier)
2023-03-23 09:42:09 +0100Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2023-03-23 09:42:39 +0100madjestic(~madjestic@188-207-86-38.mobile.kpn.net) (Ping timeout: 248 seconds)
2023-03-23 09:43:58 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-03-23 09:49:50 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2023-03-23 09:51:41 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-03-23 09:55:12 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-23 09:59:03 +0100mastarija(~mastarija@188.252.199.22)
2023-03-23 10:01:33 +0100 <mastarija> Is there a way to specify in cabal / project file additional search paths for C libraries?
2023-03-23 10:02:10 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-03-23 10:03:02 +0100ft(~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving)
2023-03-23 10:04:03 +0100inversed(~inversed@bcdcac82.skybroadband.com) (Ping timeout: 265 seconds)
2023-03-23 10:05:18 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 10:05:46 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-03-23 10:06:56 +0100 <mastarija> Aha, I see that there's the 'extra-lib-dirs' property in the cabal.project format specification. I'm guessing that would be it?
2023-03-23 10:11:39 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-03-23 10:16:18 +0100phma(~phma@2001:5b0:211f:b388:18f6:45b8:11f7:3fc4) (Read error: Connection reset by peer)
2023-03-23 10:16:25 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a)
2023-03-23 10:16:32 +0100inversed(~inversed@bcdcac82.skybroadband.com)
2023-03-23 10:20:01 +0100phma(phma@2001:5b0:211f:ddb8:2d78:5150:d16:dc20)
2023-03-23 10:20:59 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a) (Ping timeout: 260 seconds)
2023-03-23 10:27:39 +0100gehmehgeh(~user@user/gehmehgeh)
2023-03-23 10:27:56 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-03-23 10:32:30 +0100vpan(~0@212.117.1.172)
2023-03-23 10:35:31 +0100acidjnk_new(~acidjnk@p200300d6e715c426d15f8d4e2e4105b1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-03-23 10:37:43 +0100zeenk(~zeenk@2a02:2f04:a307:2300::7fe)
2023-03-23 10:46:56 +0100nate4(~nate@98.45.169.16)
2023-03-23 10:50:40 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 10:51:31 +0100nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-03-23 10:51:58 +0100__monty__(~toonn@user/toonn)
2023-03-23 10:52:31 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-03-23 10:55:23 +0100 <chreekat> seems possible https://cabal.readthedocs.io/en/stable/cabal-project.html#cfg-field-extra-lib-dirs
2023-03-23 10:56:06 +0100acidjnk_new(~acidjnk@p200300d6e715c426d15f8d4e2e4105b1.dip0.t-ipconnect.de)
2023-03-23 10:56:35 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Read error: Connection reset by peer)
2023-03-23 10:57:24 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2023-03-23 10:58:31 +0100dipper(~dipper@203.168.8.163) (Ping timeout: 240 seconds)
2023-03-23 10:58:37 +0100dipper_(~dipper@117.61.117.59)
2023-03-23 11:03:17 +0100CiaoSen(~Jura@p200300c9571fe6002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-03-23 11:13:11 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 265 seconds)
2023-03-23 11:13:20 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2023-03-23 11:13:36 +0100kenran(~user@user/kenran)
2023-03-23 11:17:47 +0100gentauro(~gentauro@user/gentauro) (Ping timeout: 248 seconds)
2023-03-23 11:19:12 +0100gentauro(~gentauro@user/gentauro)
2023-03-23 11:20:18 +0100NiceBird(~NiceBird@185.133.111.196)
2023-03-23 11:22:04 +0100ubert1(~Thunderbi@2a02:8109:abc0:6434:8826:469:5afb:39b8)
2023-03-23 11:24:59 +0100gentauro(~gentauro@user/gentauro) (Ping timeout: 268 seconds)
2023-03-23 11:25:50 +0100gentauro(~gentauro@user/gentauro)
2023-03-23 11:27:03 +0100madjestic(~madjestic@188-207-4-71.mobile.kpn.net)
2023-03-23 11:34:54 +0100travisb_(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2023-03-23 11:36:42 +0100tabemann(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 268 seconds)
2023-03-23 11:37:47 +0100 <stefan-_> xml-conduit's Text.XML.Stream.Parse allows to define xml parsers, but it seems they require the order of the xml elements to be fixed and known in advance, is there some way to define an xml parser which can handle elements in varying order?
2023-03-23 11:41:28 +0100 <merijn> stefan-_: Are you sure you want the stream interface instead of just the cursor one?
2023-03-23 11:43:18 +0100 <stefan-_> merijn, the xml file is around 3.8GB, so I would prefer stream-based parsing
2023-03-23 11:43:41 +0100 <merijn> stefan-_: Well, first of all RIP
2023-03-23 11:44:51 +0100 <merijn> stefan-_: You don't have to know a fixed order, because anyOf lets you test multiple things. but it's gonna be kinda messy
2023-03-23 11:45:54 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-03-23 11:46:23 +0100madjestic(~madjestic@188-207-4-71.mobile.kpn.net) (Ping timeout: 260 seconds)
2023-03-23 11:47:58 +0100 <stefan-_> the xml is a long list of elements which have themselves only a single level of sub-elements, it would be great to have an outer streaming part, which manifests for each element it's DOM
2023-03-23 11:48:52 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-23 11:51:18 +0100Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat)
2023-03-23 11:52:59 +0100Luj(~Luj@2a01:e0a:5f9:9681:1be9:4730:2b3e:cb3a)
2023-03-23 11:53:08 +0100 <dminuoso> First I chose NonEmpty for the extra safety, and then OverloadedLists for convenience.
2023-03-23 11:53:33 +0100 <dminuoso> Oh well :)
2023-03-23 11:53:38 +0100Luj(~Luj@2a01:e0a:5f9:9681:1be9:4730:2b3e:cb3a) (Client Quit)
2023-03-23 11:54:29 +0100Luj(~Luj@2a01:e0a:5f9:9681:1be9:4730:2b3e:cb3a)
2023-03-23 11:56:14 +0100Luj(~Luj@2a01:e0a:5f9:9681:1be9:4730:2b3e:cb3a) (Client Quit)
2023-03-23 11:56:50 +0100Luj(~Luj@2a01:e0a:5f9:9681:1be9:4730:2b3e:cb3a)
2023-03-23 11:56:56 +0100Luj(~Luj@2a01:e0a:5f9:9681:1be9:4730:2b3e:cb3a) (Client Quit)
2023-03-23 11:57:31 +0100Luj(~Luj@2a01:e0a:5f9:9681:1be9:4730:2b3e:cb3a)
2023-03-23 12:00:22 +0100mmhat(~mmh@p200300f1c715f738ee086bfffe095315.dip0.t-ipconnect.de)
2023-03-23 12:06:53 +0100travisb__(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2023-03-23 12:07:18 +0100xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-03-23 12:08:52 +0100travisb_(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 276 seconds)
2023-03-23 12:08:53 +0100jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-03-23 12:09:02 +0100Luj(~Luj@2a01:e0a:5f9:9681:1be9:4730:2b3e:cb3a) (Quit: The Lounge - https://thelounge.chat)
2023-03-23 12:09:35 +0100Luj(~Luj@2a01:e0a:5f9:9681:1be9:4730:2b3e:cb3a)
2023-03-23 12:10:35 +0100freeside_(~mengwong@202.161.55.11)
2023-03-23 12:13:35 +0100freeside(~mengwong@122.11.248.245) (Ping timeout: 265 seconds)
2023-03-23 12:14:33 +0100msavoritias(cb716af6b3@irc.cheogram.com) (Ping timeout: 265 seconds)
2023-03-23 12:17:58 +0100mbuf(~Shakthi@49.207.178.186) (Ping timeout: 276 seconds)
2023-03-23 12:18:38 +0100mbuf(~Shakthi@49.207.178.186)
2023-03-23 12:20:45 +0100msavoritias(cb716af6b3@irc.cheogram.com)
2023-03-23 12:22:36 +0100razetime(~Thunderbi@117.193.0.31) (Quit: See You Space Cowboy)
2023-03-23 12:23:23 +0100freeside_(~mengwong@202.161.55.11) (Ping timeout: 248 seconds)
2023-03-23 12:30:31 +0100freeside(~mengwong@122.11.248.245)
2023-03-23 12:32:31 +0100acidjnk_new(~acidjnk@p200300d6e715c426d15f8d4e2e4105b1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-03-23 12:38:01 +0100freeside(~mengwong@122.11.248.245) (Ping timeout: 240 seconds)
2023-03-23 12:41:14 +0100notzmv(~zmv@user/notzmv)
2023-03-23 12:46:44 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-03-23 12:47:07 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-23 12:47:44 +0100Jade[m]1Jade[m]
2023-03-23 12:48:13 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-23 13:04:04 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value)
2023-03-23 13:04:27 +0100xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 248 seconds)
2023-03-23 13:04:34 +0100vglfr(~vglfr@88.155.48.0)
2023-03-23 13:05:05 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-23 13:06:35 +0100xff0x(~xff0x@178.255.149.135)
2023-03-23 13:08:06 +0100mmhat(~mmh@p200300f1c715f738ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8)
2023-03-23 13:12:04 +0100CiaoSen(~Jura@p200300c9571fe6002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2023-03-23 13:18:57 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 255 seconds)
2023-03-23 13:20:52 +0100xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-03-23 13:27:42 +0100xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 268 seconds)
2023-03-23 13:29:11 +0100xff0x(~xff0x@178.255.149.135)
2023-03-23 13:29:50 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-03-23 13:36:57 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 268 seconds)
2023-03-23 13:38:30 +0100xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-03-23 13:58:40 +0100jesser[m](~jessermat@2001:470:69fc:105::d5ae)
2023-03-23 14:00:01 +0100tv(~tv@user/tv) (Ping timeout: 276 seconds)
2023-03-23 14:00:24 +0100tv(~tv@user/tv)
2023-03-23 14:09:10 +0100chele(~chele@user/chele)
2023-03-23 14:10:36 +0100byorgey(~byorgey@155.138.238.211)
2023-03-23 14:30:26 +0100acidjnk_new(~acidjnk@p200300d6e715c426ecf0b38e76c7a3f8.dip0.t-ipconnect.de)
2023-03-23 14:37:01 +0100Guest9039(~Guest90@ext-1-398.eduroam.chalmers.se)
2023-03-23 14:38:11 +0100 <Guest9039> In my .cabal-file I can use if(flag(... to conditionally include modules etc. Can I do the same in my cabal.project file? Or do I have to use --project-file=... to conditionally use different project files?
2023-03-23 14:42:17 +0100 <zzz> numeric literals use fromInteger and fromRational, what do string literals use? can we make a custom string literal type?
2023-03-23 14:42:58 +0100 <Guest9039> `fromString`
2023-03-23 14:42:59 +0100 <Guest9039> https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-String.html
2023-03-23 14:43:24 +0100 <geekosaur> only with OverloadedStrings
2023-03-23 14:44:53 +0100 <zzz> so i have to create a isString instance
2023-03-23 14:45:28 +0100 <Guest9039> Yes, and as geekosaur mentioned, enable the language extension OverloadedStrings :)
2023-03-23 14:45:43 +0100 <zzz> ok thanks
2023-03-23 14:46:05 +0100 <merijn> zzz: You probably shouldn't create an isString instance, tbh :p
2023-03-23 14:46:14 +0100 <merijn> There's very few things that should be using IsString, imo
2023-03-23 14:47:03 +0100 <Guest9039> Could you elaborate?
2023-03-23 14:47:11 +0100 <Guest9039> Make it clearer to him why you advice such a thing
2023-03-23 14:47:15 +0100 <Guest9039> Him or her
2023-03-23 14:47:23 +0100 <zzz> i'm just playing around
2023-03-23 14:48:27 +0100nate4(~nate@98.45.169.16)
2023-03-23 14:51:01 +0100 <Guest9039> @mer
2023-03-23 14:51:01 +0100 <lambdabot> Maybe you meant: vera msg more metar let arr
2023-03-23 14:51:06 +0100 <Guest9039> merijn
2023-03-23 14:52:05 +0100 <merijn> Guest9039: 95% of the time people want IsString for something that is not Text, they end up creating a partial function (i.e. not all valid text inputs produce a legal value)
2023-03-23 14:52:17 +0100 <merijn> Guest9039: But the IsString interface doesn't let you handle "failing" inputs
2023-03-23 14:52:51 +0100vglfr(~vglfr@88.155.48.0) (Ping timeout: 250 seconds)
2023-03-23 14:53:04 +0100 <merijn> So unless literally 100% of unicode text is valid input for your IsString, you're just abusing it for convenience with no ability to error check
2023-03-23 14:53:17 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-23 14:53:17 +0100nate4(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2023-03-23 14:53:43 +0100jco(~jco@90-228-194-139-no542.tbcn.telia.com)
2023-03-23 14:54:23 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-23 14:55:35 +0100vglfr(~vglfr@88.155.48.0)
2023-03-23 14:57:55 +0100 <zzz> perfectly aware
2023-03-23 14:58:21 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-03-23 14:58:53 +0100 <merijn> imo that's just poor design of the IsString class (and the numeric literal ones, for that matter), but so far my crusade to change them hasn't succeeded :p
2023-03-23 14:59:23 +0100 <zzz> next question: if i import Control.Category in ghci why does the output of `:i (.)` and `:i id` change?
2023-03-23 14:59:32 +0100 <merijn> zzz: incidentally, I did write a tiny and (imho, fairly trivial) template-haskell library that can handle such partial conversion at compile time with proper errors :p
2023-03-23 14:59:48 +0100 <merijn> zzz: Because you shadowed the (.) and id from Prelude with the ones from Control.Category
2023-03-23 14:59:51 +0100 <EvanR> are all valid string literals valid Text? xD
2023-03-23 14:59:56 +0100 <merijn> EvanR: Yes
2023-03-23 15:00:02 +0100 <EvanR> what happened to the utf-16 surrogate thing
2023-03-23 15:00:29 +0100 <merijn> EvanR: Isn't that a problem that String can't properly handle those?
2023-03-23 15:00:38 +0100 <EvanR> string can but Text can't
2023-03-23 15:00:45 +0100 <merijn> hmm, really?
2023-03-23 15:00:47 +0100 <EvanR> or the utf-16 based version of Text can't
2023-03-23 15:01:05 +0100 <merijn> EvanR: So, "issue closed (fixed)" now that we have utf-8 text? :p
2023-03-23 15:01:06 +0100 <EvanR> String can simply have a weird utf-16 surrogate hanging out
2023-03-23 15:02:19 +0100 <geekosaur> or a truncated utf8 sequence now
2023-03-23 15:02:39 +0100 <geekosaur> hm, actually I think no since String is codepoints
2023-03-23 15:02:43 +0100 <merijn> EvanR: Sure, but can String literals have those?
2023-03-23 15:03:02 +0100 <geekosaur> which also means the utf16 thing can't happen
2023-03-23 15:03:02 +0100 <zzz> merijn: oh! i was expecting "ambiguous ocurrence of id". but for :info it shadows. weird
2023-03-23 15:03:05 +0100 <EvanR> I guess it deserves a try
2023-03-23 15:03:23 +0100 <geekosaur> that's internal to Text, not visible in String in either direction
2023-03-23 15:03:24 +0100 <EvanR> geekosaur, utf-16 surrogates have codepoints
2023-03-23 15:03:29 +0100 <merijn> zzz: scoping in ghci can be...weird
2023-03-23 15:03:43 +0100 <EvanR> they're valid Char even if they're not valid characters
2023-03-23 15:05:46 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-03-23 15:06:02 +0100 <EvanR> > length ['a','b','\xd801','d']
2023-03-23 15:06:03 +0100 <lambdabot> 4
2023-03-23 15:06:05 +0100 <zzz> merijn: this seems like an easy and worthwhile fix. make :i consistent with :t and the rest...
2023-03-23 15:06:20 +0100 <EvanR> T.pack ['a','b','\xd801','d']
2023-03-23 15:06:24 +0100ddellacosta(~ddellacos@146.70.168.100) (Quit: WeeChat 3.8)
2023-03-23 15:07:00 +0100 <geekosaur> working on it, Hécate asked me for a ticket but I'm still gathering stuff and making sure it makes sense
2023-03-23 15:08:36 +0100 <geekosaur> (noted this down and will add it to ticket)
2023-03-23 15:08:51 +0100 <EvanR> > text "ab\65533d"
2023-03-23 15:08:53 +0100 <lambdabot> ab�d
2023-03-23 15:09:02 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-03-23 15:09:03 +0100mei(~mei@user/mei) (Remote host closed the connection)
2023-03-23 15:09:48 +0100 <EvanR> at least it's not a partial function
2023-03-23 15:10:19 +0100troydm(~troydm@user/troydm) (Ping timeout: 260 seconds)
2023-03-23 15:11:30 +0100mei(~mei@user/mei)
2023-03-23 15:13:51 +0100dolio(~dolio@130.44.134.54) (Read error: Connection reset by peer)
2023-03-23 15:21:01 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a)
2023-03-23 15:21:10 +0100 <dipper_> I heard that loop is more efficient than recursion, is that true in haskell?
2023-03-23 15:21:49 +0100 <merijn> dipper_: I mean, that statement has so many asterikses to it, that I doubt you can it's true or false in any language
2023-03-23 15:22:04 +0100 <mauke> haskell has no loops, so :shrug:
2023-03-23 15:23:16 +0100 <EvanR> depending on the detail it's possible loop = recursion
2023-03-23 15:23:27 +0100thegeekinside(~thegeekin@189.141.115.134)
2023-03-23 15:24:09 +0100cheater_(~Username@user/cheater)
2023-03-23 15:25:21 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a) (Ping timeout: 250 seconds)
2023-03-23 15:25:32 +0100 <geekosaur> dipper_, in many (most?) cases recursion compiles to a loop in Haskell; if it doesn't, it is either user code bug or compiler bug
2023-03-23 15:25:54 +0100 <dipper_> @EvanR or could be iterator
2023-03-23 15:25:54 +0100 <lambdabot> Unknown command, try @list
2023-03-23 15:26:11 +0100Guest4183(~Guest41@130.44.134.54)
2023-03-23 15:26:11 +0100 <geekosaur> similarly, you don't need to worry about tail calls because the compiler always does tail calls
2023-03-23 15:26:14 +0100vglfr(~vglfr@88.155.48.0) (Read error: Connection reset by peer)
2023-03-23 15:26:27 +0100Guest4183(~Guest41@130.44.134.54) (Client Quit)
2023-03-23 15:26:38 +0100 <geekosaur> (evaluation of lazy code is very different from procedural or OO code)
2023-03-23 15:26:58 +0100dolio(~dolio@130.44.134.54)
2023-03-23 15:27:01 +0100cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-23 15:27:06 +0100cheater_cheater
2023-03-23 15:32:12 +0100 <EvanR> I'm still recovering from iterators in lua
2023-03-23 15:34:31 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2023-03-23 15:35:30 +0100 <dipper_> oh I forget how to at people, can someone tips me
2023-03-23 15:35:59 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-03-23 15:36:25 +0100CiaoSen(~Jura@p200300c9571fe6002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-03-23 15:36:44 +0100 <Profpatsch> Is there a way to pass type-level symbols to a function with just type applications?
2023-03-23 15:37:02 +0100 <EvanR> dipper_, I just type the first few letters and tab autocomplete
2023-03-23 15:37:04 +0100 <Profpatsch> So e.g. foo @"bla" instead of foo (Proxy @"bla)
2023-03-23 15:37:05 +0100razetime(~Thunderbi@117.193.0.31)
2023-03-23 15:37:06 +0100 <EvanR> which puts a comma in my case
2023-03-23 15:37:19 +0100 <Profpatsch> In particular
2023-03-23 15:37:19 +0100 <dipper_> EvanR: oh right got it
2023-03-23 15:37:21 +0100 <Profpatsch> field :: forall lbl rec a. HasField lbl rec a => Proxy lbl -> Enc a -> Enc rec
2023-03-23 15:37:24 +0100 <Profpatsch> not that, but
2023-03-23 15:37:34 +0100 <Profpatsch> field :: forall lbl rec a. HasField lbl rec a => Enc a -> Enc rec
2023-03-23 15:37:51 +0100 <Profpatsch> to use like field @"myfield" innerEnc
2023-03-23 15:38:14 +0100 <dipper_> geekosaur: you are right, they have different architect.
2023-03-23 15:38:27 +0100 <Profpatsch> I guess I could do what https://hackage.haskell.org/package/superrecord-0.5.1.0/docs/SuperRecord.html#t:FldProxy does
2023-03-23 15:38:29 +0100 <Profpatsch> and use IsLabel
2023-03-23 15:38:36 +0100 <Profpatsch> and field #myfield innerEnc
2023-03-23 15:38:59 +0100 <Profpatsch> only workable for fields that have names that are also valid labels
2023-03-23 15:38:59 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2023-03-23 15:41:03 +0100Guest9039(~Guest90@ext-1-398.eduroam.chalmers.se) (Quit: Client closed)
2023-03-23 15:41:23 +0100 <Profpatsch> meh I guess Proxy is fine
2023-03-23 15:41:25 +0100 <Profpatsch> just a bit more typing
2023-03-23 15:43:16 +0100troydm(~troydm@user/troydm)
2023-03-23 15:43:36 +0100 <geekosaur> that should work in recent enough ghc, iirc
2023-03-23 15:43:41 +0100 <geekosaur> may need 9.4+
2023-03-23 15:43:52 +0100 <geekosaur> (@"foo" that is)
2023-03-23 15:44:02 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-23 15:45:47 +0100 <Profpatsch> geekosaur: oh you mean, without the proxy?
2023-03-23 15:45:54 +0100 <geekosaur> yes
2023-03-23 15:46:21 +0100 <Profpatsch> I was thinking I can maybe get it working in a cursed way via field (.myfield) innerEnc for now lol
2023-03-23 15:46:42 +0100 <Profpatsch> geekosaur: but that’s great news! then I start with proxy for now and eliminate it later
2023-03-23 15:46:49 +0100 <Profpatsch> once we update to 9.4
2023-03-23 15:47:28 +0100 <Profpatsch> I usually prefer a bit more boilerplate to cursed hacks like IsLabel
2023-03-23 15:47:35 +0100 <Profpatsch> (and even more syntax)
2023-03-23 15:49:37 +0100Sgeo(~Sgeo@user/sgeo)
2023-03-23 15:53:40 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-03-23 15:54:54 +0100NiceBird(~NiceBird@185.133.111.196) (Quit: Leaving)
2023-03-23 15:54:58 +0100 <geekosaur> hm, I can't find where @"foo" became valid but 9.6.1 release notes reference it as existing behavior (`GHC proposal #170 Unrestricted OverloadedLabels has been implemented. This extends the variety syntax for constructing labels under OverloadedLabels. Examples of newly allowed syntax: - Leading capital letters: #Foo equivalant to getLabel @”Foo” - Numeric characters: #1728 equivalent to getLabel @”1728” - Arbitrary strings: #
2023-03-23 15:54:59 +0100 <geekosaur> ”Hello, World!” equivalent to getLabel @”Hello, World!”`)
2023-03-23 15:55:49 +0100 <geekosaur> (`getLabel @"Foo"` being the use in question)
2023-03-23 16:01:10 +0100 <geekosaur> I checked release notes back to 9.0.1
2023-03-23 16:01:13 +0100 <Profpatsch> geekosaur: Oh, maybe I misunderstood, you mean the IsLabel and label syntax has changed?
2023-03-23 16:01:29 +0100 <Profpatsch> Not that you can pass type-level arguments manually without a proxy argument?
2023-03-23 16:01:31 +0100 <geekosaur> that syyntax has changed, but the translations use @"xxx"
2023-03-23 16:01:43 +0100 <geekosaur> which means that syntax became valid at some point
2023-03-23 16:01:50 +0100 <geekosaur> I just can't find when
2023-03-23 16:02:15 +0100 <chreekat> it's been a while
2023-03-23 16:02:41 +0100 <Profpatsch> What’s FromLabel used for anyway
2023-03-23 16:02:44 +0100 <geekosaur> it's apparently not working for Profpatsch
2023-03-23 16:02:52 +0100 <Profpatsch> geekosaur: I’m on 9.2
2023-03-23 16:03:23 +0100 <geekosaur> an older record syntax that a lot of people apparently don't like
2023-03-23 16:03:50 +0100geekosaurprefers it to OverloadedRecordDot
2023-03-23 16:04:11 +0100 <geekosaur> but I still think all that effort could be more helpfully put into something like row types
2023-03-23 16:04:29 +0100 <merijn> geekosaur: word
2023-03-23 16:04:31 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a)
2023-03-23 16:04:52 +0100 <Profpatsch> But just to be clear, I can never write foo :: forall s. -> Int , not even in newer GHC?
2023-03-23 16:05:06 +0100 <Profpatsch> ergh bla
2023-03-23 16:05:15 +0100 <merijn> I'm so incredibly underwhelmed/unenthusiastic about the amount of effort pourted into OverloadedRecords, label, whatever. It's so much work, so much effort, and so much complexity and it just seems so not worth it
2023-03-23 16:05:28 +0100 <merijn> Profpatsch: What would that even do?
2023-03-23 16:05:30 +0100 <Profpatsch> foo :: forall a. Show a => String
2023-03-23 16:05:47 +0100 <Profpatsch> No I’m still dumb
2023-03-23 16:05:53 +0100 <Profpatsch> Sorry haha
2023-03-23 16:06:05 +0100 <Profpatsch> merijn: OverloadedRecords is fantastic
2023-03-23 16:06:09 +0100 <Profpatsch> RecordDot is fantastic
2023-03-23 16:06:16 +0100 <Profpatsch> they make Haskell finally feel like a real language
2023-03-23 16:06:30 +0100 <Profpatsch> DuplicateRecordFields
2023-03-23 16:07:23 +0100cheater(~Username@user/cheater) (Ping timeout: 250 seconds)
2023-03-23 16:07:29 +0100 <geekosaur> does that "real language" have to be Javascript?
2023-03-23 16:07:45 +0100 <Profpatsch> encField :: (HasField lbl rec a) => Enc a -> Enc rec
2023-03-23 16:07:52 +0100 <Profpatsch> ^ this
2023-03-23 16:08:05 +0100 <Profpatsch> lbl is not mentioned on the right side
2023-03-23 16:08:21 +0100 <Profpatsch> But I could in theory tell the compiler encField @"mylabel" innerEnc
2023-03-23 16:08:25 +0100 <Profpatsch> That would be cool
2023-03-23 16:08:37 +0100 <geekosaur> AllowAmbiguousTypes, no?
2023-03-23 16:08:43 +0100 <Profpatsch> geekosaur: Hmmmm
2023-03-23 16:08:45 +0100 <Profpatsch> I saw that somewhere
2023-03-23 16:08:58 +0100 <Profpatsch> geekosaur: At use-site or at definition site?
2023-03-23 16:09:17 +0100 <geekosaur> use site
2023-03-23 16:09:27 +0100 <merijn> Profpatsch: I mean, I just use -XNoFieldSelectors and get, like, 90% of the value of OverloadedRecords with 0 of the pain
2023-03-23 16:09:40 +0100 <geekosaur> probably both
2023-03-23 16:09:45 +0100 <geekosaur> actually
2023-03-23 16:10:10 +0100 <merijn> Profpatsch: I don't consider any extension that makes the syntax of languages more confusing and ambiguous good ever
2023-03-23 16:10:11 +0100 <geekosaur> hm, thinking about it, it's the definition site that's ambiguous, so probably there?
2023-03-23 16:10:23 +0100 <Profpatsch> geekosaur: looks like only definition!
2023-03-23 16:10:25 +0100 <Profpatsch> that’s so cool
2023-03-23 16:10:28 +0100 <Profpatsch> thank you!
2023-03-23 16:10:54 +0100 <Profpatsch> geekosaur: yek, -XNoFieldSelectors and -XDuplicateRecordFields
2023-03-23 16:10:57 +0100 <merijn> RecordDot is a fucking tragedy. '.' being used for module separation/name qualification and function composition was already confusing. Using it to *also* index records just makes it even more ambiguous and confusing
2023-03-23 16:10:58 +0100 <Profpatsch> *yes
2023-03-23 16:11:08 +0100 <Profpatsch> merijn: not in practice tbh
2023-03-23 16:11:17 +0100 <EvanR> the power of the dot
2023-03-23 16:11:28 +0100 <EvanR> it can be all things to all people
2023-03-23 16:11:41 +0100 <merijn> I woulda *maybe* been okay with RecordDot if we just defined Haskell to *require* whitespace around operators
2023-03-23 16:11:47 +0100 <merijn> Which I think shoulda been the case, tbh
2023-03-23 16:11:54 +0100 <merijn> But that ship has sailed
2023-03-23 16:12:50 +0100 <Profpatsch> merijn: As I said, it’s a minor inconvenience
2023-03-23 16:13:02 +0100 <merijn> To you, maybe
2023-03-23 16:13:23 +0100 <merijn> I'm gonna have to look at the extensions whenever I look at someone else's Haskell forever now
2023-03-23 16:13:25 +0100 <Profpatsch> Well is that not enough? :P
2023-03-23 16:13:54 +0100 <merijn> And the kind of people who like RecordDot are also the same kinda people who like to globally enable extensions in their cabal file because they consider 5 lines of pragmas in their source files a crime
2023-03-23 16:15:16 +0100mbuf(~Shakthi@49.207.178.186) (Quit: Leaving)
2023-03-23 16:15:17 +0100 <Profpatsch> merijn: I prefer & to $ and <&> to <$> if you would believe it :)
2023-03-23 16:16:08 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-03-23 16:16:18 +0100 <Profpatsch> But we are pretty vanilla in our use of base, and pretty relaxed about adding stuff to hlint to make sure people use the same style
2023-03-23 16:16:31 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-03-23 16:16:42 +0100 <EvanR> 5 lines of (not necessarily the same) pragmas times 100 source files = 500 pragmas xD
2023-03-23 16:16:57 +0100 <Profpatsch> I’m gonna write a “Left to Right Haskell” manifesto one day
2023-03-23 16:16:59 +0100 <merijn> I just find it baffling that there's so much overlap between people who advocate "all source code should be auto-formatted for consistency!" and the people who argue for introducing new ambiguous syntax have so much overlap :\
2023-03-23 16:17:06 +0100 <EvanR> 5 (probably 10 let's be honest) plus 25 to 50 imports
2023-03-23 16:17:10 +0100 <EvanR> haskell rocks
2023-03-23 16:17:26 +0100 <Profpatsch> merijn: We have a great German noun, “die Ewiggestrigen”
2023-03-23 16:17:30 +0100 <merijn> EvanR: Yeah, but at least I can look at a single file and know what's going on without having to look at other shit.
2023-03-23 16:18:09 +0100 <EvanR> yeah just a non zero cost to starting a new file
2023-03-23 16:18:37 +0100 <merijn> EvanR: There is no cost to starting a new file, since new files have no code and thus, by definition, don't need any extensions
2023-03-23 16:18:50 +0100 <EvanR> ok
2023-03-23 16:19:11 +0100 <merijn> EvanR: At any rate, I read files far more frequently than I add new ones to a project, so optimising for long term readability makes sense
2023-03-23 16:19:25 +0100 <EvanR> I guess we're on opposite ends of that spectrum then xD
2023-03-23 16:19:38 +0100 <EvanR> since my code is perfect I never have to go back and read it
2023-03-23 16:19:52 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2023-03-23 16:20:17 +0100 <merijn> Profpatsch: I'd be more supportive of syntax changes if they included disallowing old ambiguous syntax
2023-03-23 16:20:31 +0100 <merijn> If RecordDot disallowed operators without whitespace, I can live with that
2023-03-23 16:20:55 +0100 <merijn> It's the "have your cake and eat it too" approach to just piling on more ambiguous syntax without taking things away that I dislike
2023-03-23 16:22:47 +0100 <merijn> And even then, I would have *much* rather had rowtypes. What a glorious utopia we coulda had if we poured all that overloadedrecord/duplicaterecordfields/etc. effort into first class rowtypes :\
2023-03-23 16:23:10 +0100 <EvanR> with enough extensions which add syntax and take away other syntax you could mutate into a different language entirely!
2023-03-23 16:23:30 +0100srz(~srz@181.228.49.93)
2023-03-23 16:23:54 +0100 <merijn> EvanR: Well, yes :p Haskell ending up like some C++ atrocities is, like, the worst possible outcome
2023-03-23 16:24:38 +0100 <merijn> I wish we had a better way of reusing GHC's efforts at optimisation so I could just make my own "frontend" language without reinventing all the optimisation stuff from scratch :p
2023-03-23 16:27:18 +0100 <EvanR> instead of 700 jvm languages we could have ghc core targeting languages
2023-03-23 16:29:23 +0100 <Profpatsch> merijn: I’d be in favor of an -XSpaceAroundOperators
2023-03-23 16:29:29 +0100 <Profpatsch> I’d enable it
2023-03-23 16:29:38 +0100gurkenglas(~gurkengla@dynamic-046-114-181-182.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-03-23 16:29:52 +0100 <geekosaur> didn't that come with record-dot?
2023-03-23 16:30:19 +0100acidjnk_new(~acidjnk@p200300d6e715c426ecf0b38e76c7a3f8.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-03-23 16:30:24 +0100 <geekosaur> including rationalizing how all the various other extensions worked with spaces (cf. BangPatterns, NumericLiterals, etc.)
2023-03-23 16:30:53 +0100 <geekosaur> every extension was doing its own thing, they're all supposed to be covered by a general rule now
2023-03-23 16:31:25 +0100 <merijn> geekosaur: No, instead you know have to memorise like 4 different contextual rules on how dot gets parsed
2023-03-23 16:38:06 +0100cheater(~Username@user/cheater)
2023-03-23 16:40:38 +0100 <yushyin> merijn: i also like the combination of NoFieldSelectors and DuplicateRecordFields and even have it in my default-extensions for my toy projects. I think at least NoFieldSelectors should be the default and generating FieldSelectors should be explizit per data type definition.
2023-03-23 16:42:05 +0100 <yushyin> i'm also not super against the idea of something like OverloadedRecordDot ... but yeah row types would be great
2023-03-23 16:42:37 +0100slack1256(~slack1256@181.42.50.18)
2023-03-23 16:45:14 +0100cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2023-03-23 16:46:08 +0100jakalx(~jakalx@base.jakalx.net)
2023-03-23 16:46:29 +0100kenran(~user@user/kenran)
2023-03-23 16:53:55 +0100jco(~jco@90-228-194-139-no542.tbcn.telia.com) (Remote host closed the connection)
2023-03-23 16:55:25 +0100econo(uid147250@user/econo)
2023-03-23 16:55:27 +0100greenreturn(~user@cpc160793-lewi19-2-0-cust211.2-4.cable.virginm.net)
2023-03-23 16:56:49 +0100greenreturn(~user@cpc160793-lewi19-2-0-cust211.2-4.cable.virginm.net) (ERC 5.4 (IRC client for GNU Emacs 28.2))
2023-03-23 16:58:34 +0100cheater(~Username@user/cheater)
2023-03-23 16:59:57 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-23 17:01:04 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-23 17:02:22 +0100 <zzz> Profpatsch: +1 on SpaceApplication
2023-03-23 17:04:07 +0100 <zzz> it would solve LexicalNegation aswell
2023-03-23 17:05:23 +0100 <merijn> zzz: Yes
2023-03-23 17:05:41 +0100 <merijn> zzz: That's one of the other reasons I think it was a mistake to not require spaces around operators
2023-03-23 17:05:52 +0100 <merijn> The whole parsing of - issue would trivially be solved
2023-03-23 17:06:10 +0100 <[exa]> smash the space!
2023-03-23 17:07:57 +0100 <merijn> zzz: Sadly, that's unlikely to ever happen
2023-03-23 17:08:27 +0100ddellacosta(~ddellacos@146.70.168.100)
2023-03-23 17:10:31 +0100 <EvanR> so -5 would be a number and - 5 would be negate 5 ?
2023-03-23 17:11:12 +0100 <EvanR> and (- 5) would be xD
2023-03-23 17:11:37 +0100 <EvanR> subtract 5 or negate 5 depending on dice
2023-03-23 17:12:06 +0100 <EvanR> *what is this, lisp?*
2023-03-23 17:12:28 +0100 <albet70> did someone ask chatgpt what’s a monad?
2023-03-23 17:12:34 +0100 <merijn> EvanR: I would say "- 5" is a type error if - doesn't have a lefthand
2023-03-23 17:12:46 +0100 <EvanR> a type error?
2023-03-23 17:12:59 +0100 <merijn> EvanR: If you support numeric literals and have negate as function, I don't think the ambiguity of having 2 versions of - (unary and binary) is a mistake
2023-03-23 17:13:19 +0100 <merijn> EvanR: The only reason we have unary - *now* is because writing -5 is nicer than "negate 5"
2023-03-23 17:13:38 +0100 <merijn> But if "-5" works without an operator, there's little use for -, imo
2023-03-23 17:13:46 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-03-23 17:13:53 +0100 <EvanR> to me that's two different things, maybe you mean -x to mean negate x
2023-03-23 17:14:29 +0100 <EvanR> -5 requiring compilation and evaluation at runtime to finally get... -5 is absurd
2023-03-23 17:15:12 +0100dipper_(~dipper@117.61.117.59) (Ping timeout: 255 seconds)
2023-03-23 17:15:17 +0100 <merijn> EvanR: Having the same operator contextually do different things is a PITA, though
2023-03-23 17:15:19 +0100 <geekosaur> but it requires e valuation at runtime anyway (see fromInteger)
2023-03-23 17:15:38 +0100 <EvanR> yeah, from the integer -5 xD
2023-03-23 17:16:46 +0100 <EvanR> (though 1.3e308 going through Rational is also kind of insane)
2023-03-23 17:17:15 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 17:17:15 +0100 <merijn> EvanR: Not with NumDecimals! :)
2023-03-23 17:17:25 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 17:17:26 +0100 <merijn> % :seti -XNumDecimals
2023-03-23 17:17:27 +0100 <yahb2> <no output>
2023-03-23 17:17:34 +0100 <merijn> % :t 1.3e308
2023-03-23 17:17:35 +0100 <yahb2> 1.3e308 :: Fractional a => a
2023-03-23 17:17:40 +0100 <merijn> % :t 1.3e308 :: Int
2023-03-23 17:17:41 +0100 <yahb2> <interactive>:1:1: error: ; • No instance for (Fractional Int) ; arising from the literal ‘1.3e308’ ; • In the expression: 1.3e308 :: Int
2023-03-23 17:17:49 +0100 <merijn> :O
2023-03-23 17:17:54 +0100 <EvanR> what is NumDecimals
2023-03-23 17:17:56 +0100 <merijn> Am I thinking of the wrong extension
2023-03-23 17:17:57 +0100 <geekosaur> % :t 1e300 :P: Int
2023-03-23 17:17:58 +0100 <yahb2> <interactive>:1:8: error: Data constructor not in scope: P ; ; <interactive>:1:11: error: ; • Illegal term-level use of the type constructor ‘Int’ ; imported from ‘Prelude’ (and origin...
2023-03-23 17:18:04 +0100 <geekosaur> % :t 1e300 :: Int
2023-03-23 17:18:04 +0100 <yahb2> <interactive>:1:1: error: ; • No instance for (Fractional Int) arising from the literal ‘1e300’ ; • In the expression: 1e300 :: Int
2023-03-23 17:18:10 +0100 <merijn> EvanR: There's an extension that lets you use scientific notation for integrals
2023-03-23 17:18:33 +0100 <merijn> EvanR: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/num_decimals.html
2023-03-23 17:18:33 +0100 <EvanR> well this was intended to be a Double not necessarily integer
2023-03-23 17:18:46 +0100 <EvanR> even though at 308 it is necessarily
2023-03-23 17:19:10 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:cc5e:442d:a4cd:9d3) (Quit: WeeChat 2.8)
2023-03-23 17:19:19 +0100 <mauke> > 1.3e308
2023-03-23 17:19:20 +0100 <lambdabot> 1.3e308
2023-03-23 17:19:35 +0100 <mauke> > 1.3e308 :: Rational
2023-03-23 17:19:36 +0100 <lambdabot> 1300000000000000000000000000000000000000000000000000000000000000000000000000...
2023-03-23 17:19:44 +0100 <EvanR> look at that shit
2023-03-23 17:19:48 +0100 <zzz> shall we discuss base ten as a default?
2023-03-23 17:20:23 +0100 <geekosaur> tautology alert
2023-03-23 17:20:38 +0100 <EvanR> there are ten kinds of people
2023-03-23 17:21:07 +0100 <zzz> geekosaur: i'm in favor of base 10
2023-03-23 17:21:15 +0100 <merijn> Every base is base 10 :p
2023-03-23 17:21:20 +0100 <zzz> :D
2023-03-23 17:21:30 +0100 <EvanR> every number is ten
2023-03-23 17:21:31 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-03-23 17:21:37 +0100 <zzz> wait
2023-03-23 17:21:46 +0100 <zzz> 10 and ten are different thinga
2023-03-23 17:21:48 +0100 <EvanR> lol
2023-03-23 17:21:58 +0100enthropy(~enthropy@66.7.90.153)
2023-03-23 17:21:59 +0100 <zzz> i said ten on purpose
2023-03-23 17:22:26 +0100 <EvanR> tonal haskell extension when
2023-03-23 17:22:40 +0100 <merijn> zzz: https://i.imgur.com/II5W6Pl.png
2023-03-23 17:22:41 +0100mbuf(~Shakthi@49.207.178.186)
2023-03-23 17:22:49 +0100 <merijn> EvanR: ColourHaskell inspired after ColourForth?
2023-03-23 17:23:49 +0100mastarija(~mastarija@188.252.199.22) (Quit: WeeChat 3.7.1)
2023-03-23 17:24:55 +0100 <EvanR> conor mcbride is always using red white and blue code
2023-03-23 17:25:57 +0100 <EvanR> Patriot~~Haskell~~Epigram
2023-03-23 17:31:01 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds)
2023-03-23 17:31:55 +0100srz(~srz@181.228.49.93) (Ping timeout: 276 seconds)
2023-03-23 17:34:21 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-23 17:34:47 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 17:36:56 +0100mesaoptimizer2(34cef275bb@user/PapuaHardyNet) (Ping timeout: 265 seconds)
2023-03-23 17:37:54 +0100cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-23 17:38:56 +0100 <tomsmeding> % :t 1.99999e101
2023-03-23 17:38:57 +0100 <yahb2> 1.99999e101 :: Num a => a
2023-03-23 17:39:03 +0100 <tomsmeding> % :t 2.0e101
2023-03-23 17:39:04 +0100 <yahb2> 2.0e101 :: Num a => a
2023-03-23 17:39:08 +0100 <tomsmeding> % :t 2e101
2023-03-23 17:39:08 +0100 <yahb2> 2e101 :: Fractional a => a
2023-03-23 17:39:57 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 246 seconds)
2023-03-23 17:40:29 +0100 <tomsmeding> % :t (1.099999e102, 1.1e102)
2023-03-23 17:40:29 +0100 <yahb2> (1.099999e102, 1.1e102) :: (Fractional b, Num a) => (a, b)
2023-03-23 17:40:33 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 17:40:35 +0100 <tomsmeding> merijn: ^ this extension is wacky
2023-03-23 17:40:50 +0100chele(~chele@user/chele) (Quit: Leaving)
2023-03-23 17:40:59 +0100 <merijn> That's a bug
2023-03-23 17:41:15 +0100 <merijn> Because that's clearly contradicting the specification of the extension
2023-03-23 17:41:57 +0100 <merijn> tomsmeding: FWIW, it reports the correct type for the first one for me on 9.2
2023-03-23 17:42:10 +0100 <merijn> heh
2023-03-23 17:42:21 +0100 <merijn> trying the tuple breaks here too
2023-03-23 17:42:24 +0100 <merijn> That's weird
2023-03-23 17:42:42 +0100 <tomsmeding> % :t (1e100, 1.0e100, 2e101, 2.0e101, 1.099999e102, 1.1e102) -- all in one expression
2023-03-23 17:42:43 +0100 <yahb2> (1e100, 1.0e100, 2e101, 2.0e101, 1.099999e102, 1.1e102) -- all in one expression ; :: (Fractional c, Fractional f, Num a, Num b, Num d, Num e) => ; (a, b, c, d, e, f)
2023-03-23 17:43:16 +0100 <merijn> tomsmeding: You making a GHC issue or should I do it? :p
2023-03-23 17:43:19 +0100 <tomsmeding> it hasn't got anything to do with the tuple, there is a limit up to which it infers Num, and that limit is lower if the number does not have decimals
2023-03-23 17:43:23 +0100 <tomsmeding> ._.
2023-03-23 17:43:33 +0100 <tomsmeding> merijn: you do it
2023-03-23 17:44:21 +0100 <merijn> 9.6 regressed and even fails on 1e101
2023-03-23 17:44:26 +0100 <tomsmeding> lol
2023-03-23 17:44:39 +0100 <EvanR> uh, no decimals => fractional. decimals => num. What
2023-03-23 17:44:39 +0100 <tomsmeding> oh but this one also does
2023-03-23 17:44:47 +0100 <tomsmeding> merijn: check your limits very closely
2023-03-23 17:44:47 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 17:44:52 +0100 <tomsmeding> % :t 1e101
2023-03-23 17:44:52 +0100 <yahb2> 1e101 :: Fractional a => a
2023-03-23 17:45:17 +0100 <tomsmeding> oh more niceties
2023-03-23 17:45:23 +0100 <tomsmeding> % :t (10e100, 1e101)
2023-03-23 17:45:23 +0100 <yahb2> (10e100, 1e101) :: (Fractional b, Num a) => (a, b)
2023-03-23 17:45:32 +0100 <EvanR> o_O
2023-03-23 17:45:40 +0100 <EvanR> oh, they are backwards
2023-03-23 17:45:41 +0100 <tomsmeding> merijn: I suspect that the ghc logic for determining whether the result is integral is terribly broken
2023-03-23 17:45:48 +0100cheater(~Username@user/cheater)
2023-03-23 17:45:55 +0100 <tomsmeding> EvanR: they are the same fucking number
2023-03-23 17:46:00 +0100 <EvanR> oh that to
2023-03-23 17:46:06 +0100 <EvanR> o
2023-03-23 17:47:11 +0100 <EvanR> the syntax is scientific notation but the interface speaks of rationals
2023-03-23 17:47:41 +0100 <EvanR> oil and water
2023-03-23 17:48:20 +0100 <tomsmeding> % 10e100 == 1e101
2023-03-23 17:48:20 +0100 <yahb2> True
2023-03-23 17:50:23 +0100 <EvanR> :t let x = 10e100; y = 1e101 in (x==y, x, y)
2023-03-23 17:50:24 +0100 <lambdabot> (Fractional b, Fractional c) => (Bool, b, c)
2023-03-23 17:50:49 +0100 <EvanR> was trying to trick it into telling me the defaulting choice
2023-03-23 17:50:53 +0100 <geekosaur> that one's not surprising
2023-03-23 17:51:04 +0100mesaoptimizer2(34cef275bb@198.108.77.94)
2023-03-23 17:51:24 +0100mesaoptimizer2(34cef275bb@198.108.77.94) (Changing host)
2023-03-23 17:51:24 +0100mesaoptimizer2(34cef275bb@user/PapuaHardyNet)
2023-03-23 17:51:58 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-03-23 17:54:55 +0100madjestic(~madjestic@188-207-4-158.mobile.kpn.net)
2023-03-23 17:57:06 +0100cheater_(~Username@user/cheater)
2023-03-23 17:57:29 +0100gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-03-23 17:58:51 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-23 17:59:01 +0100cheater_cheater
2023-03-23 17:59:10 +0100npmania(~Thunderbi@45.8.223.208)
2023-03-23 17:59:39 +0100codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 265 seconds)
2023-03-23 18:00:30 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 18:01:12 +0100 <merijn> tomsmeding: I'm already making an issue
2023-03-23 18:02:06 +0100mbuf(~Shakthi@49.207.178.186) (Quit: Leaving)
2023-03-23 18:04:07 +0100 <merijn> tomsmeding: Wait, is this maybe only in ghci? Lemme check
2023-03-23 18:05:43 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-03-23 18:06:12 +0100hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-03-23 18:06:13 +0100gehmehgeh(~user@user/gehmehgeh)
2023-03-23 18:06:27 +0100 <merijn> compilation is also busted
2023-03-23 18:08:34 +0100 <merijn> https://gitlab.haskell.org/ghc/ghc/-/issues/23166
2023-03-23 18:08:41 +0100 <merijn> Feel free to chime in with any additional comments
2023-03-23 18:12:55 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2023-03-23 18:14:06 +0100 <tomsmeding> % :t 1.1e102
2023-03-23 18:14:06 +0100 <yahb2> 1.1e102 :: Fractional a => a
2023-03-23 18:14:11 +0100 <tomsmeding> % :t 1.10000000e102
2023-03-23 18:14:11 +0100 <yahb2> 1.10000000e102 :: Num a => a
2023-03-23 18:14:15 +0100 <tomsmeding> merijn: ^
2023-03-23 18:14:23 +0100 <merijn> What is going on?!?
2023-03-23 18:14:26 +0100 <tomsmeding> :D
2023-03-23 18:14:30 +0100 <merijn> jesus
2023-03-23 18:14:55 +0100 <merijn> it seems absolutely trivial to compute the right answer, why is it fucking up??
2023-03-23 18:15:15 +0100 <merijn> You literally just check if "num places behind the dot < exponent" and call it a day?
2023-03-23 18:15:16 +0100hugo(znc@verdigris.lysator.liu.se)
2023-03-23 18:15:19 +0100madjestic(~madjestic@188-207-4-158.mobile.kpn.net) (Read error: Connection reset by peer)
2023-03-23 18:15:27 +0100 <merijn> How is this failing?
2023-03-23 18:16:15 +0100 <tomsmeding> also how adding _more_ decimals makes it Num-worthy
2023-03-23 18:16:16 +0100 <merijn> I guess you need a bit more logic to chop off trailing 0s, since those don't matter
2023-03-23 18:16:28 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-03-23 18:16:30 +0100 <merijn> tomsmeding: Can you add that example in the comments?
2023-03-23 18:16:33 +0100 <tomsmeding> did
2023-03-23 18:16:41 +0100 <geekosaur> but it's getting those right
2023-03-23 18:16:58 +0100 <tomsmeding> geekosaur: 1.1e101 and 1.10e102 are the same number
2023-03-23 18:17:12 +0100 <tomsmeding> uh
2023-03-23 18:17:18 +0100 <tomsmeding> 1.1e102 and 1.10e102
2023-03-23 18:17:22 +0100 <tomsmeding> sorry for typo
2023-03-23 18:17:25 +0100 <geekosaur> yes
2023-03-23 18:17:39 +0100 <geekosaur> but the one with extra zeros gets Num instead of Fractional
2023-03-23 18:17:39 +0100 <tomsmeding> how can it be getting those right
2023-03-23 18:17:48 +0100 <tomsmeding> yeah, which is correct why?
2023-03-23 18:18:07 +0100 <geekosaur> if anything that's the one it should be getting wrong
2023-03-23 18:18:22 +0100 <merijn> geekosaur: Hence why this bug is baffling
2023-03-23 18:18:32 +0100 <geekosaur> flipped conditional somewhere?
2023-03-23 18:18:33 +0100 <tomsmeding> I could imagine that they forgot to chop off trailing zeros, meaning that 1.0000e2 would be Fractional
2023-03-23 18:18:46 +0100 <tomsmeding> but with the exponent being at 100 it shouldn't matter at all anyway
2023-03-23 18:19:04 +0100 <tomsmeding> and it can't _just_ be a flipped conditional because for then why does 1.1e102 work
2023-03-23 18:19:09 +0100 <tomsmeding> % 1.1e4
2023-03-23 18:19:09 +0100 <yahb2> 11000
2023-03-23 18:19:11 +0100andreas303-apple(andreas303@is.drunk.and.ready-to.party)
2023-03-23 18:19:16 +0100 <tomsmeding> % :t 1.1e4
2023-03-23 18:19:16 +0100 <yahb2> 1.1e4 :: Num a => a
2023-03-23 18:19:20 +0100 <tomsmeding> % :t 1.10000000e4
2023-03-23 18:19:20 +0100 <yahb2> 1.10000000e4 :: Num a => a
2023-03-23 18:19:30 +0100 <tomsmeding> and why does it work always for low exponents
2023-03-23 18:19:36 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-03-23 18:20:58 +0100enthropy(~enthropy@66.7.90.153) (Ping timeout: 260 seconds)
2023-03-23 18:21:09 +0100ubert1(~Thunderbi@2a02:8109:abc0:6434:8826:469:5afb:39b8) (Quit: ubert1)
2023-03-23 18:21:34 +0100 <EvanR> % 1.1000000000000000000000000000000000000e4
2023-03-23 18:21:34 +0100 <yahb2> 11000
2023-03-23 18:23:54 +0100 <zzz> Haskell: The Good Parts
2023-03-23 18:24:08 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-03-23 18:24:08 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-03-23 18:24:08 +0100wroathe(~wroathe@user/wroathe)
2023-03-23 18:24:13 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2023-03-23 18:24:21 +0100 <EvanR> twist that knife
2023-03-23 18:24:47 +0100CiaoSen(~Jura@p200300c9571fe6002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-03-23 18:28:41 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a) (Remote host closed the connection)
2023-03-23 18:29:41 +0100codaraxis(~codaraxis@user/codaraxis)
2023-03-23 18:30:01 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-03-23 18:30:23 +0100srz(~srz@181.228.49.93)
2023-03-23 18:30:28 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-03-23 18:30:34 +0100acidjnk_new(~acidjnk@p200300d6e715c457ecf0b38e76c7a3f8.dip0.t-ipconnect.de)
2023-03-23 18:32:55 +0100mei(~mei@user/mei) (Remote host closed the connection)
2023-03-23 18:33:29 +0100cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-03-23 18:33:36 +0100cheater_(~Username@user/cheater)
2023-03-23 18:33:43 +0100cheater_cheater
2023-03-23 18:33:53 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 18:34:01 +0100hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-03-23 18:35:13 +0100razetime(~Thunderbi@117.193.0.31) (Remote host closed the connection)
2023-03-23 18:35:23 +0100mei(~mei@user/mei)
2023-03-23 18:38:52 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-03-23 18:39:31 +0100slack1256(~slack1256@181.42.50.18) (Ping timeout: 240 seconds)
2023-03-23 18:41:37 +0100cheater_(~Username@user/cheater)
2023-03-23 18:41:46 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection)
2023-03-23 18:43:16 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-03-23 18:43:23 +0100cheater_cheater
2023-03-23 18:43:47 +0100coot(~coot@213.134.171.3)
2023-03-23 18:44:05 +0100slack1256(~slack1256@181.42.50.18)
2023-03-23 18:46:32 +0100cheater_(~Username@user/cheater)
2023-03-23 18:48:04 +0100oneeyedalien(~oneeyedal@125-63-26-56.ip4.superloop.au)
2023-03-23 18:48:19 +0100cheater_(~Username@user/cheater) (Read error: Connection reset by peer)
2023-03-23 18:49:04 +0100cheater_(~Username@user/cheater)
2023-03-23 18:50:03 +0100nate4(~nate@98.45.169.16)
2023-03-23 18:50:23 +0100hugo(znc@verdigris.lysator.liu.se)
2023-03-23 18:50:34 +0100cheater(~Username@user/cheater) (Ping timeout: 276 seconds)
2023-03-23 18:50:38 +0100cheater_cheater
2023-03-23 18:52:28 +0100oneeyedalien(~oneeyedal@125-63-26-56.ip4.superloop.au) (Quit: Leaving)
2023-03-23 18:55:06 +0100nate4(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2023-03-23 18:55:14 +0100hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds)
2023-03-23 18:55:31 +0100cheater_(~Username@user/cheater)
2023-03-23 18:57:21 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-03-23 18:58:01 +0100cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-23 18:59:51 +0100cheater_(~Username@user/cheater) (Ping timeout: 250 seconds)
2023-03-23 19:02:43 +0100zer0bitz_(~zer0bitz@2001:2003:f443:d600:3048:24b6:d2fe:5f2e)
2023-03-23 19:03:51 +0100hugo-(znc@verdigris.lysator.liu.se)
2023-03-23 19:04:27 +0100zer0bitz(~zer0bitz@2001:2003:f443:d600:70b6:7c91:80bd:8cc8) (Ping timeout: 248 seconds)
2023-03-23 19:06:44 +0100slack1256(~slack1256@181.42.50.18) (Ping timeout: 252 seconds)
2023-03-23 19:10:16 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-03-23 19:10:40 +0100vpan(~0@212.117.1.172) (Quit: Leaving.)
2023-03-23 19:10:52 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 19:16:59 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds)
2023-03-23 19:19:42 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-03-23 19:20:15 +0100hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-03-23 19:20:38 +0100coot(~coot@213.134.171.3) (Quit: coot)
2023-03-23 19:20:46 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 19:21:49 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 19:23:54 +0100cheater(~Username@user/cheater)
2023-03-23 19:25:59 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 246 seconds)
2023-03-23 19:27:51 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 19:28:17 +0100cheater_(~Username@user/cheater)
2023-03-23 19:29:10 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a)
2023-03-23 19:29:50 +0100cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-03-23 19:29:51 +0100cheater_cheater
2023-03-23 19:30:39 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-03-23 19:30:45 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2023-03-23 19:31:38 +0100 <merijn> I blame ChatGPT >.>
2023-03-23 19:31:56 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 246 seconds)
2023-03-23 19:33:20 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a) (Ping timeout: 246 seconds)
2023-03-23 19:33:33 +0100 <int-e> merijn: what's the point... it's not like you can sue it in court
2023-03-23 19:34:17 +0100 <merijn> int-e: It's the only reason I can think off why this is so broken, despite it probably predating chatgpt by a number of years xD
2023-03-23 19:35:51 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 19:36:31 +0100biberu(~biberu@user/biberu)
2023-03-23 19:36:40 +0100hugo-(znc@verdigris.lysator.liu.se)
2023-03-23 19:37:15 +0100enthropy(~enthropy@66.7.90.153)
2023-03-23 19:37:32 +0100cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-03-23 19:39:59 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 246 seconds)
2023-03-23 19:40:15 +0100cheater(~Username@user/cheater)
2023-03-23 19:40:53 +0100 <int-e> what's the extension even... NumDecimals I guess.
2023-03-23 19:41:23 +0100 <int-e> (Which, of course, was mentioned in the discussion.)
2023-03-23 19:44:15 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 19:44:26 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 19:44:27 +0100enthropy70(~enthropy@66.7.90.153)
2023-03-23 19:46:29 +0100cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2023-03-23 19:48:32 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2023-03-23 19:49:03 +0100enthropy(~enthropy@66.7.90.153) (Ping timeout: 260 seconds)
2023-03-23 19:49:12 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 19:51:03 +0100 <EvanR> every time you write bugs and nonsense you are helping chat-gpt's case against humanity
2023-03-23 19:51:22 +0100 <EvanR> who says we have monopoly on nonsense
2023-03-23 19:51:23 +0100enthropy70(~enthropy@66.7.90.153) (Ping timeout: 260 seconds)
2023-03-23 19:51:24 +0100 <int-e> Wow, that was a deliberate change? There's a comment in the code pointing to https://gitlab.haskell.org/ghc/ghc/-/issues/15646
2023-03-23 19:52:36 +0100 <int-e> Which uses insane literals (if you target Double), was at some point only about changing the behavior when NumDecimals was disabled, but somehow ended up changing the behavior with NumDecimals enabled regardless.
2023-03-23 19:53:36 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
2023-03-23 19:54:03 +0100 <int-e> I guess noone uses that extension anyway ;-)
2023-03-23 19:54:30 +0100ubert(~Thunderbi@p548c9c54.dip0.t-ipconnect.de) (Quit: ubert)
2023-03-23 19:55:27 +0100 <int-e> % :t 10000000000e-10
2023-03-23 19:55:27 +0100 <yahb2> 10000000000e-10 :: Num a => a
2023-03-23 19:56:11 +0100 <int-e> (There's a switch in behavior in that side too if you have 100...000e-101 that's an integer)
2023-03-23 19:56:22 +0100 <int-e> s/in/on/
2023-03-23 19:56:50 +0100 <int-e> (Though I suspect that nobody will ever care about that case.)
2023-03-23 19:58:48 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-03-23 20:06:30 +0100 <int-e> % :t (0e-100,0e-101)
2023-03-23 20:06:30 +0100 <yahb2> (0e-100,0e-101) :: (Fractional b, Num a) => (a, b)
2023-03-23 20:06:35 +0100markasoftware(~quassel@107.161.26.124) (Ping timeout: 250 seconds)
2023-03-23 20:07:02 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 20:08:28 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 20:13:49 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-03-23 20:15:16 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 20:16:21 +0100Albina_Pavlovna(~Albina_Pa@047-230-050-118.res.spectrum.com)
2023-03-23 20:16:31 +0100sm2n(ae95cb1267@user/sm2n) (Ping timeout: 240 seconds)
2023-03-23 20:16:31 +0100whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4) (Ping timeout: 240 seconds)
2023-03-23 20:16:31 +0100b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (Ping timeout: 240 seconds)
2023-03-23 20:16:37 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-03-23 20:16:41 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e) (Read error: Connection reset by peer)
2023-03-23 20:16:41 +0100probie(cc0b34050a@user/probie) (Read error: Connection reset by peer)
2023-03-23 20:16:42 +0100arcadewise(52968ed80d@2604:bf00:561:2000::3df) (Read error: Connection reset by peer)
2023-03-23 20:16:42 +0100jkoshy(99b9359beb@user/jkoshy) (Read error: Connection reset by peer)
2023-03-23 20:16:42 +0100Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Read error: Connection reset by peer)
2023-03-23 20:16:42 +0100sus(1b7af6299f@user/zeromomentum) (Read error: Connection reset by peer)
2023-03-23 20:16:42 +0100jakzale(6291399afa@user/jakzale) (Read error: Connection reset by peer)
2023-03-23 20:16:42 +0100filwisher(2e6936c793@2604:bf00:561:2000::170) (Read error: Connection reset by peer)
2023-03-23 20:16:42 +0100fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (Read error: Connection reset by peer)
2023-03-23 20:16:42 +0100ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (Write error: Connection reset by peer)
2023-03-23 20:16:42 +0100JoelMcCracken(5ea8252fbb@2604:bf00:561:2000::10e3) (Write error: Connection reset by peer)
2023-03-23 20:16:42 +0100evanrelf(3addc196af@2604:bf00:561:2000::f0) (Write error: Connection reset by peer)
2023-03-23 20:16:42 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0) (Write error: Connection reset by peer)
2023-03-23 20:16:42 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Write error: Connection reset by peer)
2023-03-23 20:17:25 +0100n1essa(3d621153a5@2604:bf00:561:2000::df7) (Ping timeout: 250 seconds)
2023-03-23 20:17:31 +0100ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (Ping timeout: 240 seconds)
2023-03-23 20:18:55 +0100b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2023-03-23 20:18:56 +0100evanrelf(3addc196af@2604:bf00:561:2000::f0)
2023-03-23 20:18:59 +0100ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2023-03-23 20:19:05 +0100filwisher(2e6936c793@2604:bf00:561:2000::170)
2023-03-23 20:19:16 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2023-03-23 20:20:46 +0100n1essa(3d621153a5@2604:bf00:561:2000::df7)
2023-03-23 20:20:55 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 276 seconds)
2023-03-23 20:20:58 +0100fvr(ef3e56ca8b@2604:bf00:561:2000::3c4)
2023-03-23 20:21:01 +0100whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4)
2023-03-23 20:21:02 +0100sus(1b7af6299f@user/zeromomentum)
2023-03-23 20:21:04 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds)
2023-03-23 20:21:12 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0)
2023-03-23 20:21:12 +0100probie(cc0b34050a@user/probie)
2023-03-23 20:21:27 +0100arcadewise(52968ed80d@2604:bf00:561:2000::3df)
2023-03-23 20:21:29 +0100jkoshy(99b9359beb@user/jkoshy)
2023-03-23 20:21:30 +0100ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a)
2023-03-23 20:21:37 +0100Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2023-03-23 20:21:37 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2023-03-23 20:21:42 +0100jakzale(6291399afa@user/jakzale)
2023-03-23 20:21:42 +0100JoelMcCracken(5ea8252fbb@2604:bf00:561:2000::10e3)
2023-03-23 20:21:44 +0100sm2n(ae95cb1267@user/sm2n)
2023-03-23 20:22:06 +0100markasoftware(~quassel@107.161.26.124)
2023-03-23 20:23:51 +0100tomboy64(~tomboy64@user/tomboy64)
2023-03-23 20:26:57 +0100catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 250 seconds)
2023-03-23 20:28:55 +0100jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb)
2023-03-23 20:28:59 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 20:29:38 +0100ft(~ft@62.155.196.67)
2023-03-23 20:32:13 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 20:33:31 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 248 seconds)
2023-03-23 20:34:01 +0100jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Ping timeout: 240 seconds)
2023-03-23 20:35:41 +0100jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb)
2023-03-23 20:38:11 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds)
2023-03-23 20:38:27 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 20:49:32 +0100mei(~mei@user/mei) (Remote host closed the connection)
2023-03-23 20:51:59 +0100mei(~mei@user/mei)
2023-03-23 20:52:53 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-23 20:57:53 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds)
2023-03-23 21:01:44 +0100infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2023-03-23 21:03:51 +0100infinity0(~infinity0@pwned.gg)
2023-03-23 21:08:44 +0100Jade[m][DNI][m]
2023-03-23 21:10:11 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 21:11:20 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 21:12:34 +0100 <ggVGc> just saw my my particle physics lecture notes has a chapter on group theory
2023-03-23 21:12:38 +0100 <ggVGc> I feel well prepared!
2023-03-23 21:12:45 +0100 <ggVGc> (actually not)
2023-03-23 21:14:18 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a)
2023-03-23 21:14:41 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-03-23 21:16:01 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-03-23 21:16:51 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
2023-03-23 21:18:59 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a) (Ping timeout: 260 seconds)
2023-03-23 21:20:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-03-23 21:27:02 +0100 <EvanR> So you want to smash particles together. First let me introduce you to some category theory
2023-03-23 21:27:12 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-03-23 21:27:15 +0100robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-03-23 21:29:02 +0100 <darkling> What do I need to learn if I just want to smash some rocks together?
2023-03-23 21:29:04 +0100 <geekosaur> need all the heavy duty math to figure out what the resulting spray of particles is up to
2023-03-23 21:31:40 +0100 <geekosaur> rocks? newtonian gravity
2023-03-23 21:32:29 +0100madjestic(~madjestic@88.159.247.120)
2023-03-23 21:33:52 +0100 <ggVGc> nah, definitely need some relativity there. At least special
2023-03-23 21:34:08 +0100 <ggVGc> actually, if you're smashing rocks you probably almost definitely need general
2023-03-23 21:35:55 +0100cheater(~Username@user/cheater)
2023-03-23 21:36:02 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
2023-03-23 21:37:35 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-23 21:37:54 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-23 21:38:13 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2023-03-23 21:38:28 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-03-23 21:42:31 +0100madjestic(~madjestic@88.159.247.120) (Ping timeout: 240 seconds)
2023-03-23 21:43:00 +0100 <tomsmeding> int-e: that code fragment you sent either makes no sense or is outdated
2023-03-23 21:43:10 +0100 <tomsmeding> because why then would 2.0e101 be an integral literal
2023-03-23 21:43:24 +0100 <tomsmeding> surely 101 <= 100 is false ?!
2023-03-23 21:43:28 +0100 <int-e> tomsmeding: no, because it's treated as 20e100
2023-03-23 21:43:40 +0100 <tomsmeding> ah lol
2023-03-23 21:43:46 +0100mauke_(~mauke@user/mauke)
2023-03-23 21:43:48 +0100 <tomsmeding> my god
2023-03-23 21:44:11 +0100 <int-e> that's the difference between 2e101 and 2.0e101 you observed earlier
2023-03-23 21:44:19 +0100 <tomsmeding> I see
2023-03-23 21:44:21 +0100 <int-e> (not sure what the concrete example was)
2023-03-23 21:44:41 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 21:44:52 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 21:45:35 +0100mauke(~mauke@user/mauke) (Ping timeout: 260 seconds)
2023-03-23 21:45:43 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2023-03-23 21:45:54 +0100Albina_Pavlovna(~Albina_Pa@047-230-050-118.res.spectrum.com) (Quit: ZZZzzz…)
2023-03-23 21:48:00 +0100mauke(~mauke@user/mauke)
2023-03-23 21:48:14 +0100zmt00(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2023-03-23 21:48:38 +0100Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-80fc-26c9-f434-5025.res6.spectrum.com)
2023-03-23 21:49:31 +0100mauke_(~mauke@user/mauke) (Ping timeout: 240 seconds)
2023-03-23 21:53:45 +0100zmt00(~zmt00@user/zmt00)
2023-03-23 22:01:15 +0100[DNI][m]jade1024[m]
2023-03-23 22:03:07 +0100juri_(~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 248 seconds)
2023-03-23 22:04:48 +0100juri_(~juri@84-19-175-179.pool.ovpn.com)
2023-03-23 22:05:55 +0100jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2023-03-23 22:07:09 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 22:17:03 +0100cheater_(~Username@user/cheater)
2023-03-23 22:18:38 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
2023-03-23 22:20:11 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-23 22:20:18 +0100cheater_cheater
2023-03-23 22:20:43 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-03-23 22:25:10 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-03-23 22:26:28 +0100cheater_(~Username@user/cheater)
2023-03-23 22:27:35 +0100cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-03-23 22:27:43 +0100cheater_cheater
2023-03-23 22:28:47 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 22:29:01 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 22:31:25 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-23 22:32:07 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-03-23 22:32:31 +0100talismanick(~talismani@2601:200:c000:f7a0::5321) (Ping timeout: 240 seconds)
2023-03-23 22:33:43 +0100Ashkan(~Ashkan@ec2-54-78-14-109.eu-west-1.compute.amazonaws.com)
2023-03-23 22:38:31 +0100catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407)
2023-03-23 22:39:46 +0100accord(uid568320@id-568320.hampstead.irccloud.com)
2023-03-23 22:40:36 +0100cheater_(~Username@user/cheater)
2023-03-23 22:41:31 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-03-23 22:41:37 +0100michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2023-03-23 22:41:55 +0100cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-23 22:42:00 +0100cheater_cheater
2023-03-23 22:45:34 +0100Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-03-23 22:47:53 +0100acidjnk(~acidjnk@p200300d6e715c45738806db69c102943.dip0.t-ipconnect.de)
2023-03-23 22:48:15 +0100acidjnk_new(~acidjnk@p200300d6e715c457ecf0b38e76c7a3f8.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-03-23 22:48:41 +0100Guest86(~Guest86@128.196.227.38)
2023-03-23 22:48:52 +0100freeside(~mengwong@103.252.202.85)
2023-03-23 22:51:33 +0100nate4(~nate@98.45.169.16)
2023-03-23 22:52:23 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 22:52:27 +0100Ashkan73(~Ashkan@ec2-54-78-14-109.eu-west-1.compute.amazonaws.com)
2023-03-23 22:52:44 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 22:53:09 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
2023-03-23 22:56:18 +0100Ashkan(~Ashkan@ec2-54-78-14-109.eu-west-1.compute.amazonaws.com) (Ping timeout: 260 seconds)
2023-03-23 22:56:18 +0100nate4(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2023-03-23 22:59:25 +0100cheater_(~Username@user/cheater)
2023-03-23 23:02:07 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-23 23:02:10 +0100cheater_cheater
2023-03-23 23:03:01 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2023-03-23 23:06:25 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-03-23 23:07:31 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-23 23:07:50 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-23 23:15:59 +0100lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-23 23:16:29 +0100lagash(lagash@lagash.shelltalk.net)
2023-03-23 23:16:31 +0100mncheck(~mncheck@193.224.205.254) (Ping timeout: 240 seconds)
2023-03-23 23:19:03 +0100Ashkan73(~Ashkan@ec2-54-78-14-109.eu-west-1.compute.amazonaws.com) (Ping timeout: 260 seconds)
2023-03-23 23:19:18 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-03-23 23:19:44 +0100cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-03-23 23:20:39 +0100Ashkan(~Ashkan@ec2-54-78-14-109.eu-west-1.compute.amazonaws.com)
2023-03-23 23:22:15 +0100Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-80fc-26c9-f434-5025.res6.spectrum.com) (Quit: bb)
2023-03-23 23:28:59 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 248 seconds)
2023-03-23 23:33:24 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-03-23 23:37:51 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-23 23:38:05 +0100Ashkan(~Ashkan@ec2-54-78-14-109.eu-west-1.compute.amazonaws.com) (Quit: Client closed)
2023-03-23 23:38:26 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-03-23 23:40:44 +0100slack1256(~slack1256@181.42.50.18)
2023-03-23 23:40:57 +0100Sgeo_(~Sgeo@user/sgeo)
2023-03-23 23:42:23 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 3.8)
2023-03-23 23:43:04 +0100merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
2023-03-23 23:43:43 +0100Sgeo(~Sgeo@user/sgeo) (Ping timeout: 276 seconds)
2023-03-23 23:43:57 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-03-23 23:46:23 +0100Sgeo(~Sgeo@user/sgeo)
2023-03-23 23:46:49 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-03-23 23:48:05 +0100Sgeo_(~Sgeo@user/sgeo) (Ping timeout: 268 seconds)
2023-03-23 23:50:58 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)