2024-06-14 00:03:53 +0200 | yin | (~yin@user/zero) (Remote host closed the connection) |
2024-06-14 00:10:53 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
2024-06-14 00:18:32 +0200 | acidjnk | (~acidjnk@p200300d6e714dc24101446769eacf81f.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-06-14 00:21:15 +0200 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
2024-06-14 00:22:27 +0200 | rustisafungus | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
2024-06-14 00:23:09 +0200 | rustisafungus | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
2024-06-14 00:27:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-06-14 00:33:15 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
2024-06-14 00:35:12 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection) |
2024-06-14 00:37:51 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2024-06-14 00:42:06 +0200 | iqubic | (~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 +0200 | sawilagar | (~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 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-06-14 00:54:50 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-06-14 00:57:04 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
2024-06-14 00:58:54 +0200 | danso | (~danso@user/danso) (Quit: quittin time) |
2024-06-14 00:59:03 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-06-14 01:00:11 +0200 | danso | (~danso@user/danso) |
2024-06-14 01:00:43 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-06-14 01:05:34 +0200 | <EvanR> | ⊥ |
2024-06-14 01:06:51 +0200 | iqubic | (~sophia@2601:602:9502:c70:e652:d0e0:e8d1:62b3) (Ping timeout: 264 seconds) |
2024-06-14 01:06:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-06-14 01:08:58 +0200 | iqubic | (~sophia@2601:602:9502:c70:686a:4fef:cd21:89a7) |
2024-06-14 01:09:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-06-14 01:19:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
2024-06-14 01:21:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-06-14 01:28:37 +0200 | rustisafungus | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2024-06-14 01:29:21 +0200 | rustisafungus | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
2024-06-14 01:39:13 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (Read error: Connection reset by peer) |
2024-06-14 01:39:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
2024-06-14 01:40:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-06-14 01:41:10 +0200 | ames | (~amelia@offtopia/offtopian/amelia) |
2024-06-14 01:53:15 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-06-14 01:55:40 +0200 | mei | (~mei@user/mei) |
2024-06-14 01:56:14 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-06-14 02:00:56 +0200 | mei | (~mei@user/mei) |
2024-06-14 02:05:23 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Ping timeout: 264 seconds) |
2024-06-14 02:05:34 +0200 | masterbuilder | (~quassel@user/masterbuilder) |
2024-06-14 02:11:07 +0200 | rustisafungus | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2024-06-14 02:11:27 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-14 02:11:50 +0200 | rustisafungus | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
2024-06-14 02:11:51 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-14 02:16:27 +0200 | k_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 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds) |
2024-06-14 02:22:48 +0200 | mlatys | (~mlatys@2409:8938:49:df48:cc31:2eff:fe94:4eb8) |
2024-06-14 02:26:25 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
2024-06-14 02:32:01 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-06-14 02:33:35 +0200 | califax | (~califax@user/califx) |
2024-06-14 02:39:04 +0200 | Lycurgus | (~georg@user/Lycurgus) |
2024-06-14 02:52:13 +0200 | k_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 +0200 | Lycurgus | got 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 +0200 | foul_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 +0200 | k_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 +0200 | foul_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 +0200 | krei-se- | (~krei-se@p5085de1f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-06-14 03:19:11 +0200 | krei-se | (~krei-se@p5085d24b.dip0.t-ipconnect.de) |
2024-06-14 03:19:44 +0200 | k_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 +0200 | xff0x | (~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 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2024-06-14 03:50:16 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-06-14 03:52:42 +0200 | mei | (~mei@user/mei) |
2024-06-14 04:01:13 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-06-14 04:03:28 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-06-14 04:03:39 +0200 | mei | (~mei@user/mei) |
2024-06-14 04:04:29 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-14 04:05:00 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-14 04:05:30 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
2024-06-14 04:07:25 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-06-14 04:12:39 +0200 | tabemann | (~tabemann@104-250-251-243.rockyridge.net) |
2024-06-14 04:32:29 +0200 | Guest24 | (~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 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 04:43:34 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
2024-06-14 04:46:35 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2024-06-14 04:48:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-14 04:53:48 +0200 | td_ | (~td@i53870929.versanet.de) (Ping timeout: 256 seconds) |
2024-06-14 04:55:32 +0200 | td_ | (~td@i53870931.versanet.de) |
2024-06-14 04:56:36 +0200 | br__ | (~br@pool-100-6-72-156.pitbpa.fios.verizon.net) |
2024-06-14 04:58:57 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-06-14 05:01:37 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:5360:68af:d0ce:4c40) |
2024-06-14 05:08:02 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-06-14 05:10:40 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
2024-06-14 05:11:47 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Client Quit) |
2024-06-14 05:13:10 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
2024-06-14 05:17:55 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-06-14 05:21:47 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-06-14 05:22:31 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
2024-06-14 05:28:30 +0200 | euleritian | (~euleritia@dynamic-176-003-011-016.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-14 05:28:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-14 05:31:43 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) (Ping timeout: 250 seconds) |
2024-06-14 05:35:59 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) |
2024-06-14 05:36:52 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-06-14 05:37:52 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-06-14 05:43:36 +0200 | aforemny | (~aforemny@i59F516E8.versanet.de) |
2024-06-14 05:44:03 +0200 | aforemny_ | (~aforemny@i59F516D7.versanet.de) (Ping timeout: 264 seconds) |
2024-06-14 05:51:33 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) (Quit: Client closed) |
2024-06-14 06:01:34 +0200 | end | (~end@user/end/x-0094621) (Quit: end) |
2024-06-14 06:01:34 +0200 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
2024-06-14 06:07:43 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) |
2024-06-14 06:08:14 +0200 | michalz | (~michalz@185.246.207.215) |
2024-06-14 06:09:26 +0200 | monochrm | (trebla@216.138.220.146) |
2024-06-14 06:10:06 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
2024-06-14 06:11:28 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 246 seconds) |
2024-06-14 06:11:28 +0200 | monochrm | monochrom |
2024-06-14 06:12:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-06-14 06:13:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-14 06:16:13 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) (Quit: Ping timeout (120 seconds)) |
2024-06-14 06:16:44 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) |
2024-06-14 06:20:54 +0200 | bcksl | (~bcksl@user/bcksl) |
2024-06-14 06:25:57 +0200 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-06-14 06:28:00 +0200 | end | (~end@user/end/x-0094621) |
2024-06-14 06:28:42 +0200 | michalz | (~michalz@185.246.207.203) |
2024-06-14 06:31:45 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-14 06:33:02 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
2024-06-14 06:38:30 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) (Quit: Client closed) |
2024-06-14 06:39:56 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) |
2024-06-14 06:41:44 +0200 | br__ | (~br@pool-100-6-72-156.pitbpa.fios.verizon.net) (Quit: Konversation terminated!) |
2024-06-14 06:47:33 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) (Ping timeout: 250 seconds) |
2024-06-14 06:49:42 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
2024-06-14 06:59:07 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) |
2024-06-14 07:04:08 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) (Quit: Client closed) |
2024-06-14 07:11:46 +0200 | rustisafungus | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Quit: rustisafungus) |
2024-06-14 07:12:48 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) |
2024-06-14 07:13:05 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-06-14 07:13:43 +0200 | qqq | (~qqq@92.43.167.61) |
2024-06-14 07:16:10 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) (Client Quit) |
2024-06-14 07:18:33 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
2024-06-14 07:18:54 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) |
2024-06-14 07:22:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-06-14 07:22:06 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) |
2024-06-14 07:22:22 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) (Remote host closed the connection) |
2024-06-14 07:22:26 +0200 | Guest24 | (~Guest24@2409:40f4:3012:43b1:8000::) (Client Quit) |
2024-06-14 07:23:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 07:25:42 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) |
2024-06-14 07:26:08 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) (Client Quit) |
2024-06-14 07:28:03 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
2024-06-14 07:30:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-06-14 07:31:59 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) |
2024-06-14 07:34:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-14 07:34:55 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) (Remote host closed the connection) |
2024-06-14 07:35:10 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) |
2024-06-14 07:41:13 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) (Quit: Quit) |
2024-06-14 07:41:37 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-06-14 07:43:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 07:46:22 +0200 | acidjnk | (~acidjnk@p200300d6e714dc85ec861666d651a7ab.dip0.t-ipconnect.de) |
2024-06-14 07:51:16 +0200 | danza | (~francesco@151.43.146.109) |
2024-06-14 07:52:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-14 07:55:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-06-14 07:58:37 +0200 | euleritian | (~euleritia@dynamic-176-006-010-050.176.6.pool.telefonica.de) |
2024-06-14 07:59:54 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-06-14 08:00:32 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-06-14 08:00:40 +0200 | koz | (~koz@121.99.240.58) |
2024-06-14 08:01:23 +0200 | miui | (~miui@152.58.252.217) |
2024-06-14 08:04:46 +0200 | miui | (~miui@152.58.252.217) (Remote host closed the connection) |
2024-06-14 08:04:57 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) |
2024-06-14 08:05:42 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-06-14 08:06:27 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-06-14 08:07:58 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 268 seconds) |
2024-06-14 08:08:51 +0200 | iqubic | (~sophia@2601:602:9502:c70:686a:4fef:cd21:89a7) (Ping timeout: 272 seconds) |
2024-06-14 08:08:59 +0200 | koz | (~koz@121.99.240.58) |
2024-06-14 08:09:37 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2024-06-14 08:10:44 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) (Quit: Quit) |
2024-06-14 08:11:12 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) |
2024-06-14 08:11:39 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) (Remote host closed the connection) |
2024-06-14 08:21:16 +0200 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) (Quit: leaving) |
2024-06-14 08:25:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 08:30:15 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) |
2024-06-14 08:31:05 +0200 | k_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 +0200 | danza | (~francesco@151.43.146.109) (Ping timeout: 240 seconds) |
2024-06-14 08:36:54 +0200 | phma | (~phma@2001:5b0:2143:81d8:b3f6:8ae3:d398:5c40) (Read error: Connection reset by peer) |
2024-06-14 08:37:38 +0200 | phma | (phma@2001:5b0:212a:de28:a570:e84e:3c80:47f8) |
2024-06-14 08:38:38 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-06-14 08:43:41 +0200 | miui | (~miui@2409:40f4:3012:43b1:8000::) (Ping timeout: 272 seconds) |
2024-06-14 08:44:24 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-06-14 08:44:51 +0200 | miui | (~miui@2409:40f4:304f:e65c:8000::) |
2024-06-14 08:45:00 +0200 | miui | (~miui@2409:40f4:304f:e65c:8000::) (Client Quit) |
2024-06-14 08:50:59 +0200 | euleritian | (~euleritia@dynamic-176-006-010-050.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-14 08:51:18 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-06-14 09:01:46 +0200 | colireg | (~colireg@89.106.206.141) |
2024-06-14 09:03:38 +0200 | danse-nr3 | (~danse-nr3@151.43.146.109) |
2024-06-14 09:04:00 +0200 | danse-nr3 | (~danse-nr3@151.43.146.109) (Remote host closed the connection) |
2024-06-14 09:04:25 +0200 | danse-nr3 | (~danse-nr3@151.43.146.109) |
2024-06-14 09:07:33 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-14 09:09:10 +0200 | xal | (~xal@mx1.xal.systems) () |
2024-06-14 09:10:03 +0200 | xal | (~xal@mx1.xal.systems) |
2024-06-14 09:12:06 +0200 | miui | (~miui@2409:40f4:304f:e65c:8000::) |
2024-06-14 09:12:26 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
2024-06-14 09:15:19 +0200 | miui | (~miui@2409:40f4:304f:e65c:8000::) (Remote host closed the connection) |
2024-06-14 09:16:20 +0200 | colireg | (~colireg@89.106.206.141) (Changing host) |
2024-06-14 09:16:20 +0200 | colireg | (~colireg@user/colireg) |
2024-06-14 09:26:05 +0200 | danse-nr3 | (~danse-nr3@151.43.146.109) (Ping timeout: 240 seconds) |
2024-06-14 09:30:55 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:5360:68af:d0ce:4c40) (Quit: Leaving) |
2024-06-14 09:36:17 +0200 | danse-nr3 | (~danse-nr3@151.43.146.109) |
2024-06-14 09:39:06 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2024-06-14 09:39:47 +0200 | colireg | (~colireg@user/colireg) (Quit: Quit) |
2024-06-14 09:41:32 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
2024-06-14 09:42:48 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2024-06-14 10:01:44 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-14 10:01:58 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-14 10:05:04 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-06-14 10:08:12 +0200 | colireg | (~colireg@user/colireg) |
2024-06-14 10:15:00 +0200 | miui | (~miui@2409:40f4:2008:d685:8000::) |
2024-06-14 10:15:13 +0200 | miui | (~miui@2409:40f4:2008:d685:8000::) (Client Quit) |
2024-06-14 10:19:12 +0200 | iqubic | (~sophia@2601:602:9502:c70:f6b8:a053:cf21:deda) |
2024-06-14 10:20:01 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) |
2024-06-14 10:21:09 +0200 | verde | (~user@user/verde) |
2024-06-14 10:22:30 +0200 | CiaoSen | (~Jura@2a05:5800:2d1:9d00:e6b9:7aff:fe80:3d03) |
2024-06-14 10:25:04 +0200 | miui | (~miui@2409:40f4:2008:d685:8000::) |
2024-06-14 10:25:14 +0200 | miui | (~miui@2409:40f4:2008:d685:8000::) (Client Quit) |
2024-06-14 10:25:31 +0200 | miui | (~miui@2409:40f4:2008:d685:8000::) |
2024-06-14 10:25:59 +0200 | miui | (~miui@2409:40f4:2008:d685:8000::) (Client Quit) |
2024-06-14 10:28:05 +0200 | danse-nr3 | (~danse-nr3@151.43.146.109) (Ping timeout: 256 seconds) |
2024-06-14 10:30:42 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-06-14 10:32:56 +0200 | CrunchyFlakes | (~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 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
2024-06-14 10:36:57 +0200 | gmg | (~user@user/gehmehgeh) |
2024-06-14 10:37:31 +0200 | danse-nr3 | (~danse-nr3@151.43.146.109) |
2024-06-14 10:45:35 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Ping timeout: 252 seconds) |
2024-06-14 10:47:43 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-06-14 10:48:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-14 10:50:10 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-06-14 10:55:42 +0200 | dcoutts | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
2024-06-14 11:00:00 +0200 | miui | (~miui@2409:40f4:10f8:6aed:8000::) |
2024-06-14 11:03:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 11:03:30 +0200 | miui | (~miui@2409:40f4:10f8:6aed:8000::) (Quit: Quit) |
2024-06-14 11:08:15 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-06-14 11:09:50 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-06-14 11:12:16 +0200 | gmg | (~user@user/gehmehgeh) |
2024-06-14 11:18:13 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
2024-06-14 11:19:37 +0200 | califax_ | (~califax@user/califx) |
2024-06-14 11:19:38 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
2024-06-14 11:20:52 +0200 | chele | (~chele@user/chele) |
2024-06-14 11:20:55 +0200 | califax_ | califax |
2024-06-14 11:31:48 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-06-14 11:32:53 +0200 | mei | (~mei@user/mei) (Ping timeout: 240 seconds) |
2024-06-14 11:38:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-06-14 11:46:45 +0200 | miui | (~miui@2409:40f4:10f8:6aed:8000::) |
2024-06-14 11:52:08 +0200 | danse-nr3 | (~danse-nr3@151.43.146.109) (Read error: Connection reset by peer) |
2024-06-14 11:52:43 +0200 | CiaoSen | (~Jura@2a05:5800:2d1:9d00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
2024-06-14 11:53:04 +0200 | danse-nr3 | (~danse-nr3@151.57.170.59) |
2024-06-14 12:03:32 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-06-14 12:04:12 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
2024-06-14 12:04:16 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-06-14 12:06:11 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
2024-06-14 12:13:13 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-06-14 12:22:02 +0200 | sprout | (~quassel@2a02-a448-3a80-0-bd5b-db91-763e-cf24.fixed6.kpn.net) (Ping timeout: 268 seconds) |
2024-06-14 12:25:47 +0200 | sprout | (~quassel@2a02-a448-3a80-0-2046-6d0d-4c96-b4d9.fixed6.kpn.net) |
2024-06-14 12:32:13 +0200 | miui | (~miui@2409:40f4:10f8:6aed:8000::) (Ping timeout: 268 seconds) |
2024-06-14 12:45:55 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-06-14 12:49:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-14 13:00:45 +0200 | kotrcka | (~user@92.63.48.17) |
2024-06-14 13:05:03 +0200 | destituion | (~destituio@2a02:2121:306:89fe:6583:236:fa09:18d5) (Ping timeout: 264 seconds) |
2024-06-14 13:05:48 +0200 | destituion | (~destituio@85.221.111.174) |
2024-06-14 13:10:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 13:11:04 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
2024-06-14 13:21:19 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
2024-06-14 13:28:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-06-14 13:31:22 +0200 | danse-nr3 | (~danse-nr3@151.57.170.59) (Quit: Leaving) |
2024-06-14 13:32:47 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-06-14 13:33:15 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
2024-06-14 13:33:41 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2024-06-14 13:37:11 +0200 | colireg | (~colireg@user/colireg) (Ping timeout: 264 seconds) |
2024-06-14 13:38:29 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
2024-06-14 13:51:12 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-14 13:57:26 +0200 | colireg | (~colireg@user/colireg) |
2024-06-14 13:57:50 +0200 | colireg | (~colireg@user/colireg) (Client Quit) |
2024-06-14 14:02:03 +0200 | colireg | (~colireg@user/colireg) |
2024-06-14 14:10:53 +0200 | colireg | (~colireg@user/colireg) (Remote host closed the connection) |
2024-06-14 14:18:09 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Quit: ZNC - http://znc.in) |
2024-06-14 14:21:40 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
2024-06-14 14:30:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3766:e25f:476c:d4d7) |
2024-06-14 14:32:33 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-14 14:34:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-06-14 14:40:19 +0200 | Miui | (~libera@2409:40f4:1029:f2c9:8000::) |
2024-06-14 14:41:52 +0200 | <Miui> | #hashkell-offtopic |
2024-06-14 14:42:42 +0200 | Miui | (~libera@2409:40f4:1029:f2c9:8000::) (Client Quit) |
2024-06-14 14:44:39 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 264 seconds) |
2024-06-14 14:45:28 +0200 | koz | (~koz@121.99.240.58) |
2024-06-14 15:00:21 +0200 | meritamen | (~user@user/meritamen) |
2024-06-14 15:11:44 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-06-14 15:12:41 +0200 | Digit | (~user@user/digit) |
2024-06-14 15:18:26 +0200 | tromp | (~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 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) |
2024-06-14 15:35:36 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
2024-06-14 15:36:13 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-06-14 15:47:33 +0200 | Guest24 | (~Guest24@2409:40f4:1029:f2c9:8000::) |
2024-06-14 15:48:05 +0200 | Miui | (~libera@2409:40f4:1029:f2c9:8000::) |
2024-06-14 15:48:44 +0200 | Miui | (~libera@2409:40f4:1029:f2c9:8000::) (Client Quit) |
2024-06-14 15:48:58 +0200 | Miui | (~libera@2409:40f4:1029:f2c9:8000::) |
2024-06-14 15:52:54 +0200 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) |
2024-06-14 15:53:21 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
2024-06-14 15:53:56 +0200 | Square | (~Square@user/square) |
2024-06-14 15:54:03 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-14 15:54:05 +0200 | euleritian | (~euleritia@dynamic-176-006-002-157.176.6.pool.telefonica.de) |
2024-06-14 15:54:33 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-14 15:55:49 +0200 | Miui | (~libera@2409:40f4:1029:f2c9:8000::) (Quit: Hermes - Material IRC Client - https://numixproject.org/) |
2024-06-14 16:04:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-06-14 16:06:38 +0200 | Guest24 | (~Guest24@2409:40f4:1029:f2c9:8000::) (Quit: Client closed) |
2024-06-14 16:10:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-06-14 16:11:42 +0200 | miui | (~miui@2409:40f4:1009:e202:8000::) |
2024-06-14 16:13:42 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-06-14 16:22:49 +0200 | miui | (~miui@2409:40f4:1009:e202:8000::) (Ping timeout: 256 seconds) |
2024-06-14 16:23:49 +0200 | miui | (~miui@2409:40f4:7:75f7:8000::) |
2024-06-14 16:25:18 +0200 | stef204 | (~stef204@user/stef204) |
2024-06-14 16:29:37 +0200 | CiaoSen | (~Jura@2a05:5800:2d1:9d00:e6b9:7aff:fe80:3d03) |
2024-06-14 16:31:38 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
2024-06-14 16:32:21 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
2024-06-14 16:44:16 +0200 | euleritian | (~euleritia@dynamic-176-006-002-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-14 16:44:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-14 16:51:59 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-06-14 16:55:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 16:59:51 +0200 | miui | (~miui@2409:40f4:7:75f7:8000::) (Quit: Quit) |
2024-06-14 17:00:02 +0200 | miui | (~miui@2409:40f4:7:75f7:8000::) |
2024-06-14 17:00:13 +0200 | miui | (~miui@2409:40f4:7:75f7:8000::) (Client Quit) |
2024-06-14 17:00:38 +0200 | meritamen | (~user@user/meritamen) (Remote host closed the connection) |
2024-06-14 17:11:44 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-06-14 17:14:43 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 246 seconds) |
2024-06-14 17:18:02 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Ping timeout: 268 seconds) |
2024-06-14 17:18:21 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) |
2024-06-14 17:27:00 +0200 | CiaoSen | (~Jura@2a05:5800:2d1:9d00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
2024-06-14 17:29:06 +0200 | miui | (~miui@2409:40f4:2004:88d7:8000::) |
2024-06-14 17:30:43 +0200 | miui | (~miui@2409:40f4:2004:88d7:8000::) (Client Quit) |
2024-06-14 17:34:14 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-06-14 17:34:54 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
2024-06-14 17:35:02 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-06-14 17:36:43 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) |
2024-06-14 17:36:47 +0200 | FragByte | (~christian@user/fragbyte) |
2024-06-14 17:42:22 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
2024-06-14 17:42:53 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
2024-06-14 17:49:26 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-06-14 17:51:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-14 17:56:04 +0200 | kotrcka | (~user@92.63.48.17) (Remote host closed the connection) |
2024-06-14 18:17:13 +0200 | dcoutts_ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
2024-06-14 18:17:39 +0200 | dcoutts | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 260 seconds) |
2024-06-14 18:19:11 +0200 | mud | (~mud@user/kadoban) |
2024-06-14 18:24:01 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-06-14 18:27:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 18:42:25 +0200 | miui | (~miui@27.60.172.53) |
2024-06-14 18:42:55 +0200 | miui | (~miui@27.60.172.53) (Client Quit) |
2024-06-14 19:08:05 +0200 | Guest88 | (~Guest88@2001:818:d956:9400:61a3:dc1c:d610:aecc) |
2024-06-14 19:09:17 +0200 | ocra8 | (~ocra8@user/ocra8) (Ping timeout: 240 seconds) |
2024-06-14 19:11:18 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-06-14 19:12:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-14 19:13:02 +0200 | Guest88 | (~Guest88@2001:818:d956:9400:61a3:dc1c:d610:aecc) (Quit: Client closed) |
2024-06-14 19:13:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-06-14 19:13:42 +0200 | Midjak | (~MarciZ@82.66.147.146) |
2024-06-14 19:14:17 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-06-14 19:15:14 +0200 | soverysour | (~soverysou@86.122.85.40) |
2024-06-14 19:15:14 +0200 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
2024-06-14 19:15:14 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-14 19:20:12 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-06-14 19:23:11 +0200 | miui | (~miui@2409:40f4:2005:6280:8000::) |
2024-06-14 19:24:36 +0200 | miui | (~miui@2409:40f4:2005:6280:8000::) (Read error: Connection reset by peer) |
2024-06-14 19:25:30 +0200 | miui | (~miui@2401:4900:67ac:107d:10df:e8a7:9d51:66ad) |
2024-06-14 19:28:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 19:32:16 +0200 | miui | (~miui@2401:4900:67ac:107d:10df:e8a7:9d51:66ad) (Quit: Quit) |
2024-06-14 19:32:33 +0200 | miui | (~miui@2401:4900:67ac:107d:10df:e8a7:9d51:66ad) |
2024-06-14 19:36:33 +0200 | miui | madhavanmi |
2024-06-14 19:38:02 +0200 | miui | (~miui@2409:40f4:2005:6280:8000::) |
2024-06-14 19:40:48 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-06-14 19:41:13 +0200 | miui | (~miui@2409:40f4:2005:6280:8000::) (Changing host) |
2024-06-14 19:41:13 +0200 | miui | (~miui@user/miui) |
2024-06-14 19:42:20 +0200 | madhavanmi | (~miui@2401:4900:67ac:107d:10df:e8a7:9d51:66ad) (Ping timeout: 268 seconds) |
2024-06-14 19:53:29 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-06-14 19:58:35 +0200 | miui | (~miui@user/miui) (Quit: Quit) |
2024-06-14 19:59:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-06-14 19:59:59 +0200 | miui | (~madhavanm@2409:40f4:2005:6280:8000::) |
2024-06-14 20:00:51 +0200 | ocra8_ | (~ocra8@user/ocra8) |
2024-06-14 20:02:57 +0200 | miui | (~madhavanm@2409:40f4:2005:6280:8000::) (Client Quit) |
2024-06-14 20:03:25 +0200 | miui | (~madhavanm@2409:40f4:2005:6280:8000::) |
2024-06-14 20:03:50 +0200 | ocra8 | (ocra8@user/ocra8) (Ping timeout: 252 seconds) |
2024-06-14 20:04:16 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-06-14 20:05:57 +0200 | dolio | (~dolio@130.44.134.54) |
2024-06-14 20:07:33 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
2024-06-14 20:10:03 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 256 seconds) |
2024-06-14 20:12:29 +0200 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 240 seconds) |
2024-06-14 20:12:37 +0200 | miui | (~madhavanm@2409:40f4:2005:6280:8000::) (Changing host) |
2024-06-14 20:12:37 +0200 | miui | (~madhavanm@user/madhavanmi) |
2024-06-14 20:13:07 +0200 | miui | (~madhavanm@user/madhavanmi) (Quit: Quit) |
2024-06-14 20:13:16 +0200 | miui | (~madhavanm@2409:40f4:2005:6280:8000::) |
2024-06-14 20:14:39 +0200 | bliminse | (~bliminse@user/bliminse) |
2024-06-14 20:14:52 +0200 | dolio | (~dolio@130.44.134.54) |
2024-06-14 20:15:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-06-14 20:24:52 +0200 | verde | (~user@user/verde) (Quit: Leaving) |
2024-06-14 20:28:41 +0200 | eron | (~eron@179.98.163.50) |
2024-06-14 20:35:36 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
2024-06-14 20:37:55 +0200 | miui | (~madhavanm@2409:40f4:2005:6280:8000::) (Changing host) |
2024-06-14 20:37:55 +0200 | miui | (~madhavanm@user/madhavanmi) |
2024-06-14 20:38:30 +0200 | miui | (~madhavanm@user/madhavanmi) (Quit: Quit) |
2024-06-14 20:38:40 +0200 | miui | (~madhavanm@2409:40f4:2005:6280:8000::) |
2024-06-14 20:39:10 +0200 | miui | (~madhavanm@2409:40f4:2005:6280:8000::) (Changing host) |
2024-06-14 20:39:10 +0200 | miui | (~madhavanm@user/madhavanmi) |
2024-06-14 20:41:21 +0200 | miui | (~madhavanm@user/madhavanmi) (Remote host closed the connection) |
2024-06-14 20:42:33 +0200 | miui | (~madhavanm@2409:40f4:2005:6280:8000::) |
2024-06-14 20:42:43 +0200 | miui | (~madhavanm@2409:40f4:2005:6280:8000::) (Client Quit) |
2024-06-14 20:43:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-14 20:44:09 +0200 | madhavanmi | (~madhavanm@2409:40f4:2005:6280:8000::) |
2024-06-14 20:44:13 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2024-06-14 20:44:36 +0200 | madhavanmi | (~madhavanm@2409:40f4:2005:6280:8000::) (Remote host closed the connection) |
2024-06-14 20:45:57 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
2024-06-14 20:46:10 +0200 | Square | (~Square@user/square) |
2024-06-14 20:46:10 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2024-06-14 20:48:09 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) |
2024-06-14 20:48:51 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-14 20:49:00 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) (Changing host) |
2024-06-14 20:49:00 +0200 | madhavanmi | (~madhavanm@user/madhavanmi) |
2024-06-14 20:49:05 +0200 | rosco | (~rosco@183.171.104.222) |
2024-06-14 20:49:11 +0200 | madhavanmi | (~madhavanm@user/madhavanmi) (Client Quit) |
2024-06-14 20:49:23 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) |
2024-06-14 20:49:48 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) (Client Quit) |
2024-06-14 20:49:58 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) |
2024-06-14 20:50:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 20:58:30 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) (Changing host) |
2024-06-14 20:58:30 +0200 | madhavanmi | (~madhavanm@user/madhavanmi) |
2024-06-14 20:58:53 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-06-14 21:06:17 +0200 | madhavanmi | (~madhavanm@user/madhavanmi) (Quit: Quit) |
2024-06-14 21:06:26 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) |
2024-06-14 21:07:11 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) (Changing host) |
2024-06-14 21:07:11 +0200 | madhavanmi | (~madhavanm@user/madhavanmi) |
2024-06-14 21:12:16 +0200 | madhavanmi | (~madhavanm@user/madhavanmi) (Quit: Quit) |
2024-06-14 21:22:44 +0200 | jinsun | (~jinsun@user/jinsun) |
2024-06-14 21:23:14 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) |
2024-06-14 21:23:50 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) (Remote host closed the connection) |
2024-06-14 21:29:32 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-06-14 21:32:29 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) |
2024-06-14 21:33:06 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) (Client Quit) |
2024-06-14 21:33:15 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) |
2024-06-14 21:33:57 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) (Changing host) |
2024-06-14 21:33:57 +0200 | madhavanmi | (~madhavanm@user/madhavanmi) |
2024-06-14 21:39:28 +0200 | madhavanmi | (~madhavanm@user/madhavanmi) (Quit: Quit) |
2024-06-14 21:39:39 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) |
2024-06-14 21:39:40 +0200 | madhavanmi | (~madhavanm@2409:40f4:100f:354f:8000::) (Remote host closed the connection) |
2024-06-14 21:44:04 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-14 21:44:14 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-06-14 21:44:34 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-14 21:46:42 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-06-14 21:50:58 +0200 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 256 seconds) |
2024-06-14 21:51:02 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
2024-06-14 21:52:45 +0200 | bliminse | (~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 +0200 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-06-14 22:04:11 +0200 | michalz | (~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 +0200 | ChaiTRex | (~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 +0200 | Feuermagier | (~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 +0200 | joeyadams | (~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 +0200 | dmj` | (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 +0200 | Guest3573 | (~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 +0200 | bitdex | (~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 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
2024-06-14 22:45:30 +0200 | Rembane | (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
2024-06-14 22:47:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 264 seconds) |
2024-06-14 22:47:13 +0200 | irssi | (~Rembane@user/Rembane) |
2024-06-14 22:48:51 +0200 | Guest3573 | (~sebastian@2601:143:4200:1050::1aab) (Ping timeout: 264 seconds) |
2024-06-14 22:49:04 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2024-06-14 22:52:58 +0200 | dcoutts | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
2024-06-14 22:53:10 +0200 | dcoutts_ | (~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 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
2024-06-14 23:03:04 +0200 | kimiamania | (~65804703@user/kimiamania) |
2024-06-14 23:06:12 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
2024-06-14 23:07:36 +0200 | michalz | (~michalz@185.246.207.193) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-06-14 23:08:54 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-06-14 23:09:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-06-14 23:09:23 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:fda7:d259:46d7:4571) (Remote host closed the connection) |
2024-06-14 23:13:03 +0200 | euleritian | (~euleritia@dynamic-176-006-003-156.176.6.pool.telefonica.de) |
2024-06-14 23:14:34 +0200 | euleritian | (~euleritia@dynamic-176-006-003-156.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-14 23:14:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-14 23:18:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-14 23:18:32 +0200 | pavonia | (~user@user/siracusa) |
2024-06-14 23:27:31 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-06-14 23:28:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-14 23:37:09 +0200 | irssi | Rembane |
2024-06-14 23:41:59 +0200 | dcoutts | (~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 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-14 23:51:23 +0200 | dcoutts | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |