2024/06/14

2024-06-14 00:03:53 +0200yin(~yin@user/zero) (Remote host closed the connection)
2024-06-14 00:10:53 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 252 seconds)
2024-06-14 00:18:32 +0200acidjnk(~acidjnk@p200300d6e714dc24101446769eacf81f.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-06-14 00:21:15 +0200Square(~Square@user/square) (Ping timeout: 264 seconds)
2024-06-14 00:22:27 +0200rustisafungus(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds)
2024-06-14 00:23:09 +0200rustisafungus(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
2024-06-14 00:27:29 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-06-14 00:33:15 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds)
2024-06-14 00:35:12 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection)
2024-06-14 00:37:51 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2024-06-14 00:42:06 +0200iqubic(~sophia@2601:602:9502:c70:e652:d0e0:e8d1:62b3)
2024-06-14 00:43:29 +0200 <iqubic> How are poeple today?
2024-06-14 00:50:23 +0200 <pavonia> Indeterminate
2024-06-14 00:52:29 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 272 seconds)
2024-06-14 00:53:17 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-06-14 00:53:25 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-06-14 00:54:50 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-06-14 00:57:04 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk)
2024-06-14 00:58:54 +0200danso(~danso@user/danso) (Quit: quittin time)
2024-06-14 00:59:03 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds)
2024-06-14 01:00:11 +0200danso(~danso@user/danso)
2024-06-14 01:00:43 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-06-14 01:05:34 +0200 <EvanR>
2024-06-14 01:06:51 +0200iqubic(~sophia@2601:602:9502:c70:e652:d0e0:e8d1:62b3) (Ping timeout: 264 seconds)
2024-06-14 01:06:51 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds)
2024-06-14 01:08:58 +0200iqubic(~sophia@2601:602:9502:c70:686a:4fef:cd21:89a7)
2024-06-14 01:09:48 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-06-14 01:19:27 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2024-06-14 01:21:17 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-06-14 01:28:37 +0200rustisafungus(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2024-06-14 01:29:21 +0200rustisafungus(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
2024-06-14 01:39:13 +0200ames(~amelia@offtopia/offtopian/amelia) (Read error: Connection reset by peer)
2024-06-14 01:39:47 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-06-14 01:40:02 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-06-14 01:41:10 +0200ames(~amelia@offtopia/offtopian/amelia)
2024-06-14 01:53:15 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-06-14 01:55:40 +0200mei(~mei@user/mei)
2024-06-14 01:56:14 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-06-14 02:00:56 +0200mei(~mei@user/mei)
2024-06-14 02:05:23 +0200masterbuilder(~quassel@user/masterbuilder) (Ping timeout: 264 seconds)
2024-06-14 02:05:34 +0200masterbuilder(~quassel@user/masterbuilder)
2024-06-14 02:11:07 +0200rustisafungus(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2024-06-14 02:11:27 +0200henry40408(~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
2024-06-14 02:11:50 +0200rustisafungus(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
2024-06-14 02:11:51 +0200henry40408(~henry4040@175.182.111.183)
2024-06-14 02:16:27 +0200k_hachig(~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Ping timeout: 264 seconds)
2024-06-14 02:20:14 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds)
2024-06-14 02:22:48 +0200mlatys(~mlatys@2409:8938:49:df48:cc31:2eff:fe94:4eb8)
2024-06-14 02:26:25 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds)
2024-06-14 02:32:01 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-06-14 02:33:35 +0200califax(~califax@user/califx)
2024-06-14 02:39:04 +0200Lycurgus(~georg@user/Lycurgus)
2024-06-14 02:52:13 +0200k_hachig(~k_hachig@65.94.221.127)
2024-06-14 02:54:35 +0200 <monochrom> Not happy about that talk "FP: Failed Successfully".
2024-06-14 02:55:37 +0200Lycurgusgot the Joy of Abstraction kindle with accrued credits
2024-06-14 02:55:49 +0200 <Axman6> monochrom: ?
2024-06-14 02:57:58 +0200 <Lycurgus> sounds like a why FP didn like OO did
2024-06-14 02:58:25 +0200 <monochrom> You may find that post on the discourse. But the discourse post is: https://discourse.haskell.org/t/my-talk-functional-programming-failed-successfully-is-now-availabl…
2024-06-14 02:58:27 +0200 <Axman6> I guess FP failed successfully by every language adopting lots and lots of FP ideas...
2024-06-14 03:00:12 +0200 <Lycurgus> why do the nations so furiously rage?
2024-06-14 03:01:45 +0200 <iqubic> Should I watch that talk?
2024-06-14 03:02:10 +0200foul_owl(~kerry@174-21-146-130.tukw.qwest.net) (Ping timeout: 256 seconds)
2024-06-14 03:02:38 +0200 <monochrom> I haven't, I have only read the slides. So I can't really tell. But I can bet yes.
2024-06-14 03:02:59 +0200k_hachig(~k_hachig@65.94.221.127) (Ping timeout: 264 seconds)
2024-06-14 03:03:28 +0200 <monochrom> Eventually the author posted a reply saying that the actual talk was different from the slides so meh and heh.
2024-06-14 03:03:34 +0200 <iqubic> I'm currently messing around with my XMonad config and diving deep into the code to add cool things to my config.
2024-06-14 03:05:55 +0200 <iqubic> XMonad is a great example of real world haskell
2024-06-14 03:06:25 +0200 <monochrom> I have got Joy of Abstraction too. I should read it. Then tell the speaker of the talk "if you want to diss CT, this is your last chance, soon CT will actually be relevant in engineering".
2024-06-14 03:07:32 +0200 <iqubic> What is CT? Catergory Theory?
2024-06-14 03:07:52 +0200 <monochrom> yeah
2024-06-14 03:08:55 +0200 <iqubic> How is that gonna become useful in engineering?
2024-06-14 03:09:52 +0200 <Lycurgus> bite ur tongue
2024-06-14 03:10:03 +0200 <Lycurgus> it's useful for everything
2024-06-14 03:10:38 +0200 <Lycurgus> or so ms chengs book asserts
2024-06-14 03:10:46 +0200 <monochrom> CT is architectural-level and/or system-level thinking.
2024-06-14 03:11:21 +0200 <monochrom> David Spivak wrote some books and articles on specifically applying to design and engineering.
2024-06-14 03:11:44 +0200 <monochrom> I am still too lazy and procrastinating reading those, so I can't tell you more. :)
2024-06-14 03:11:48 +0200 <iqubic> I haven't got that book. I might buy it at some point.
2024-06-14 03:11:56 +0200 <iqubic> I know some CT.
2024-06-14 03:12:17 +0200 <monochrom> Spivak's stuff are mostly free, straight from himself.
2024-06-14 03:12:47 +0200 <iqubic> I have Bartosz Milewski's CT for Programmers book.
2024-06-14 03:12:52 +0200 <Lycurgus> eugenia knows how to make a buck
2024-06-14 03:12:54 +0200 <monochrom> Joy of Abstractions is not free, but maybe you can go straight to Spivak's.
2024-06-14 03:14:01 +0200 <iqubic> Are you talking about Ruslav Spivak? https://ruslanspivak.com/
2024-06-14 03:14:02 +0200 <monochrom> Oh I also know to wait until it's only like $2 for kindles. :)
2024-06-14 03:14:32 +0200 <monochrom> No, it's really David. http://www.dspivak.net/
2024-06-14 03:14:49 +0200 <Lycurgus> or in my case till u get enuf free creds
2024-06-14 03:15:07 +0200 <Lycurgus> which are only useful on softgoods
2024-06-14 03:15:20 +0200 <iqubic> I love how I found a completely different Spivak who was also talking about programming.
2024-06-14 03:16:26 +0200 <Lycurgus> the main one for me is she of the pronouns
2024-06-14 03:16:29 +0200foul_owl(~kerry@157.97.134.167)
2024-06-14 03:16:45 +0200 <iqubic> She of the pronouns?
2024-06-14 03:16:54 +0200 <iqubic> I'm a woman... I use she/her pronouns.
2024-06-14 03:18:34 +0200 <Lycurgus> https://en.wikipedia.org/wiki/Spivak_pronoun apparently i confabulate that spivak was an indian woman
2024-06-14 03:19:11 +0200krei-se-(~krei-se@p5085de1f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-06-14 03:19:11 +0200krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de)
2024-06-14 03:19:44 +0200k_hachig(~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca)
2024-06-14 03:20:16 +0200 <Lycurgus> https://en.wikipedia.org/wiki/Gayatri_Chakravorty_Spivak conflated with michael
2024-06-14 03:20:29 +0200 <iqubic> I'm a trans woman. I use she/her pronouns.
2024-06-14 03:20:29 +0200xff0x(~xff0x@2405:6580:b080:900:1910:1409:8fe6:7f05) (Ping timeout: 240 seconds)
2024-06-14 03:21:38 +0200 <Lycurgus> Gayatri is the referent of 'she', mistakenly as i now realize
2024-06-14 03:28:35 +0200Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-06-14 03:50:16 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-06-14 03:52:42 +0200mei(~mei@user/mei)
2024-06-14 04:01:13 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-06-14 04:03:28 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-06-14 04:03:39 +0200mei(~mei@user/mei)
2024-06-14 04:04:29 +0200henry40408(~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
2024-06-14 04:05:00 +0200henry40408(~henry4040@175.182.111.183)
2024-06-14 04:05:30 +0200dyniec(~dyniec@dybiec.info) (Quit: WeeChat 4.2.2)
2024-06-14 04:07:25 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-06-14 04:12:39 +0200tabemann(~tabemann@104-250-251-243.rockyridge.net)
2024-06-14 04:32:29 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::)
2024-06-14 04:32:43 +0200 <Guest24> Hi
2024-06-14 04:33:08 +0200 <geekosaur> hello
2024-06-14 04:35:06 +0200 <Guest24> geekosaur can you come to #haskell-offtopic
2024-06-14 04:36:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 04:43:34 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2024-06-14 04:46:35 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2024-06-14 04:48:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 04:53:48 +0200td_(~td@i53870929.versanet.de) (Ping timeout: 256 seconds)
2024-06-14 04:55:32 +0200td_(~td@i53870931.versanet.de)
2024-06-14 04:56:36 +0200br__(~br@pool-100-6-72-156.pitbpa.fios.verizon.net)
2024-06-14 04:58:57 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2024-06-14 05:01:37 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:5360:68af:d0ce:4c40)
2024-06-14 05:08:02 +0200talismanick(~user@2601:644:937c:ed10::ae5)
2024-06-14 05:10:40 +0200xdminsy(~xdminsy@117.147.70.212)
2024-06-14 05:11:47 +0200xdminsy(~xdminsy@117.147.70.212) (Client Quit)
2024-06-14 05:13:10 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2024-06-14 05:17:55 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2024-06-14 05:21:47 +0200talismanick(~user@2601:644:937c:ed10::ae5)
2024-06-14 05:22:31 +0200xdminsy(~xdminsy@117.147.70.212)
2024-06-14 05:28:30 +0200euleritian(~euleritia@dynamic-176-003-011-016.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-14 05:28:49 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-14 05:31:43 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::) (Ping timeout: 250 seconds)
2024-06-14 05:35:59 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::)
2024-06-14 05:36:52 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2024-06-14 05:37:52 +0200talismanick(~user@2601:644:937c:ed10::ae5)
2024-06-14 05:43:36 +0200aforemny(~aforemny@i59F516E8.versanet.de)
2024-06-14 05:44:03 +0200aforemny_(~aforemny@i59F516D7.versanet.de) (Ping timeout: 264 seconds)
2024-06-14 05:51:33 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::) (Quit: Client closed)
2024-06-14 06:01:34 +0200end(~end@user/end/x-0094621) (Quit: end)
2024-06-14 06:01:34 +0200bcksl(~bcksl@user/bcksl) (Quit: \)
2024-06-14 06:07:43 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::)
2024-06-14 06:08:14 +0200michalz(~michalz@185.246.207.215)
2024-06-14 06:09:26 +0200monochrm(trebla@216.138.220.146)
2024-06-14 06:10:06 +0200Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2024-06-14 06:11:28 +0200monochrom(trebla@216.138.220.146) (Ping timeout: 246 seconds)
2024-06-14 06:11:28 +0200monochrmmonochrom
2024-06-14 06:12:57 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-14 06:13:13 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-14 06:16:13 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::) (Quit: Ping timeout (120 seconds))
2024-06-14 06:16:44 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::)
2024-06-14 06:20:54 +0200bcksl(~bcksl@user/bcksl)
2024-06-14 06:25:57 +0200michalz(~michalz@185.246.207.215) (Quit: ZNC 1.9.0 - https://znc.in)
2024-06-14 06:28:00 +0200end(~end@user/end/x-0094621)
2024-06-14 06:28:42 +0200michalz(~michalz@185.246.207.203)
2024-06-14 06:31:45 +0200philopsos1(~caecilius@user/philopsos)
2024-06-14 06:33:02 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2024-06-14 06:38:30 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::) (Quit: Client closed)
2024-06-14 06:39:56 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::)
2024-06-14 06:41:44 +0200br__(~br@pool-100-6-72-156.pitbpa.fios.verizon.net) (Quit: Konversation terminated!)
2024-06-14 06:47:33 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::) (Ping timeout: 250 seconds)
2024-06-14 06:49:42 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz)
2024-06-14 06:59:07 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::)
2024-06-14 07:04:08 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::) (Quit: Client closed)
2024-06-14 07:11:46 +0200rustisafungus(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Quit: rustisafungus)
2024-06-14 07:12:48 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::)
2024-06-14 07:13:05 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 268 seconds)
2024-06-14 07:13:43 +0200qqq(~qqq@92.43.167.61)
2024-06-14 07:16:10 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::) (Client Quit)
2024-06-14 07:18:33 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com)
2024-06-14 07:18:54 +0200miui(~miui@2409:40f4:3012:43b1:8000::)
2024-06-14 07:22:03 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-06-14 07:22:06 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::)
2024-06-14 07:22:22 +0200miui(~miui@2409:40f4:3012:43b1:8000::) (Remote host closed the connection)
2024-06-14 07:22:26 +0200Guest24(~Guest24@2409:40f4:3012:43b1:8000::) (Client Quit)
2024-06-14 07:23:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 07:25:42 +0200miui(~miui@2409:40f4:3012:43b1:8000::)
2024-06-14 07:26:08 +0200miui(~miui@2409:40f4:3012:43b1:8000::) (Client Quit)
2024-06-14 07:28:03 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 255 seconds)
2024-06-14 07:30:04 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-06-14 07:31:59 +0200miui(~miui@2409:40f4:3012:43b1:8000::)
2024-06-14 07:34:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 07:34:55 +0200miui(~miui@2409:40f4:3012:43b1:8000::) (Remote host closed the connection)
2024-06-14 07:35:10 +0200miui(~miui@2409:40f4:3012:43b1:8000::)
2024-06-14 07:41:13 +0200miui(~miui@2409:40f4:3012:43b1:8000::) (Quit: Quit)
2024-06-14 07:41:37 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2024-06-14 07:43:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 07:46:22 +0200acidjnk(~acidjnk@p200300d6e714dc85ec861666d651a7ab.dip0.t-ipconnect.de)
2024-06-14 07:51:16 +0200danza(~francesco@151.43.146.109)
2024-06-14 07:52:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 07:55:47 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-06-14 07:58:37 +0200euleritian(~euleritia@dynamic-176-006-010-050.176.6.pool.telefonica.de)
2024-06-14 07:59:54 +0200koz(~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-14 08:00:32 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-06-14 08:00:40 +0200koz(~koz@121.99.240.58)
2024-06-14 08:01:23 +0200miui(~miui@152.58.252.217)
2024-06-14 08:04:46 +0200miui(~miui@152.58.252.217) (Remote host closed the connection)
2024-06-14 08:04:57 +0200miui(~miui@2409:40f4:3012:43b1:8000::)
2024-06-14 08:05:42 +0200koz(~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-14 08:06:27 +0200euphores(~SASL_euph@user/euphores)
2024-06-14 08:07:58 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 268 seconds)
2024-06-14 08:08:51 +0200iqubic(~sophia@2601:602:9502:c70:686a:4fef:cd21:89a7) (Ping timeout: 272 seconds)
2024-06-14 08:08:59 +0200koz(~koz@121.99.240.58)
2024-06-14 08:09:37 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2024-06-14 08:10:44 +0200miui(~miui@2409:40f4:3012:43b1:8000::) (Quit: Quit)
2024-06-14 08:11:12 +0200miui(~miui@2409:40f4:3012:43b1:8000::)
2024-06-14 08:11:39 +0200miui(~miui@2409:40f4:3012:43b1:8000::) (Remote host closed the connection)
2024-06-14 08:21:16 +0200ft(~ft@p3e9bcb39.dip0.t-ipconnect.de) (Quit: leaving)
2024-06-14 08:25:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 08:30:15 +0200miui(~miui@2409:40f4:3012:43b1:8000::)
2024-06-14 08:31:05 +0200k_hachig(~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Quit: WeeChat 4.3.2)
2024-06-14 08:34:53 +0200danza(~francesco@151.43.146.109) (Ping timeout: 240 seconds)
2024-06-14 08:36:54 +0200phma(~phma@2001:5b0:2143:81d8:b3f6:8ae3:d398:5c40) (Read error: Connection reset by peer)
2024-06-14 08:37:38 +0200phma(phma@2001:5b0:212a:de28:a570:e84e:3c80:47f8)
2024-06-14 08:38:38 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-06-14 08:43:41 +0200miui(~miui@2409:40f4:3012:43b1:8000::) (Ping timeout: 272 seconds)
2024-06-14 08:44:24 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-06-14 08:44:51 +0200miui(~miui@2409:40f4:304f:e65c:8000::)
2024-06-14 08:45:00 +0200miui(~miui@2409:40f4:304f:e65c:8000::) (Client Quit)
2024-06-14 08:50:59 +0200euleritian(~euleritia@dynamic-176-006-010-050.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-14 08:51:18 +0200euleritian(~euleritia@77.22.252.56)
2024-06-14 09:01:46 +0200colireg(~colireg@89.106.206.141)
2024-06-14 09:03:38 +0200danse-nr3(~danse-nr3@151.43.146.109)
2024-06-14 09:04:00 +0200danse-nr3(~danse-nr3@151.43.146.109) (Remote host closed the connection)
2024-06-14 09:04:25 +0200danse-nr3(~danse-nr3@151.43.146.109)
2024-06-14 09:07:33 +0200rosco(~rosco@175.136.155.137)
2024-06-14 09:09:10 +0200xal(~xal@mx1.xal.systems) ()
2024-06-14 09:10:03 +0200xal(~xal@mx1.xal.systems)
2024-06-14 09:12:06 +0200miui(~miui@2409:40f4:304f:e65c:8000::)
2024-06-14 09:12:26 +0200qqq(~qqq@92.43.167.61) (Quit: leaving)
2024-06-14 09:15:19 +0200miui(~miui@2409:40f4:304f:e65c:8000::) (Remote host closed the connection)
2024-06-14 09:16:20 +0200colireg(~colireg@89.106.206.141) (Changing host)
2024-06-14 09:16:20 +0200colireg(~colireg@user/colireg)
2024-06-14 09:26:05 +0200danse-nr3(~danse-nr3@151.43.146.109) (Ping timeout: 240 seconds)
2024-06-14 09:30:55 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:5360:68af:d0ce:4c40) (Quit: Leaving)
2024-06-14 09:36:17 +0200danse-nr3(~danse-nr3@151.43.146.109)
2024-06-14 09:39:06 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2024-06-14 09:39:47 +0200colireg(~colireg@user/colireg) (Quit: Quit)
2024-06-14 09:41:32 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2024-06-14 09:42:48 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-06-14 10:01:44 +0200rosco(~rosco@175.136.155.137) (Quit: Lost terminal)
2024-06-14 10:01:58 +0200rosco(~rosco@175.136.155.137)
2024-06-14 10:05:04 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-06-14 10:08:12 +0200colireg(~colireg@user/colireg)
2024-06-14 10:15:00 +0200miui(~miui@2409:40f4:2008:d685:8000::)
2024-06-14 10:15:13 +0200miui(~miui@2409:40f4:2008:d685:8000::) (Client Quit)
2024-06-14 10:19:12 +0200iqubic(~sophia@2601:602:9502:c70:f6b8:a053:cf21:deda)
2024-06-14 10:20:01 +0200someone235(uid419897@id-419897.ilkley.irccloud.com)
2024-06-14 10:21:09 +0200verde(~user@user/verde)
2024-06-14 10:22:30 +0200CiaoSen(~Jura@2a05:5800:2d1:9d00:e6b9:7aff:fe80:3d03)
2024-06-14 10:25:04 +0200miui(~miui@2409:40f4:2008:d685:8000::)
2024-06-14 10:25:14 +0200miui(~miui@2409:40f4:2008:d685:8000::) (Client Quit)
2024-06-14 10:25:31 +0200miui(~miui@2409:40f4:2008:d685:8000::)
2024-06-14 10:25:59 +0200miui(~miui@2409:40f4:2008:d685:8000::) (Client Quit)
2024-06-14 10:28:05 +0200danse-nr3(~danse-nr3@151.43.146.109) (Ping timeout: 256 seconds)
2024-06-14 10:30:42 +0200cfricke(~cfricke@user/cfricke)
2024-06-14 10:32:56 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Ping timeout: 252 seconds)
2024-06-14 10:35:13 +0200__monty__(~toonn@user/toonn)
2024-06-14 10:36:14 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-06-14 10:36:57 +0200gmg(~user@user/gehmehgeh)
2024-06-14 10:37:31 +0200danse-nr3(~danse-nr3@151.43.146.109)
2024-06-14 10:45:35 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Ping timeout: 252 seconds)
2024-06-14 10:47:43 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-06-14 10:48:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 10:50:10 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-14 10:55:42 +0200dcoutts(~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)
2024-06-14 11:00:00 +0200miui(~miui@2409:40f4:10f8:6aed:8000::)
2024-06-14 11:03:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 11:03:30 +0200miui(~miui@2409:40f4:10f8:6aed:8000::) (Quit: Quit)
2024-06-14 11:08:15 +0200sawilagar(~sawilagar@user/sawilagar)
2024-06-14 11:09:50 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-06-14 11:12:16 +0200gmg(~user@user/gehmehgeh)
2024-06-14 11:18:13 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 268 seconds)
2024-06-14 11:19:37 +0200califax_(~califax@user/califx)
2024-06-14 11:19:38 +0200califax(~califax@user/califx) (Ping timeout: 260 seconds)
2024-06-14 11:20:52 +0200chele(~chele@user/chele)
2024-06-14 11:20:55 +0200califax_califax
2024-06-14 11:31:48 +0200cfricke(~cfricke@user/cfricke)
2024-06-14 11:32:53 +0200mei(~mei@user/mei) (Ping timeout: 240 seconds)
2024-06-14 11:38:01 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-06-14 11:46:45 +0200miui(~miui@2409:40f4:10f8:6aed:8000::)
2024-06-14 11:52:08 +0200danse-nr3(~danse-nr3@151.43.146.109) (Read error: Connection reset by peer)
2024-06-14 11:52:43 +0200CiaoSen(~Jura@2a05:5800:2d1:9d00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds)
2024-06-14 11:53:04 +0200danse-nr3(~danse-nr3@151.57.170.59)
2024-06-14 12:03:32 +0200driib3(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-06-14 12:04:12 +0200driib3(~driib@vmi931078.contaboserver.net)
2024-06-14 12:04:16 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-06-14 12:06:11 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
2024-06-14 12:13:13 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-06-14 12:22:02 +0200sprout(~quassel@2a02-a448-3a80-0-bd5b-db91-763e-cf24.fixed6.kpn.net) (Ping timeout: 268 seconds)
2024-06-14 12:25:47 +0200sprout(~quassel@2a02-a448-3a80-0-2046-6d0d-4c96-b4d9.fixed6.kpn.net)
2024-06-14 12:32:13 +0200miui(~miui@2409:40f4:10f8:6aed:8000::) (Ping timeout: 268 seconds)
2024-06-14 12:45:55 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-06-14 12:49:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 13:00:45 +0200kotrcka(~user@92.63.48.17)
2024-06-14 13:05:03 +0200destituion(~destituio@2a02:2121:306:89fe:6583:236:fa09:18d5) (Ping timeout: 264 seconds)
2024-06-14 13:05:48 +0200destituion(~destituio@85.221.111.174)
2024-06-14 13:10:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 13:11:04 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 268 seconds)
2024-06-14 13:21:19 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
2024-06-14 13:28:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-06-14 13:31:22 +0200danse-nr3(~danse-nr3@151.57.170.59) (Quit: Leaving)
2024-06-14 13:32:47 +0200euleritian(~euleritia@77.22.252.56)
2024-06-14 13:33:15 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds)
2024-06-14 13:33:41 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2024-06-14 13:37:11 +0200colireg(~colireg@user/colireg) (Ping timeout: 264 seconds)
2024-06-14 13:38:29 +0200someone235(uid419897@id-419897.ilkley.irccloud.com) (Quit: Connection closed for inactivity)
2024-06-14 13:51:12 +0200rosco(~rosco@175.136.155.137) (Quit: Lost terminal)
2024-06-14 13:57:26 +0200colireg(~colireg@user/colireg)
2024-06-14 13:57:50 +0200colireg(~colireg@user/colireg) (Client Quit)
2024-06-14 14:02:03 +0200colireg(~colireg@user/colireg)
2024-06-14 14:10:53 +0200colireg(~colireg@user/colireg) (Remote host closed the connection)
2024-06-14 14:18:09 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Quit: ZNC - http://znc.in)
2024-06-14 14:21:40 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com)
2024-06-14 14:30:28 +0200xff0x(~xff0x@2405:6580:b080:900:3766:e25f:476c:d4d7)
2024-06-14 14:32:33 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-14 14:34:05 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-06-14 14:40:19 +0200Miui(~libera@2409:40f4:1029:f2c9:8000::)
2024-06-14 14:41:52 +0200 <Miui> #hashkell-offtopic
2024-06-14 14:42:42 +0200Miui(~libera@2409:40f4:1029:f2c9:8000::) (Client Quit)
2024-06-14 14:44:39 +0200koz(~koz@121.99.240.58) (Ping timeout: 264 seconds)
2024-06-14 14:45:28 +0200koz(~koz@121.99.240.58)
2024-06-14 15:00:21 +0200meritamen(~user@user/meritamen)
2024-06-14 15:11:44 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-06-14 15:12:41 +0200Digit(~user@user/digit)
2024-06-14 15:18:26 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 15:19:11 +0200 <EvanR> #haskell-blah
2024-06-14 15:32:05 +0200dmj`(uid72307@id-72307.hampstead.irccloud.com)
2024-06-14 15:35:36 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel)
2024-06-14 15:36:13 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-06-14 15:47:33 +0200Guest24(~Guest24@2409:40f4:1029:f2c9:8000::)
2024-06-14 15:48:05 +0200Miui(~libera@2409:40f4:1029:f2c9:8000::)
2024-06-14 15:48:44 +0200Miui(~libera@2409:40f4:1029:f2c9:8000::) (Client Quit)
2024-06-14 15:48:58 +0200Miui(~libera@2409:40f4:1029:f2c9:8000::)
2024-06-14 15:52:54 +0200ft(~ft@p3e9bcb39.dip0.t-ipconnect.de)
2024-06-14 15:53:21 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 256 seconds)
2024-06-14 15:53:56 +0200Square(~Square@user/square)
2024-06-14 15:54:03 +0200henry40408(~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
2024-06-14 15:54:05 +0200euleritian(~euleritia@dynamic-176-006-002-157.176.6.pool.telefonica.de)
2024-06-14 15:54:33 +0200henry40408(~henry4040@175.182.111.183)
2024-06-14 15:55:49 +0200Miui(~libera@2409:40f4:1029:f2c9:8000::) (Quit: Hermes - Material IRC Client - https://numixproject.org/)
2024-06-14 16:04:02 +0200Sgeo(~Sgeo@user/sgeo)
2024-06-14 16:06:38 +0200Guest24(~Guest24@2409:40f4:1029:f2c9:8000::) (Quit: Client closed)
2024-06-14 16:10:22 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-06-14 16:11:42 +0200miui(~miui@2409:40f4:1009:e202:8000::)
2024-06-14 16:13:42 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-06-14 16:22:49 +0200miui(~miui@2409:40f4:1009:e202:8000::) (Ping timeout: 256 seconds)
2024-06-14 16:23:49 +0200miui(~miui@2409:40f4:7:75f7:8000::)
2024-06-14 16:25:18 +0200stef204(~stef204@user/stef204)
2024-06-14 16:29:37 +0200CiaoSen(~Jura@2a05:5800:2d1:9d00:e6b9:7aff:fe80:3d03)
2024-06-14 16:31:38 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection)
2024-06-14 16:32:21 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com)
2024-06-14 16:44:16 +0200euleritian(~euleritia@dynamic-176-006-002-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-14 16:44:33 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-14 16:51:59 +0200cfricke(~cfricke@user/cfricke)
2024-06-14 16:55:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 16:59:51 +0200miui(~miui@2409:40f4:7:75f7:8000::) (Quit: Quit)
2024-06-14 17:00:02 +0200miui(~miui@2409:40f4:7:75f7:8000::)
2024-06-14 17:00:13 +0200miui(~miui@2409:40f4:7:75f7:8000::) (Client Quit)
2024-06-14 17:00:38 +0200meritamen(~user@user/meritamen) (Remote host closed the connection)
2024-06-14 17:11:44 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-06-14 17:14:43 +0200destituion(~destituio@85.221.111.174) (Ping timeout: 246 seconds)
2024-06-14 17:18:02 +0200xdminsy(~xdminsy@117.147.70.212) (Ping timeout: 268 seconds)
2024-06-14 17:18:21 +0200destituion(~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5)
2024-06-14 17:27:00 +0200CiaoSen(~Jura@2a05:5800:2d1:9d00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds)
2024-06-14 17:29:06 +0200miui(~miui@2409:40f4:2004:88d7:8000::)
2024-06-14 17:30:43 +0200miui(~miui@2409:40f4:2004:88d7:8000::) (Client Quit)
2024-06-14 17:34:14 +0200Square(~Square@user/square) (Ping timeout: 252 seconds)
2024-06-14 17:34:54 +0200FragByte(~christian@user/fragbyte) (Quit: Quit)
2024-06-14 17:35:02 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-06-14 17:36:43 +0200TactfulCitrus(~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047)
2024-06-14 17:36:47 +0200FragByte(~christian@user/fragbyte)
2024-06-14 17:42:22 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds)
2024-06-14 17:42:53 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 240 seconds)
2024-06-14 17:49:26 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-06-14 17:51:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 17:56:04 +0200kotrcka(~user@92.63.48.17) (Remote host closed the connection)
2024-06-14 18:17:13 +0200dcoutts_(~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)
2024-06-14 18:17:39 +0200dcoutts(~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 260 seconds)
2024-06-14 18:19:11 +0200mud(~mud@user/kadoban)
2024-06-14 18:24:01 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-06-14 18:27:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 18:42:25 +0200miui(~miui@27.60.172.53)
2024-06-14 18:42:55 +0200miui(~miui@27.60.172.53) (Client Quit)
2024-06-14 19:08:05 +0200Guest88(~Guest88@2001:818:d956:9400:61a3:dc1c:d610:aecc)
2024-06-14 19:09:17 +0200ocra8(~ocra8@user/ocra8) (Ping timeout: 240 seconds)
2024-06-14 19:11:18 +0200ocra8(ocra8@user/ocra8)
2024-06-14 19:12:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 19:13:02 +0200Guest88(~Guest88@2001:818:d956:9400:61a3:dc1c:d610:aecc) (Quit: Client closed)
2024-06-14 19:13:24 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-06-14 19:13:42 +0200Midjak(~MarciZ@82.66.147.146)
2024-06-14 19:14:17 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-06-14 19:15:14 +0200soverysour(~soverysou@86.122.85.40)
2024-06-14 19:15:14 +0200soverysour(~soverysou@86.122.85.40) (Changing host)
2024-06-14 19:15:14 +0200soverysour(~soverysou@user/soverysour)
2024-06-14 19:20:12 +0200euphores(~SASL_euph@user/euphores)
2024-06-14 19:23:11 +0200miui(~miui@2409:40f4:2005:6280:8000::)
2024-06-14 19:24:36 +0200miui(~miui@2409:40f4:2005:6280:8000::) (Read error: Connection reset by peer)
2024-06-14 19:25:30 +0200miui(~miui@2401:4900:67ac:107d:10df:e8a7:9d51:66ad)
2024-06-14 19:28:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 19:32:16 +0200miui(~miui@2401:4900:67ac:107d:10df:e8a7:9d51:66ad) (Quit: Quit)
2024-06-14 19:32:33 +0200miui(~miui@2401:4900:67ac:107d:10df:e8a7:9d51:66ad)
2024-06-14 19:36:33 +0200miuimadhavanmi
2024-06-14 19:38:02 +0200miui(~miui@2409:40f4:2005:6280:8000::)
2024-06-14 19:40:48 +0200target_i(~target_i@user/target-i/x-6023099)
2024-06-14 19:41:13 +0200miui(~miui@2409:40f4:2005:6280:8000::) (Changing host)
2024-06-14 19:41:13 +0200miui(~miui@user/miui)
2024-06-14 19:42:20 +0200madhavanmi(~miui@2401:4900:67ac:107d:10df:e8a7:9d51:66ad) (Ping timeout: 268 seconds)
2024-06-14 19:53:29 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-06-14 19:58:35 +0200miui(~miui@user/miui) (Quit: Quit)
2024-06-14 19:59:11 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-06-14 19:59:59 +0200miui(~madhavanm@2409:40f4:2005:6280:8000::)
2024-06-14 20:00:51 +0200ocra8_(~ocra8@user/ocra8)
2024-06-14 20:02:57 +0200miui(~madhavanm@2409:40f4:2005:6280:8000::) (Client Quit)
2024-06-14 20:03:25 +0200miui(~madhavanm@2409:40f4:2005:6280:8000::)
2024-06-14 20:03:50 +0200ocra8(ocra8@user/ocra8) (Ping timeout: 252 seconds)
2024-06-14 20:04:16 +0200dolio(~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-14 20:05:57 +0200dolio(~dolio@130.44.134.54)
2024-06-14 20:07:33 +0200dolio(~dolio@130.44.134.54) (Client Quit)
2024-06-14 20:10:03 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 256 seconds)
2024-06-14 20:12:29 +0200bliminse(~bliminse@user/bliminse) (Ping timeout: 240 seconds)
2024-06-14 20:12:37 +0200miui(~madhavanm@2409:40f4:2005:6280:8000::) (Changing host)
2024-06-14 20:12:37 +0200miui(~madhavanm@user/madhavanmi)
2024-06-14 20:13:07 +0200miui(~madhavanm@user/madhavanmi) (Quit: Quit)
2024-06-14 20:13:16 +0200miui(~madhavanm@2409:40f4:2005:6280:8000::)
2024-06-14 20:14:39 +0200bliminse(~bliminse@user/bliminse)
2024-06-14 20:14:52 +0200dolio(~dolio@130.44.134.54)
2024-06-14 20:15:34 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-06-14 20:24:52 +0200verde(~user@user/verde) (Quit: Leaving)
2024-06-14 20:28:41 +0200eron(~eron@179.98.163.50)
2024-06-14 20:35:36 +0200tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2024-06-14 20:37:55 +0200miui(~madhavanm@2409:40f4:2005:6280:8000::) (Changing host)
2024-06-14 20:37:55 +0200miui(~madhavanm@user/madhavanmi)
2024-06-14 20:38:30 +0200miui(~madhavanm@user/madhavanmi) (Quit: Quit)
2024-06-14 20:38:40 +0200miui(~madhavanm@2409:40f4:2005:6280:8000::)
2024-06-14 20:39:10 +0200miui(~madhavanm@2409:40f4:2005:6280:8000::) (Changing host)
2024-06-14 20:39:10 +0200miui(~madhavanm@user/madhavanmi)
2024-06-14 20:41:21 +0200miui(~madhavanm@user/madhavanmi) (Remote host closed the connection)
2024-06-14 20:42:33 +0200miui(~madhavanm@2409:40f4:2005:6280:8000::)
2024-06-14 20:42:43 +0200miui(~madhavanm@2409:40f4:2005:6280:8000::) (Client Quit)
2024-06-14 20:43:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 20:44:09 +0200madhavanmi(~madhavanm@2409:40f4:2005:6280:8000::)
2024-06-14 20:44:13 +0200tomboy64(~tomboy64@user/tomboy64)
2024-06-14 20:44:36 +0200madhavanmi(~madhavanm@2409:40f4:2005:6280:8000::) (Remote host closed the connection)
2024-06-14 20:45:57 +0200tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2024-06-14 20:46:10 +0200Square(~Square@user/square)
2024-06-14 20:46:10 +0200tomboy64(~tomboy64@user/tomboy64)
2024-06-14 20:48:09 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::)
2024-06-14 20:48:51 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-14 20:49:00 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::) (Changing host)
2024-06-14 20:49:00 +0200madhavanmi(~madhavanm@user/madhavanmi)
2024-06-14 20:49:05 +0200rosco(~rosco@183.171.104.222)
2024-06-14 20:49:11 +0200madhavanmi(~madhavanm@user/madhavanmi) (Client Quit)
2024-06-14 20:49:23 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::)
2024-06-14 20:49:48 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::) (Client Quit)
2024-06-14 20:49:58 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::)
2024-06-14 20:50:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 20:58:30 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::) (Changing host)
2024-06-14 20:58:30 +0200madhavanmi(~madhavanm@user/madhavanmi)
2024-06-14 20:58:53 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-06-14 21:06:17 +0200madhavanmi(~madhavanm@user/madhavanmi) (Quit: Quit)
2024-06-14 21:06:26 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::)
2024-06-14 21:07:11 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::) (Changing host)
2024-06-14 21:07:11 +0200madhavanmi(~madhavanm@user/madhavanmi)
2024-06-14 21:12:16 +0200madhavanmi(~madhavanm@user/madhavanmi) (Quit: Quit)
2024-06-14 21:22:44 +0200jinsun(~jinsun@user/jinsun)
2024-06-14 21:23:14 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::)
2024-06-14 21:23:50 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::) (Remote host closed the connection)
2024-06-14 21:29:32 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-06-14 21:32:29 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::)
2024-06-14 21:33:06 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::) (Client Quit)
2024-06-14 21:33:15 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::)
2024-06-14 21:33:57 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::) (Changing host)
2024-06-14 21:33:57 +0200madhavanmi(~madhavanm@user/madhavanmi)
2024-06-14 21:39:28 +0200madhavanmi(~madhavanm@user/madhavanmi) (Quit: Quit)
2024-06-14 21:39:39 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::)
2024-06-14 21:39:40 +0200madhavanmi(~madhavanm@2409:40f4:100f:354f:8000::) (Remote host closed the connection)
2024-06-14 21:44:04 +0200henry40408(~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
2024-06-14 21:44:14 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-14 21:44:34 +0200henry40408(~henry4040@175.182.111.183)
2024-06-14 21:46:42 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-14 21:50:58 +0200bliminse(~bliminse@user/bliminse) (Ping timeout: 256 seconds)
2024-06-14 21:51:02 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-06-14 21:52:45 +0200bliminse(~bliminse@user/bliminse)
2024-06-14 21:56:10 +0200 <c_wraith> I came across a weird performance thing. I was experimenting with churching the function passed to unfoldr, because... well, because I hate the nesting needed for Maybe (a, b). When I got it to play nicely with list fusion, it ended up performing basically identically to unfoldr in cases where it can fully fuse, but... bizarrely faster in cases where the result wasn't subject to fusion? I'm sort of confused by that.
2024-06-14 22:01:40 +0200michalz(~michalz@185.246.207.203) (Quit: ZNC 1.9.0 - https://znc.in)
2024-06-14 22:04:11 +0200michalz(~michalz@185.246.207.193)
2024-06-14 22:04:30 +0200 <c_wraith> https://paste.tomsmeding.com/1MD1gnTt
2024-06-14 22:06:10 +0200 <c_wraith> Hmm. I can't get the benchmark of unfoldr not fusing to not generate a "variance introduced by outliers". That probably means that it's triggering GC when the rest aren't?
2024-06-14 22:07:10 +0200 <Rembane> Can you see how much garbage is generated by the mutator over time?
2024-06-14 22:07:32 +0200 <c_wraith> I don't know if I can do that for each benchmark individually...
2024-06-14 22:08:22 +0200 <c_wraith> I guess I can be boring and comment out the other benchmarks.
2024-06-14 22:08:59 +0200 <Rembane> Yeah, or let the program take an argument that tells it which benchmark to run.
2024-06-14 22:09:32 +0200 <Rembane> Which I guess is the same thing but with more code instead of less code.
2024-06-14 22:10:25 +0200 <c_wraith> oh god. cabal run is nesting ghc invocations. I need to do cabal run unfoldrbench.hs -- +RTS -s
2024-06-14 22:13:02 +0200 <Rembane> That sounds way too exciting.
2024-06-14 22:14:25 +0200 <c_wraith> oh, fun. right. criterion runs benchmarks different numbers of times depending on how fast they go.
2024-06-14 22:14:41 +0200 <c_wraith> So the allocation numbers can't be directly compared
2024-06-14 22:15:25 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-06-14 22:16:54 +0200 <Rembane> Can you set a specific number? Or maybe there's some other way to compare them?
2024-06-14 22:17:07 +0200Feuermagier(~Feuermagi@user/feuermagier)
2024-06-14 22:17:31 +0200 <c_wraith> but the faster benchmark (so running more iterations) is allocating less and running fewer collections
2024-06-14 22:18:59 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:fda7:d259:46d7:4571)
2024-06-14 22:19:37 +0200 <c_wraith> But all of that suggests GHC is blocked from being able to optimize out the Maybe and (,) constructors when it isn't able to perform the fusion pass. Which is not something I'd expect.
2024-06-14 22:20:36 +0200 <Rembane> Are you running with an optimization flag btw?
2024-06-14 22:20:56 +0200 <c_wraith> The default for cabal, which is -O1
2024-06-14 22:21:17 +0200 <c_wraith> and fusion is *clearly* happening, given that the benchmarks testing for fusion are running roughly 1000 times faster
2024-06-14 22:21:30 +0200dmj`(uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-06-14 22:21:46 +0200 <c_wraith> err. 10x faster. I can read.
2024-06-14 22:24:35 +0200 <EvanR> since the subject is non-fusion making things faster, it is curious that you take faster to mean fusion is happening xD
2024-06-14 22:25:01 +0200 <c_wraith> Err, no? The subject is "my alternate implementation is the same speed when both fuse, but faster when neither do"
2024-06-14 22:25:15 +0200 <EvanR> faster when fusion not happening
2024-06-14 22:25:27 +0200 <c_wraith> It's still 10x faster when fusion is happening!
2024-06-14 22:25:28 +0200 <EvanR> just saying making sure fusion happened might need another detection strategy
2024-06-14 22:25:43 +0200 <c_wraith> I mean, how else is it going to get a 10x speedup?
2024-06-14 22:26:16 +0200 <EvanR> if the question is what is the speed effect of fusion, it seems like you need another way to make sure fusion is or isn't happening than measuring the speed
2024-06-14 22:26:36 +0200 <EvanR> like a double check
2024-06-14 22:26:45 +0200 <c_wraith> In some sense true, but also 99% irrelevant.
2024-06-14 22:26:46 +0200 <EvanR> (though seems like a single check, from here xD)
2024-06-14 22:28:13 +0200 <c_wraith> I can guarantee the case where there's a performance difference isn't fusing because nf on a list can't do foldr/build fusion
2024-06-14 22:28:56 +0200 <c_wraith> err, rnf
2024-06-14 22:30:11 +0200 <c_wraith> Huh. Ok, I'm 100% wrong about that. It can!
2024-06-14 22:30:15 +0200 <EvanR> is there no sanity check to visibly see fusion or non fusion
2024-06-14 22:30:31 +0200 <c_wraith> only compiling with various -d flags
2024-06-14 22:34:11 +0200 <monochrom> Or stare at the core code very hard. :)
2024-06-14 22:34:44 +0200 <monochrom> Well OK indirectly: Turn on profiling and see no allocation.
2024-06-14 22:34:59 +0200 <c_wraith> blah. It tells me fold/build fired twice, but... uh.. that's not sufficient to know where it fired!
2024-06-14 22:35:23 +0200 <monochrom> But there are still a few edge cases where turning on profiling adds allocation where there was none.
2024-06-14 22:36:45 +0200 <geekosaur> c_wraith, there's two rule firing flags iirc.
2024-06-14 22:37:16 +0200 <c_wraith> right, let me try the other one.
2024-06-14 22:37:37 +0200 <c_wraith> ... the other one was useless. "==================== Tidy Core rules ===================="
2024-06-14 22:38:04 +0200 <c_wraith> oh, that one just lists the rules defined in the module being compiled. ok, that's expected
2024-06-14 22:38:16 +0200 <c_wraith> oh. there are *three* flags
2024-06-14 22:38:35 +0200 <geekosaur> yeh, sorry
2024-06-14 22:38:35 +0200Guest3573(~sebastian@2601:143:4200:1050::1aab)
2024-06-14 22:38:46 +0200 <geekosaur> forgot the one that just lists all the rules\
2024-06-14 22:39:02 +0200 <c_wraith> huh, ok. -ddump-rule-rewrites is useful. Can I filter that to specific rules?
2024-06-14 22:39:13 +0200 <geekosaur> not afaik
2024-06-14 22:39:15 +0200 <c_wraith> the manual doesn't say I can :(
2024-06-14 22:41:10 +0200 <c_wraith> right. it's firing fold/build once on each of unfoldr and unfoldrAlt
2024-06-14 22:42:58 +0200 <c_wraith> But on the level rules fire, source positions are long since discarded. I suppose I can't 100% link it to the versions that are calling sum on the list.
2024-06-14 22:44:46 +0200 <c_wraith> err. I can if I don't ignore the other arguments to foldr! Yeah, it's a function that unpacks two Int values and does a +# on the Int# values.
2024-06-14 22:44:57 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-06-14 22:45:02 +0200 <c_wraith> so yes, the two invocations I expect to fuse are, the two I expect not to fuse are not.
2024-06-14 22:45:17 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds)
2024-06-14 22:45:30 +0200Rembane(~Rembane@user/Rembane) (Quit: WeeChat 4.1.1)
2024-06-14 22:47:03 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 264 seconds)
2024-06-14 22:47:13 +0200irssi(~Rembane@user/Rembane)
2024-06-14 22:48:51 +0200Guest3573(~sebastian@2601:143:4200:1050::1aab) (Ping timeout: 264 seconds)
2024-06-14 22:49:04 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2024-06-14 22:52:58 +0200dcoutts(~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)
2024-06-14 22:53:10 +0200dcoutts_(~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 246 seconds)
2024-06-14 22:54:27 +0200 <c_wraith> oh yeah, I did have one other piece of evidence in favor of fusion. The benchmark I expect to do fold/build fusion sped up by a factor of 10 when I changed it to... use build
2024-06-14 23:02:41 +0200kimiamania(~65804703@user/kimiamania) (Quit: PegeLinux)
2024-06-14 23:03:04 +0200kimiamania(~65804703@user/kimiamania)
2024-06-14 23:06:12 +0200dysthesis(~dysthesis@user/dysthesis)
2024-06-14 23:07:36 +0200michalz(~michalz@185.246.207.193) (Quit: ZNC 1.9.0 - https://znc.in)
2024-06-14 23:08:54 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-06-14 23:09:15 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-06-14 23:09:23 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:fda7:d259:46d7:4571) (Remote host closed the connection)
2024-06-14 23:13:03 +0200euleritian(~euleritia@dynamic-176-006-003-156.176.6.pool.telefonica.de)
2024-06-14 23:14:34 +0200euleritian(~euleritia@dynamic-176-006-003-156.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-14 23:14:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-14 23:18:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 23:18:32 +0200pavonia(~user@user/siracusa)
2024-06-14 23:27:31 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-06-14 23:28:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-14 23:37:09 +0200irssiRembane
2024-06-14 23:41:59 +0200dcoutts(~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 264 seconds)
2024-06-14 23:44:40 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-06-14 23:46:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-14 23:51:23 +0200dcoutts(~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)