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