IRCBrowse

2021/12/06

2021-12-06 00:01:06 +0100pfurla(~pfurla@201.17.118.230) (Quit: gone to sleep. ZZZzzz…)
2021-12-06 00:11:57 +0100pfurla(~pfurla@2804:14d:5c81:4104:9dad:b7eb:58e3:98e6)
2021-12-06 00:13:48 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (Remote host closed the connection)
2021-12-06 00:19:39 +0100emf(~emf@2620:10d:c090:400::5:3b6) (Ping timeout: 252 seconds)
2021-12-06 00:19:40 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 00:24:03 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-06 00:28:27 +0100jkaye(~jkaye@2601:281:8300:7530:3bdb:266b:f9cc:b3bc) (Ping timeout: 252 seconds)
2021-12-06 00:29:26 +0100AlexNoo__(~AlexNoo@178.34.163.11)
2021-12-06 00:31:23 +0100AlexZenon(~alzenon@178.34.151.83) (Ping timeout: 252 seconds)
2021-12-06 00:32:29 +0100Alex_test(~al_test@178.34.151.83) (Ping timeout: 252 seconds)
2021-12-06 00:32:47 +0100TranquilEcho(~grom@user/tranquilecho)
2021-12-06 00:33:02 +0100AlexNoo_(~AlexNoo@178.34.151.83) (Ping timeout: 252 seconds)
2021-12-06 00:35:11 +0100 <Axman6> anyone know what the state of the are for anonymous sum types is? Are there any that don't need linear time to discriminate?
2021-12-06 00:35:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-06 00:35:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-06 00:35:16 +0100wroathe(~wroathe@user/wroathe)
2021-12-06 00:36:02 +0100burnsidesLlama(~burnsides@dhcp168-020.wadham.ox.ac.uk)
2021-12-06 00:36:49 +0100AlexZenon(~alzenon@178.34.163.11)
2021-12-06 00:36:55 +0100 <Axman6> I remember there being a PR for generica-sop which did that I think...
2021-12-06 00:36:55 +0100Alex_test(~al_test@178.34.163.11)
2021-12-06 00:39:24 +0100 <jackdk> I believe DeriveGeneric instances aim to balance the tree of `:+:`s but I haven't gone looking for libs that guarantee logtime discriminatino
2021-12-06 00:40:45 +0100chenqisu12(~chenqisu1@183.217.201.63)
2021-12-06 00:41:05 +0100 <Axman6> The case I'm interested in would probably involve an anonymous sum type with hundreds of cases, so constant time wouldbe pretty important (I'm wanting to use it with the discrimination package... but that might actually be useful in making things linear... hmmm)
2021-12-06 00:41:43 +0100 <Axman6> https://github.com/well-typed/generics-sop/pull/129/files#diff-73d5674c9c5f0908d8b3ad84b68e7345f1c… is the change to generica-sop I was interested in
2021-12-06 00:43:16 +0100 <Axman6> and https://github.com/well-typed/generics-sop/pull/129/files#diff-73d5674c9c5f0908d8b3ad84b68e7345f1c… would also be very useful here too...
2021-12-06 00:44:09 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: Leaving)
2021-12-06 00:45:29 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-12-06 00:46:41 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2021-12-06 00:47:56 +0100 <boxscape> Axman6: maybe an unboxed sum could work?
2021-12-06 00:48:13 +0100 <Axman6> hmm, that's a possibility
2021-12-06 00:48:23 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-06 00:54:54 +0100 <jackdk> Does anyone know if there are good adapters that get you generic-lens style accessors for the structures generated by the large-record package? I'm hacking on a package with many very large records, and would like to get the compilation time down while supporting both `lens` and `optics`
2021-12-06 00:56:51 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-12-06 00:57:36 +0100 <Axman6> is that package related to https://youtu.be/GkoQbJofm1A?
2021-12-06 00:57:47 +0100 <Axman6> uh, not that one
2021-12-06 00:58:00 +0100 <jackdk> https://well-typed.com/blog/2021/10/large-records-part-2/
2021-12-06 00:58:14 +0100 <Axman6> https://youtu.be/XXPWVPquYvw
2021-12-06 01:00:32 +0100 <Axman6> Answer is: tes
2021-12-06 01:00:35 +0100 <Axman6> yes*
2021-12-06 01:00:57 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-12-06 01:01:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 01:10:34 +0100adelon(~adelon@user/adelon)
2021-12-06 01:10:44 +0100adelon(~adelon@user/adelon) (Client Quit)
2021-12-06 01:33:34 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-06 01:36:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-06 01:37:09 +0100gzj(~GZJ0X@216.24.178.99.16clouds.com)
2021-12-06 01:37:40 +0100GZJ0X_(~GZJ0X@216.24.178.99.16clouds.com)
2021-12-06 01:38:37 +0100Codaraxis(~Codaraxis@user/codaraxis)
2021-12-06 01:38:42 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2021-12-06 01:41:42 +0100GZJ0X_(~GZJ0X@216.24.178.99.16clouds.com) (Client Quit)
2021-12-06 01:41:43 +0100gzj(~GZJ0X@216.24.178.99.16clouds.com) (Ping timeout: 256 seconds)
2021-12-06 01:42:53 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds)
2021-12-06 01:43:26 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 252 seconds)
2021-12-06 01:50:37 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-12-06 01:52:47 +0100acidjnk_new(~acidjnk@p200300d0c7271e180970d7f4a6232670.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-12-06 01:53:17 +0100sprout(~quassel@2a02:a467:ccd6:1:38e1:73a2:ce5d:fb32)
2021-12-06 01:56:36 +0100sprout_(~quassel@2a02:a467:ccd6:1:bde9:c3fb:c9c:3dee) (Ping timeout: 245 seconds)
2021-12-06 02:03:13 +0100TranquilEcho(~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-12-06 02:04:40 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-12-06 02:10:33 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep)
2021-12-06 02:11:21 +0100mvk(~mvk@2607:fea8:5cdd:f000::9788)
2021-12-06 02:14:36 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-06 02:15:23 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 02:20:12 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection)
2021-12-06 02:21:48 +0100 <boxscape> is there a way to prevent cabal repl from exiting when you hit Ctrl-C?
2021-12-06 02:22:38 +0100 <geekosaur> not portably :(
2021-12-06 02:23:05 +0100 <boxscape> hm okay
2021-12-06 02:23:24 +0100 <boxscape> is there a non-portable way?
2021-12-06 02:24:05 +0100 <geekosaur> on a posix system cabal could SIG_IGN SIGINT while running ghci. on windows there's no way to do this at all, iirc
2021-12-06 02:24:47 +0100 <boxscape> If I'm understanding correctly that POSIX solution is something that cabal would have to implement, rather than a solution I as a user could use?
2021-12-06 02:25:01 +0100 <geekosaur> this would probably require rewiring how cabal runs subprocesses completely, since it would have to use the posix subprocess interfaces to do this
2021-12-06 02:25:14 +0100 <boxscape> okay
2021-12-06 02:25:41 +0100 <boxscape> interestingly there is an issue from 7 years ago that claims it was fixed https://github.com/haskell/cabal/issues/1610
2021-12-06 02:25:53 +0100 <boxscape> s/7/8
2021-12-06 02:27:06 +0100 <geekosaur> mrr. wonder if it's a regression, and if so was it introduced by trying to improve windows support
2021-12-06 02:27:12 +0100burnsidesLlama(~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 268 seconds)
2021-12-06 02:27:45 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (Remote host closed the connection)
2021-12-06 02:27:50 +0100 <boxscape> it's also entirely that it works on linux, I actually went into this thinking I need a linux solution because I'm on WSL2, but then I realized I'm calling the windows cabal from the WSL2 terminal at the moment
2021-12-06 02:28:24 +0100 <geekosaur> that would make sense. there is very little provided on windows for ctrl-c handling
2021-12-06 02:28:38 +0100 <boxscape> hm, right
2021-12-06 02:28:38 +0100 <geekosaur> which is why I said "not portably"
2021-12-06 02:30:19 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.3)
2021-12-06 02:30:43 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-06 02:31:03 +0100chenqisu12(~chenqisu1@183.217.201.63) (Remote host closed the connection)
2021-12-06 02:31:16 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 02:34:50 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-12-06 02:38:41 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 245 seconds)
2021-12-06 02:41:40 +0100dsrt^(~dsrt@68.101.58.90) (Remote host closed the connection)
2021-12-06 02:42:30 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.3)
2021-12-06 02:44:14 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-06 02:52:28 +0100mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Remote host closed the connection)
2021-12-06 03:06:17 +0100 <nfd> dsal: sorry for ghosting your question last night; had/have my client misconfigured on this channel
2021-12-06 03:06:37 +0100 <nfd> (lexeme was supposed to eat trailing spaces and tabs, and does)
2021-12-06 03:07:58 +0100nfd(~nfd@user/nfd) ()
2021-12-06 03:08:02 +0100nfd(~nfd@user/nfd)
2021-12-06 03:11:16 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-06 03:11:26 +0100wei2912(~wei2912@116.88.103.128)
2021-12-06 03:11:49 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-12-06 03:15:16 +0100 <dsal> nfd: yeah, just wondering how you defined it. It used to confuse me/lead to bugs
2021-12-06 03:16:50 +0100deadmarshal(~deadmarsh@95.38.119.139)
2021-12-06 03:17:13 +0100stevenxl(~stevenlei@174.128.182.152)
2021-12-06 03:21:09 +0100deadmarshal(~deadmarsh@95.38.119.139) (Ping timeout: 252 seconds)
2021-12-06 03:25:11 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Ping timeout: 252 seconds)
2021-12-06 03:28:52 +0100xff0x(~xff0x@2001:1a81:5227:8600:e134:3a0d:618c:1205) (Ping timeout: 268 seconds)
2021-12-06 03:30:21 +0100xff0x(~xff0x@2001:1a81:5269:5600:e5f5:ee22:f6bb:9023)
2021-12-06 03:30:41 +0100 <nfd> i actually *did* have a bug due to my exact definition consuming newlines
2021-12-06 03:31:40 +0100zincy(~tom@2a00:23c8:970c:4801:8164:4807:4ccb:62f3) (Remote host closed the connection)
2021-12-06 03:31:45 +0100tom_(~tom@2a00:23c8:970c:4801:8164:4807:4ccb:62f3) (Remote host closed the connection)
2021-12-06 03:31:47 +0100zincy(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684)
2021-12-06 03:31:48 +0100tom__(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684)
2021-12-06 03:32:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 03:34:42 +0100hololeap(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-12-06 03:36:51 +0100hololeap(~hololeap@user/hololeap)
2021-12-06 03:40:34 +0100genieliu(~genieliu@103.37.140.24)
2021-12-06 03:45:39 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-06 03:51:41 +0100Techcable_(~Techcable@168.235.93.147) (Ping timeout: 268 seconds)
2021-12-06 04:02:39 +0100hololeap(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-12-06 04:04:42 +0100lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-06 04:05:29 +0100hololeap(~hololeap@user/hololeap)
2021-12-06 04:06:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-06 04:06:47 +0100sagax(~sagax_nb@user/sagax)
2021-12-06 04:08:27 +0100mvk(~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds)
2021-12-06 04:18:36 +0100lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2021-12-06 04:19:05 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-12-06 04:21:17 +0100euandreh(~euandreh@2804:14c:33:9fe5:f767:b15a:e5b1:96f0) (Ping timeout: 268 seconds)
2021-12-06 04:22:12 +0100euandreh(~euandreh@2804:14c:33:9fe5:b36c:1fc0:956d:d06c)
2021-12-06 04:28:41 +0100renzhi(~xp@2607:fa49:6500:b100::5cef) (Ping timeout: 268 seconds)
2021-12-06 04:29:43 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 252 seconds)
2021-12-06 04:31:23 +0100mbuf(~Shakthi@122.178.240.120)
2021-12-06 04:33:00 +0100genieliu_(~genieliu@103.37.140.24)
2021-12-06 04:33:59 +0100genieliu(~genieliu@103.37.140.24) (Ping timeout: 256 seconds)
2021-12-06 04:34:07 +0100td_(~td@muedsl-82-207-238-182.citykom.de) (Ping timeout: 252 seconds)
2021-12-06 04:35:55 +0100td_(~td@muedsl-82-207-238-027.citykom.de)
2021-12-06 04:37:08 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-12-06 04:37:08 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-06 04:37:08 +0100finn_elijaFinnElija
2021-12-06 04:40:13 +0100_xor(~xor@72.49.199.147) (Ping timeout: 256 seconds)
2021-12-06 04:41:49 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-12-06 04:47:49 +0100terrorjack(~terrorjac@static.3.200.12.49.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
2021-12-06 04:49:03 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2021-12-06 04:52:22 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.3)
2021-12-06 04:52:53 +0100kennyd(~bc8165b6@83.167.180.121) (Quit: CGI:IRC (Session timeout))
2021-12-06 05:07:36 +0100sprout_(~quassel@2a02:a467:ccd6:1:39f3:76e9:9ca1:32bd)
2021-12-06 05:10:47 +0100sprout(~quassel@2a02:a467:ccd6:1:38e1:73a2:ce5d:fb32) (Ping timeout: 252 seconds)
2021-12-06 05:11:57 +0100genieliu_(~genieliu@103.37.140.24) (Ping timeout: 256 seconds)
2021-12-06 05:12:44 +0100cjb(~cjb@user/cjb) (Quit: rcirc on GNU Emacs 29.0.50)
2021-12-06 05:25:16 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 05:29:25 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 05:34:28 +0100Techcable(~Techcable@168.235.93.147)
2021-12-06 05:40:19 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection)
2021-12-06 05:43:31 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-06 05:44:56 +0100genieliu(~genieliu@103.37.140.38)
2021-12-06 05:44:56 +0100darchitect(~darchitec@2a00:23c6:3584:df00:7dec:bf13:8fa:748c) (Ping timeout: 245 seconds)
2021-12-06 05:45:46 +0100darchite`(~user@2a00:23c6:3584:df00:7dec:bf13:8fa:748c) (Ping timeout: 268 seconds)
2021-12-06 05:47:43 +0100deadmarshal(~deadmarsh@95.38.119.139)
2021-12-06 05:50:01 +0100genieliu(~genieliu@103.37.140.38) (Ping timeout: 252 seconds)
2021-12-06 05:55:09 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-06 05:55:24 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 05:55:31 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-06 05:55:53 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-12-06 05:58:46 +0100on^(~on@68.101.58.90)
2021-12-06 06:02:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 06:12:04 +0100deadmarshal(~deadmarsh@95.38.119.139) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-06 06:13:12 +0100deadmarshal(~deadmarsh@95.38.119.139)
2021-12-06 06:14:57 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-12-06 06:18:13 +0100famubu(~famubu@user/famubu)
2021-12-06 06:18:56 +0100genieliu(~genieliu@103.37.140.24)
2021-12-06 06:19:04 +0100 <famubu> Hi. Can we say that 'Monad ⊂ Applicatives ⊂ Functors'?
2021-12-06 06:19:12 +0100 <famubu> I was trying to learn about monads.
2021-12-06 06:19:20 +0100 <sclv> yes, that's correct
2021-12-06 06:19:27 +0100 <famubu> Thanks. :)
2021-12-06 06:19:43 +0100deadmarshal(~deadmarsh@95.38.119.139) (Ping timeout: 252 seconds)
2021-12-06 06:21:55 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-12-06 06:23:55 +0100genieliu(~genieliu@103.37.140.24) (Ping timeout: 256 seconds)
2021-12-06 06:26:28 +0100glguy(x@libera/staff/glguy) (*.net *.split)
2021-12-06 06:26:28 +0100on^(~on@68.101.58.90) (*.net *.split)
2021-12-06 06:26:28 +0100sprout_(~quassel@2a02:a467:ccd6:1:39f3:76e9:9ca1:32bd) (*.net *.split)
2021-12-06 06:26:28 +0100zincy(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (*.net *.split)
2021-12-06 06:26:28 +0100xff0x(~xff0x@2001:1a81:5269:5600:e5f5:ee22:f6bb:9023) (*.net *.split)
2021-12-06 06:26:28 +0100stevenxl(~stevenlei@174.128.182.152) (*.net *.split)
2021-12-06 06:26:28 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (*.net *.split)
2021-12-06 06:26:28 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (*.net *.split)
2021-12-06 06:26:28 +0100Codaraxis(~Codaraxis@user/codaraxis) (*.net *.split)
2021-12-06 06:26:29 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (*.net *.split)
2021-12-06 06:26:29 +0100Alex_test(~al_test@178.34.163.11) (*.net *.split)
2021-12-06 06:26:29 +0100AlexZenon(~alzenon@178.34.163.11) (*.net *.split)
2021-12-06 06:26:29 +0100vgtw_(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) (*.net *.split)
2021-12-06 06:26:29 +0100pavonia(~user@user/siracusa) (*.net *.split)
2021-12-06 06:26:29 +0100justSleigh(~justache@user/justache) (*.net *.split)
2021-12-06 06:26:29 +0100bradparker(sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split)
2021-12-06 06:26:29 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (*.net *.split)
2021-12-06 06:26:29 +0100connrs(~connrs@user/connrs) (*.net *.split)
2021-12-06 06:26:29 +0100taktoa[c](sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
2021-12-06 06:26:29 +0100alx741(~alx741@186.178.109.217) (*.net *.split)
2021-12-06 06:26:29 +0100shriekingnoise(~shrieking@186.137.144.80) (*.net *.split)
2021-12-06 06:26:29 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
2021-12-06 06:26:29 +0100Jonno_FTW(~come@api.carswap.me) (*.net *.split)
2021-12-06 06:26:29 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
2021-12-06 06:26:29 +0100zaquest(~notzaques@5.130.79.72) (*.net *.split)
2021-12-06 06:26:29 +0100shailangsa(~shailangs@host86-186-142-82.range86-186.btcentralplus.com) (*.net *.split)
2021-12-06 06:26:29 +0100int-e(~noone@int-e.eu) (*.net *.split)
2021-12-06 06:26:29 +0100trillp(~user@69.233.98.238) (*.net *.split)
2021-12-06 06:26:29 +0100JimL(~quassel@89-162-2-132.fiber.signal.no) (*.net *.split)
2021-12-06 06:26:29 +0100wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split)
2021-12-06 06:26:29 +0100jinsun(~quassel@user/jinsun) (*.net *.split)
2021-12-06 06:26:29 +0100nickdaly(45ce440a48@2604:bf00:561:2000::e2) (*.net *.split)
2021-12-06 06:26:29 +0100elvishjerricco(sid237756@id-237756.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:26:29 +0100FragByte(~christian@user/fragbyte) (*.net *.split)
2021-12-06 06:26:29 +0100halides(halides@imases.biss.ee) (*.net *.split)
2021-12-06 06:26:29 +0100iqubic(~user@c-67-171-37-233.hsd1.wa.comcast.net) (*.net *.split)
2021-12-06 06:26:29 +0100res0nat0r8(~Fletch@dia.whatbox.ca) (*.net *.split)
2021-12-06 06:26:29 +0100gdd(~gdd@129.199.146.230) (*.net *.split)
2021-12-06 06:26:29 +0100EvanR(~evan@user/evanr) (*.net *.split)
2021-12-06 06:26:29 +0100mud(~mud@user/kadoban) (*.net *.split)
2021-12-06 06:26:29 +0100acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split)
2021-12-06 06:26:29 +0100MasseR(~MasseR@51.15.143.128) (*.net *.split)
2021-12-06 06:26:29 +0100m5zs7k(aquares@web10.mydevil.net) (*.net *.split)
2021-12-06 06:26:29 +0100arahael(~arahael@27-32-144-20.tpgi.com.au) (*.net *.split)
2021-12-06 06:26:29 +0100ozzymcduff(~mathieu@81-234-151-21-no94.tbcn.telia.com) (*.net *.split)
2021-12-06 06:26:29 +0100samhh(7569f027cf@2604:bf00:561:2000::e4) (*.net *.split)
2021-12-06 06:26:29 +0100dibblego(~dibblego@haskell/developer/dibblego) (*.net *.split)
2021-12-06 06:26:29 +0100jakzale(6291399afa@user/jakzale) (*.net *.split)
2021-12-06 06:26:29 +0100Typedfern(~Typedfern@75.red-88-22-25.staticip.rima-tde.net) (*.net *.split)
2021-12-06 06:26:29 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (*.net *.split)
2021-12-06 06:26:29 +0100stefan-_(~cri@42dots.de) (*.net *.split)
2021-12-06 06:26:30 +0100srk(~sorki@user/srk) (*.net *.split)
2021-12-06 06:26:30 +0100theproffesor(~theproffe@user/theproffesor) (*.net *.split)
2021-12-06 06:26:30 +0100obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl) (*.net *.split)
2021-12-06 06:26:30 +0100haasn(~nand@haasn.dev) (*.net *.split)
2021-12-06 06:26:30 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (*.net *.split)
2021-12-06 06:26:30 +0100sus(zero@user/zeromomentum) (*.net *.split)
2021-12-06 06:26:30 +0100Boarders_(sid425905@id-425905.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100JSharp(sid4580@id-4580.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100ysh(sid6017@id-6017.ilkley.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100whatif(~user@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split)
2021-12-06 06:26:30 +0100saolsen(sid26430@id-26430.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100tapas(sid467876@id-467876.ilkley.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100cbarrett(sid192934@id-192934.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100enemeth79(sid309041@id-309041.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100bjs(sid190364@user/bjs) (*.net *.split)
2021-12-06 06:26:30 +0100sclv(sid39734@haskell/developer/sclv) (*.net *.split)
2021-12-06 06:26:30 +0100mrianbloom(sid350277@id-350277.ilkley.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100dmj`(sid72307@id-72307.hampstead.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100acertain(sid470584@id-470584.hampstead.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100Pent(sid313808@id-313808.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100gaze___(sid387101@id-387101.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100V(~v@anomalous.eu) (*.net *.split)
2021-12-06 06:26:30 +0100SethTisue__(sid14912@id-14912.ilkley.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100hongminhee(sid295@id-295.tinside.irccloud.com) (*.net *.split)
2021-12-06 06:26:30 +0100famubu(~famubu@user/famubu) (*.net *.split)
2021-12-06 06:26:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (*.net *.split)
2021-12-06 06:26:30 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (*.net *.split)
2021-12-06 06:26:30 +0100Techcable(~Techcable@168.235.93.147) (*.net *.split)
2021-12-06 06:26:30 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (*.net *.split)
2021-12-06 06:26:30 +0100aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (*.net *.split)
2021-12-06 06:26:30 +0100Sgeo(~Sgeo@user/sgeo) (*.net *.split)
2021-12-06 06:26:30 +0100juhp(~juhp@128.106.188.82) (*.net *.split)
2021-12-06 06:26:30 +0100jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split)
2021-12-06 06:26:30 +0100dhruvasagar(~dhruvasag@49.207.222.205) (*.net *.split)
2021-12-06 06:26:30 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (*.net *.split)
2021-12-06 06:26:30 +0100nfd(~nfd@user/nfd) (*.net *.split)
2021-12-06 06:26:30 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (*.net *.split)
2021-12-06 06:26:30 +0100tv(~tv@user/tv) (*.net *.split)
2021-12-06 06:26:30 +0100kritzefitz(~kritzefit@debian/kritzefitz) (*.net *.split)
2021-12-06 06:26:30 +0100hrdl(~hrdl@mail.hrdl.eu) (*.net *.split)
2021-12-06 06:26:30 +0100jlamothe(~jlamothe@198.251.61.229) (*.net *.split)
2021-12-06 06:26:30 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2021-12-06 06:26:30 +0100gentauro(~gentauro@user/gentauro) (*.net *.split)
2021-12-06 06:26:30 +0100noctux(~noctux@user/noctux) (*.net *.split)
2021-12-06 06:26:30 +0100sweater(~sweater@206.81.18.26) (*.net *.split)
2021-12-06 06:26:30 +0100dolio(~dolio@130.44.130.54) (*.net *.split)
2021-12-06 06:26:30 +0100Logio(em@kapsi.fi) (*.net *.split)
2021-12-06 06:26:31 +0100niko(~niko@libera/staff/niko) (*.net *.split)
2021-12-06 06:26:31 +0100nisstyre(~wes@user/nisstyre) (*.net *.split)
2021-12-06 06:26:31 +0100pragma-(~chaos@user/pragmatic-chaos) (*.net *.split)
2021-12-06 06:26:31 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu) (*.net *.split)
2021-12-06 06:26:31 +0100phma(~phma@host-67-44-208-5.hnremote.net) (*.net *.split)
2021-12-06 06:26:31 +0100pie__(~pie_bnc@user/pie/x-2818909) (*.net *.split)
2021-12-06 06:26:31 +0100m1dnight_(~christoph@christophe.dev) (*.net *.split)
2021-12-06 06:26:31 +0100[exa](~exa@user/exa/x-3587197) (*.net *.split)
2021-12-06 06:26:31 +0100Hecate(~mariposa@user/hecate) (*.net *.split)
2021-12-06 06:26:31 +0100dfordivam1(~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split)
2021-12-06 06:26:31 +0100greyrat_(~greyrat@ip202.ip-51-178-215.eu) (*.net *.split)
2021-12-06 06:26:31 +0100eL_Bart0-(eL_Bart0@dietunichtguten.org) (*.net *.split)
2021-12-06 06:26:31 +0100davl_(~davl@207.154.228.18) (*.net *.split)
2021-12-06 06:26:31 +0100MidAutumnMoon6(~MidAutumn@user/midautumnmoon) (*.net *.split)
2021-12-06 06:26:31 +0100jzsinatra(~jzsinatra@88-114-238-31.elisa-laajakaista.fi) (*.net *.split)
2021-12-06 06:26:31 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split)
2021-12-06 06:26:31 +0100peutri(~peutri@ns317027.ip-94-23-46.eu) (*.net *.split)
2021-12-06 06:26:31 +0100lyxia(~lyxia@poisson.chat) (*.net *.split)
2021-12-06 06:26:31 +0100incertia(~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split)
2021-12-06 06:26:31 +0100ikke(~kevin@alpine/developer/ikke) (*.net *.split)
2021-12-06 06:26:31 +0100Athas(athas@sigkill.dk) (*.net *.split)
2021-12-06 06:26:31 +0100haveo(~haveo@sl35.iuwt.fr) (*.net *.split)
2021-12-06 06:26:31 +0100bens(~bens@www.typius.com) (*.net *.split)
2021-12-06 06:26:31 +0100jjhoo(~jahakala@user/jjhoo) (*.net *.split)
2021-12-06 06:26:31 +0100finsternis(~X@23.226.237.192) (*.net *.split)
2021-12-06 06:26:31 +0100Benzi-Junior(~BenziJuni@88-149-66-61.du.xdsl.is) (*.net *.split)
2021-12-06 06:26:31 +0100yahb(xsbot@user/mniip/bot/yahb) (*.net *.split)
2021-12-06 06:26:31 +0100turlando(~turlando@user/turlando) (*.net *.split)
2021-12-06 06:26:31 +0100Unode(~Unode@194.94.44.220) (*.net *.split)
2021-12-06 06:26:31 +0100derelict(~derelict@user/derelict) (*.net *.split)
2021-12-06 06:26:31 +0100asm(~alexander@user/asm) (*.net *.split)
2021-12-06 06:26:31 +0100WhateverRabbit(~rabbit@206.81.18.26) (*.net *.split)
2021-12-06 06:26:31 +0100adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2021-12-06 06:26:31 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (*.net *.split)
2021-12-06 06:26:31 +0100sagax(~sagax_nb@user/sagax) (*.net *.split)
2021-12-06 06:26:31 +0100wei2912(~wei2912@116.88.103.128) (*.net *.split)
2021-12-06 06:26:31 +0100johnw(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (*.net *.split)
2021-12-06 06:26:31 +0100tito(tito@tilde.team) (*.net *.split)
2021-12-06 06:26:31 +0100hook54321(sid149355@user/hook54321) (*.net *.split)
2021-12-06 06:26:31 +0100unyu(~pyon@user/pyon) (*.net *.split)
2021-12-06 06:26:31 +0100img(~img@user/img) (*.net *.split)
2021-12-06 06:26:31 +0100retroid_(~retro@97e2ba2e.skybroadband.com) (*.net *.split)
2021-12-06 06:26:31 +0100cyphase(~cyphase@user/cyphase) (*.net *.split)
2021-12-06 06:26:31 +0100Feuermagier(~Feuermagi@user/feuermagier) (*.net *.split)
2021-12-06 06:26:31 +0100dispater(~dispater@user/brprice) (*.net *.split)
2021-12-06 06:26:31 +0100jamestmartin(~james@jtmar.me) (*.net *.split)
2021-12-06 06:26:31 +0100vjoki(~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split)
2021-12-06 06:26:31 +0100filwisher(2e6936c793@2604:bf00:561:2000::170) (*.net *.split)
2021-12-06 06:26:31 +0100yaroot(~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (*.net *.split)
2021-12-06 06:26:31 +0100rembo10(~rembo10@remulis.com) (*.net *.split)
2021-12-06 06:26:31 +0100ehamberg(sid18208@id-18208.hampstead.irccloud.com) (*.net *.split)
2021-12-06 06:26:31 +0100sm2n(ae95cb1267@user/sm2n) (*.net *.split)
2021-12-06 06:26:31 +0100jkoshy(99b9359beb@2604:bf00:561:2000::10f) (*.net *.split)
2021-12-06 06:26:31 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split)
2021-12-06 06:26:31 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split)
2021-12-06 06:26:31 +0100dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da) (*.net *.split)
2021-12-06 06:26:32 +0100joeyh(joeyh@kitenet.net) (*.net *.split)
2021-12-06 06:26:32 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split)
2021-12-06 06:26:32 +0100infinity0(~infinity0@occupy.ecodis.net) (*.net *.split)
2021-12-06 06:26:32 +0100hays(rootvegeta@fsf/member/hays) (*.net *.split)
2021-12-06 06:26:32 +0100TMA(tma@twin.jikos.cz) (*.net *.split)
2021-12-06 06:26:32 +0100iphy(sid67735@id-67735.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100whez(sid470288@id-470288.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100_0x47_(sid508683@id-508683.tinside.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100awpr(uid446117@id-446117.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100teehemkay_(sid14792@id-14792.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100angerman(sid209936@id-209936.ilkley.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100ephemient(uid407513@id-407513.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100gregberns__(sid315709@id-315709.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100kaizen(sid501599@id-501599.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100MironZ(~MironZ@nat-infra.ehlab.uk) (*.net *.split)
2021-12-06 06:26:32 +0100Kaiepi(~Kaiepi@156.34.44.192) (*.net *.split)
2021-12-06 06:26:32 +0100micro(~micro@user/micro) (*.net *.split)
2021-12-06 06:26:32 +0100russruss(~russruss@my.russellmcc.com) (*.net *.split)
2021-12-06 06:26:32 +0100S11001001(sid42510@id-42510.ilkley.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100NiKaN(sid385034@id-385034.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (*.net *.split)
2021-12-06 06:26:32 +0100thaumavorio(~thaumavor@thaumavor.io) (*.net *.split)
2021-12-06 06:26:32 +0100tnks(sid412124@id-412124.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100duckonomy(~duckonomy@177.ip-144-217-84.net) (*.net *.split)
2021-12-06 06:26:32 +0100marienz(~marienz@libera/staff/marienz) (*.net *.split)
2021-12-06 06:26:32 +0100davetapley(sid666@id-666.uxbridge.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100rtpg(sid443069@id-443069.ilkley.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100b20n(sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100lightandlight(sid135476@id-135476.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100caasih(sid13241@id-13241.ilkley.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100edmundnoble(sid229620@id-229620.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100PotatoGim(sid99505@id-99505.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100philpax_(sid516926@id-516926.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100jakesyl_(sid56879@id-56879.hampstead.irccloud.com) (*.net *.split)
2021-12-06 06:26:32 +0100Ekho(~Ekho@user/ekho) (*.net *.split)
2021-12-06 06:26:32 +0100yushyin(3RNeQpThcJ@karif.server-speed.net) (*.net *.split)
2021-12-06 06:26:32 +0100m4lvin(~m4lvin@w4eg.de) (*.net *.split)
2021-12-06 06:26:32 +0100fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (*.net *.split)
2021-12-06 06:26:32 +0100myme(~myme@40.51-175-185.customer.lyse.net) (*.net *.split)
2021-12-06 06:26:32 +0100amk(~amk@109.255.169.126) (*.net *.split)
2021-12-06 06:26:32 +0100averell(~averell@user/averell) (*.net *.split)
2021-12-06 06:26:32 +0100Maxdamantus(~Maxdamant@user/maxdamantus) (*.net *.split)
2021-12-06 06:26:32 +0100bbear(~znc@21212.s.t4vps.eu) (*.net *.split)
2021-12-06 06:26:32 +0100darkstardevx(~darkstard@50.39.115.145) (*.net *.split)
2021-12-06 06:26:32 +0100erisco(~erisco@d24-57-249-233.home.cgocable.net) (*.net *.split)
2021-12-06 06:26:32 +0100dragestil(~znc@user/dragestil) (*.net *.split)
2021-12-06 06:26:32 +0100welterde(welterde@thinkbase.srv.welterde.de) (*.net *.split)
2021-12-06 06:26:32 +0100earthy(~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (*.net *.split)
2021-12-06 06:26:32 +0100cawfee(~root@2406:3003:2077:2758::babe) (*.net *.split)
2021-12-06 06:26:32 +0100liskin(~liskin@xmonad/liskin) (*.net *.split)
2021-12-06 06:26:32 +0100emergence(~emergence@vm0.max-p.me) (*.net *.split)
2021-12-06 06:26:32 +0100leah2(~leah@vuxu.org) (*.net *.split)
2021-12-06 06:26:32 +0100defanor(~defanor@tart.uberspace.net) (*.net *.split)
2021-12-06 06:26:32 +0100codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split)
2021-12-06 06:26:32 +0100nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
2021-12-06 06:26:32 +0100Putonlalla(~sapekiis@it-cyan.it.jyu.fi) (*.net *.split)
2021-12-06 06:26:32 +0100koolazer(~koo@user/koolazer) (*.net *.split)
2021-12-06 06:26:32 +0100mikko(~mikko@2a02:7b40:d418:6a61::1) (*.net *.split)
2021-12-06 06:26:32 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (*.net *.split)
2021-12-06 06:26:32 +0100bjobjo(~bjobjo@user/bjobjo) (*.net *.split)
2021-12-06 06:26:32 +0100xnbya(~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split)
2021-12-06 06:26:32 +0100bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org) (*.net *.split)
2021-12-06 06:26:32 +0100Adran(~adran@botters/adran) (*.net *.split)
2021-12-06 06:26:32 +0100energizer(~energizer@user/energizer) (*.net *.split)
2021-12-06 06:26:32 +0100tomjaguarpaw(~tom@li367-225.members.linode.com) (*.net *.split)
2021-12-06 06:26:32 +0100Arsen(arsen@managarm/dev/Arsen) (*.net *.split)
2021-12-06 06:26:32 +0100immae(~immae@2a01:4f8:141:53e7::) (*.net *.split)
2021-12-06 06:26:32 +0100cross(~cross@spitfire.i.gajendra.net) (*.net *.split)
2021-12-06 06:26:32 +0100janus(janus@anubis.0x90.dk) (*.net *.split)
2021-12-06 06:26:32 +0100phaazon(~phaazon@2001:41d0:a:fe76::1) (*.net *.split)
2021-12-06 06:26:32 +0100sphynx(~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split)
2021-12-06 06:26:32 +0100dixie(~dixie@real.wilbury.sk) (*.net *.split)
2021-12-06 06:26:32 +0100dunj3(~dunj3@kingdread.de) (*.net *.split)
2021-12-06 06:26:32 +0100cpape(~user@2a01:4f9:c010:632d::1) (*.net *.split)
2021-12-06 06:26:32 +0100sm[i](~user@plaintextaccounting/sm) (*.net *.split)
2021-12-06 06:26:32 +0100xsarnik(xsarnik@lounge.fi.muni.cz) (*.net *.split)
2021-12-06 06:26:32 +0100tubogram(~tubogram@user/tubogram) (*.net *.split)
2021-12-06 06:26:32 +0100Axman6(~Axman6@user/axman6) (*.net *.split)
2021-12-06 06:26:39 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-12-06 06:27:14 +0100geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-12-06 06:27:14 +0100famubu(~famubu@user/famubu)
2021-12-06 06:27:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 06:27:14 +0100on^(~on@68.101.58.90)
2021-12-06 06:27:14 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-06 06:27:14 +0100Techcable(~Techcable@168.235.93.147)
2021-12-06 06:27:14 +0100sprout_(~quassel@2a02:a467:ccd6:1:39f3:76e9:9ca1:32bd)
2021-12-06 06:27:14 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2021-12-06 06:27:14 +0100sagax(~sagax_nb@user/sagax)
2021-12-06 06:27:14 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-06 06:27:14 +0100zincy(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684)
2021-12-06 06:27:14 +0100xff0x(~xff0x@2001:1a81:5269:5600:e5f5:ee22:f6bb:9023)
2021-12-06 06:27:14 +0100stevenxl(~stevenlei@174.128.182.152)
2021-12-06 06:27:14 +0100wei2912(~wei2912@116.88.103.128)
2021-12-06 06:27:14 +0100nfd(~nfd@user/nfd)
2021-12-06 06:27:14 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-06 06:27:14 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 06:27:14 +0100Codaraxis(~Codaraxis@user/codaraxis)
2021-12-06 06:27:14 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-06 06:27:14 +0100Alex_test(~al_test@178.34.163.11)
2021-12-06 06:27:14 +0100AlexZenon(~alzenon@178.34.163.11)
2021-12-06 06:27:14 +0100aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com)
2021-12-06 06:27:14 +0100vgtw_(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se)
2021-12-06 06:27:14 +0100pavonia(~user@user/siracusa)
2021-12-06 06:27:14 +0100justSleigh(~justache@user/justache)
2021-12-06 06:27:14 +0100Sgeo(~Sgeo@user/sgeo)
2021-12-06 06:27:14 +0100juhp(~juhp@128.106.188.82)
2021-12-06 06:27:14 +0100jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2021-12-06 06:27:14 +0100bradparker(sid262931@id-262931.uxbridge.irccloud.com)
2021-12-06 06:27:14 +0100johnw(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0)
2021-12-06 06:27:14 +0100dhruvasagar(~dhruvasag@49.207.222.205)
2021-12-06 06:27:14 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-12-06 06:27:14 +0100tito(tito@tilde.team)
2021-12-06 06:27:14 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2021-12-06 06:27:14 +0100connrs(~connrs@user/connrs)
2021-12-06 06:27:14 +0100taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2021-12-06 06:27:14 +0100hook54321(sid149355@user/hook54321)
2021-12-06 06:27:14 +0100unyu(~pyon@user/pyon)
2021-12-06 06:27:14 +0100alx741(~alx741@186.178.109.217)
2021-12-06 06:27:14 +0100shriekingnoise(~shrieking@186.137.144.80)
2021-12-06 06:27:14 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2021-12-06 06:27:14 +0100Jonno_FTW(~come@api.carswap.me)
2021-12-06 06:27:14 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-12-06 06:27:14 +0100shailangsa(~shailangs@host86-186-142-82.range86-186.btcentralplus.com)
2021-12-06 06:27:14 +0100zaquest(~notzaques@5.130.79.72)
2021-12-06 06:27:14 +0100int-e(~noone@int-e.eu)
2021-12-06 06:27:14 +0100img(~img@user/img)
2021-12-06 06:27:14 +0100retroid_(~retro@97e2ba2e.skybroadband.com)
2021-12-06 06:27:14 +0100trillp(~user@69.233.98.238)
2021-12-06 06:27:14 +0100JimL(~quassel@89-162-2-132.fiber.signal.no)
2021-12-06 06:27:14 +0100wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2021-12-06 06:27:14 +0100jinsun(~quassel@user/jinsun)
2021-12-06 06:27:14 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-06 06:27:14 +0100tv(~tv@user/tv)
2021-12-06 06:27:14 +0100nickdaly(45ce440a48@2604:bf00:561:2000::e2)
2021-12-06 06:27:14 +0100elvishjerricco(sid237756@id-237756.helmsley.irccloud.com)
2021-12-06 06:27:14 +0100FragByte(~christian@user/fragbyte)
2021-12-06 06:27:14 +0100halides(halides@imases.biss.ee)
2021-12-06 06:27:14 +0100iqubic(~user@c-67-171-37-233.hsd1.wa.comcast.net)
2021-12-06 06:27:14 +0100cyphase(~cyphase@user/cyphase)
2021-12-06 06:27:14 +0100res0nat0r8(~Fletch@dia.whatbox.ca)
2021-12-06 06:27:14 +0100gdd(~gdd@129.199.146.230)
2021-12-06 06:27:14 +0100samhh(7569f027cf@2604:bf00:561:2000::e4)
2021-12-06 06:27:14 +0100EvanR(~evan@user/evanr)
2021-12-06 06:27:14 +0100mud(~mud@user/kadoban)
2021-12-06 06:27:14 +0100Feuermagier(~Feuermagi@user/feuermagier)
2021-12-06 06:27:14 +0100kritzefitz(~kritzefit@debian/kritzefitz)
2021-12-06 06:27:14 +0100Benzi-Junior(~BenziJuni@88-149-66-61.du.xdsl.is)
2021-12-06 06:27:14 +0100hrdl(~hrdl@mail.hrdl.eu)
2021-12-06 06:27:14 +0100acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net)
2021-12-06 06:27:14 +0100MasseR(~MasseR@51.15.143.128)
2021-12-06 06:27:14 +0100m5zs7k(aquares@web10.mydevil.net)
2021-12-06 06:27:14 +0100arahael(~arahael@27-32-144-20.tpgi.com.au)
2021-12-06 06:27:14 +0100ozzymcduff(~mathieu@81-234-151-21-no94.tbcn.telia.com)
2021-12-06 06:27:14 +0100jlamothe(~jlamothe@198.251.61.229)
2021-12-06 06:27:14 +0100dibblego(~dibblego@haskell/developer/dibblego)
2021-12-06 06:27:14 +0100jakzale(6291399afa@user/jakzale)
2021-12-06 06:27:14 +0100dispater(~dispater@user/brprice)
2021-12-06 06:27:14 +0100jamestmartin(~james@jtmar.me)
2021-12-06 06:27:14 +0100lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-12-06 06:27:14 +0100vjoki(~vjoki@2a00:d880:3:1::fea1:9ae)
2021-12-06 06:27:14 +0100Typedfern(~Typedfern@75.red-88-22-25.staticip.rima-tde.net)
2021-12-06 06:27:14 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-12-06 06:27:14 +0100stefan-_(~cri@42dots.de)
2021-12-06 06:27:14 +0100srk(~sorki@user/srk)
2021-12-06 06:27:14 +0100theproffesor(~theproffe@user/theproffesor)
2021-12-06 06:27:14 +0100obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl)
2021-12-06 06:27:14 +0100haasn(~nand@haasn.dev)
2021-12-06 06:27:14 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2021-12-06 06:27:14 +0100sus(zero@user/zeromomentum)
2021-12-06 06:27:14 +0100gentauro(~gentauro@user/gentauro)
2021-12-06 06:27:14 +0100noctux(~noctux@user/noctux)
2021-12-06 06:27:14 +0100sweater(~sweater@206.81.18.26)
2021-12-06 06:27:14 +0100dolio(~dolio@130.44.130.54)
2021-12-06 06:27:14 +0100filwisher(2e6936c793@2604:bf00:561:2000::170)
2021-12-06 06:27:14 +0100yaroot(~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953)
2021-12-06 06:27:14 +0100rembo10(~rembo10@remulis.com)
2021-12-06 06:27:14 +0100ehamberg(sid18208@id-18208.hampstead.irccloud.com)
2021-12-06 06:27:14 +0100Logio(em@kapsi.fi)
2021-12-06 06:27:14 +0100jkoshy(99b9359beb@2604:bf00:561:2000::10f)
2021-12-06 06:27:14 +0100sm2n(ae95cb1267@user/sm2n)
2021-12-06 06:27:14 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667)
2021-12-06 06:27:14 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2021-12-06 06:27:14 +0100dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da)
2021-12-06 06:27:14 +0100niko(~niko@libera/staff/niko)
2021-12-06 06:27:14 +0100nisstyre(~wes@user/nisstyre)
2021-12-06 06:27:14 +0100joeyh(joeyh@kitenet.net)
2021-12-06 06:27:14 +0100pragma-(~chaos@user/pragmatic-chaos)
2021-12-06 06:27:14 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2021-12-06 06:27:14 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2021-12-06 06:27:14 +0100infinity0(~infinity0@occupy.ecodis.net)
2021-12-06 06:27:14 +0100hays(rootvegeta@fsf/member/hays)
2021-12-06 06:27:14 +0100phma(~phma@host-67-44-208-5.hnremote.net)
2021-12-06 06:27:14 +0100Axman6(~Axman6@user/axman6)
2021-12-06 06:27:14 +0100TMA(tma@twin.jikos.cz)
2021-12-06 06:27:14 +0100iphy(sid67735@id-67735.lymington.irccloud.com)
2021-12-06 06:27:14 +0100_0x47_(sid508683@id-508683.tinside.irccloud.com)
2021-12-06 06:27:14 +0100whez(sid470288@id-470288.lymington.irccloud.com)
2021-12-06 06:27:14 +0100awpr(uid446117@id-446117.lymington.irccloud.com)
2021-12-06 06:27:14 +0100teehemkay_(sid14792@id-14792.lymington.irccloud.com)
2021-12-06 06:27:14 +0100angerman(sid209936@id-209936.ilkley.irccloud.com)
2021-12-06 06:27:14 +0100ephemient(uid407513@id-407513.lymington.irccloud.com)
2021-12-06 06:27:14 +0100gregberns__(sid315709@id-315709.helmsley.irccloud.com)
2021-12-06 06:27:14 +0100kaizen(sid501599@id-501599.helmsley.irccloud.com)
2021-12-06 06:27:14 +0100MironZ(~MironZ@nat-infra.ehlab.uk)
2021-12-06 06:27:14 +0100Kaiepi(~Kaiepi@156.34.44.192)
2021-12-06 06:27:14 +0100micro(~micro@user/micro)
2021-12-06 06:27:14 +0100sm[i](~user@plaintextaccounting/sm)
2021-12-06 06:27:14 +0100xsarnik(xsarnik@lounge.fi.muni.cz)
2021-12-06 06:27:14 +0100pie__(~pie_bnc@user/pie/x-2818909)
2021-12-06 06:27:14 +0100m1dnight_(~christoph@christophe.dev)
2021-12-06 06:27:14 +0100dfordivam1(~dfordivam@tk2-219-19469.vs.sakura.ne.jp)
2021-12-06 06:27:14 +0100[exa](~exa@user/exa/x-3587197)
2021-12-06 06:27:14 +0100Hecate(~mariposa@user/hecate)
2021-12-06 06:27:14 +0100greyrat_(~greyrat@ip202.ip-51-178-215.eu)
2021-12-06 06:27:14 +0100eL_Bart0-(eL_Bart0@dietunichtguten.org)
2021-12-06 06:27:14 +0100davl_(~davl@207.154.228.18)
2021-12-06 06:27:14 +0100russruss(~russruss@my.russellmcc.com)
2021-12-06 06:27:14 +0100MidAutumnMoon6(~MidAutumn@user/midautumnmoon)
2021-12-06 06:27:14 +0100jzsinatra(~jzsinatra@88-114-238-31.elisa-laajakaista.fi)
2021-12-06 06:27:14 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
2021-12-06 06:27:14 +0100hongminhee(sid295@id-295.tinside.irccloud.com)
2021-12-06 06:27:14 +0100SethTisue__(sid14912@id-14912.ilkley.irccloud.com)
2021-12-06 06:27:14 +0100V(~v@anomalous.eu)
2021-12-06 06:27:14 +0100gaze___(sid387101@id-387101.helmsley.irccloud.com)
2021-12-06 06:27:14 +0100Pent(sid313808@id-313808.lymington.irccloud.com)
2021-12-06 06:27:14 +0100acertain(sid470584@id-470584.hampstead.irccloud.com)
2021-12-06 06:27:14 +0100dmj`(sid72307@id-72307.hampstead.irccloud.com)
2021-12-06 06:27:14 +0100mrianbloom(sid350277@id-350277.ilkley.irccloud.com)
2021-12-06 06:27:14 +0100sclv(sid39734@haskell/developer/sclv)
2021-12-06 06:27:14 +0100bjs(sid190364@user/bjs)
2021-12-06 06:27:14 +0100enemeth79(sid309041@id-309041.lymington.irccloud.com)
2021-12-06 06:27:14 +0100cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2021-12-06 06:27:14 +0100tapas(sid467876@id-467876.ilkley.irccloud.com)
2021-12-06 06:27:14 +0100saolsen(sid26430@id-26430.lymington.irccloud.com)
2021-12-06 06:27:14 +0100whatif(~user@2400:8902::f03c:92ff:fe60:98d8)
2021-12-06 06:27:14 +0100ysh(sid6017@id-6017.ilkley.irccloud.com)
2021-12-06 06:27:14 +0100JSharp(sid4580@id-4580.lymington.irccloud.com)
2021-12-06 06:27:14 +0100Boarders_(sid425905@id-425905.lymington.irccloud.com)
2021-12-06 06:27:14 +0100S11001001(sid42510@id-42510.ilkley.irccloud.com)
2021-12-06 06:27:14 +0100NiKaN(sid385034@id-385034.helmsley.irccloud.com)
2021-12-06 06:27:14 +0100Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
2021-12-06 06:27:14 +0100thaumavorio(~thaumavor@thaumavor.io)
2021-12-06 06:27:14 +0100peutri(~peutri@ns317027.ip-94-23-46.eu)
2021-12-06 06:27:14 +0100lyxia(~lyxia@poisson.chat)
2021-12-06 06:27:14 +0100tnks(sid412124@id-412124.helmsley.irccloud.com)
2021-12-06 06:27:14 +0100glguy(x@libera/staff/glguy)
2021-12-06 06:27:14 +0100duckonomy(~duckonomy@177.ip-144-217-84.net)
2021-12-06 06:27:14 +0100marienz(~marienz@libera/staff/marienz)
2021-12-06 06:27:14 +0100davetapley(sid666@id-666.uxbridge.irccloud.com)
2021-12-06 06:27:14 +0100rtpg(sid443069@id-443069.ilkley.irccloud.com)
2021-12-06 06:27:14 +0100b20n(sid115913@id-115913.uxbridge.irccloud.com)
2021-12-06 06:27:14 +0100lightandlight(sid135476@id-135476.helmsley.irccloud.com)
2021-12-06 06:27:14 +0100caasih(sid13241@id-13241.ilkley.irccloud.com)
2021-12-06 06:27:14 +0100edmundnoble(sid229620@id-229620.helmsley.irccloud.com)
2021-12-06 06:27:14 +0100PotatoGim(sid99505@id-99505.lymington.irccloud.com)
2021-12-06 06:27:14 +0100philpax_(sid516926@id-516926.lymington.irccloud.com)
2021-12-06 06:27:14 +0100jakesyl_(sid56879@id-56879.hampstead.irccloud.com)
2021-12-06 06:27:14 +0100Ekho(~Ekho@user/ekho)
2021-12-06 06:27:14 +0100incertia(~incertia@d4-50-26-103.nap.wideopenwest.com)
2021-12-06 06:27:14 +0100ikke(~kevin@alpine/developer/ikke)
2021-12-06 06:27:14 +0100Athas(athas@sigkill.dk)
2021-12-06 06:27:14 +0100haveo(~haveo@sl35.iuwt.fr)
2021-12-06 06:27:14 +0100bens(~bens@www.typius.com)
2021-12-06 06:27:14 +0100jjhoo(~jahakala@user/jjhoo)
2021-12-06 06:27:14 +0100yushyin(3RNeQpThcJ@karif.server-speed.net)
2021-12-06 06:27:14 +0100m4lvin(~m4lvin@w4eg.de)
2021-12-06 06:27:14 +0100fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
2021-12-06 06:27:14 +0100finsternis(~X@23.226.237.192)
2021-12-06 06:27:14 +0100myme(~myme@40.51-175-185.customer.lyse.net)
2021-12-06 06:27:14 +0100amk(~amk@109.255.169.126)
2021-12-06 06:27:14 +0100averell(~averell@user/averell)
2021-12-06 06:27:14 +0100yahb(xsbot@user/mniip/bot/yahb)
2021-12-06 06:27:14 +0100Maxdamantus(~Maxdamant@user/maxdamantus)
2021-12-06 06:27:14 +0100turlando(~turlando@user/turlando)
2021-12-06 06:27:14 +0100bbear(~znc@21212.s.t4vps.eu)
2021-12-06 06:27:14 +0100darkstardevx(~darkstard@50.39.115.145)
2021-12-06 06:27:14 +0100erisco(~erisco@d24-57-249-233.home.cgocable.net)
2021-12-06 06:27:14 +0100dragestil(~znc@user/dragestil)
2021-12-06 06:27:14 +0100Unode(~Unode@194.94.44.220)
2021-12-06 06:27:14 +0100welterde(welterde@thinkbase.srv.welterde.de)
2021-12-06 06:27:14 +0100derelict(~derelict@user/derelict)
2021-12-06 06:27:14 +0100earthy(~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0)
2021-12-06 06:27:14 +0100cawfee(~root@2406:3003:2077:2758::babe)
2021-12-06 06:27:14 +0100liskin(~liskin@xmonad/liskin)
2021-12-06 06:27:14 +0100asm(~alexander@user/asm)
2021-12-06 06:27:14 +0100emergence(~emergence@vm0.max-p.me)
2021-12-06 06:27:14 +0100leah2(~leah@vuxu.org)
2021-12-06 06:27:14 +0100WhateverRabbit(~rabbit@206.81.18.26)
2021-12-06 06:27:14 +0100defanor(~defanor@tart.uberspace.net)
2021-12-06 06:27:14 +0100codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2021-12-06 06:27:14 +0100nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2021-12-06 06:27:14 +0100adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2021-12-06 06:27:14 +0100Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2021-12-06 06:27:14 +0100koolazer(~koo@user/koolazer)
2021-12-06 06:27:14 +0100tubogram(~tubogram@user/tubogram)
2021-12-06 06:27:14 +0100mikko(~mikko@2a02:7b40:d418:6a61::1)
2021-12-06 06:27:14 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2021-12-06 06:27:14 +0100bjobjo(~bjobjo@user/bjobjo)
2021-12-06 06:27:14 +0100xnbya(~xnbya@2a01:4f8:c17:cbdd::1)
2021-12-06 06:27:14 +0100bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org)
2021-12-06 06:27:14 +0100Adran(~adran@botters/adran)
2021-12-06 06:27:14 +0100energizer(~energizer@user/energizer)
2021-12-06 06:27:14 +0100tomjaguarpaw(~tom@li367-225.members.linode.com)
2021-12-06 06:27:14 +0100Arsen(arsen@managarm/dev/Arsen)
2021-12-06 06:27:14 +0100immae(~immae@2a01:4f8:141:53e7::)
2021-12-06 06:27:14 +0100cross(~cross@spitfire.i.gajendra.net)
2021-12-06 06:27:14 +0100phaazon(~phaazon@2001:41d0:a:fe76::1)
2021-12-06 06:27:14 +0100janus(janus@anubis.0x90.dk)
2021-12-06 06:27:14 +0100sphynx(~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288)
2021-12-06 06:27:14 +0100dixie(~dixie@real.wilbury.sk)
2021-12-06 06:27:14 +0100cpape(~user@2a01:4f9:c010:632d::1)
2021-12-06 06:27:14 +0100dunj3(~dunj3@kingdread.de)
2021-12-06 06:27:14 +0100AndrewYu(~andrew@user/andrewyu) (Max SendQ exceeded)
2021-12-06 06:27:14 +0100d34df00d(~d34df00d@2600:1700:8c60:3a10::48) (Excess Flood)
2021-12-06 06:27:14 +0100wolfshappen(~waff@irc.furworks.de) (Max SendQ exceeded)
2021-12-06 06:27:14 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Max SendQ exceeded)
2021-12-06 06:27:29 +0100zopsi(~zopsi@irc.dir.ac) (Max SendQ exceeded)
2021-12-06 06:28:09 +0100koolazer(~koo@user/koolazer) (Max SendQ exceeded)
2021-12-06 06:28:13 +0100on^(~on@68.101.58.90) (Max SendQ exceeded)
2021-12-06 06:28:13 +0100shailangsa(~shailangs@host86-186-142-82.range86-186.btcentralplus.com) (Max SendQ exceeded)
2021-12-06 06:28:18 +0100AndrewYu(~andrew@user/andrewyu)
2021-12-06 06:28:19 +0100zopsi(zopsi@2600:3c00::f03c:91ff:fe14:551f)
2021-12-06 06:28:36 +0100koolazer(~koo@user/koolazer)
2021-12-06 06:28:52 +0100geekosaurGuest1121
2021-12-06 06:28:57 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2021-12-06 06:29:20 +0100on^(~on@68.101.58.90)
2021-12-06 06:29:21 +0100litharge(litharge@libera/bot/litharge) (Remote host closed the connection)
2021-12-06 06:29:24 +0100litharge(litharge@libera/bot/litharge)
2021-12-06 06:29:28 +0100wolfshappen(~waff@irc.furworks.de)
2021-12-06 06:29:50 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-12-06 06:30:02 +0100kevin[m]1(~pnotequal@2001:470:69fc:105::a54) (Ping timeout: 240 seconds)
2021-12-06 06:30:05 +0100fsckskye[m](~kmatrixth@2001:470:69fc:105::1:3b2f) (Ping timeout: 250 seconds)
2021-12-06 06:30:05 +0100iammrinal0[m](~iammrinal@2001:470:69fc:105::1:2248) (Ping timeout: 250 seconds)
2021-12-06 06:30:05 +0100ppseafield[m](~elementpp@2001:470:69fc:105::1:250a) (Ping timeout: 250 seconds)
2021-12-06 06:30:39 +0100glider(~glider@user/glider) (Ping timeout: 256 seconds)
2021-12-06 06:30:47 +0100hook54321(sid149355@user/hook54321) (Ping timeout: 268 seconds)
2021-12-06 06:31:16 +0100carbolymer(~carbolyme@dropacid.net) (Remote host closed the connection)
2021-12-06 06:31:26 +0100glider(~glider@user/glider)
2021-12-06 06:31:53 +0100carbolymer(~carbolyme@dropacid.net)
2021-12-06 06:32:37 +0100hook54321(sid149355@user/hook54321)
2021-12-06 06:34:17 +0100iammrinal0[m](~iammrinal@2001:470:69fc:105::1:2248)
2021-12-06 06:34:54 +0100kevin[m]1(~pnotequal@2001:470:69fc:105::a54)
2021-12-06 06:34:59 +0100ppseafield[m](~elementpp@2001:470:69fc:105::1:250a)
2021-12-06 06:35:01 +0100fsckskye[m](~kmatrixth@2001:470:69fc:105::1:3b2f)
2021-12-06 06:36:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-06 06:37:33 +0100Hafydd(~Hafydd@user/hafydd) (*.net *.split)
2021-12-06 06:37:33 +0100SquidDev(~SquidDev@autoclave.squiddev.cc) (*.net *.split)
2021-12-06 06:37:33 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split)
2021-12-06 06:37:33 +0100In0perable(~PLAYER_1@fancydata.science) (*.net *.split)
2021-12-06 06:37:33 +0100Square(~a@user/square) (*.net *.split)
2021-12-06 06:37:33 +0100mht-wtf(~mht@mht.wtf) (*.net *.split)
2021-12-06 06:37:33 +0100remedan(~remedan@balak.me) (*.net *.split)
2021-12-06 06:37:33 +0100drewolson(~drewolson@user/drewolson) (*.net *.split)
2021-12-06 06:37:33 +0100nf(~n@monade.li) (*.net *.split)
2021-12-06 06:37:33 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (*.net *.split)
2021-12-06 06:37:33 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5) (*.net *.split)
2021-12-06 06:37:33 +0100jophish(~jophish@2001:470:69fc:105::670) (*.net *.split)
2021-12-06 06:37:33 +0100kadoban(~kadoban@user/kadoban) (*.net *.split)
2021-12-06 06:37:33 +0100soft(~soft@2001:470:69fc:105::c75) (*.net *.split)
2021-12-06 06:37:33 +0100asdofindia-m(~akshaymat@2001:470:69fc:105::831) (*.net *.split)
2021-12-06 06:37:33 +0100bb010g(~bb010g@2001:470:69fc:105::9a5) (*.net *.split)
2021-12-06 06:37:33 +0100thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9) (*.net *.split)
2021-12-06 06:37:33 +0100utk(~utk@2001:470:69fc:105::1:2fe0) (*.net *.split)
2021-12-06 06:37:33 +0100PigDude(~PigDude@159.203.16.199) (*.net *.split)
2021-12-06 06:37:33 +0100fcortesi(~fcortesi@2001:470:69fc:105::f3a9) (*.net *.split)
2021-12-06 06:37:33 +0100schuelermine[m](~schuelerm@user/schuelermine) (*.net *.split)
2021-12-06 06:37:33 +0100DemiMarieObenour(~alwayscur@2001:470:69fc:105::4886) (*.net *.split)
2021-12-06 06:37:33 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (*.net *.split)
2021-12-06 06:37:33 +0100craige[m](~craigemcw@2001:470:69fc:105::35f1) (*.net *.split)
2021-12-06 06:37:33 +0100AWizzArd(~code@gehrels.uberspace.de) (*.net *.split)
2021-12-06 06:37:33 +0100root1(root@2600:3c02::f03c:92ff:fe1a:c779) (*.net *.split)
2021-12-06 06:37:33 +0100|beowulf|(1000@sourcemage/mage/beowulf) (*.net *.split)
2021-12-06 06:37:33 +0100ggVGc(~ggVGc@a.lowtech.earth) (*.net *.split)
2021-12-06 06:37:33 +0100absence(~absence@hildring.pvv.ntnu.no) (*.net *.split)
2021-12-06 06:37:33 +0100ft(~ft@shell.chaostreff-dortmund.de) (*.net *.split)
2021-12-06 06:37:33 +0100kawpuh(~kawpuh@66.42.81.80) (*.net *.split)
2021-12-06 06:37:33 +0100eco(~ubuntu@ec2-54-201-230-197.us-west-2.compute.amazonaws.com) (*.net *.split)
2021-12-06 06:37:33 +0100byorgey(~byorgey@155.138.238.211) (*.net *.split)
2021-12-06 06:37:33 +0100tdammers(~tdammers@77.109.72.177.res.static.edpnet.net) (*.net *.split)
2021-12-06 06:37:33 +0100SoF(~skius@user/skius) (*.net *.split)
2021-12-06 06:37:40 +0100AWizzArd(~code@gehrels.uberspace.de)
2021-12-06 06:37:42 +0100absence(torgeihe@hildring.pvv.ntnu.no)
2021-12-06 06:37:42 +0100byorgey(~byorgey@155.138.238.211)
2021-12-06 06:37:44 +0100PigDude(~PigDude@159.203.16.199)
2021-12-06 06:37:47 +0100eco(~ubuntu@ec2-54-201-230-197.us-west-2.compute.amazonaws.com)
2021-12-06 06:37:50 +0100tdammers(~tdammers@77.109.72.177.res.static.edpnet.net)
2021-12-06 06:37:51 +0100drewolson(~drewolson@user/drewolson)
2021-12-06 06:37:53 +0100kawpuh(~kawpuh@66.42.81.80)
2021-12-06 06:37:54 +0100root1(root@2600:3c02::f03c:92ff:fe1a:c779)
2021-12-06 06:37:55 +0100ggVGc(~ggVGc@a.lowtech.earth)
2021-12-06 06:38:05 +0100Hafydd(~Hafydd@owlchat.newnet.net)
2021-12-06 06:38:05 +0100ft(~ft@shell.chaostreff-dortmund.de)
2021-12-06 06:38:07 +0100mht-wtf(~mht@2a03:b0c0:3:e0::1e2:c001)
2021-12-06 06:38:09 +0100|beowulf|(1000@gabilgathol.bandrate.org)
2021-12-06 06:38:11 +0100Hafydd(~Hafydd@owlchat.newnet.net) (Signing in (Hafydd))
2021-12-06 06:38:11 +0100Hafydd(~Hafydd@user/hafydd)
2021-12-06 06:38:17 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2021-12-06 06:38:19 +0100SquidDev(~SquidDev@autoclave.squiddev.cc)
2021-12-06 06:38:24 +0100SoF(~skius@user/skius)
2021-12-06 06:38:26 +0100remedan(~remedan@balak.me)
2021-12-06 06:38:31 +0100nf(~n@monade.li)
2021-12-06 06:38:43 +0100|beowulf|Guest2359
2021-12-06 06:39:29 +0100yauhsien_(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 06:39:34 +0100asdofindia-m(~akshaymat@2001:470:69fc:105::831)
2021-12-06 06:40:21 +0100Square(~a@user/square)
2021-12-06 06:40:56 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (Remote host closed the connection)
2021-12-06 06:41:24 +0100genieliu(~genieliu@103.37.140.38)
2021-12-06 06:41:29 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5)
2021-12-06 06:42:13 +0100Inoperable(~PLAYER_1@fancydata.science)
2021-12-06 06:42:14 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-12-06 06:43:16 +0100_xor(~xor@dsl-50-5-233-169.fuse.net)
2021-12-06 06:44:07 +0100jophish(~jophish@2001:470:69fc:105::670)
2021-12-06 06:45:15 +0100bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-12-06 06:45:21 +0100yauhsien_(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-12-06 06:45:45 +0100xff0x(~xff0x@2001:1a81:5269:5600:e5f5:ee22:f6bb:9023) (Ping timeout: 252 seconds)
2021-12-06 06:46:14 +0100kadoban(~kadoban@user/kadoban)
2021-12-06 06:46:28 +0100craige[m](~craigemcw@2001:470:69fc:105::35f1)
2021-12-06 06:46:36 +0100xff0x(~xff0x@2001:1a81:5269:5600:c51f:ff7b:f3d8:91b6)
2021-12-06 06:46:37 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2021-12-06 06:46:46 +0100DemiMarieObenour(~alwayscur@2001:470:69fc:105::4886)
2021-12-06 06:46:47 +0100schuelermine[m](~schuelerm@user/schuelermine)
2021-12-06 06:46:52 +0100fcortesi(~fcortesi@2001:470:69fc:105::f3a9)
2021-12-06 06:46:56 +0100utk(~utk@2001:470:69fc:105::1:2fe0)
2021-12-06 06:47:15 +0100thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9)
2021-12-06 06:48:06 +0100soft(~soft@2001:470:69fc:105::c75)
2021-12-06 06:49:01 +0100genieliu(~genieliu@103.37.140.38) (Ping timeout: 240 seconds)
2021-12-06 06:50:28 +0100joel135(sid136450@id-136450.hampstead.irccloud.com) (*.net *.split)
2021-12-06 06:50:28 +0100obviyus(sid415299@user/obviyus) (*.net *.split)
2021-12-06 06:50:28 +0100meinside(uid24933@id-24933.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:50:28 +0100mustafa(sid502723@rockylinux/releng/mustafa) (*.net *.split)
2021-12-06 06:50:28 +0100stilgart_(~Christoph@chezlefab.net) (*.net *.split)
2021-12-06 06:50:28 +0100carter(sid14827@id-14827.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:50:28 +0100a1paca_(~a1paca@user/a1paca) (*.net *.split)
2021-12-06 06:50:28 +0100raoul(~raoul@95.179.203.88) (*.net *.split)
2021-12-06 06:50:28 +0100Firedancer(sid336191@id-336191.hampstead.irccloud.com) (*.net *.split)
2021-12-06 06:50:28 +0100scav(sid309693@id-309693.helmsley.irccloud.com) (*.net *.split)
2021-12-06 06:50:28 +0100SrPx(sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split)
2021-12-06 06:50:28 +0100teehemkay(sid14792@id-14792.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:50:28 +0100bw(sid2730@user/betawaffle) (*.net *.split)
2021-12-06 06:50:28 +0100hendi(sid489601@id-489601.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:50:28 +0100gonz_____(sid304396@id-304396.lymington.irccloud.com) (*.net *.split)
2021-12-06 06:50:28 +0100jassob(~jassob@h-98-128-166-172.NA.cust.bahnhof.se) (*.net *.split)
2021-12-06 06:50:28 +0100carmysilna(~brightly-@2001:470:69fc:105::2190) (*.net *.split)
2021-12-06 06:50:28 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018) (*.net *.split)
2021-12-06 06:50:28 +0100quantum(~quantum@user/quantum/x-8556232) (*.net *.split)
2021-12-06 06:50:28 +0100siraben(~siraben@user/siraben) (*.net *.split)
2021-12-06 06:50:28 +0100ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (*.net *.split)
2021-12-06 06:50:28 +0100acco[m](~accotedom@2001:470:69fc:105::1:3236) (*.net *.split)
2021-12-06 06:50:28 +0100RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57) (*.net *.split)
2021-12-06 06:50:28 +0100jkachmar(~jkachmar@2001:470:69fc:105::c72d) (*.net *.split)
2021-12-06 06:50:28 +0100kosmikus[m](~andresloe@2001:470:69fc:105::95d) (*.net *.split)
2021-12-06 06:50:28 +0100justosophy[m](~justosoph@2001:470:69fc:105::572f) (*.net *.split)
2021-12-06 06:50:28 +0100xddq[m](~xddqmatri@2001:470:69fc:105::bfd8) (*.net *.split)
2021-12-06 06:50:28 +0100reza[m](~rezaphone@2001:470:69fc:105::3eda) (*.net *.split)
2021-12-06 06:50:28 +0100ilkecan[m](~ilkecanma@2001:470:69fc:105::1:79b) (*.net *.split)
2021-12-06 06:50:28 +0100SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036) (*.net *.split)
2021-12-06 06:50:28 +0100ouroboros(~ouroboros@user/ouroboros) (*.net *.split)
2021-12-06 06:50:28 +0100HurdyGurdyBurdy(~HurdyGurd@user/hurdygurdyburdy) (*.net *.split)
2021-12-06 06:50:28 +0100samebchase(~thelounge@51.15.68.182) (*.net *.split)
2021-12-06 06:50:28 +0100burakcank(~burakcank@has.arrived.and.is.ready-to.party) (*.net *.split)
2021-12-06 06:50:28 +0100swistak(~swistak@185.21.216.141) (*.net *.split)
2021-12-06 06:50:28 +0100noctuks(dzDZscEp9m@user/noctux) (*.net *.split)
2021-12-06 06:50:28 +0100elcaro(~anonymous@45.32.191.75) (*.net *.split)
2021-12-06 06:50:29 +0100Vq(~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split)
2021-12-06 06:50:29 +0100mrus(~mrus@149.28.224.172) (*.net *.split)
2021-12-06 06:50:29 +0100wanko(~wanko@51.15.4.226) (*.net *.split)
2021-12-06 06:50:36 +0100teehemkay(sid14792@id-14792.lymington.irccloud.com)
2021-12-06 06:50:37 +0100wanko(~wanko@51.15.4.226)
2021-12-06 06:50:37 +0100elcaro(~anonymous@45.32.191.75)
2021-12-06 06:50:40 +0100swistak(~swistak@185.21.216.141)
2021-12-06 06:50:42 +0100stilgart(~Christoph@chezlefab.net)
2021-12-06 06:50:46 +0100joel135(sid136450@id-136450.hampstead.irccloud.com)
2021-12-06 06:50:51 +0100meinside(uid24933@id-24933.helmsley.irccloud.com)
2021-12-06 06:50:51 +0100mustafa(sid502723@rockylinux/releng/mustafa)
2021-12-06 06:50:51 +0100jassob(~jassob@h-98-128-166-172.NA.cust.bahnhof.se)
2021-12-06 06:50:52 +0100scav(sid309693@id-309693.helmsley.irccloud.com)
2021-12-06 06:50:56 +0100hendi(sid489601@id-489601.lymington.irccloud.com)
2021-12-06 06:50:59 +0100noctuks(RIj3X4Rlia@karif.server-speed.net)
2021-12-06 06:51:03 +0100bw(sid2730@user/betawaffle)
2021-12-06 06:51:06 +0100Firedancer(sid336191@id-336191.hampstead.irccloud.com)
2021-12-06 06:51:10 +0100gonz_____(sid304396@id-304396.lymington.irccloud.com)
2021-12-06 06:51:14 +0100HurdyGurdyBurdy(~HurdyGurd@user/hurdygurdyburdy)
2021-12-06 06:51:14 +0100noctuks(RIj3X4Rlia@karif.server-speed.net) (Signing in (noctuks))
2021-12-06 06:51:14 +0100noctuks(RIj3X4Rlia@user/noctux)
2021-12-06 06:51:18 +0100carter(sid14827@id-14827.helmsley.irccloud.com)
2021-12-06 06:51:19 +0100obviyus(sid415299@id-415299.uxbridge.irccloud.com)
2021-12-06 06:51:22 +0100obviyus(sid415299@id-415299.uxbridge.irccloud.com) (Changing host)
2021-12-06 06:51:22 +0100obviyus(sid415299@user/obviyus)
2021-12-06 06:51:26 +0100raoul(~raoul@95.179.203.88)
2021-12-06 06:51:30 +0100SrPx(sid108780@id-108780.uxbridge.irccloud.com)
2021-12-06 06:51:36 +0100mrus(~mrus@149.28.224.172)
2021-12-06 06:51:50 +0100burakcank(~burakcank@has.arrived.and.is.ready-to.party)
2021-12-06 06:52:15 +0100ouroboros(~ouroboros@user/ouroboros)
2021-12-06 06:52:21 +0100stevenxl(~stevenlei@174.128.182.152) (Ping timeout: 252 seconds)
2021-12-06 06:52:40 +0100siraben(~siraben@user/siraben)
2021-12-06 06:53:15 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 06:53:18 +0100a1paca(~a1paca@user/a1paca)
2021-12-06 06:53:28 +0100ilkecan[m](~ilkecanma@2001:470:69fc:105::1:79b)
2021-12-06 06:53:28 +0100SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036)
2021-12-06 06:55:44 +0100Vq(~vq@90-227-195-41-no77.tbcn.telia.com)
2021-12-06 06:56:38 +0100ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-12-06 06:56:41 +0100justosophy[m](~justosoph@2001:470:69fc:105::572f)
2021-12-06 06:56:42 +0100RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57)
2021-12-06 06:56:43 +0100jkachmar(~jkachmar@2001:470:69fc:105::c72d)
2021-12-06 06:56:44 +0100xddq[m](~xddqmatri@2001:470:69fc:105::bfd8)
2021-12-06 06:56:45 +0100acco[m](~accotedom@2001:470:69fc:105::1:3236)
2021-12-06 06:56:46 +0100reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-12-06 06:56:46 +0100carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-12-06 06:56:47 +0100quantum(~quantum@user/quantum/x-8556232)
2021-12-06 06:58:26 +0100genieliu(~genieliu@103.37.140.24)
2021-12-06 06:59:09 +0100kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2021-12-06 06:59:31 +0100fef(~thedawn@user/thedawn)
2021-12-06 07:00:04 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 07:00:16 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018)
2021-12-06 07:01:37 +0100deadmarshal(~deadmarsh@95.38.119.139)
2021-12-06 07:05:53 +0100slowtyper(~slowtyper@user/slowtyper)
2021-12-06 07:07:32 +0100xff0x(~xff0x@2001:1a81:5269:5600:c51f:ff7b:f3d8:91b6) (Ping timeout: 240 seconds)
2021-12-06 07:08:15 +0100shailangsa(~shailangs@host86-186-142-82.range86-186.btcentralplus.com)
2021-12-06 07:08:49 +0100xff0x(~xff0x@2001:1a81:5269:5600:91e5:b69c:2cfa:3fc5)
2021-12-06 07:12:43 +0100Codaraxis_(~Codaraxis@user/codaraxis)
2021-12-06 07:16:12 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (Remote host closed the connection)
2021-12-06 07:16:33 +0100Codaraxis(~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2021-12-06 07:16:37 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-12-06 07:19:58 +0100mvk(~mvk@2607:fea8:5cdd:f000::9788)
2021-12-06 07:20:29 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Quit: Konversation terminated!)
2021-12-06 07:20:58 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 07:21:59 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-06 07:23:14 +0100xff0x(~xff0x@2001:1a81:5269:5600:91e5:b69c:2cfa:3fc5) (Ping timeout: 265 seconds)
2021-12-06 07:24:00 +0100xff0x(~xff0x@2001:1a81:5269:5600:a7f2:d756:85f3:34a8)
2021-12-06 07:25:21 +0100deadmarshal(~deadmarsh@95.38.119.139) (Ping timeout: 252 seconds)
2021-12-06 07:25:38 +0100deadmarshal(~deadmarsh@95.38.229.189)
2021-12-06 07:28:50 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2021-12-06 07:36:31 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-12-06 07:41:30 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 07:45:53 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-06 07:49:48 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (Remote host closed the connection)
2021-12-06 07:52:31 +0100pfurla(~pfurla@2804:14d:5c81:4104:9dad:b7eb:58e3:98e6) (Quit: gone to sleep. ZZZzzz…)
2021-12-06 07:59:25 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-12-06 08:02:25 +0100michalz(~michalz@185.246.204.40)
2021-12-06 08:06:28 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Quit: Konversation terminated!)
2021-12-06 08:07:56 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-06 08:10:01 +0100sprout(~quassel@2a02:a467:ccd6:1:6993:39fb:9bc8:e953)
2021-12-06 08:10:07 +0100genieliu(~genieliu@103.37.140.24) (Ping timeout: 265 seconds)
2021-12-06 08:13:23 +0100sprout_(~quassel@2a02:a467:ccd6:1:39f3:76e9:9ca1:32bd) (Ping timeout: 252 seconds)
2021-12-06 08:15:06 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection)
2021-12-06 08:15:40 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 08:19:09 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-06 08:20:33 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-12-06 08:23:39 +0100deadmarshal(~deadmarsh@95.38.229.189) (Ping timeout: 265 seconds)
2021-12-06 08:25:47 +0100genieliu(~genieliu@103.37.140.38)
2021-12-06 08:26:39 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-12-06 08:30:10 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 08:31:06 +0100fef(~thedawn@user/thedawn) (Ping timeout: 276 seconds)
2021-12-06 08:31:18 +0100deadmarshal(~deadmarsh@95.38.229.189)
2021-12-06 08:34:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 08:34:27 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-06 08:34:27 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 08:36:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 08:36:25 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 08:37:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 08:38:26 +0100xff0x(~xff0x@2001:1a81:5269:5600:a7f2:d756:85f3:34a8) (Ping timeout: 268 seconds)
2021-12-06 08:38:39 +0100notzmv(~zmv@user/notzmv)
2021-12-06 08:39:15 +0100xff0x(~xff0x@2001:1a81:5269:5600:2d41:b802:44a7:1f0c)
2021-12-06 08:39:52 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-12-06 08:40:39 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-06 08:44:55 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 08:45:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 08:46:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 08:47:11 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 08:47:29 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 252 seconds)
2021-12-06 08:50:12 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 08:52:23 +0100famubu(~famubu@user/famubu) (Ping timeout: 256 seconds)
2021-12-06 08:52:42 +0100chele(~chele@user/chele)
2021-12-06 08:53:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 08:53:24 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 08:53:56 +0100jtomas(~jtomas@212.117.18.99)
2021-12-06 08:54:21 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-12-06 08:55:33 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (Ping timeout: 252 seconds)
2021-12-06 08:55:41 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 08:55:59 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 08:59:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 09:04:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 09:06:37 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 09:06:54 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 09:07:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-06 09:08:13 +0100deadmarshal(~deadmarsh@95.38.229.189) (Ping timeout: 240 seconds)
2021-12-06 09:08:30 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-12-06 09:11:07 +0100bollu(uid233390@id-233390.helmsley.irccloud.com)
2021-12-06 09:11:09 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:6538:452b:466b:b6bb)
2021-12-06 09:13:15 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 09:13:33 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 09:15:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 09:15:30 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 09:19:44 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 09:26:25 +0100cfricke(~cfricke@user/cfricke)
2021-12-06 09:29:06 +0100Codaraxis_(~Codaraxis@user/codaraxis) (Read error: Connection reset by peer)
2021-12-06 09:29:26 +0100Codaraxis_(~Codaraxis@user/codaraxis)
2021-12-06 09:31:32 +0100gehmehgeh(~user@user/gehmehgeh)
2021-12-06 09:32:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 09:41:03 +0100coolnickname(~coolnickn@73.194.7.51.dyn.plus.net) (Ping timeout: 256 seconds)
2021-12-06 09:42:08 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
2021-12-06 09:42:34 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2021-12-06 09:42:39 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-12-06 09:43:33 +0100senoraraton(~senorarat@192-195-83-130.static.monkeybrains.net)
2021-12-06 09:43:56 +0100 <senoraraton> Are there settings for cabal that I can change the default program Main.hs that it creates?
2021-12-06 09:44:35 +0100 <merijn> senoraraton: Yes
2021-12-06 09:44:45 +0100 <merijn> Or rather, I guess it depends what you mean? :p
2021-12-06 09:45:11 +0100 <merijn> Do you mean change "what is the main module?" or "change the contents of the generated one?"
2021-12-06 09:45:42 +0100 <senoraraton> I don't want it to print "Hello, Haskell!" I want it to print "Hack the Planet!"
2021-12-06 09:46:20 +0100 <senoraraton> The one that Cabal generates. It would also be nice to rename the app directory to src.
2021-12-06 09:46:29 +0100 <merijn> Pretty sure you can't change that. Also pretty sure that seems rather pointless?
2021-12-06 09:47:35 +0100yauhsien(~yauhsien@2402:7500:4e5:d897:1821:b278:c264:a86f)
2021-12-06 09:47:45 +0100 <senoraraton> I have my reasons.
2021-12-06 09:48:06 +0100dminuosostares
2021-12-06 09:48:23 +0100 <dminuoso> Feel free to fork cabal, and make the modifications.
2021-12-06 09:48:38 +0100 <merijn> Pretty much that, yeah
2021-12-06 09:48:42 +0100 <arahael> Or write a wrapper.
2021-12-06 09:48:57 +0100 <merijn> I doubt there's any interest to integrate anything like that into cabal-install
2021-12-06 09:48:57 +0100 <arahael> (Pretty much as stack did)
2021-12-06 09:49:21 +0100 <dminuoso> In the grand scheme of things, setting up a project is a one-time thing that occurs relatively rarely.
2021-12-06 09:49:40 +0100 <dminuoso> I'd rather the cabal maintainers spend their previous time on features that are relevant to the actual workload of haskell development.
2021-12-06 09:49:56 +0100 <senoraraton> Well, it is quite clear that you and I have different priorties!
2021-12-06 09:50:00 +0100 <dminuoso> It is.
2021-12-06 09:50:05 +0100famubu(~famubu@14.139.174.50)
2021-12-06 09:50:15 +0100 <dminuoso> s/previous/precious/
2021-12-06 09:51:41 +0100 <lortabac> senoraraton: at my previous job we had our own scaffolding scripts, since we used microservices we created new projects quite often
2021-12-06 09:52:05 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-12-06 09:52:09 +0100 <lortabac> senoraraton: it's probably easier than forking cabal
2021-12-06 09:53:07 +0100 <merijn> I mean, you can just manually modify the generated files however you want, turn them into some kinda "template repo" and just use that to initialise projects instead of cabal-install...
2021-12-06 09:53:15 +0100deadmarshal(~deadmarsh@95.38.114.2)
2021-12-06 09:54:16 +0100 <lortabac> merijn: yes, that's more or less what we did, plus a bash script to replace the name and a couple of settings
2021-12-06 09:56:21 +0100 <senoraraton> I wrote a bash script that just does the cabal setup, then it replaces the text. Was fairly trivial, I mostly wanted to know about cabal settings and if it was configurable.
2021-12-06 09:56:47 +0100senoraraton(~senorarat@192-195-83-130.static.monkeybrains.net) (Quit: Lost terminal)
2021-12-06 09:57:33 +0100deadmarshal(~deadmarsh@95.38.114.2) (Ping timeout: 256 seconds)
2021-12-06 09:59:05 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-06 09:59:52 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-06 10:00:09 +0100PotatoHatsue(~berberman@2001:470:69fc:105::b488) (Quit: You have been kicked for being idle)
2021-12-06 10:00:09 +0100Deewiant(~deewiant@2001:470:69fc:105::2fd3) (Quit: You have been kicked for being idle)
2021-12-06 10:00:33 +0100shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-12-06 10:00:33 +0100deadmarshal(~deadmarsh@95.38.114.2)
2021-12-06 10:01:25 +0100jtomas(~jtomas@212.117.18.99) (Ping timeout: 240 seconds)
2021-12-06 10:02:43 +0100jtomas(~jtomas@212.117.18.99)
2021-12-06 10:08:53 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-06 10:12:08 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi)
2021-12-06 10:15:54 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-12-06 10:17:42 +0100Guest1121(~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-12-06 10:18:04 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-06 10:19:32 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
2021-12-06 10:19:49 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2021-12-06 10:23:20 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-12-06 10:26:18 +0100Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net)
2021-12-06 10:35:29 +0100on^(~on@68.101.58.90) (Remote host closed the connection)
2021-12-06 10:37:51 +0100yauhsien(~yauhsien@2402:7500:4e5:d897:1821:b278:c264:a86f) (Ping timeout: 252 seconds)
2021-12-06 10:39:38 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 10:39:39 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-12-06 10:40:02 +0100hendi(sid489601@id-489601.lymington.irccloud.com) (Ping timeout: 240 seconds)
2021-12-06 10:40:39 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-12-06 10:42:19 +0100hendi(sid489601@id-489601.lymington.irccloud.com)
2021-12-06 10:44:49 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-06 10:45:59 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-06 10:48:54 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-12-06 10:52:02 +0100dsrt^(~dsrt@68.101.58.90)
2021-12-06 10:53:37 +0100robosexual(~spaceoyst@5.167.241.206)
2021-12-06 10:56:21 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-12-06 10:58:14 +0100 <merijn> hmm
2021-12-06 10:58:44 +0100 <merijn> Is there something that somehow combines mapM and intercalate to run something in between each element? I guess not...
2021-12-06 10:59:25 +0100 <dminuoso> https://hackage.haskell.org/package/monadlist-0.0.2/docs/Control-Monad-ListM.html#v:intercalateM
2021-12-06 10:59:27 +0100 <dminuoso> Mmm
2021-12-06 10:59:31 +0100 <dminuoso> Should be easy to carve out. :)
2021-12-06 10:59:45 +0100 <dminuoso> Also
2021-12-06 10:59:47 +0100 <dminuoso> https://hackage.haskell.org/package/semigroupoids-5.3.6/docs/Data-Semigroup-Foldable.html#v:interc…
2021-12-06 11:00:05 +0100 <dminuoso> Given that semigroupoids is so ubiquitous, you might have access to that already.
2021-12-06 11:00:29 +0100 <dminuoso> Ah, but its for Foldable1 only
2021-12-06 11:00:54 +0100 <merijn> hmm
2021-12-06 11:01:22 +0100 <dminuoso> merijn: Id just use sequence + intercalate
2021-12-06 11:01:25 +0100 <merijn> I'm happy with none of this >.> Maybe I'll just do map + intercalate followed by sequence
2021-12-06 11:01:28 +0100 <dminuoso> Plus some map
2021-12-06 11:01:32 +0100 <dminuoso> Yeah
2021-12-06 11:02:26 +0100 <dminuoso> Optics question, I want something like `itoFold :: IxFold i s a -> Fold s (i, a)`, does that exist?
2021-12-06 11:04:02 +0100cosimone(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3)
2021-12-06 11:04:34 +0100acidjnk_new(~acidjnk@p200300d0c7271e18cc88fab5aa5aa2cc.dip0.t-ipconnect.de)
2021-12-06 11:04:46 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-06 11:04:53 +0100 <merijn> Wait, it's intersperse, not intercalate :p
2021-12-06 11:04:55 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-12-06 11:05:41 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-12-06 11:06:49 +0100genieliu(~genieliu@103.37.140.38) (Ping timeout: 252 seconds)
2021-12-06 11:08:34 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-12-06 11:09:01 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2021-12-06 11:09:54 +0100Lord_of_Life_Lord_of_Life
2021-12-06 11:11:46 +0100cosimone(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Remote host closed the connection)
2021-12-06 11:12:13 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2021-12-06 11:12:57 +0100 <merijn> ugh...I had a neat combinator for unioning a bunch of maps while checking for duplicates
2021-12-06 11:12:58 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 11:13:07 +0100 <merijn> But I can't find it in my own code >.>
2021-12-06 11:15:01 +0100jtomas(~jtomas@212.117.18.99) (Ping timeout: 240 seconds)
2021-12-06 11:15:37 +0100xff0x(~xff0x@2001:1a81:5269:5600:2d41:b802:44a7:1f0c) (Ping timeout: 252 seconds)
2021-12-06 11:16:27 +0100xff0x(~xff0x@2001:1a81:5269:5600:97b6:69e2:8ab7:379a)
2021-12-06 11:17:39 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-12-06 11:19:05 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-12-06 11:20:14 +0100 <[exa]> merijn: it's probably `traverse` anyway
2021-12-06 11:20:44 +0100 <merijn> Naah, sequence + fold + unionWith or something along those lines
2021-12-06 11:21:07 +0100deadmarshal(~deadmarsh@95.38.114.2) (Ping timeout: 252 seconds)
2021-12-06 11:21:59 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-12-06 11:22:20 +0100 <merijn> dminuoso: ah, fuck, map + intersperse doesn't work
2021-12-06 11:22:35 +0100 <merijn> dminuoso: Because it's parsers
2021-12-06 11:22:49 +0100 <merijn> And I don't care about the interspersed type
2021-12-06 11:24:11 +0100 <merijn> The alternative is some form of map that modifies "all but the last" element of a list :\
2021-12-06 11:24:20 +0100 <merijn> Why this gotta be so ugly? >.<
2021-12-06 11:25:21 +0100 <dminuoso> merijn: why doesnt that work?
2021-12-06 11:25:34 +0100 <merijn> dminuoso: Because the intersperse parser is the wrong type
2021-12-06 11:25:57 +0100 <dminuoso> Huh?
2021-12-06 11:26:18 +0100 <merijn> dminuoso: I have a bunch of parser to run (in a list) and wanna run another one in between each
2021-12-06 11:26:22 +0100 <merijn> So, kinda like, sepBy
2021-12-06 11:26:54 +0100 <merijn> Except, sepBy doesn't work because I have a specific, finite few parsers to run, not arbitrarily many repeats
2021-12-06 11:27:25 +0100 <merijn> So I guess I have to hand-write some custom sepBy-like combinator :\
2021-12-06 11:28:43 +0100 <merijn> Well, I guess I was already doing that, but there seems to be no elegant/convenient way :\
2021-12-06 11:29:09 +0100 <halides> https://paste-bin.xyz/20684 why do i need to paren the z-2?
2021-12-06 11:29:50 +0100 <merijn> halides: Because prefix function application is higher precedence then operators
2021-12-06 11:30:35 +0100 <merijn> halides: How else would you distinguish '(f z) - (2 3)' from 'f (z-2) 3' or any other bracketing you can think off?
2021-12-06 11:31:23 +0100 <halides> ok, so just precedence, thanks :-)
2021-12-06 11:31:27 +0100jtomas(~jtomas@212.117.18.99)
2021-12-06 11:32:42 +0100maerwald(~maerwald@user/maerwald) (Quit: gone)
2021-12-06 11:33:23 +0100maerwald(~maerwald@mail.hasufell.de)
2021-12-06 11:34:40 +0100CiaoSen(~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-12-06 11:34:45 +0100maerwald(~maerwald@mail.hasufell.de) (Changing host)
2021-12-06 11:34:45 +0100maerwald(~maerwald@user/maerwald)
2021-12-06 11:34:46 +0100darchitect(~user@2a00:23c6:3584:df00:7dec:bf13:8fa:748c)
2021-12-06 11:35:06 +0100 <darchitect> greetings
2021-12-06 11:38:13 +0100xsebek(~xsebek@217.196.215.202)
2021-12-06 11:39:22 +0100 <xsebek> Does anyone know how to get power function for the "matrix" in linear package?
2021-12-06 11:40:01 +0100 <xsebek> I am looking for V n (V n a) -> Int -> V n (V n a) that would be like the ^ from Prelude
2021-12-06 11:45:00 +0100 <xsebek> The Num instance only multiplies elements pair wise, but not the "matrix" :/
2021-12-06 11:46:50 +0100 <jackdk> xsebek: first answer would be to build something out of `(!*!)` using iterated mutliplication, then rewrite with repeated squaring. Let me see if I can find a better answer
2021-12-06 11:48:04 +0100 <phaazon> anyone has an input for AoC day 4?
2021-12-06 11:48:12 +0100 <phaazon> (and expected output)
2021-12-06 11:50:34 +0100 <xsebek> jackdk: that is what I did for AoC today, but getting it for free would be nice :)
2021-12-06 11:51:01 +0100genieliu(~genieliu@103.37.140.38)
2021-12-06 11:51:11 +0100 <jackdk> I don't have a better answer for you sorry
2021-12-06 11:51:15 +0100Guest|46(~Guest|46@188.27.78.223)
2021-12-06 11:52:22 +0100 <dminuoso> Is there some extension that lets me have two classes with duplicate method names in the same file?
2021-12-06 11:52:22 +0100Guest|46(~Guest|46@188.27.78.223) (Client Quit)
2021-12-06 11:53:03 +0100[exa]tries googling for -XOverloadedOverlads
2021-12-06 11:53:14 +0100 <dminuoso> Reason Im asking is Im generating classy lenses with optics, and I have something like `data Foo ...` and `data Bar = { foo :: Foo ... }` in the same file, and generating classy lenses for both will cause both generated classes to have some `foo` method
2021-12-06 11:54:07 +0100 <xsebek> jackdk: thanks anyway, I just wanted to make sure I did not miss something obvious :)
2021-12-06 11:55:49 +0100genieliu(~genieliu@103.37.140.38) (Ping timeout: 240 seconds)
2021-12-06 11:59:20 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 12:03:21 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 256 seconds)
2021-12-06 12:04:30 +0100genieliu(~genieliu@103.37.140.24)
2021-12-06 12:06:19 +0100deadmarshal(~deadmarsh@95.38.114.2)
2021-12-06 12:11:10 +0100shriekingnoise(~shrieking@186.137.144.80)
2021-12-06 12:11:28 +0100xkuru(~xkuru@user/xkuru)
2021-12-06 12:11:47 +0100jtomas(~jtomas@212.117.18.99) (Ping timeout: 265 seconds)
2021-12-06 12:18:54 +0100ubert(~Thunderbi@p200300ecdf0ba2cae6b318fffe838f33.dip0.t-ipconnect.de)
2021-12-06 12:19:56 +0100 <dminuoso> • An_AffineTraversal cannot be composed with A_Lens
2021-12-06 12:20:01 +0100 <dminuoso> Mmm.
2021-12-06 12:20:52 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-06 12:21:14 +0100 <dminuoso> • An_AffineTraversal cannot be composed with An_AffineTraversal
2021-12-06 12:21:20 +0100 <dminuoso> Wonderful, I think Im tripping up optics here
2021-12-06 12:22:20 +0100darchitect(~user@2a00:23c6:3584:df00:7dec:bf13:8fa:748c) (Remote host closed the connection)
2021-12-06 12:22:33 +0100cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2021-12-06 12:23:25 +0100xsebek(~xsebek@217.196.215.202) (Ping timeout: 240 seconds)
2021-12-06 12:25:38 +0100darchitect(~darchitec@2a00:23c6:3584:df00:7dec:bf13:8fa:748c)
2021-12-06 12:26:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-06 12:26:51 +0100 <darchitect> hey guys, do you think "TheHaskellBook" is the best book on haskell ?
2021-12-06 12:27:09 +0100 <darchitect> in terms of a full grasp of the language, not just beginner stuff ..
2021-12-06 12:28:08 +0100 <dminuoso> No.
2021-12-06 12:28:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 12:28:25 +0100 <dminuoso> I dont think "the best book" exists on any given subject.
2021-12-06 12:28:43 +0100 <dminuoso> Books target particular audiences, and opinions tend to vary.
2021-12-06 12:28:47 +0100 <darchitect> yeah, of course, you're right
2021-12-06 12:29:28 +0100 <darchitect> I guess I meant -> the best book for the language details as an overall "bible" similar to the "C++ Language" by Stroustrup
2021-12-06 12:29:39 +0100 <darchitect> or the "C_Progrmaming_Language"
2021-12-06 12:29:50 +0100 <dminuoso> There's no bible in Haskell
2021-12-06 12:30:02 +0100 <dminuoso> Well, for language details, look at the Haskell Report
2021-12-06 12:30:19 +0100 <dminuoso> Compared to C or C++, it's a very approachable and readable language standard.
2021-12-06 12:30:27 +0100 <dminuoso> Even for beginners it can work
2021-12-06 12:30:58 +0100 <dminuoso> But that will not teach you about how to solve problems or idiomatic solutions to problems.
2021-12-06 12:30:59 +0100 <darchitect> makes sense
2021-12-06 12:31:24 +0100 <dminuoso> There's a select few popular picks in niche topics
2021-12-06 12:31:24 +0100 <darchitect> I also find a big blog "What I wish I knew.." etc..
2021-12-06 12:31:30 +0100 <darchitect> that + the report will do for now I gues
2021-12-06 12:31:47 +0100kuribas(~user@ptr-25vy0i7z7uknhuz4b8c.18120a2.ip6.access.telenet.be)
2021-12-06 12:31:53 +0100 <dminuoso> Like, for type level programming Thinking with Types by Sandy Maguire is received relatively well by the Haskell community
2021-12-06 12:32:28 +0100 <dminuoso> But whether type level programming is a good idea is another topic altogether.
2021-12-06 12:32:56 +0100 <dminuoso> darchitect: to me personally, browsing GHC source code helped me get a lot of ideas. :)
2021-12-06 12:33:00 +0100kennyd(~bc8165b6@cerf.good1.com)
2021-12-06 12:33:04 +0100 <dminuoso> Few things beat the real world experience.
2021-12-06 12:33:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-06 12:33:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 12:34:53 +0100 <darchitect> dminuoso: true that
2021-12-06 12:35:12 +0100 <kuribas> IMO type level programming is over used, and proper abstractions (Applicative/Monoid/...) underused.
2021-12-06 12:38:15 +0100 <kuribas> darchitect: if you "really" want to do type level programming, look at dependent types.
2021-12-06 12:38:27 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-06 12:39:33 +0100 <kuribas> In the end, a Type Family is just a type level function.
2021-12-06 12:39:35 +0100 <dminuoso> kuribas: I think you're talking orthogonally to the subject of the discussion.
2021-12-06 12:39:36 +0100 <Rembane> Idris and Agda are more ergonomic for type level programming than Haskell is.
2021-12-06 12:39:46 +0100Rembanejoins the orthogonals
2021-12-06 12:39:52 +0100 <kuribas> dminuoso: could be, I just jumped in and I miss context :)
2021-12-06 12:40:02 +0100 <dminuoso> kuribas: I just brought up that book to talk about a book, this isn't even about type level programming.
2021-12-06 12:40:11 +0100 <darchitect> thanks guys, I am a bit on the imperative side of the spectrum in terms of mindset atm, but I will look into it
2021-12-06 12:40:18 +0100 <kuribas> dminuoso: oh right
2021-12-06 12:40:42 +0100 <darchitect> I love haskell
2021-12-06 12:40:53 +0100 <dminuoso> darchitect: For learning Haskell, I'm personally quite fond of CIS194 (both Joachim Breitners version as well as Brent Yorgeys)
2021-12-06 12:41:00 +0100 <darchitect> but it does take its time to get to grips with
2021-12-06 12:41:04 +0100 <dminuoso> So depending on what kind of list you're building, perhaps add it as well.
2021-12-06 12:41:11 +0100 <dminuoso> CIS194 generally is well regarded as well
2021-12-06 12:41:19 +0100famubu(~famubu@14.139.174.50) (Ping timeout: 256 seconds)
2021-12-06 12:41:29 +0100 <kuribas> it seems to be missing transformers...
2021-12-06 12:41:29 +0100 <dminuoso> It's a different approach than The Haskell Book, as its a uni course, but with well designed examples that build up on each other
2021-12-06 12:41:42 +0100 <Rembane> darchitect: Also! Remember that you can come back here and ask questions! :)
2021-12-06 12:43:11 +0100 <dminuoso> • A_Lens cannot be composed with A_Lens
2021-12-06 12:43:18 +0100 <dminuoso> Hah, this is the perfect one now!
2021-12-06 12:43:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-12-06 12:43:50 +0100 <darchitect> maaate I think CIS194 is exactly what I'm looking for
2021-12-06 12:44:08 +0100 <kuribas> darchitect: one of the biggest advantages of learning FP is getting rid of global state.
2021-12-06 12:44:13 +0100jtomas(~jtomas@212.117.18.99)
2021-12-06 12:44:22 +0100 <kuribas> darchitect: you can use the FP mindset also when programming in imperative languages.
2021-12-06 12:44:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 12:44:40 +0100 <kuribas> In our company, all our java code uses immutability by default.
2021-12-06 12:45:00 +0100 <kuribas> It makes everything easier to reason about.
2021-12-06 12:45:02 +0100 <darchitect> kuribas: yeah deffinitely, I work as an ML engineer atm and have used partial functions (currying) in many occasions (to the amazement of colleagues :) )
2021-12-06 12:46:08 +0100 <dminuoso> By ML engineer, do you mean it in the sense of SML? Or machine learning?
2021-12-06 12:48:21 +0100 <darchitect> machine learning
2021-12-06 12:48:40 +0100 <darchitect> we do most things in Python as you may presume
2021-12-06 12:48:48 +0100 <darchitect> we do most things in Python as you may have guessed *
2021-12-06 12:49:43 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-12-06 12:49:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-06 12:50:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 12:52:02 +0100shailangsa(~shailangs@host86-186-142-82.range86-186.btcentralplus.com) ()
2021-12-06 12:55:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-06 12:55:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 12:58:37 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-06 12:58:46 +0100 <Logio> functional programming in Python tends to make me feel like I'm in a cargo cult, hoping for correctness to emerge from the heavens
2021-12-06 12:59:41 +0100 <Logio> "if a use @dataclass here, a type annotation there, and curry my functions, then maybe some day my programs will be composable"
2021-12-06 13:00:01 +0100 <Logio> but they never are in Python :(
2021-12-06 13:00:06 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-06 13:00:42 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 13:00:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-06 13:01:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 13:01:08 +0100Hecate(~mariposa@user/hecate) (Remote host closed the connection)
2021-12-06 13:01:10 +0100 <kuribas> and lambda's are broken in Python
2021-12-06 13:02:29 +0100 <sshine> broken?
2021-12-06 13:03:33 +0100 <kuribas> like you cannot do statements in lambdas.
2021-12-06 13:03:45 +0100 <sshine> Logio, composability isn't as valuable in languages that don't allow for high-level AST transforms, I think... otherwise I'm sure the extra wrapping causes eventual overhead that people will argue is bad.
2021-12-06 13:04:15 +0100aman(~aman@user/aman)
2021-12-06 13:04:28 +0100 <kuribas> It's just like Python puts arbitrary limitations on things, and calls it "discipline".
2021-12-06 13:05:10 +0100 <kuribas> And then has counter productive community standards.
2021-12-06 13:05:12 +0100 <sshine> Logio, I seem to recall that even OCaml programmers will historically not use the composition operator (but I think the mentality has somewhat changed with flambda).
2021-12-06 13:05:26 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-12-06 13:05:53 +0100 <sshine> kuribas, I suppose it does require discipline to be both arbitrary and consistent. :-P
2021-12-06 13:06:07 +0100 <kuribas> sshine: that's one way to look at it :)
2021-12-06 13:07:06 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 13:09:39 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 252 seconds)
2021-12-06 13:11:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-06 13:12:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 13:17:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-06 13:18:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 13:18:42 +0100pfurla(~pfurla@201.17.118.230)
2021-12-06 13:23:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-12-06 13:23:32 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2021-12-06 13:23:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 13:26:00 +0100rembo10(~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-06 13:27:04 +0100rembo10(~rembo10@remulis.com)
2021-12-06 13:29:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-12-06 13:29:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 13:30:16 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-06 13:30:51 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 13:35:43 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-12-06 13:37:01 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-12-06 13:39:00 +0100famubu(~famubu@14.139.174.50)
2021-12-06 13:39:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-12-06 13:40:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 13:42:17 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-12-06 13:43:01 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-06 13:48:51 +0100 <merijn> hmm, Vector doesn't have a modify function that returns the old value?
2021-12-06 13:53:06 +0100unyu(~pyon@user/pyon) (Quit: brb)
2021-12-06 13:53:35 +0100 <[exa]> why such function though?
2021-12-06 13:53:49 +0100unyu(~pyon@user/pyon)
2021-12-06 13:53:50 +0100 <dminuoso> glguy: Question, is there a particular reason config-schema uses * rather than -?
2021-12-06 13:54:33 +0100 <merijn> [exa]: For the same reason nearly all Var/Ref types have one? Because an "update and get old (and/or new) value" is very useful?
2021-12-06 13:54:49 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-12-06 13:54:59 +0100 <[exa]> you mean for MVector?
2021-12-06 13:55:12 +0100 <dminuoso> modify f (New p) = New (do { v <- p; f v; return v })
2021-12-06 13:55:18 +0100 <dminuoso> Seems like you can trivially build your own
2021-12-06 13:55:22 +0100 <merijn> Well, any vector, really
2021-12-06 13:55:26 +0100 <merijn> dminuoso: Well yes
2021-12-06 13:55:34 +0100 <merijn> but I don't want to if I don't have too >.<
2021-12-06 13:56:11 +0100hololeap(~hololeap@user/hololeap)
2021-12-06 13:56:15 +0100 <merijn> dminuoso: It seems weird to have 'modifyM :: Vector a -> (a -> a) -> m ()', it's strictly less useful than the one returning 'm a'
2021-12-06 13:57:19 +0100 <hpc> also not naming it modifyM_ makes it hard to add the return-y version
2021-12-06 13:58:03 +0100 <merijn> In general there doesn't seem to be an "update a single value" function for immutable vector, which is also annoying
2021-12-06 13:59:02 +0100 <merijn> The closest thing is 'modify :: Unbox a => (forall s. MVector s a -> ST s ()) -> Vector a -> Vector a'
2021-12-06 13:59:35 +0100famubu(~famubu@14.139.174.50) (Changing host)
2021-12-06 13:59:35 +0100famubu(~famubu@user/famubu)
2021-12-06 13:59:38 +0100 <merijn> I just wanna increment a single index and get the result >.>
2021-12-06 14:00:47 +0100 <merijn> Have to manually index, then do bulk update, bah
2021-12-06 14:00:51 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 14:01:50 +0100 <[exa]> merijn: for mutable vector there is `exchange` but not sure if that's there for normal vectors
2021-12-06 14:03:11 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-12-06 14:11:39 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2021-12-06 14:13:17 +0100gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2021-12-06 14:14:02 +0100gehmehgeh(~user@user/gehmehgeh)
2021-12-06 14:17:26 +0100darchite`(~user@2a00:23c6:3584:df00:7dec:bf13:8fa:748c)
2021-12-06 14:17:45 +0100 <darchite`> test
2021-12-06 14:18:58 +0100ub(~Thunderbi@p200300ecdf0ba2ca3910be5e8791151b.dip0.t-ipconnect.de)
2021-12-06 14:19:15 +0100 <yushyin> passed
2021-12-06 14:19:22 +0100 <pragma-> how do you know?
2021-12-06 14:19:57 +0100 <yushyin> crystal ball
2021-12-06 14:21:15 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-12-06 14:21:27 +0100__monty__(~toonn@user/toonn)
2021-12-06 14:26:18 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:6538:452b:466b:b6bb) (Quit: WeeChat 2.8)
2021-12-06 14:26:22 +0100 <InternetCitizen> I was doing aoc day 4 and when it came to part 2 I wanted to use State to keep the last winning board and its drawn number as s
2021-12-06 14:27:34 +0100AlexNoo__AlexNoo
2021-12-06 14:27:36 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 265 seconds)
2021-12-06 14:27:37 +0100 <InternetCitizen> does this sound like a good use of State or are there better ways of exressing this? The other options was just to construct the list of winning boards recursively and call last at the end
2021-12-06 14:29:33 +0100 <merijn> I'll let you know when my slacker ass finishes part 1 of day 4 xD
2021-12-06 14:30:40 +0100 <InternetCitizen> hahaha
2021-12-06 14:31:08 +0100 <merijn> \o/ it worked the first time!
2021-12-06 14:31:21 +0100 <merijn> Well, second time, because I didn't read carefully, but close enough
2021-12-06 14:31:37 +0100 <InternetCitizen> sweet, I had put a && instead of ||
2021-12-06 14:31:52 +0100 <InternetCitizen> took me a good couple of mins to realize
2021-12-06 14:31:56 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 14:32:23 +0100 <merijn> I did the product of unmarked squares, instead of product of last number and sum of unmarked squares :p
2021-12-06 14:32:49 +0100 <InternetCitizen> oh
2021-12-06 14:33:34 +0100 <merijn> I guess you could use State, but tbh, the 2nd one (like the first) seems a fairly straightforward fold
2021-12-06 14:33:50 +0100 <aplainzetakind> My Python implementation of the same solution for today is faster than the Haskell implementation. Is this normal because numpy is basically C or what?
2021-12-06 14:34:17 +0100 <merijn> aplainzetakind: That's impossible to say without seeing what your Haskell looks like
2021-12-06 14:34:44 +0100 <maerwald> naive python is sometimes faster than naive Haskell, but not that often
2021-12-06 14:34:46 +0100 <InternetCitizen> merijn: problem is I couldn't get it to work :Y I'm not too sure how State works that's why I wanted to jump on it
2021-12-06 14:34:52 +0100 <geekosaur> and other details, e.g. -fllvm on m1 macs will be slower than ncg on other platforms
2021-12-06 14:35:07 +0100 <aplainzetakind> merijn: https://gitlab.com/aplainzetakind/aoc2021/-/blob/master/Haskell/lib/AoC2021/Day06.hs
2021-12-06 14:35:11 +0100 <merijn> InternetCitizen: the best way to understand State is to reimplement it yourself, tbh
2021-12-06 14:35:21 +0100 <merijn> oh, I can't look at that xD
2021-12-06 14:35:27 +0100 <merijn> Spoilers :p
2021-12-06 14:35:39 +0100 <aplainzetakind> merijn: :)
2021-12-06 14:35:56 +0100 <merijn> InternetCitizen: https://gist.github.com/merijn/098106abd45c940dab09
2021-12-06 14:36:13 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-12-06 14:36:30 +0100 <merijn> InternetCitizen: Homework for understanding State is: Fill in the missing pieces :p
2021-12-06 14:37:06 +0100 <maerwald> aplainzetakind: how did you run the code?
2021-12-06 14:37:47 +0100 <maerwald> in ghci doesn't count
2021-12-06 14:38:09 +0100 <aplainzetakind> maerwald: Ran the executable built with cabal build -O2
2021-12-06 14:38:20 +0100 <aplainzetakind> And the measurement is done by criterion.
2021-12-06 14:38:22 +0100 <geekosaur> -O2 is not always an optimization
2021-12-06 14:38:52 +0100 <InternetCitizen> merijn: this is what I got https://paste.tomsmeding.com/m3lqvu7x
2021-12-06 14:38:58 +0100 <aplainzetakind> geekosaur: Sometimes it's counterproductive?
2021-12-06 14:39:03 +0100 <geekosaur> yes
2021-12-06 14:39:14 +0100 <aplainzetakind> Hmm.
2021-12-06 14:40:00 +0100 <geekosaur> usually it's no better than -O / -O1, sometimes it's worse
2021-12-06 14:41:15 +0100 <aplainzetakind> Is -O1 always an optimization then?
2021-12-06 14:41:20 +0100 <geekosaur> yes
2021-12-06 14:41:37 +0100 <merijn> InternetCitizen: That's missing a lot of context :)
2021-12-06 14:41:51 +0100 <geekosaur> -O1 is the optimizations that are well tested and work fairly well. -O2 is "optimizations" that sometinmes are optimizations but often aren't
2021-12-06 14:42:14 +0100simendsjo(~user@84.211.91.241)
2021-12-06 14:42:26 +0100 <geekosaur> ghc manual strongly recommends -O1 last I checked, unless you have good reason to think the optimizations in -O2 will help your code
2021-12-06 14:42:50 +0100 <maerwald> have never seen O2 slowing down code, but I also don't test for that very often
2021-12-06 14:43:04 +0100 <aplainzetakind> Anyway, Same result with -O1.
2021-12-06 14:43:16 +0100 <geekosaur> it's not that common, like I said earlier usually it's no better than -O1
2021-12-06 14:44:22 +0100 <geekosaur> iirc the optimizations in -O1 are known to not have pessimal edge cases, the ones in -O2 have such cases
2021-12-06 14:44:37 +0100 <geekosaur> but also have other edge cases where they speed things up significantly
2021-12-06 14:45:13 +0100jtomas(~jtomas@212.117.18.99) (Remote host closed the connection)
2021-12-06 14:45:36 +0100 <merijn> InternetCitizen: My (as usual) overengineered solution for day 4: https://github.com/merijn/AdventOfCode/blob/master/Day4.hs
2021-12-06 14:47:07 +0100genieliu(~genieliu@103.37.140.24) (Ping timeout: 256 seconds)
2021-12-06 14:47:38 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 14:49:07 +0100 <geekosaur> but the real hit you take is -O2 takes a lot longer to compile, so you really want to benchmark to see if that extra hit is worth any gains you might get
2021-12-06 14:53:47 +0100xsperry(~xs@user/xsperry) (Ping timeout: 252 seconds)
2021-12-06 14:54:49 +0100cheater(~Username@user/cheater)
2021-12-06 14:56:09 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 14:59:14 +0100darchite`(~user@2a00:23c6:3584:df00:7dec:bf13:8fa:748c) (Remote host closed the connection)
2021-12-06 15:00:23 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (Ping timeout: 252 seconds)
2021-12-06 15:03:59 +0100stevenxl(~stevenlei@174.128.182.55)
2021-12-06 15:06:34 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
2021-12-06 15:06:51 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2021-12-06 15:07:40 +0100jkaye(~jkaye@2601:281:8300:7530:1572:52e4:1190:1c22)
2021-12-06 15:09:13 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 250 seconds)
2021-12-06 15:11:30 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-12-06 15:11:30 +0100kennyd(~bc8165b6@cerf.good1.com) (Quit: CGI:IRC (Ping timeout))
2021-12-06 15:11:55 +0100xkuru(~xkuru@user/xkuru)
2021-12-06 15:14:02 +0100kspalaiologos(~kspalaiol@user/kspalaiologos)
2021-12-06 15:15:38 +0100xsperry(~xs@user/xsperry)
2021-12-06 15:17:31 +0100 <__monty__> merijn: Where's the microbenchmarks though? : )
2021-12-06 15:18:02 +0100 <merijn> __monty__: Microbenchmarks are way to hard to do :p
2021-12-06 15:19:20 +0100 <dminuoso> Is there some more expressive way to write this small monadic code? https://gist.github.com/dminuoso/64e95c5284ca4a5bc7d81d93d349ddab
2021-12-06 15:20:18 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2021-12-06 15:20:48 +0100 <dminuoso> -- whenF :: Functor f => Bool -> (a -> a) -> f a -> f a
2021-12-06 15:20:54 +0100 <dminuoso> This would seem a bit awkward for a one-offf
2021-12-06 15:23:12 +0100 <geekosaur> yeh, I can think of ways to shorten it but I'm not sure they're clearer
2021-12-06 15:24:38 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 265 seconds)
2021-12-06 15:24:40 +0100 <dminuoso> The other idea Im playing with is making a separate `buildNodeSingleArpNd__ pr = fillArpNdVlanInterfaces <$> buildNodeSingle__ pr` binding, and then just write `if r then buildNodeSingleArpNd__ prec else buildNodeSingle__ prec`
2021-12-06 15:24:43 +0100genieliu(~genieliu@111.193.167.10)
2021-12-06 15:24:56 +0100 <dminuoso> It's a bit longer but feels a bit more readable
2021-12-06 15:24:58 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving)
2021-12-06 15:26:13 +0100simendsjo(~user@84.211.91.241) (Ping timeout: 256 seconds)
2021-12-06 15:26:50 +0100 <byorgey> (if r then fmap fillArpNdVlanInterfaces else id) (buildNodeSingle__ prec) ?
2021-12-06 15:27:17 +0100 <byorgey> dunno if that's better, just an idea
2021-12-06 15:28:17 +0100 <geekosaur> that was the main one I was thinking of. as I said, not sure it's more readable
2021-12-06 15:28:56 +0100 <byorgey> depends who's reading it I guess.
2021-12-06 15:29:01 +0100famubu(~famubu@user/famubu) (Ping timeout: 240 seconds)
2021-12-06 15:29:34 +0100 <dminuoso> Oh I have a cunning plan!
2021-12-06 15:29:43 +0100 <kuribas> dminuoso: I like: whenMono :: Monoid m => Bool -> m -> m
2021-12-06 15:30:03 +0100 <dminuoso> https://gist.github.com/dminuoso/b3b77ce2e30f8b923b3c24eeeca9407f geekosaur, byorgey. What do you think?
2021-12-06 15:30:22 +0100Sgeo(~Sgeo@user/sgeo)
2021-12-06 15:30:24 +0100 <byorgey> oooooh, shiny
2021-12-06 15:30:48 +0100 <byorgey> dminuoso: I like it
2021-12-06 15:30:53 +0100 <kuribas> > let whenMono True m = m; whenMono False _ = mempty in \b f -> appEndo (whenMono b (Endo f))
2021-12-06 15:30:55 +0100 <lambdabot> error:
2021-12-06 15:30:55 +0100 <lambdabot> • No instance for (Typeable a0)
2021-12-06 15:30:55 +0100 <lambdabot> arising from a use of ‘show_M87810610666469311768’
2021-12-06 15:30:59 +0100 <kuribas> :t let whenMono True m = m; whenMono False _ = mempty in \b f -> appEndo (whenMono b (Endo f))
2021-12-06 15:31:01 +0100 <lambdabot> Bool -> (a -> a) -> a -> a
2021-12-06 15:31:01 +0100 <geekosaur> I kinda don't like the duplication, but I'm not sure it's worth factoring away
2021-12-06 15:31:50 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-12-06 15:32:20 +0100 <dminuoso> You have to opt for the lesser evil here I think.
2021-12-06 15:32:54 +0100 <byorgey> :t let whenMono True m = m; whenMono False _ = mempty in \b -> fmap . appEndo . whenMono b . Endo
2021-12-06 15:32:55 +0100 <lambdabot> Functor f => Bool -> (b -> b) -> f b -> f b
2021-12-06 15:33:03 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2021-12-06 15:33:13 +0100hololeap(~hololeap@user/hololeap)
2021-12-06 15:33:30 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-12-06 15:33:44 +0100 <dminuoso> kuribas: Well, I really want a whenMonoM then, so I can write `whenMonoM (has_fun_flag FunArpNdSuppress) buildNodeSingle__`
2021-12-06 15:33:51 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-06 15:34:20 +0100 <dminuoso> Though, the Endo is real overkill here.
2021-12-06 15:34:39 +0100 <dminuoso> At the end this is just the whenF I mentioned earlier
2021-12-06 15:34:46 +0100 <dminuoso> With just an overly elaborate implementation
2021-12-06 15:35:49 +0100 <kuribas> I wouldn't bother with something that trivial.
2021-12-06 15:36:06 +0100 <kuribas> Whatever comes up first is fine IMO.
2021-12-06 15:36:25 +0100 <kuribas> A bit of duplication cannot hurt.
2021-12-06 15:38:12 +0100InternetCitizen(~fuzzypixe@tchebychev.ensimag.fr)
2021-12-06 15:39:55 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-12-06 15:43:00 +0100InternetCitizen(~fuzzypixe@tchebychev.ensimag.fr) (Ping timeout: 265 seconds)
2021-12-06 15:48:43 +0100bollu(uid233390@id-233390.helmsley.irccloud.com)
2021-12-06 15:48:50 +0100xsperry(~xs@user/xsperry) (Remote host closed the connection)
2021-12-06 15:48:57 +0100slack1256(~slack1256@191.125.99.212)
2021-12-06 15:49:11 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-06 15:49:49 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 15:50:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-06 15:50:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-06 15:50:18 +0100wroathe(~wroathe@user/wroathe)
2021-12-06 15:51:16 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-12-06 15:51:30 +0100max22-(~maxime@2a01cb0883359800374d9426cde47cad.ipv6.abo.wanadoo.fr)
2021-12-06 15:52:02 +0100mc47(~mc47@xmonad/TheMC47)
2021-12-06 15:52:38 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
2021-12-06 15:52:52 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2021-12-06 15:54:36 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-12-06 15:55:05 +0100acidjnk_new(~acidjnk@p200300d0c7271e18cc88fab5aa5aa2cc.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2021-12-06 15:55:43 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-06 15:57:36 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-12-06 15:59:40 +0100slack1256(~slack1256@191.125.99.212) (Read error: Connection reset by peer)
2021-12-06 15:59:47 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-12-06 16:01:17 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2021-12-06 16:01:58 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 16:02:31 +0100 <hskpractice> is there any way to completely wipe the HLS caches?
2021-12-06 16:03:08 +0100 <maerwald> ~/.cache/ghcide/
2021-12-06 16:03:26 +0100 <maerwald> or ~/.cache/hie-bios/
2021-12-06 16:03:29 +0100 <maerwald> I'm not sure
2021-12-06 16:03:44 +0100 <maerwald> tools get constantly renamed
2021-12-06 16:05:30 +0100slack1256(~slack1256@191.125.99.212)
2021-12-06 16:05:50 +0100xsperry(~xs@cpe-188-129-101-182.dynamic.amis.hr)
2021-12-06 16:05:52 +0100xsperry(~xs@cpe-188-129-101-182.dynamic.amis.hr) (Changing host)
2021-12-06 16:05:52 +0100xsperry(~xs@user/xsperry)
2021-12-06 16:06:54 +0100 <boxscape> Hmm I'm writing a library that converts Haskell source code to Template Haskell and I'm wondering if there's any value in having a pure function `String -> Exp` instead of only functions in Q like `String -> Q Exp`
2021-12-06 16:07:02 +0100 <boxscape> both are very doable, though the latter is internally a bit cleaner
2021-12-06 16:07:03 +0100 <hskpractice> :) thanks, maerwald
2021-12-06 16:07:20 +0100Hecate(~mariposa@163.172.211.189)
2021-12-06 16:07:44 +0100Hecate(~mariposa@163.172.211.189) (Changing host)
2021-12-06 16:07:44 +0100Hecate(~mariposa@user/hecate)
2021-12-06 16:07:52 +0100dsrt^(~dsrt@68.101.58.90) (Remote host closed the connection)
2021-12-06 16:10:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-06 16:10:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-06 16:10:54 +0100wroathe(~wroathe@user/wroathe)
2021-12-06 16:12:40 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 16:15:12 +0100 <vaibhavsagar[m]> boxscape: `String -> Exp` is strictly more general, so if you only have one IMO it should be that one
2021-12-06 16:15:25 +0100pfurla(~pfurla@201.17.118.230) (Quit: gone to sleep. ZZZzzz…)
2021-12-06 16:15:52 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2021-12-06 16:16:29 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-12-06 16:17:14 +0100 <boxscape> hmm, the difference is that with `String -> Exp` the names are dynamically bound once you use the Exp, whereas with `String -> Q Exp` I could look up the real names while constructing the Exp (and so you could figure out which package etc. they are from once it's constructed), so it's not strictly more general in that sense. Although you could always have a function `Exp -> Q Exp` that converts the first kind into the second...
2021-12-06 16:17:16 +0100 <dminuoso> boxscape: How do you make fresh names without Q?
2021-12-06 16:17:56 +0100 <boxscape> dminuoso: they're not fresh, I'm using mkName, so they're bound to whatever's around once you use the Exp
2021-12-06 16:18:21 +0100 <dminuoso> Ahh
2021-12-06 16:18:23 +0100 <dminuoso> Right
2021-12-06 16:19:08 +0100 <dminuoso> boxscape: Uh, but doesnt that thing already exist in form of `String -> Q Exp`?
2021-12-06 16:19:15 +0100genieliu(~genieliu@111.193.167.10) (Ping timeout: 265 seconds)
2021-12-06 16:19:30 +0100 <dminuoso> I distinctly remember being able to feed GHCi with just arbitrary strings to figure out the TH representation equivkly
2021-12-06 16:19:36 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-12-06 16:20:00 +0100 <boxscape> dminuoso: As far as I can tell you have to write a wrapper around to be able to use it outside of GHCi, which is what I'm doing
2021-12-06 16:20:09 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-12-06 16:20:29 +0100 <dminuoso> % runQ [d| instance Functor [] where |] >>= print
2021-12-06 16:20:30 +0100 <yahb> dminuoso: [InstanceD Nothing [] (AppT (ConT GHC.Base.Functor) (ConT GHC.Types.[])) []]
2021-12-06 16:20:37 +0100 <dminuoso> % :t runQ [d| instance Functor [] where |]
2021-12-06 16:20:37 +0100 <yahb> dminuoso: Quasi m => m Language.Haskell.TH.Lib.Internal.Decs
2021-12-06 16:20:50 +0100 <boxscape> right, you didn't supply a String there though, you supplied a TH bracket
2021-12-06 16:21:42 +0100 <dminuoso> I wonder, is there no quasiquoter hidden inside that might be exported?
2021-12-06 16:22:15 +0100 <dminuoso> % runQ [| x + x |] >>= print
2021-12-06 16:22:16 +0100 <yahb> dminuoso: InfixE (Just (UnboundVarE x)) (VarE GHC.Num.+) (Just (UnboundVarE x))
2021-12-06 16:22:36 +0100 <boxscape> more or less what I'm doing is taking a string, wrapping it in "[d|...|]" or some other bracket, and then spinning up a GHC monad to parse that String and interpret it into template haskell
2021-12-06 16:22:45 +0100 <boxscape> with some AST massaging to prevent it from complain about names it can't find
2021-12-06 16:22:52 +0100 <dminuoso> Ah, without actual TH being invoked you mean
2021-12-06 16:22:54 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-12-06 16:22:56 +0100 <dminuoso> This is cute
2021-12-06 16:23:01 +0100 <boxscape> right
2021-12-06 16:23:23 +0100 <dminuoso> I do something similar in one of our projects, except its with haskell-src-exts-qq and using a quasiquoter
2021-12-06 16:23:39 +0100 <dminuoso> Benefit is being able to capture outside identifiers in the QQs
2021-12-06 16:24:05 +0100 <dminuoso> It's for module-level code generation
2021-12-06 16:24:29 +0100 <boxscape> something similar is also provided by haskell-src-meta - my main idea here was to see if I could use GHC's parser instead of relying on haskell-src-exts
2021-12-06 16:24:44 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-06 16:26:04 +0100 <dminuoso> Nice to know about haskell-src-meta
2021-12-06 16:26:15 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 16:28:13 +0100mvk(~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 240 seconds)
2021-12-06 16:30:35 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-12-06 16:30:38 +0100zebrag(~chris@user/zebrag)
2021-12-06 16:31:58 +0100_73(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-12-06 16:33:17 +0100_73(~user@pool-96-233-64-53.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
2021-12-06 16:33:48 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-12-06 16:33:57 +0100stevenxl(~stevenlei@174.128.182.55) (Quit: leaving)
2021-12-06 16:34:17 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2021-12-06 16:35:57 +0100 <boxscape> Hm I think I can actually put in a reasonably nice way to abstract over the two approaches, so I suppose I'll provide both
2021-12-06 16:43:58 +0100famubu(~famubu@14.139.174.50)
2021-12-06 16:45:57 +0100ec(~ec@gateway/tor-sasl/ec)
2021-12-06 16:52:51 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net)
2021-12-06 16:54:55 +0100burnsidesLlama(~burnsides@dhcp168-017.wadham.ox.ac.uk)
2021-12-06 16:56:56 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2021-12-06 16:57:54 +0100myShoggoth(~myShoggot@97-120-85-195.ptld.qwest.net)
2021-12-06 16:58:08 +0100 <myShoggoth> HF Office Hours will start in an hour: https://www.twitch.tv/myshoggoth
2021-12-06 16:58:49 +0100alx741(~alx741@186.178.109.217) (Ping timeout: 252 seconds)
2021-12-06 16:58:56 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-06 17:00:25 +0100dminuosoidly notes that the impression of joining and almost randomly putting in a weblink without an immediately clear reference that this is on-topic is almost fishy.
2021-12-06 17:00:34 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 17:00:59 +0100 <dminuoso> But thanks for the headsup, myShoggoth.
2021-12-06 17:01:19 +0100 <maerwald> why would that need a reference?
2021-12-06 17:01:23 +0100 <merijn> Whoo!
2021-12-06 17:01:29 +0100 <merijn> Finally caught up with AoC again :p
2021-12-06 17:01:32 +0100 <cigsender> you kinda have to know HF means Haskell Foundation :p
2021-12-06 17:01:35 +0100 <dminuoso> ^-
2021-12-06 17:01:39 +0100 <cigsender> merijn: nice! :)
2021-12-06 17:01:42 +0100 <merijn> Right, so who had questions about Day 6 again? :p
2021-12-06 17:03:06 +0100geekosaurwas thinking "twitch.tv/myshoggoth" does not look very official
2021-12-06 17:03:21 +0100 <dminuoso> That as well. :)
2021-12-06 17:03:37 +0100 <cigsender> i was worried it was going to take forever until i realized i could keep track of how many were at each stage instead of the stage of each fish :p
2021-12-06 17:04:03 +0100 <dminuoso> myShoggoth: So perhaps a haskell.foundation/twitch link might give a better first impression! :)
2021-12-06 17:04:13 +0100 <dminuoso> Or /stream or some such
2021-12-06 17:04:37 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-12-06 17:04:39 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2021-12-06 17:05:01 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-12-06 17:05:12 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2021-12-06 17:05:18 +0100 <merijn> aplainzetakind: So, I took a look at your day 6 and I'm pretty sure I know why it's slower
2021-12-06 17:05:34 +0100ec(~ec@gateway/tor-sasl/ec)
2021-12-06 17:06:01 +0100 <merijn> cigsender: Same revelation for me, yeah :p
2021-12-06 17:06:36 +0100 <merijn> "no answer in 5s...*think*...oh, this is going to run me out of memory..."
2021-12-06 17:06:59 +0100 <merijn> The new one is effectively instant, despite using immutable vectors :p
2021-12-06 17:07:21 +0100 <maerwald> dminuoso complaining about links today... :o
2021-12-06 17:07:34 +0100 <dminuoso> maerwald: Im in no way complaining.
2021-12-06 17:07:46 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 17:07:49 +0100 <maerwald> that's a lvlup for nitpicking :p
2021-12-06 17:08:13 +0100 <dminuoso> If you call giving constructive criticism a complaint, so be it. Not interested in arguing with you.
2021-12-06 17:08:14 +0100x88x88x(~x88x88x@149.28.53.172)
2021-12-06 17:08:37 +0100 <geekosaur> ^
2021-12-06 17:09:58 +0100 <Hecate> cigsender: hi <3
2021-12-06 17:11:41 +0100wei2912(~wei2912@116.88.103.128) (Quit: Lost terminal)
2021-12-06 17:13:05 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.3)
2021-12-06 17:13:05 +0100alx741(~alx741@186.178.108.139)
2021-12-06 17:13:42 +0100 <cigsender> salut Hecate <3
2021-12-06 17:13:54 +0100kspalaiologos(~kspalaiol@user/kspalaiologos) (Quit: Leaving)
2021-12-06 17:14:08 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-06 17:15:40 +0100 <cigsender> merijn: i used a map, but got the wrong answer the first try by using deleteFindMin instead of manually popping 0
2021-12-06 17:16:00 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 17:16:08 +0100 <cigsender> mistakenly assumed there'd always be some ready :p
2021-12-06 17:16:17 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 17:17:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 17:18:21 +0100x88x88x-(~cheeg@gateway/vpn/pia/x88x88x)
2021-12-06 17:19:11 +0100deadmarshal(~deadmarsh@95.38.114.2) (Ping timeout: 265 seconds)
2021-12-06 17:20:12 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-12-06 17:21:34 +0100 <merijn> cigsender: You coulda used minView which returns the smallest key and the map with it removed
2021-12-06 17:21:55 +0100 <merijn> ah, yeah
2021-12-06 17:22:00 +0100 <merijn> I see what you mean :)
2021-12-06 17:22:23 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2021-12-06 17:22:34 +0100 <merijn> cigsender: I channeled my inner HPC spirit and realised that "arrays are the universal data structure" :p
2021-12-06 17:23:10 +0100 <merijn> All problems are unboxed Vector problems! https://github.com/merijn/AdventOfCode/blob/master/Day6.hs
2021-12-06 17:23:18 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-12-06 17:23:58 +0100 <aplainzetakind> merijn: I just saw what you wrote. So what is it?
2021-12-06 17:25:08 +0100 <merijn> aplainzetakind: So, casual glance at Data.Matrix shows it's just using Vector with hand-rolled operations on it
2021-12-06 17:25:17 +0100 <merijn> aplainzetakind: You used numpy for the python version?
2021-12-06 17:25:49 +0100mbuf(~Shakthi@122.178.240.120) (Quit: Leaving)
2021-12-06 17:25:52 +0100 <aplainzetakind> merijn: https://gitlab.com/aplainzetakind/aoc2021/-/blob/master/Python/aoc2021/days/day06.py
2021-12-06 17:25:54 +0100 <aplainzetakind> Yep.
2021-12-06 17:25:59 +0100chele(~chele@user/chele) (Remote host closed the connection)
2021-12-06 17:26:06 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2021-12-06 17:26:30 +0100 <merijn> numpy uses BLAS/LAPACK for its matrix operations, which are libraries with decades worth of optimisation and vectorisation for matrix computations, which will outperform some hand-rolled matrix math on vectors any time
2021-12-06 17:26:35 +0100shailangsa(~shailangs@host86-186-136-27.range86-186.btcentralplus.com)
2021-12-06 17:26:58 +0100 <aplainzetakind> And surely there's an equivalent Haskell library?
2021-12-06 17:27:07 +0100 <merijn> hmatrix provides BLAS/LAPACK bindings
2021-12-06 17:27:32 +0100 <merijn> Although the matrix solution seems rather overcomplicated for day 6. At least for me :p
2021-12-06 17:27:57 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-06 17:28:14 +0100 <aplainzetakind> It's pretty short. I first wrote a map solution and this one is simpler imo.
2021-12-06 17:28:58 +0100 <merijn> aplainzetakind: Have a look at mine a few lines back :)
2021-12-06 17:31:42 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-12-06 17:31:56 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-12-06 17:32:14 +0100CiaoSen(~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2021-12-06 17:33:39 +0100 <aplainzetakind> merijn: For some reason I never use Vector... It never occurs to me that it exists.
2021-12-06 17:34:22 +0100 <aplainzetakind> merijn: How long does this one take for both parts?
2021-12-06 17:35:17 +0100 <merijn> aplainzetakind: Eh, when I run it it's instant, so I'd have to time it somehow :p
2021-12-06 17:35:43 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-12-06 17:36:03 +0100 <merijn> time report 0.02s real time, 0.002s usertime
2021-12-06 17:36:37 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2021-12-06 17:36:51 +0100 <aplainzetakind> time doesn't get much faster than that I suppose.
2021-12-06 17:36:59 +0100 <aplainzetakind> s/get/report
2021-12-06 17:37:16 +0100 <merijn> I mean, you can always get it faster, but doesn't seem worth the bother :p
2021-12-06 17:38:26 +0100 <aplainzetakind> merijn: Would you care to also diagnose why https://gitlab.com/aplainzetakind/aoc2021/-/blob/master/Haskell/lib/AoC2021/Day05.hs is slower than https://gitlab.com/aplainzetakind/aoc2021/-/blob/master/Python/aoc2021/days/day05.py
2021-12-06 17:38:34 +0100Lord_of_Life_Lord_of_Life
2021-12-06 17:40:40 +0100robosexual(~spaceoyst@5.167.241.206) (Quit: Konversation terminated!)
2021-12-06 17:40:43 +0100 <merijn> aplainzetakind: Lots of lists, which are always bad for performance due to the large number of indirections and the multiset approach is probably not super cheap either
2021-12-06 17:41:15 +0100 <merijn> aplainzetakind: How long does it take?
2021-12-06 17:41:58 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 17:42:36 +0100 <Franciman> how does haskell's garbage collector deal with data alignment?
2021-12-06 17:42:41 +0100 <Franciman> does it use a uniform alignment for all types?
2021-12-06 17:42:54 +0100 <Franciman> like it knows that the biggest alignment is 16bytes and alignes everything to 16 bytes?
2021-12-06 17:43:03 +0100 <merijn> My day5 isn't instant (0.3s), but it's fast enough (and stupid, I literally end up parsing the input twice)
2021-12-06 17:43:04 +0100 <Franciman> or is it more into having different regions for different alignment requests?
2021-12-06 17:44:01 +0100 <merijn> Franciman: I mean, you can just "overallocate" to make sure you've got space to get whatever alignment you need
2021-12-06 17:44:13 +0100 <merijn> Franciman: Although I wager most things are simply 4 or 8 byte aligned
2021-12-06 17:44:18 +0100 <aplainzetakind> merijn: This is also something like 0.3s. But what bugs me is that it's literally the same algorithm and Python ends up faster.
2021-12-06 17:44:46 +0100 <Franciman> yes allocating a bool with 16 byte alignment is a nice idea lol
2021-12-06 17:44:53 +0100 <Franciman> I keep thinking about it
2021-12-06 17:45:00 +0100 <merijn> aplainzetakind: The problem is that python's "lists" are arrays. They are dense memory objects, which means lots of cache hits
2021-12-06 17:45:20 +0100 <merijn> aplainzetakind: Whereas linked lists are kinda bad in terms of caching
2021-12-06 17:45:21 +0100 <Franciman> who cares about 128bit integers
2021-12-06 17:45:25 +0100 <merijn> aplainzetakind: Also, how are you timing them?
2021-12-06 17:46:18 +0100 <merijn> Franciman: It doesn't seem like a big problem? I mean, at worst you waste a handful of bytes the few times something has a weird alignment requirement
2021-12-06 17:46:22 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 17:46:46 +0100 <Franciman> eh so you mean, do 8byte alignment, which is common
2021-12-06 17:46:48 +0100 <merijn> aplainzetakind: splitOn and read are also gonna be rather terrible performance
2021-12-06 17:46:53 +0100 <Franciman> and in the rare occasion you need an int128, you just pad a lot
2021-12-06 17:47:00 +0100 <Franciman> that's not bad yeah
2021-12-06 17:47:12 +0100 <merijn> Franciman: I don't see why int128 would need a lot of padding, tbh
2021-12-06 17:47:21 +0100 <Franciman> it needs 8bytes padding
2021-12-06 17:47:32 +0100 <Franciman> to make sure it ends on 16bytes aligned address
2021-12-06 17:47:35 +0100 <Franciman> but only sometines
2021-12-06 17:47:44 +0100 <merijn> Franciman: What makes you think it needs to be 16 byte aligned?
2021-12-06 17:47:44 +0100 <Franciman> sometimes you are lucky and already are on 16bytes aligned addresses
2021-12-06 17:47:48 +0100 <Franciman> my C compiler
2021-12-06 17:47:50 +0100 <Franciman> ^^
2021-12-06 17:47:54 +0100 <merijn> AFAIK no current CPUs support native 128bit accesses anyway
2021-12-06 17:48:29 +0100 <geekosaur> I think 16 byte alignment only applies to code, not data?
2021-12-06 17:48:36 +0100 <merijn> Franciman: Ah, see, but now your question is mixing 2 things. "How does GHC's GC handle alignment" and "How should I handle alignment as specified by the C spec" :p
2021-12-06 17:48:36 +0100 <geekosaur> most things are 8 byte aligned
2021-12-06 17:49:04 +0100 <merijn> Franciman: GHC only has to worry about what the CPU will handle (which will generally be 4/8 byte alignment for word accesses)
2021-12-06 17:49:09 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 265 seconds)
2021-12-06 17:49:21 +0100 <Franciman> long double in C on my architecture requires 16byte alignment
2021-12-06 17:49:22 +0100ubert(~Thunderbi@p200300ecdf0ba2cae6b318fffe838f33.dip0.t-ipconnect.de) (Quit: ubert)
2021-12-06 17:49:22 +0100ububert
2021-12-06 17:49:28 +0100 <merijn> 128bit numbers would be handled in software anyway, 'cos no 128bit hardware currently
2021-12-06 17:49:36 +0100 <Franciman> I see, thanks
2021-12-06 17:49:38 +0100 <Franciman> nice
2021-12-06 17:49:44 +0100ubert1(~Thunderbi@p200300ecdf0ba2ca8fd37040f9dc92fe.dip0.t-ipconnect.de)
2021-12-06 17:49:48 +0100 <merijn> Franciman: Right, but is that a *C* requirement or a *CPU* requirement? :)
2021-12-06 17:49:57 +0100 <merijn> because GHC only has to worry about the latter
2021-12-06 17:50:45 +0100 <merijn> aplainzetakind: Also, whenever you wonder about performance and you see String. You should already assume that's bad :)
2021-12-06 17:50:48 +0100 <Franciman> now I wonder why C requires this
2021-12-06 17:51:14 +0100 <Franciman> but that's for another channel :D
2021-12-06 17:51:16 +0100 <Franciman> thanks merijn
2021-12-06 17:51:21 +0100 <geekosaur> uses the same alignment for code and data?
2021-12-06 17:51:38 +0100 <merijn> C (at least partially) specifies memory layout of data structures and data
2021-12-06 17:51:44 +0100 <aplainzetakind> merijn: I thime them like so: https://gitlab.com/aplainzetakind/aoc2021/-/blob/master/Haskell/bench/Main.hs
2021-12-06 17:52:00 +0100 <merijn> The Haskell Report specifies, essentially, nothing about memory layout, so the compiler can do whatever it wants :p
2021-12-06 17:52:52 +0100 <merijn> aplainzetakind: With absolutely no promises about what happens: I wonder if using readFile from Data.Text and changing your solutions to use Text will help
2021-12-06 17:53:04 +0100 <Franciman> the nice thing about self managed mamory and editable compiler without a PhD is that you can do your own statistics and update the situation as you wish
2021-12-06 17:53:21 +0100 <aplainzetakind> merijn: I'll try to leave parsing out of the benchmarking ans see if that's the choke point.?
2021-12-06 17:53:50 +0100 <aplainzetakind> In the meantime, what would be a better choice than MultiSet for this purpose?
2021-12-06 17:54:03 +0100 <merijn> aplainzetakind: I just used "Map Point Int" :p
2021-12-06 17:54:16 +0100 <Franciman> unfortunately every compiler reaches a point where it requires advanced knowledge unfortunately
2021-12-06 17:54:25 +0100 <merijn> aplainzetakind: You can check it in my repo :)
2021-12-06 17:55:40 +0100 <Franciman> but until that point I'm gonna enjoy it
2021-12-06 17:55:47 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-06 17:56:57 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2021-12-06 17:57:24 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2021-12-06 17:58:14 +0100emf(~emf@cpe-174-109-36-85.nc.res.rr.com)
2021-12-06 18:00:09 +0100emf_(~emf@2620:10d:c090:400::5:6c88)
2021-12-06 18:01:43 +0100x88x88x-(~cheeg@gateway/vpn/pia/x88x88x) (Ping timeout: 265 seconds)
2021-12-06 18:03:18 +0100emf(~emf@cpe-174-109-36-85.nc.res.rr.com) (Ping timeout: 268 seconds)
2021-12-06 18:05:55 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 18:06:12 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 18:07:33 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.3)
2021-12-06 18:15:50 +0100 <phaazon> anyone can send me an input.txt for day4 of AoC, if anyone has one? jle` are you around? :)
2021-12-06 18:16:17 +0100 <phaazon> I have reviewed my algorithm 40 times, which works on part 1 fully and the sample of part 2, so I don’t get it
2021-12-06 18:18:13 +0100synthmeat(~synthmeat@user/synthmeat) (Read error: Connection reset by peer)
2021-12-06 18:18:20 +0100synthmeat1(~synthmeat@user/synthmeat)
2021-12-06 18:18:31 +0100 <aplainzetakind> phaazon: https://dpaste.com//5GVUFPAGC
2021-12-06 18:18:45 +0100 <aplainzetakind> If a paste is fine
2021-12-06 18:19:39 +0100 <phaazon> it is, thanks
2021-12-06 18:19:53 +0100 <phaazon> aplainzetakind: have you solved it?
2021-12-06 18:19:56 +0100 <phaazon> what are the expected values?
2021-12-06 18:21:06 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-06 18:21:09 +0100 <phaazon> hm, I get 0 for that one too, so I guess I still have something wrong anyway
2021-12-06 18:21:44 +0100 <aplainzetakind> 65325 and 4624
2021-12-06 18:22:09 +0100 <yin> is there something like `class Acyclic t where leaves :: t a -> [a]` ?
2021-12-06 18:22:57 +0100 <phaazon> this is super weird
2021-12-06 18:23:05 +0100 <aplainzetakind> phaazon: Maybe going through the paste some newlines get borked or something, I'd check if it parses fine first.
2021-12-06 18:23:21 +0100 <phaazon> because my algorithm makes sense, it’s just a simple exclusion variation of the first algorithm
2021-12-06 18:23:23 +0100 <geekosaur> :t toList
2021-12-06 18:23:24 +0100 <lambdabot> Foldable t => t a -> [a]
2021-12-06 18:23:30 +0100 <phaazon> I’m a bit confused
2021-12-06 18:23:53 +0100 <geekosaur> yin, how does that differ from toList on a tree that happens to be an acyclic graph?
2021-12-06 18:24:33 +0100 <phaazon> aplainzetakind: I think there might be a rule or something I missed
2021-12-06 18:24:40 +0100 <phaazon> because the trace for the sample looks exactly like what I want
2021-12-06 18:24:42 +0100 <phaazon> https://gist.github.com/phaazon/dddc750231502c371847cc5150294ebe
2021-12-06 18:24:51 +0100 <phaazon> but for the actual input, I end up with a 0 score
2021-12-06 18:25:19 +0100 <yin> geekosaur: toList gives you all the nodes?
2021-12-06 18:25:27 +0100 <yin> i want only the leaves
2021-12-06 18:25:45 +0100 <yin> so it has t be both acyclic and directed
2021-12-06 18:26:04 +0100pfurla(~pfurla@201.17.118.230)
2021-12-06 18:26:19 +0100 <c_wraith> due to laziness, it's *really* hard to guarantee a data type is acyclic in haskell
2021-12-06 18:27:33 +0100emf_(~emf@2620:10d:c090:400::5:6c88) (Ping timeout: 252 seconds)
2021-12-06 18:27:53 +0100 <yin> c_wraith: well... s/acyclic/infinite , technically
2021-12-06 18:27:57 +0100 <c_wraith> But in general, I've used lenses for that sort of thing. Given a lens to get all the children of the current node and a lens to get the value you want, there are combinators to turn that into "get all the leaves"
2021-12-06 18:28:00 +0100 <aplainzetakind> phaazon: ¯\_(ツ)_/¯
2021-12-06 18:28:20 +0100 <aplainzetakind> phaazon: Do you have the trace for the actual run?
2021-12-06 18:30:08 +0100emf(~emf@2620:10d:c090:400::5:6c88)
2021-12-06 18:30:23 +0100 <raehik> :t _1
2021-12-06 18:30:24 +0100 <lambdabot> (Field1 s t a b, Functor f) => (a -> f b) -> s -> f t
2021-12-06 18:30:42 +0100 <raehik> ^ On GHCi 9.2, the following displays:
2021-12-06 18:30:54 +0100 <raehik> Field1 s t a b => Lens s t a b
2021-12-06 18:31:03 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-12-06 18:31:24 +0100 <raehik> did :t stop expanding type synonyms in GHC 9.2? I can't find specific detail in the changelogs
2021-12-06 18:32:08 +0100 <c_wraith> type synonyms have a history of changing how they're displayed frequently
2021-12-06 18:32:12 +0100bollu(uid233390@id-233390.helmsley.irccloud.com)
2021-12-06 18:33:01 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-12-06 18:33:04 +0100 <c_wraith> eta expanding it removes the type synonym!
2021-12-06 18:33:44 +0100 <raehik> any command to give GHCi to do that? (none of this is a complaint or problem, just interesting)
2021-12-06 18:34:44 +0100 <c_wraith> I just checked to see if there's a :t! analogous to :k! and it does not seem to exist
2021-12-06 18:34:57 +0100 <raehik> yeah, neither anything in :help
2021-12-06 18:35:40 +0100 <raehik> I prefer this way but amusingly it broke doctests in generic-lens
2021-12-06 18:35:44 +0100 <phaazon> aplainzetakind: yes, I also display the boards
2021-12-06 18:35:47 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-06 18:36:45 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 18:36:54 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-06 18:37:15 +0100 <phaazon> the trace makes sense
2021-12-06 18:37:17 +0100 <c_wraith> phaazon: note that 0 is a number that can be called (at least in some inputs). If you return that as the last number called in the last board, the score will be zero
2021-12-06 18:37:35 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 18:37:37 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2021-12-06 18:37:41 +0100 <phaazon> at least for the sample
2021-12-06 18:37:57 +0100 <phaazon> c_wraith: I use -1
2021-12-06 18:38:03 +0100 <phaazon> https://gist.github.com/phaazon/bbbec07d81fb6a05aeb860ac7822b05d
2021-12-06 18:39:04 +0100 <c_wraith> phaazon: I mean it's valid for the output to be 0, given completely correct code. It probably isn't, but it's valid.
2021-12-06 18:40:00 +0100 <phaazon> https://gist.github.com/phaazon/edbf57cf390643ebbcafde0783a3a8b2
2021-12-06 18:40:05 +0100 <phaazon> the input’s output
2021-12-06 18:40:07 +0100 <phaazon> it’s… weird
2021-12-06 18:40:26 +0100 <phaazon> like the score of the second
2021-12-06 18:40:44 +0100 <phaazon> but yeah, since I multiply by 0…
2021-12-06 18:41:08 +0100 <c_wraith> phaazon: ok, something is definitely wrong. look at line 450, for example
2021-12-06 18:41:12 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-06 18:41:20 +0100 <c_wraith> phaazon: you played until the board was blacked out entirely. that's going too long
2021-12-06 18:41:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-12-06 18:41:32 +0100 <c_wraith> phaazon: there was definitely a bingo before the blackout
2021-12-06 18:42:13 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-12-06 18:42:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 18:42:57 +0100 <phaazon> I don’t understand how that can happen given I exclude a board at the first win
2021-12-06 18:44:44 +0100 <dsal> When I've got stuck on stuff like this, I've written unit tests for the code I was pretty sure was right.
2021-12-06 18:44:46 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-12-06 18:44:48 +0100sprout_(~quassel@2a02:a467:ccd6:1:bc10:5f40:71cb:b3b6)
2021-12-06 18:45:00 +0100 <c_wraith> well, evidence shows that the test isn't quite working right
2021-12-06 18:45:10 +0100 <c_wraith> so... time to figure out why
2021-12-06 18:47:25 +0100sprout(~quassel@2a02:a467:ccd6:1:6993:39fb:9bc8:e953) (Ping timeout: 240 seconds)
2021-12-06 18:47:33 +0100mvk(~mvk@2607:fea8:5cdd:f000::9788)
2021-12-06 18:47:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-12-06 18:47:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 18:50:41 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 18:50:58 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 18:51:47 +0100 <EvanR> yeah if your code is split into small functions, and you "verified" each function on the repl, then the whole thing can't be wrong xD
2021-12-06 18:51:50 +0100 <EvanR> (YMMV)
2021-12-06 18:53:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-12-06 18:53:43 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 18:53:44 +0100 <dsal> I wrote most of my bugs in the obviously correct parts of the code.
2021-12-06 18:54:32 +0100deadmarshal(~deadmarsh@95.38.114.2)
2021-12-06 18:55:07 +0100 <phaazon> c_wraith: it’s that kind of puzzles where I’m sure I just didn’t understand a hidden rule
2021-12-06 18:55:15 +0100 <phaazon> I have that with all AoC
2021-12-06 18:55:19 +0100 <phaazon> https://gist.github.com/phaazon/13fdd3bf646dde2ee6153cc25d4507a0
2021-12-06 18:55:25 +0100 <phaazon> this test all passes
2021-12-06 18:55:43 +0100 <c_wraith> I couldn't be bothered to write complicated code to test whether the game had ended for day 4. so I doubled the size of the problem in exchange for making the test and the calling process much easier.
2021-12-06 18:56:57 +0100 <phaazon> I don’t think it matters that much, because of the exclusion thing
2021-12-06 18:57:09 +0100 <phaazon> if I have excluded everything, it will just be spinning loops until the end of the numbers
2021-12-06 18:57:14 +0100 <phaazon> (and I keep the last score in memory)
2021-12-06 18:57:17 +0100 <phaazon> so
2021-12-06 18:57:25 +0100 <phaazon> :shrug:
2021-12-06 18:59:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-06 18:59:29 +0100 <c_wraith> the ones running to blackout are the real mystery
2021-12-06 18:59:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 19:00:26 +0100 <c_wraith> because that implies they didn't stop at any of the previous horizontal or vertical checks.
2021-12-06 19:01:21 +0100burnsidesLlama(~burnsides@dhcp168-017.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-06 19:01:53 +0100Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 268 seconds)
2021-12-06 19:01:54 +0100burnsidesLlama(~burnsides@dhcp168-017.wadham.ox.ac.uk)
2021-12-06 19:02:16 +0100 <c_wraith> but it sounds like you did the whole problem differently than I did - it sounds like you're running the boards in lockstep. in that case, you need to check for accidental crosstalk between tests
2021-12-06 19:02:57 +0100 <dsal> Yeah, I just ran all of them in parallel.
2021-12-06 19:04:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-06 19:05:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 19:05:49 +0100burnsidesLlama(~burnsides@dhcp168-017.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-12-06 19:05:49 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds)
2021-12-06 19:05:52 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (Remote host closed the connection)
2021-12-06 19:08:15 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 19:08:33 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 19:10:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 19:10:31 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 19:12:11 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 19:12:29 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 19:12:59 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Quit: Konversation terminated!)
2021-12-06 19:14:13 +0100pfurla(~pfurla@201.17.118.230) (Quit: gone to sleep. ZZZzzz…)
2021-12-06 19:14:19 +0100 <c_wraith> phaazon: I have a hypothesis, based on what you said: you're still sending moves to boards that have already won in some cases - ie, your exclusion isn't excluding as much as you hoped
2021-12-06 19:15:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-12-06 19:16:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 19:18:27 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 19:18:45 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 19:19:10 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-06 19:19:10 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-06 19:19:10 +0100wroathe(~wroathe@user/wroathe)
2021-12-06 19:19:25 +0100myShoggoth(~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 240 seconds)
2021-12-06 19:20:04 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-12-06 19:21:02 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-12-06 19:21:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-06 19:22:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 19:23:45 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-06 19:24:12 +0100myShoggoth(~myShoggot@97-120-85-195.ptld.qwest.net)
2021-12-06 19:25:00 +0100 <phaazon> c_wraith: what do you mean?
2021-12-06 19:25:08 +0100 <phaazon> whenever a board wins, I put its index in an exclusion set
2021-12-06 19:25:16 +0100 <phaazon> and then will never update the board again / check it
2021-12-06 19:25:26 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 19:26:00 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-06 19:26:07 +0100 <c_wraith> well, boards that have already won keep getting played. so either your win detection is buggy or your exclusion set is buggy.
2021-12-06 19:26:26 +0100 <c_wraith> and I'm willing to bet it's the latter
2021-12-06 19:26:39 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 19:27:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-06 19:27:57 +0100 <dsal> phaazon: I play each board independently, so there's no kind of exclusion set.
2021-12-06 19:27:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 19:28:03 +0100 <dsal> The nice thing is that you can do them all in parallel.
2021-12-06 19:28:18 +0100 <dsal> `catMaybes $ parMap rseq go boards`
2021-12-06 19:29:05 +0100 <phaazon> c_wraith: keep getting played?
2021-12-06 19:29:08 +0100 <phaazon> what does that mean?
2021-12-06 19:29:13 +0100 <phaazon> a board can win several times?
2021-12-06 19:29:25 +0100 <c_wraith> well, did you look at your output?
2021-12-06 19:29:38 +0100 <c_wraith> there are boards in there which have a lot of wins
2021-12-06 19:29:54 +0100 <c_wraith> clearly they had squares marked off after they had already won
2021-12-06 19:30:01 +0100 <c_wraith> otherwise that couldn't happen
2021-12-06 19:30:09 +0100 <dsal> If you have the concept of an exclusion set, then you have the possibility of that not working the way you think it does.
2021-12-06 19:30:23 +0100 <dsal> If you just play a single board until it completes and then don't have the ability to touch it again, then you can't write that bug.
2021-12-06 19:30:43 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 19:30:49 +0100 <EvanR> yeah there are ways that are simpler than others, and if we insist on them, we lose biodiversity xD
2021-12-06 19:31:00 +0100 <phaazon> I don’t get your point dsal
2021-12-06 19:31:01 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-12-06 19:31:01 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 19:31:16 +0100 <phaazon> I tried both ideas
2021-12-06 19:31:18 +0100 <EvanR> let the special solutions live
2021-12-06 19:31:19 +0100 <phaazon> (keep playing them, etc.)
2021-12-06 19:32:04 +0100 <phaazon> once a board wins (i.e. it has either one row or one column), we shouldn’t include it anymore in the mark algorithm because it’s already won
2021-12-06 19:32:15 +0100 <phaazon> if not, then that’s the kind of « hidden rules » I mentioned above about AoC
2021-12-06 19:33:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-06 19:33:19 +0100 <c_wraith> my point is that you know your code is wrong, and yet keep arguing that it's right
2021-12-06 19:33:49 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds)
2021-12-06 19:33:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 19:34:13 +0100 <c_wraith> you know it's wrong. you have evidence as to the form of it's incorrectness, based in the trace you posted
2021-12-06 19:34:18 +0100 <c_wraith> *its
2021-12-06 19:34:22 +0100 <phaazon> that’s what I did
2021-12-06 19:34:25 +0100 <phaazon> and the tests are all green
2021-12-06 19:34:33 +0100 <c_wraith> then the tests are wrong
2021-12-06 19:34:49 +0100 <c_wraith> (tests being wrong is the main problem with tests)
2021-12-06 19:34:55 +0100 <EvanR> phaazon, regardless of if a board keeps playing, the "rules" for that day want to know who won first or last
2021-12-06 19:35:03 +0100 <EvanR> so it technically doesn't matter if you keep them going
2021-12-06 19:35:04 +0100 <phaazon> I’m not saying it’s right, I’m saying I don’t get what’s wrong
2021-12-06 19:35:28 +0100 <c_wraith> I've already told you, it's either the win detection or the exclusion mechanism
2021-12-06 19:35:29 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-06 19:35:42 +0100 <c_wraith> those are the two places the cover the symptoms
2021-12-06 19:35:52 +0100 <phaazon> if the win detection was bugged, I guess I wouldn’t have passed part 1a, 1b and 2a
2021-12-06 19:35:56 +0100 <phaazon> (both input and samples)
2021-12-06 19:36:05 +0100 <phaazon> so I guess it’s the exclusion mechanism
2021-12-06 19:36:10 +0100 <EvanR> it's interesting to go back and figure out why a bug didn't mess up part 1 xD
2021-12-06 19:36:11 +0100 <phaazon> but yet it still passes the sample
2021-12-06 19:36:15 +0100 <EvanR> I had that several times
2021-12-06 19:36:22 +0100burnsidesLlama(~burnsides@dhcp168-017.wadham.ox.ac.uk)
2021-12-06 19:36:28 +0100 <phaazon> my algorithm is pretty simple
2021-12-06 19:36:47 +0100 <phaazon> I just do the same as part 1 but as soon as a board wins, I place its index in a set and updates the winning score
2021-12-06 19:37:06 +0100 <EvanR> my algorithm is pretty simple, alas IRC doesn't have enough margin space for it
2021-12-06 19:37:36 +0100 <c_wraith> it's almost certain the bug is outside the code you're testing
2021-12-06 19:38:07 +0100 <merijn> How are you detecting wins?
2021-12-06 19:38:17 +0100 <c_wraith> it's in code coordinating the action, rather than the units you have tested
2021-12-06 19:38:37 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-12-06 19:39:35 +0100 <merijn> I'm curious what the code looks like
2021-12-06 19:39:36 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 19:41:06 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-06 19:42:02 +0100 <c_wraith> well, it's in rust. which is probably why phaazon hasn't just posted it to ask for a review. :)
2021-12-06 19:42:15 +0100burnsidesLlama(~burnsides@dhcp168-017.wadham.ox.ac.uk) (Ping timeout: 265 seconds)
2021-12-06 19:44:08 +0100 <EvanR> oof
2021-12-06 19:44:30 +0100 <EvanR> this isn't the AoC help channel or the rust channel xD
2021-12-06 19:44:40 +0100 <geekosaur> there is always -offtopic
2021-12-06 19:45:28 +0100 <EvanR> hard to understand bugs in your code is why haskell lol
2021-12-06 19:45:28 +0100 <phaazon> merijn: I check columns (any…all…==-1) and rows
2021-12-06 19:46:23 +0100ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2021-12-06 19:47:06 +0100 <merijn> There's an AOC channel too, no?
2021-12-06 19:47:17 +0100 <c_wraith> I didn't see one on this server
2021-12-06 19:47:30 +0100 <c_wraith> maybe it stayed on freenode(
2021-12-06 19:48:10 +0100 <dsal> There are three here I'm in
2021-12-06 19:48:16 +0100 <EvanR> #adventofcode
2021-12-06 19:48:25 +0100 <dsal> #adventofcode-{,help,spoilers}
2021-12-06 19:48:29 +0100 <c_wraith> i wonder why that didn't show up in my search
2021-12-06 19:48:41 +0100halides(halides@imases.biss.ee) ()
2021-12-06 19:49:21 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3)
2021-12-06 19:50:36 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-12-06 19:52:03 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-06 19:53:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-06 19:55:43 +0100Codaraxis__(~Codaraxis@user/codaraxis)
2021-12-06 19:58:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 19:59:55 +0100Codaraxis_(~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds)
2021-12-06 20:01:43 +0100max22-(~maxime@2a01cb0883359800374d9426cde47cad.ipv6.abo.wanadoo.fr) (Ping timeout: 250 seconds)
2021-12-06 20:03:45 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-12-06 20:04:21 +0100 <maerwald> anyone tried haskell on void linux?
2021-12-06 20:06:24 +0100jinsun(~quassel@user/jinsun) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-12-06 20:06:44 +0100jinsun(~quassel@user/jinsun)
2021-12-06 20:08:11 +0100 <dsal> void linux? That sounds absurd
2021-12-06 20:09:51 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 20:10:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 20:10:28 +0100 <maerwald> why?
2021-12-06 20:11:08 +0100 <geekosaur> bad joke
2021-12-06 20:11:17 +0100 <geekosaur> :t absurd
2021-12-06 20:11:18 +0100 <lambdabot> Void -> a
2021-12-06 20:11:53 +0100 <maerwald> well
2021-12-06 20:11:55 +0100 <maerwald> https://github.com/void-linux/void-packages/issues/11718
2021-12-06 20:11:58 +0100 <maerwald> there's the first one
2021-12-06 20:13:59 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 20:14:17 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 20:14:56 +0100 <janus> lambdadog gets it working on nix in the end
2021-12-06 20:16:08 +0100 <geekosaur> I'm still of the opinion haskeline should try libncurses if libtinfo isn't found
2021-12-06 20:16:34 +0100deadmarshal(~deadmarsh@95.38.114.2) (Ping timeout: 265 seconds)
2021-12-06 20:16:52 +0100 <sm> could someone remind me of the repo that keeps stack.yaml's for newer GHCs ?
2021-12-06 20:17:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 20:17:22 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-12-06 20:17:31 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 20:18:54 +0100 <maerwald> what stack.yamls?
2021-12-06 20:19:26 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-06 20:19:47 +0100 <sm> stack.yaml's for newer GHCs, that aren't on stackage.org yet
2021-12-06 20:20:02 +0100 <maerwald> stack.yaml are project files
2021-12-06 20:20:09 +0100 <maerwald> do you mean this? https://github.com/commercialhaskell/stackage-content/blob/master/stack/stack-setup-2.yaml
2021-12-06 20:20:46 +0100connrs(~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-06 20:21:17 +0100 <sm> no, but that looks like it will do (I want GHC 9.2.1, and it looks like stack setup knows how to install that)- thanks
2021-12-06 20:22:02 +0100famubu(~famubu@14.139.174.50) (Remote host closed the connection)
2021-12-06 20:23:01 +0100cfricke(~cfricke@user/cfricke) (Ping timeout: 240 seconds)
2021-12-06 20:23:31 +0100 <phaazon> I found my bug
2021-12-06 20:23:45 +0100deadmarshal(~deadmarsh@95.38.114.2)
2021-12-06 20:24:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-06 20:24:48 +0100 <phaazon> it was… a single keyword :)
2021-12-06 20:25:10 +0100 <phaazon> and it was indeed a cornercase that wasn’t mentioned in the « rules », so I needed an assumption here
2021-12-06 20:25:15 +0100 <geekosaur> didn't someone mention having a && instead of a || earlier?
2021-12-06 20:25:31 +0100 <phaazon> it was a while needed instead of a if :)
2021-12-06 20:25:46 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 20:27:11 +0100 <DigitalKiwi> so it's fitting that my website https://mostlyabsurd.com features haskell then lol
2021-12-06 20:29:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 20:30:27 +0100econo(uid147250@user/econo)
2021-12-06 20:31:03 +0100 <maerwald> https://mostlyabsurd.com/pieces/2020/02/05/agdaboi-matte-5x7/ looks fluffy
2021-12-06 20:32:43 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 20:32:43 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Read error: Connection reset by peer)
2021-12-06 20:33:01 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 20:33:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-06 20:33:32 +0100tfeb(~tfb@88.98.95.237)
2021-12-06 20:35:42 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 20:35:59 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 20:36:27 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-06 20:36:36 +0100 <tomsmeding> h/urlse
2021-12-06 20:36:40 +0100 <tomsmeding> .... sorry
2021-12-06 20:40:36 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-06 20:43:15 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-06 20:43:51 +0100max22-(~maxime@2a01cb08833598003eb627eec416786c.ipv6.abo.wanadoo.fr)
2021-12-06 20:45:54 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net)
2021-12-06 20:47:23 +0100ircbrowse_tom(~ircbrowse@2a01:4f8:1c1c:9319::1)
2021-12-06 20:47:25 +0100Server+Cnt
2021-12-06 20:47:38 +0100yauhsien(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-06 20:49:58 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 20:53:15 +0100tomsmeding(~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-06 20:54:13 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-12-06 20:55:03 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 20:56:51 +0100tomsmeding(~tomsmedin@tomsmeding.com)
2021-12-06 21:01:28 +0100tfeb(~tfb@88.98.95.237) (Quit: died)
2021-12-06 21:02:15 +0100nickdalynickdaly-away
2021-12-06 21:04:39 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-06 21:04:39 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-06 21:04:39 +0100wroathe(~wroathe@user/wroathe)
2021-12-06 21:05:05 +0100juhp(~juhp@128.106.188.82) (Ping timeout: 256 seconds)
2021-12-06 21:06:36 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 21:06:48 +0100juhp(~juhp@128.106.188.82)
2021-12-06 21:08:18 +0100cyphase(~cyphase@user/cyphase) (Ping timeout: 268 seconds)
2021-12-06 21:09:13 +0100 <Midjak> Hello on a fold expression with a function which return a bool is lazyness apply and stop as soon as function returns false ?
2021-12-06 21:09:37 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-06 21:10:26 +0100 <monochrom> Yes for foldr.
2021-12-06 21:10:46 +0100 <monochrom> But your question wording is very vague.
2021-12-06 21:10:56 +0100darchite`(~user@2a00:23c6:3584:df00:7dec:bf13:8fa:748c)
2021-12-06 21:11:22 +0100 <xsperry> > foldr (||) True (True : undefined)
2021-12-06 21:11:24 +0100 <lambdabot> True
2021-12-06 21:11:58 +0100 <monochrom> For example, xsperry's example shows that the answer to your worded question can be "no" because you need to s/false/true/
2021-12-06 21:13:01 +0100 <monochrom> Evidently, "a function which return a bool" is much broader than the one single function you have in mind. (So why didn't you spell it out? What's there to conceal?)
2021-12-06 21:14:01 +0100 <Midjak> well it's not easy to express this. In `foldl (\acc elem -> even elem && acc) True [5, 2, 4]` is this expression evaluate `even 2 && False` ?
2021-12-06 21:15:25 +0100myShoggoth(~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 240 seconds)
2021-12-06 21:15:25 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2021-12-06 21:15:38 +0100 <Midjak> I am expecting this stop on first element of the list
2021-12-06 21:15:49 +0100 <Midjak> I am not sure however
2021-12-06 21:16:00 +0100 <monochrom> That expands to: ((even 5 && even 2) && even 4) && True
2021-12-06 21:16:10 +0100 <monochrom> It will not stop early.
2021-12-06 21:16:14 +0100 <kuribas> > foldl (\acc elem -> even elem && acc) True [5, undefined, 4]
2021-12-06 21:16:16 +0100 <lambdabot> *Exception: Prelude.undefined
2021-12-06 21:16:20 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-06 21:16:26 +0100cyphase(~cyphase@user/cyphase)
2021-12-06 21:16:35 +0100 <kuribas> > foldl (\acc elem -> even elem && acc) True [5, 2, undefined]
2021-12-06 21:16:37 +0100 <lambdabot> *Exception: Prelude.undefined
2021-12-06 21:16:49 +0100 <Midjak> hummm ok...
2021-12-06 21:16:56 +0100 <monochrom> Perhaps the more important skill is to know how to expand foldl (\acc elem -> even elem && acc) True [5, 2, 4]
2021-12-06 21:16:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 21:17:41 +0100 <xsperry> > foldr (\elem acc -> even elem && acc) True [5, 2, undefined]
2021-12-06 21:17:42 +0100 <lambdabot> False
2021-12-06 21:18:02 +0100 <Midjak> what is this undefined ?
2021-12-06 21:18:10 +0100 <merijn> :t undefined
2021-12-06 21:18:11 +0100 <lambdabot> a
2021-12-06 21:18:23 +0100 <xsperry> undefined is everything and nothing :)
2021-12-06 21:18:26 +0100 <geekosaur> undefined just throws an exception
2021-12-06 21:18:27 +0100 <kuribas> > foldl (\acc elem -> even elem && acc) True [undefined, 2, 4]
2021-12-06 21:18:28 +0100 <lambdabot> *Exception: Prelude.undefined
2021-12-06 21:19:11 +0100 <kuribas> > foldl (\acc elem -> even elem && acc) True [undefined, undefined, 3]
2021-12-06 21:19:11 +0100 <Midjak> I mean does I need that for my purpose ?
2021-12-06 21:19:13 +0100 <lambdabot> False
2021-12-06 21:19:14 +0100cfricke(~cfricke@user/cfricke)
2021-12-06 21:19:21 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (Remote host closed the connection)
2021-12-06 21:19:35 +0100 <geekosaur> no, it's just being used ot prove/disprove early stopping
2021-12-06 21:19:41 +0100 <kuribas> monochrom: that evaluates to ((even 4 && even 2) && even 5) && True
2021-12-06 21:19:44 +0100 <merijn> tbh, any use of undefined besides examples of strictness is probably a mistake
2021-12-06 21:19:52 +0100 <geekosaur> since if it stops early then undefined won't be evaluated and won't throw an exception
2021-12-06 21:19:54 +0100 <Midjak> ah ok geekosaur
2021-12-06 21:20:02 +0100 <kuribas> it does stop early
2021-12-06 21:20:07 +0100 <kuribas> but from the right.
2021-12-06 21:20:12 +0100 <Midjak> ah ok
2021-12-06 21:20:41 +0100 <Midjak> why from the right ?
2021-12-06 21:20:50 +0100 <kuribas> foldl is the reverse of foldr.
2021-12-06 21:20:51 +0100 <merijn> I dislike this terminology of "from the right" and "from the left" when discussing folds, it's usually confusing and ambiguous
2021-12-06 21:20:58 +0100 <merijn> kuribas: Is it?
2021-12-06 21:21:16 +0100 <merijn> Arguably wouldn't, like, scanr be the reverse? :p
2021-12-06 21:21:23 +0100 <Midjak> l is for left en r ids for right no ?
2021-12-06 21:21:25 +0100 <geekosaur> the l/r in foldl/foldr is aboout associativity, not direction of evaluation
2021-12-06 21:21:31 +0100 <kuribas> merijn: reverse direction
2021-12-06 21:21:33 +0100 <Midjak> ok
2021-12-06 21:21:49 +0100 <geekosaur> > foldl f z [a,b,c]
2021-12-06 21:21:50 +0100 <lambdabot> f (f (f z a) b) c
2021-12-06 21:21:51 +0100 <monochrom> even 4 (even 2 && (even 5 && True)). All of us were wrong.
2021-12-06 21:21:54 +0100 <merijn> kuribas: I think "direction" is a bad term for what you see, though. See geekosaur's comment
2021-12-06 21:21:55 +0100 <geekosaur> > foldr f z [a,b,c]
2021-12-06 21:21:56 +0100 <lambdabot> f a (f b (f c z))
2021-12-06 21:22:12 +0100 <kuribas> monochrom: ah right :)
2021-12-06 21:22:14 +0100 <merijn> kuribas: "left associative" vs "right associative" is less ambiguous than "from the left" or "from the right"
2021-12-06 21:22:28 +0100 <kuribas> merijn: true
2021-12-06 21:22:40 +0100 <monochrom> "from left" and "from right" are OK in Scheme and SML. Haskell laziness made them weird.
2021-12-06 21:22:43 +0100 <merijn> Which directions (due to flawed human brains) tend to also imply evalation orders
2021-12-06 21:22:57 +0100 <merijn> s/Which/Since
2021-12-06 21:22:59 +0100 <Midjak> ok is the reason why foldr function is \x acc -> .. and in foldl \acc x -> ..
2021-12-06 21:23:13 +0100perro(~perro@072-191-245-069.res.spectrum.com)
2021-12-06 21:23:18 +0100 <DigitalKiwi> foldLeft/foldl => FL => For Loop; foldRight/foldr => fR => constructor Replacement
2021-12-06 21:23:24 +0100 <monochrom> No reason. Arbitrary decision.
2021-12-06 21:23:42 +0100 <Midjak> ok ok
2021-12-06 21:24:01 +0100 <kuribas> > foldl (\acc elem -> even elem && acc) True [5::Expr, 2, 4]
2021-12-06 21:24:02 +0100 <lambdabot> False
2021-12-06 21:24:13 +0100 <Midjak> this kind o rules are very hard for a newbie :-)
2021-12-06 21:24:29 +0100 <xsperry> there's a reason. see on what side is z (which is acc) used in foldl, vs foldr
2021-12-06 21:24:31 +0100 <kuribas> > foldl (\acc elem -> f elem && acc) True [5::Expr, 2, 4]
2021-12-06 21:24:33 +0100 <lambdabot> error:
2021-12-06 21:24:33 +0100 <lambdabot> • No instance for (FromExpr Bool) arising from a use of ‘f’
2021-12-06 21:24:33 +0100 <lambdabot> • In the first argument of ‘(&&)’, namely ‘f elem’
2021-12-06 21:24:36 +0100 <xsperry> > foldl f z [a,b,c]
2021-12-06 21:24:38 +0100 <lambdabot> f (f (f z a) b) c
2021-12-06 21:24:39 +0100 <xsperry> > foldr f z [a,b,c]
2021-12-06 21:24:41 +0100 <lambdabot> f a (f b (f c z))
2021-12-06 21:24:50 +0100 <merijn> Midjak: True. But what helps a lot is "staring at the respective types a long time"
2021-12-06 21:24:53 +0100 <monochrom> What you should dislike is the simpleton mindset that just because a mental model works for your echo chamber, it works universally.
2021-12-06 21:25:02 +0100 <DigitalKiwi> now do infinite lists
2021-12-06 21:25:28 +0100 <merijn> Midjak: Taking a pen & paper and mentally working out what the fold types turn into without your specific function(s) can also be very educational
2021-12-06 21:25:43 +0100 <monochrom> And of course, also beware of the perfectionist mindset: just because a model breaks somewhere, it can't work in a suitable echo chamber.
2021-12-06 21:26:25 +0100 <merijn> monochrom: I don't recall whether it was TaPL or some other book, but one of them in the preface mentioned that early chapters would essentially "lie for educational convenience" :p
2021-12-06 21:26:59 +0100 <monochrom> Yeah, that's the best attitude.
2021-12-06 21:27:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-06 21:27:08 +0100aman(~aman@user/aman) (Ping timeout: 265 seconds)
2021-12-06 21:27:17 +0100 <EvanR> the docs for vector foldl and foldr literally say "from left to right" and "from right to left" (not necessarily in that order)
2021-12-06 21:27:22 +0100 <EvanR> still boggling
2021-12-06 21:27:29 +0100 <merijn> The goal of models is to usefully predict results of actions. Many people underrate the value of an untrue, but useful to beginners model
2021-12-06 21:27:40 +0100 <monochrom> For vector, that is a correct model.
2021-12-06 21:27:51 +0100 <merijn> EvanR: For vector that is sensible, because operations are generally strict
2021-12-06 21:27:57 +0100 <monochrom> In fact, the actual code probably does exactly that, no more no less.
2021-12-06 21:28:04 +0100 <EvanR> uh which operations? xD
2021-12-06 21:28:21 +0100 <EvanR> the traversal or the visitor
2021-12-06 21:28:42 +0100 <EvanR> i don't see why e.g. toList should be strict
2021-12-06 21:28:44 +0100 <merijn> EvanR: traversals for sure, since the whole traversal goes at once when the new vector is forced
2021-12-06 21:28:50 +0100 <Midjak> merijn, what do you mind by "what helps a lot is "staring at the respective types a long time"
2021-12-06 21:28:56 +0100 <Midjak> *mean
2021-12-06 21:28:59 +0100 <merijn> :t foldl
2021-12-06 21:29:00 +0100 <lambdabot> Foldable t => (b -> a -> b) -> b -> t a -> b
2021-12-06 21:29:06 +0100 <merijn> hmm
2021-12-06 21:29:11 +0100 <merijn> :t Data.List.foldl
2021-12-06 21:29:12 +0100 <lambdabot> Foldable t => (b -> a -> b) -> b -> t a -> b
2021-12-06 21:29:16 +0100 <merijn> oi!
2021-12-06 21:29:25 +0100 <merijn> :t Data.OldList.foldl
2021-12-06 21:29:27 +0100 <lambdabot> error:
2021-12-06 21:29:27 +0100 <lambdabot> Not in scope: ‘Data.OldList.foldl’
2021-12-06 21:29:27 +0100 <lambdabot> Perhaps you meant one of these:
2021-12-06 21:29:36 +0100 <merijn> pfft, I give up :p
2021-12-06 21:29:47 +0100 <EvanR> that is the type I internalized
2021-12-06 21:29:52 +0100 <EvanR> what were you looking for
2021-12-06 21:30:03 +0100 <merijn> Midjak: Basically, write that on a paper. Take the function you wanna pass to foldl, fill in the 'a' and 'b', see what comes out
2021-12-06 21:30:08 +0100 <merijn> EvanR: The version without Foldable
2021-12-06 21:30:12 +0100 <EvanR> ah
2021-12-06 21:30:28 +0100 <merijn> unnecessary details, and all that
2021-12-06 21:30:29 +0100 <EvanR> :t foldl @[]
2021-12-06 21:30:30 +0100 <lambdabot> error:
2021-12-06 21:30:30 +0100 <lambdabot> Pattern syntax in expression context: foldl@[]
2021-12-06 21:30:30 +0100 <lambdabot> Did you mean to enable TypeApplications?
2021-12-06 21:30:35 +0100 <EvanR> FFFFUUUUUUU
2021-12-06 21:30:55 +0100 <merijn> TypeApplications are bad anyway :p
2021-12-06 21:31:04 +0100 <EvanR> orly?
2021-12-06 21:31:52 +0100 <merijn> Midjak: I find it hard to articulate what the result is, since at this point foldl and foldr feel like second nature. But I distinctly recall repeatedly writing out full types on a white board of whatever I wanted to do with them and achieving an epiphany :p
2021-12-06 21:32:32 +0100 <merijn> Hell, in general, just "working out the types and filling them in manually using pen and paper" is an *entirely* underrated method for getting better at understanding Haskell :)
2021-12-06 21:32:42 +0100myShoggoth(~myShoggot@97-120-85-195.ptld.qwest.net)
2021-12-06 21:33:03 +0100 <kuribas> merijn: or using a scratch buffer
2021-12-06 21:33:06 +0100 <EvanR> the type of foldl and foldr are basically the same...
2021-12-06 21:33:31 +0100 <merijn> EvanR: For *us*
2021-12-06 21:33:33 +0100 <merijn> Sure
2021-12-06 21:33:47 +0100 <EvanR> which doesn't help discriminate what they do xD
2021-12-06 21:33:49 +0100 <merijn> But I still (vaguely!) remember it all being super mistifying :)
2021-12-06 21:34:14 +0100 <merijn> EvanR: I recall a time where their types seemed very different
2021-12-06 21:34:39 +0100 <monochrom> Generally, basic algebra skills are underrated.
2021-12-06 21:34:59 +0100 <monochrom> http://www.vex.net/~trebla/haskell/prerequisite.xhtml
2021-12-06 21:35:04 +0100 <geekosaur> EvanR, TypeApplictaions can be done in yahb
2021-12-06 21:35:37 +0100 <Midjak> > foldl (\acc elem -> acc && even elem) True [5, 2, 4, undefined]
2021-12-06 21:35:38 +0100 <EvanR> % :t foldl @[]
2021-12-06 21:35:38 +0100 <yahb> EvanR: (b -> a -> b) -> b -> [a] -> b
2021-12-06 21:35:39 +0100 <lambdabot> False
2021-12-06 21:35:44 +0100 <merijn> I do notice that the past few years it's becoming slightly harder to relate to beginners, because it's been so long ago since it was all confusing to me :)
2021-12-06 21:36:06 +0100 <Midjak> thank you merijn
2021-12-06 21:36:11 +0100 <Midjak> I got it I think
2021-12-06 21:36:12 +0100 <monochrom> Even when you were learning "x+y = y+x", for example, it would help to write down "so for example 5+3=3+5, hey that is not intimidating at all!"
2021-12-06 21:36:44 +0100 <Midjak> if I try to expand this it 's clear indeed
2021-12-06 21:36:56 +0100 <phaazon> day 5 was fun :)
2021-12-06 21:37:03 +0100 <smichel17[m]> Hi all. I'm relatively new to Haskell, trying to figure out whether it's feasible to use yesod with tailwindcss— mostly, this is about compile times— and there's absolutely nothing on the internet about it. So I made a repo with basically just the scaffolded site from `stack new` to test on, and a slightly longer write-up here: https://github.com/smichel17/yesod-perf-test/issues/1
2021-12-06 21:37:04 +0100 <smichel17[m]> If anybody is able to help, that would be amazing :)
2021-12-06 21:37:27 +0100 <yin> is there a performance difference between (>=) and (>=) ?
2021-12-06 21:37:46 +0100 <yin> *(<=)
2021-12-06 21:37:47 +0100 <kuribas> yin: no? :-P
2021-12-06 21:37:48 +0100 <smichel17[m]> (whenever the current conversation is over)
2021-12-06 21:37:48 +0100phaazonfrowns
2021-12-06 21:37:54 +0100 <geekosaur> wuh? those look the same to me
2021-12-06 21:38:05 +0100 <yin> obviously a typo
2021-12-06 21:38:12 +0100 <yin> (<=) and (>=)
2021-12-06 21:38:21 +0100 <kuribas> yin: probably no
2021-12-06 21:38:25 +0100 <phaazon> there should be a GHC rewrite rule to remove the flip?
2021-12-06 21:38:57 +0100 <kuribas> could be done on assembly level.
2021-12-06 21:39:02 +0100 <merijn> yin: Mu
2021-12-06 21:39:07 +0100 <phaazon> could be yeah
2021-12-06 21:39:19 +0100 <phaazon> but I think it would be nicer to have that as a GHC thing rather than a backend (i.e. LLVM) thing
2021-12-06 21:39:25 +0100 <phaazon> to be sure it will be applied everywhere
2021-12-06 21:39:36 +0100 <monochrom> I think the correct answer is "it depends".
2021-12-06 21:39:47 +0100 <kuribas> true, I forget ghc has it's own assembly generator.
2021-12-06 21:39:52 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-12-06 21:39:59 +0100 <merijn> That's not the reaosn, though
2021-12-06 21:40:12 +0100 <merijn> The reason is "it depends on how Ord is implemented"
2021-12-06 21:40:23 +0100 <merijn> Which is user code, so god knows
2021-12-06 21:40:42 +0100 <phaazon> :ohno:
2021-12-06 21:40:42 +0100 <geekosaur> time to look at Core if you really care
2021-12-06 21:41:03 +0100 <geekosaur> but I suspect any difference will be minuscule anyway
2021-12-06 21:41:04 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 21:41:05 +0100 <merijn> ealistically most people will use the default implementation going via 'compare'
2021-12-06 21:41:11 +0100 <merijn> So *probably* no difference
2021-12-06 21:41:21 +0100 <monochrom> In most cases, even without rewrite rules, low-level code optimizations may render the difference immaterial.
2021-12-06 21:43:45 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-06 21:43:55 +0100 <hololeap> % foldMap (\i -> Monoid.First $ if (i == 5) then Just i else Nothing) [0..]
2021-12-06 21:43:56 +0100 <yahb> hololeap: ; <interactive>:1:16: error:; Not in scope: data constructor `Monoid.First'; No module named `Monoid' is imported.
2021-12-06 21:43:59 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-06 21:44:22 +0100 <yin> Mu?
2021-12-06 21:44:22 +0100 <hololeap> % import qualified Data.Monoid as Monoid
2021-12-06 21:44:23 +0100 <yahb> hololeap:
2021-12-06 21:44:29 +0100 <phaazon> haha
2021-12-06 21:44:36 +0100 <phaazon> day 6 reminds me last year N-body exercise a bit :)
2021-12-06 21:44:38 +0100 <hololeap> % import qualified Data.Semigroup as Semigroup
2021-12-06 21:44:38 +0100 <yahb> hololeap:
2021-12-06 21:44:42 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-12-06 21:44:42 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 21:44:42 +0100 <hololeap> % foldMap (\i -> Monoid.First $ if (i == 5) then Just i else Nothing) [0..]
2021-12-06 21:44:43 +0100 <yahb> hololeap: First {getFirst = Just 5}
2021-12-06 21:44:52 +0100 <hololeap> % foldMap (\i -> Semigroup.First <$> if (i == 5) then Just i else Nothing) [0..]
2021-12-06 21:44:57 +0100 <yahb> hololeap: [Timed out]
2021-12-06 21:45:05 +0100 <merijn> yin: Mu is the Zen/koan "non-answer" to a question that is ill-formed and thus has no answer :p
2021-12-06 21:45:25 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-12-06 21:45:49 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-06 21:46:15 +0100 <hololeap> https://hackage.haskell.org/package/base-4.14.3.0/docs/Data-Monoid.html#t:First
2021-12-06 21:46:33 +0100 <hololeap> this says that the two behave the same, which is clearly not true
2021-12-06 21:46:58 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-06 21:47:13 +0100 <merijn> hololeap: Most claims/laws are in a total setting
2021-12-06 21:47:38 +0100 <geekosaur> uh, did you intend $ vs. <$> ?
2021-12-06 21:47:38 +0100 <hololeap> although I notice they remove all those warnings for Monoid.First in later versions of base
2021-12-06 21:47:49 +0100 <hololeap> yes
2021-12-06 21:48:17 +0100 <hololeap> % foldMap (\i -> Semigroup.First <$> if (i == 5) then Just i else Nothing) [0..10]
2021-12-06 21:48:18 +0100 <yahb> hololeap: ; <interactive>:1:16: error:; Not in scope: data constructor `Semigroup.First'; No module named `Semigroup' is imported.
2021-12-06 21:48:37 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2021-12-06 21:48:37 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-06 21:49:08 +0100 <hololeap> >>> foldMap (\i -> Semigroup.First <$> if (i == 5) then Just i else Nothing) [0..10] ; Just (First {getFirst = 5})
2021-12-06 21:49:40 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2021-12-06 21:49:55 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-06 21:51:16 +0100 <hololeap> I find Monoid.First to be much more useful, since it will ignore any mappends after the first Just value
2021-12-06 21:52:33 +0100 <hololeap> ignore might not be the correct term here...
2021-12-06 21:53:01 +0100 <dsal> I think you should compare the same code twice
2021-12-06 21:53:50 +0100mmhat(~mmh@55d45587.access.ecotel.net)
2021-12-06 21:54:01 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-06 21:54:19 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1))
2021-12-06 21:55:05 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-12-06 21:55:08 +0100 <hololeap> > This type will be marked deprecated in GHC 8.8, and removed in GHC 8.10
2021-12-06 21:55:30 +0100 <hololeap> obviously this didn't happen and those warnings are not there in base-4.16, so I actually have nothing to complain about.
2021-12-06 21:55:31 +0100slack1256(~slack1256@191.125.99.212) (Ping timeout: 256 seconds)
2021-12-06 21:55:47 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-06 21:57:13 +0100MidAutumnMoon6(~MidAutumn@user/midautumnmoon) (Ping timeout: 256 seconds)
2021-12-06 21:57:15 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-12-06 21:57:19 +0100cjb(~cjb@user/cjb)
2021-12-06 21:58:21 +0100 <merijn> hololeap: I mean, the short circuiting behaviour can also be:
2021-12-06 21:58:44 +0100sagax(~sagax_nb@user/sagax) (Remote host closed the connection)
2021-12-06 21:58:56 +0100 <merijn> % foldMap (\i -> Data.Monoid.Alt $ if (i == 5) then Just i else Nothing) [0..10]
2021-12-06 21:58:56 +0100 <yahb> merijn: Alt {getAlt = Just 5}
2021-12-06 21:59:00 +0100 <merijn> % foldMap (\i -> Data.Monoid.Alt $ if (i == 5) then Just i else Nothing) [0..]
2021-12-06 21:59:01 +0100 <yahb> merijn: Alt {getAlt = Just 5}
2021-12-06 21:59:34 +0100 <hololeap> oh, that's true. there is Alt on the Maybe Alternative instance
2021-12-06 21:59:37 +0100slack1256(~slack1256@191.125.99.210)
2021-12-06 21:59:55 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 21:59:56 +0100 <merijn> Which is mentioned in the First docs, even ;)
2021-12-06 22:00:31 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b) (Remote host closed the connection)
2021-12-06 22:00:40 +0100 <hololeap> however, it also says "Users are advised to use the variant from Data.Semigroup and wrap it in Maybe."
2021-12-06 22:01:23 +0100 <hololeap> which does not short circuit like Monoid.First does
2021-12-06 22:02:41 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-12-06 22:03:16 +0100 <hololeap> bad docs. oh well, they eventually sorted it out.
2021-12-06 22:04:31 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-06 22:04:59 +0100Codaraxis__(~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2021-12-06 22:09:01 +0100trillp(~user@69.233.98.238) (Ping timeout: 252 seconds)
2021-12-06 22:09:48 +0100MidAutumnMoon6(~MidAutumn@user/midautumnmoon)
2021-12-06 22:13:23 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-06 22:13:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-06 22:16:16 +0100 <cigsender> anyone have a link to that mailing list discussion about the use of Prelude.head giving different errors than expected?
2021-12-06 22:18:07 +0100acidjnk_new(~acidjnk@p200300d0c7271e6304137ec8947839cf.dip0.t-ipconnect.de)
2021-12-06 22:18:10 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 22:18:47 +0100 <geekosaur> I remember the discussion and am looking for it
2021-12-06 22:18:55 +0100alx741(~alx741@186.178.108.139) (Ping timeout: 252 seconds)
2021-12-06 22:20:14 +0100 <geekosaur> it was about ghc considering any bottom to be equivalent to any other, so it could produce different bottoms than expected when it knew a bottom would result anyway
2021-12-06 22:20:14 +0100 <geekosaur> ?
2021-12-06 22:20:14 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-12-06 22:20:16 +0100 <dmj`> it'd be nice if there was a lens that had insertWith semantics when using += on an IntMap Int
2021-12-06 22:21:54 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-06 22:22:13 +0100 <awpr> maybe something like `ix 5 . non 0 +~ 42`?
2021-12-06 22:22:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-06 22:22:52 +0100 <awpr> s/ix/at/
2021-12-06 22:24:37 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 22:25:14 +0100pfurla(~pfurla@2804:14d:5c81:4104:c8d2:5d49:1706:3792)
2021-12-06 22:25:58 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-12-06 22:27:00 +0100 <dsal> The difference between ix and at in this context is that you want the other one.
2021-12-06 22:28:09 +0100 <awpr> `ix`: does nothing if the key is not present; `at 5 . non 0`: pretends the value was 0 if not present
2021-12-06 22:28:33 +0100pfurla_(~pfurla@2804:14d:5c81:4104:91cd:1543:8918:bc14)
2021-12-06 22:28:49 +0100 <dsal> ix and at are kind of like folded / traversed in that recipes look very similar depending on whether you're viewing or setting.
2021-12-06 22:28:57 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-06 22:29:15 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net)
2021-12-06 22:30:30 +0100Morrow(~quassel@bzq-110-168-31-106.red.bezeqint.net)
2021-12-06 22:32:07 +0100pfurla(~pfurla@2804:14d:5c81:4104:c8d2:5d49:1706:3792) (Ping timeout: 252 seconds)
2021-12-06 22:32:15 +0100learner-monad(~ehanneken@user/learner-monad)
2021-12-06 22:32:20 +0100alx741(~alx741@186.178.108.36)
2021-12-06 22:34:11 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 22:37:13 +0100 <dmj`> awpr: that's very nice, thank you
2021-12-06 22:37:54 +0100 <dmj`> awpr: nicer way to solve day 6, https://gist.github.com/479681544942476eb3b271b4d834e2b1
2021-12-06 22:38:26 +0100darchite`(~user@2a00:23c6:3584:df00:7dec:bf13:8fa:748c) (Read error: Connection reset by peer)
2021-12-06 22:39:01 +0100myShoggoth(~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 240 seconds)
2021-12-06 22:40:36 +0100 <dmj`> might come in handy for subsequent days
2021-12-06 22:41:15 +0100 <int-e> dmj`: wah, why do you do that with a State monad rather than something like IM.fromListWith (++) (IM.assocs m >>= next) where next (0,v) = [(6,v),(8,v)]; next (i,v) = [(i-1,v)]
2021-12-06 22:41:32 +0100 <geekosaur> not finding it :(
2021-12-06 22:42:05 +0100 <int-e> dmj`: err, (+) rather than (++)
2021-12-06 22:42:29 +0100x88x88x-(~cheeg@156.146.57.109)
2021-12-06 22:42:31 +0100x88x88x-(~cheeg@156.146.57.109) (Remote host closed the connection)
2021-12-06 22:43:39 +0100 <gentauro> hmmm, perhaps a wrong name to use? Nightly should be deliver on a nightly basis right? https://www.stackage.org/nightly-2021-12-04
2021-12-06 22:43:42 +0100 <gentauro> xD
2021-12-06 22:44:02 +0100senoraraton(~senorarat@192-195-83-130.static.monkeybrains.net)
2021-12-06 22:45:44 +0100 <dmj`> int-e: that's what I originally did, but used nested calls to insertWith instead of fromListWith (+). I agree the fromListWith solution is nicer since you can use the list monad... IM.fromListWith (+) $ m >>= \(k,v) -> case k of { 0 -> [(6,v),(8,v),(0,-v)]; _ -> [(k,-v),(k-1,v)] }
2021-12-06 22:46:33 +0100 <senoraraton> So I have a statement: gridmaker n k = [ n .. n+k-1 ] : gridmaker (n+k) k I'm trying to understand just exactly what the append operator does in this case.
2021-12-06 22:47:49 +0100 <int-e> dmj`: No, you don't need (0,-v) or (k,-v) in this case; you have these in your code because your state has the old IM, rather than an empty one.
2021-12-06 22:48:20 +0100 <dsal> I just did `IntMap.fromListWith (+) . foldMap' f . IntMap.assocs` where `f (0,n) = [(6,n), (8,n)]; f (x,n) = [(x-1, n)]`
2021-12-06 22:48:54 +0100 <dsal> senoraraton: what are you referring to `:` as the "append operator" ?
2021-12-06 22:48:55 +0100 <int-e> dmj`: And it's the need for those two adjustments that make that State-based code awful in my eyese.
2021-12-06 22:50:12 +0100 <senoraraton> dsal I thought that was what it was called?
2021-12-06 22:50:21 +0100 <dsal> senoraraton: No, that's cons, append is more like <>
2021-12-06 22:51:12 +0100 <dsal> But in your case, you're making a list of numbers starting at n, let's call it `a` and then making a list of `a` followed by a recursive call to `gridmaker`
2021-12-06 22:51:46 +0100 <dsal> e.g.,
2021-12-06 22:51:49 +0100 <dsal> @src iterate
2021-12-06 22:51:49 +0100 <lambdabot> iterate f x = x : iterate f (f x)
2021-12-06 22:52:03 +0100 <dsal> > iterate (* 3) 1
2021-12-06 22:52:04 +0100 <lambdabot> [1,3,9,27,81,243,729,2187,6561,19683,59049,177147,531441,1594323,4782969,143...
2021-12-06 22:52:41 +0100 <dsal> Your is a list of lists and that sometimes confuses people, but it's doing a thing that's similar to what iterate is doing above.
2021-12-06 22:52:51 +0100ubert1(~Thunderbi@p200300ecdf0ba2ca8fd37040f9dc92fe.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-12-06 22:53:19 +0100 <int-e> dsal: it's funny how foldMap' and >>= do the same thing here
2021-12-06 22:53:29 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:e52b:eca6:e736:3c6b)
2021-12-06 22:54:09 +0100 <dsal> int-e: Yeah, it's also funny how vertical my brain gets. I start thinking monoids and the idea of using a monad never occurs to me.
2021-12-06 22:56:16 +0100 <dmj`> int-e: well I needed those cases with the insertWith approach too... https://github.com/dmjio/aoc2021/blob/master/6/Main.hs
2021-12-06 22:56:56 +0100 <dsal> dmj`: Yeah, the point is that it's easier just to make a new map altogether on each iteration.
2021-12-06 22:57:07 +0100 <dsal> Then you only ever add.
2021-12-06 22:57:10 +0100pfurla_(~pfurla@2804:14d:5c81:4104:91cd:1543:8918:bc14) (Quit: gone to sleep. ZZZzzz…)
2021-12-06 22:57:12 +0100 <int-e> dmj`: yeah but why would you do step (IM.assocs m) m rather than step (IM.assocs m) IM.empty
2021-12-06 22:57:13 +0100 <dsal> senoraraton: Did the above make sense?
2021-12-06 22:58:55 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-12-06 22:58:59 +0100 <senoraraton> dsal: The recursive call makes sense now, I'm just trying to understand how the recursion terminates.
2021-12-06 22:59:09 +0100 <dsal> senoraraton: It doesn't need to.
2021-12-06 22:59:16 +0100 <dsal> Given the snippet you showed, it doesn't.
2021-12-06 22:59:19 +0100 <dsal> iterate doesn't terminate.
2021-12-06 22:59:48 +0100burnsidesLlama(~burnsides@dhcp168-017.wadham.ox.ac.uk)
2021-12-06 23:00:09 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Quit: Leaving)
2021-12-06 23:02:02 +0100ystael(~ystael@user/ystael)
2021-12-06 23:02:55 +0100 <dmj`> int-e: oh wow, I didn't see that initially.
2021-12-06 23:06:11 +0100pfurla(~pfurla@2804:14d:5c81:4104:91cd:1543:8918:bc14)
2021-12-06 23:06:13 +0100burnsidesLlama(~burnsides@dhcp168-017.wadham.ox.ac.uk) (Ping timeout: 252 seconds)
2021-12-06 23:09:12 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-06 23:12:18 +0100burnsidesLlama(~burnsides@dhcp168-017.wadham.ox.ac.uk)
2021-12-06 23:13:54 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-12-06 23:15:58 +0100 <phaazon> AoC day 6p2 was fun :P
2021-12-06 23:17:51 +0100pepeiborra(sid443799@ilkley.irccloud.com) (Ping timeout: 245 seconds)
2021-12-06 23:18:07 +0100 <phaazon> now it’s time to see how jle` solved it :D
2021-12-06 23:18:26 +0100sagax(~sagax_nb@user/sagax)
2021-12-06 23:18:41 +0100bbhoss(sid18216@tinside.irccloud.com) (Ping timeout: 245 seconds)
2021-12-06 23:19:16 +0100pepeiborra(sid443799@id-443799.ilkley.irccloud.com)
2021-12-06 23:20:13 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-12-06 23:20:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-06 23:21:23 +0100 <int-e> phaazon: the amazing thing about part 2 is that some people struggle with it :) (I can speculate... I guess you might literally maintain a list of lanternfish, or you might stumble over the requirement to handle numbers larger than 32 bits (but not, I think, 64 bits)
2021-12-06 23:22:16 +0100bbhoss(sid18216@id-18216.tinside.irccloud.com)
2021-12-06 23:22:30 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2021-12-06 23:22:54 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds)
2021-12-06 23:23:54 +0100myShoggoth(~myShoggot@97-120-85-195.ptld.qwest.net)
2021-12-06 23:24:25 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-06 23:25:25 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2021-12-06 23:25:37 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 256 seconds)
2021-12-06 23:25:51 +0100 <phaazon> int-e: oh it took me a couple of minutes
2021-12-06 23:25:57 +0100 <phaazon> because I started with the wrong approach :)
2021-12-06 23:26:07 +0100 <phaazon> and then I switched my approach and realized I didn’t even need a Vector :D
2021-12-06 23:26:49 +0100 <phaazon> https://github.com/phaazon/advent-of-code-2021/blob/master/day06/src/main.rs
2021-12-06 23:27:02 +0100 <phaazon> my first solution was more « verbatim » regarding the text of the puzzle :)
2021-12-06 23:28:50 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-12-06 23:29:01 +0100Techcable(~Techcable@168.235.93.147) (Ping timeout: 256 seconds)
2021-12-06 23:29:53 +0100 <int-e> phaazon: Yeah the C++-like vector is a list in this context :)
2021-12-06 23:30:47 +0100 <phaazon> :)
2021-12-06 23:31:09 +0100 <phaazon> but yeah I can totally understand why everybody is having fun with meme on reddit regarding this puzzle
2021-12-06 23:31:14 +0100 <int-e> The example in the problem description was, of course, evil.
2021-12-06 23:31:17 +0100 <phaazon> because my first approach was probably theirs :D
2021-12-06 23:31:21 +0100 <phaazon> int-e: yeah
2021-12-06 23:33:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-06 23:36:01 +0100 <Hecate> 'sup merijn :)
2021-12-06 23:38:20 +0100 <dmj`> some people solved part 2 with a custom rotate on a linked list
2021-12-06 23:38:38 +0100 <Franciman> my goal for the next week is trying to write this https://nullprogram.com/blog/2021/12/04/ in my language
2021-12-06 23:38:55 +0100pavonia(~user@user/siracusa)
2021-12-06 23:39:07 +0100 <Franciman> this requires I implement SIMD primitives
2021-12-06 23:39:12 +0100 <Franciman> that's going to be raad
2021-12-06 23:39:45 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 23:40:49 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-12-06 23:43:49 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-12-06 23:44:00 +0100pfurla(~pfurla@2804:14d:5c81:4104:91cd:1543:8918:bc14) (Quit: gone to sleep. ZZZzzz…)
2021-12-06 23:44:13 +0100slack1256(~slack1256@191.125.99.210) (Ping timeout: 240 seconds)
2021-12-06 23:45:05 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-12-06 23:45:54 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-12-06 23:48:01 +0100kuribas(~user@ptr-25vy0i7z7uknhuz4b8c.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-12-06 23:49:35 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-12-06 23:51:01 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-12-06 23:51:30 +0100 <senoraraton> https://termbin.com/wj9p
2021-12-06 23:52:28 +0100 <senoraraton> So this is where I'm at. I take in two inputs, and I want to use those inputs for gridMaker. I have to convert the String types into Ints which the read does, but I get an error:
2021-12-06 23:52:36 +0100 <monochrom> Did you forget to "w = read width"?
2021-12-06 23:52:54 +0100 <senoraraton> Couldn't match type ‘[]’ with ‘IO’
2021-12-06 23:53:17 +0100 <monochrom> Did you forget to "print (your formula here)"?
2021-12-06 23:53:43 +0100 <geekosaur> did you forget to do something with the result of take …
2021-12-06 23:54:04 +0100 <senoraraton> I don't intend to print it, at the moment, I just wanted to compile and then deal with what to do with it next.
2021-12-06 23:54:12 +0100lavaman(~lavaman@98.38.249.169)
2021-12-06 23:54:20 +0100 <monochrom> Then comment it out?
2021-12-06 23:54:43 +0100 <monochrom> Or write like "let foo = your formula here" and then go on to ignore foo?
2021-12-06 23:54:54 +0100 <senoraraton> Sure. --->
2021-12-06 23:55:04 +0100 <geekosaur> also having the definition of gridMaker between the type signature and implementation of main is confusing, even though it's legal
2021-12-06 23:55:31 +0100 <senoraraton> https://termbin.com/0pxj
2021-12-06 23:55:59 +0100 <senoraraton> I was getting errors when it was in the main=do so I moved it out, and it stopped the errors *shrug*
2021-12-06 23:56:38 +0100 <monochrom> You know that putStrLn is good for strings only, don't you?
2021-12-06 23:56:54 +0100 <monochrom> You also know that you're missing parentheses, don't you?
2021-12-06 23:57:12 +0100 <juri_> oh neat, stack overflow!
2021-12-06 23:57:35 +0100 <senoraraton> No, I knew neither of those things.
2021-12-06 23:58:19 +0100 <Axman6> juri_: it's a pretty cool website, eh
2021-12-06 23:58:40 +0100 <juri_> Axman6: what's it doing in my haskell? :)
2021-12-06 23:59:01 +0100 <Axman6> solving your problems and banning your questions as duplicates, probably
2021-12-06 23:59:07 +0100 <monochrom> The first is discoverable by either taking the docs seriously or from a simple ":type putStrLn".
2021-12-06 23:59:42 +0100 <monochrom> The second is a logical conclusion of "you would write like `take h (gridMaker 1 w)`, not `take h gridMaker 1 w`"