Home liberachat/#haskell: Logs Calendar

Logs on 2023-03-23 (liberachat/#haskell)

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

All times are in UTC on 2023-03-23.