| 2024-09-11 00:00:12 +0200 | platao | (~mirc-rc@177.100.68.254) (Quit: pop!_os channel on irc #pop!_os) |
| 2024-09-11 00:01:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 00:02:44 +0200 | athan_ | (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) (Remote host closed the connection) |
| 2024-09-11 00:03:12 +0200 | athan_ | (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) |
| 2024-09-11 00:03:17 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-09-11 00:06:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-11 00:06:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 00:14:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-11 00:17:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 00:20:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2024-09-11 00:20:42 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-11 00:22:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 00:22:33 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-11 00:28:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 00:28:09 +0200 | hal | (~hal@209.35.83.180) |
| 2024-09-11 00:28:11 +0200 | <hal> | panic! (the 'impossible' happened) |
| 2024-09-11 00:28:11 +0200 | <hal> | GHC version 9.4.8: |
| 2024-09-11 00:28:12 +0200 | <hal> | loadArchive "C:\\ghcup\\msys64\\mingw64\\lib\\libopenblas.dll.a": failed |
| 2024-09-11 00:28:14 +0200 | <hal> | 1?!? |
| 2024-09-11 00:28:22 +0200 | <hal> | i cant load ghci |
| 2024-09-11 00:28:38 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-11 00:28:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-11 00:29:29 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2024-09-11 00:31:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-11 00:31:07 +0200 | hal | (~hal@209.35.83.180) (Client Quit) |
| 2024-09-11 00:32:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 00:33:59 +0200 | <geekosaur> | nice of them to stick around long enough for someone to see it… |
| 2024-09-11 00:34:59 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1871be317632822bda.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-11 00:39:18 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-11 00:39:22 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-11 00:42:58 +0200 | Squared | (~Square@user/square) |
| 2024-09-11 00:43:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 00:48:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 00:48:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 00:51:09 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-09-11 00:56:54 +0200 | prolic_ | (~sasa@181.122.138.24) (Ping timeout: 260 seconds) |
| 2024-09-11 00:59:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 01:01:25 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-09-11 01:02:03 +0200 | athan_ | (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) (Ping timeout: 245 seconds) |
| 2024-09-11 01:02:09 +0200 | athan | (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) |
| 2024-09-11 01:04:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 01:11:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-11 01:11:27 +0200 | athan | (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) (Ping timeout: 246 seconds) |
| 2024-09-11 01:13:08 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-11 01:15:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 01:16:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-11 01:20:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-11 01:21:25 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-11 01:24:40 +0200 | ACuriousMoose7 | (~ACuriousM@156.34.161.188) |
| 2024-09-11 01:25:54 +0200 | ACuriousMoose | (~ACuriousM@156.34.161.188) (Ping timeout: 260 seconds) |
| 2024-09-11 01:25:54 +0200 | ACuriousMoose7 | ACuriousMoose |
| 2024-09-11 01:31:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 01:31:29 +0200 | john2 | (~john@2406:5a00:241a:5600:31b8:c267:49dc:2202) (Read error: Connection reset by peer) |
| 2024-09-11 01:32:44 +0200 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) |
| 2024-09-11 01:34:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-11 01:36:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 01:41:29 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-09-11 01:42:40 +0200 | neuroevolutus | (~neuroevol@146.70.211.88) |
| 2024-09-11 01:45:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-11 01:45:20 +0200 | oo_miguel | (~Thunderbi@78.10.207.45) (Quit: oo_miguel) |
| 2024-09-11 01:47:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 01:49:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 01:52:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 01:52:09 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-09-11 01:52:28 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 245 seconds) |
| 2024-09-11 01:53:38 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-11 02:00:20 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 02:03:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 02:07:46 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-11 02:08:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 02:09:10 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-09-11 02:14:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-11 02:18:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 02:19:29 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-09-11 02:20:32 +0200 | <Axman6> | Curious why ghci is loading openblas, seems like an issue with their library path and their app (maybe hmatrix?) |
| 2024-09-11 02:21:38 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 248 seconds) |
| 2024-09-11 02:22:09 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-11 02:23:06 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-09-11 02:23:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 02:31:50 +0200 | <geekosaur> | or they have a ghci.ini somewhere that needs some work |
| 2024-09-11 02:34:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 02:39:00 +0200 | prolic_ | (~sasa@181.122.138.24) |
| 2024-09-11 02:40:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-11 02:46:22 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6b3:40cb:7f8c:5b02) (Ping timeout: 272 seconds) |
| 2024-09-11 02:50:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 02:55:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 03:01:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 03:04:09 +0200 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya re:purity-semantics monads! |
| 2024-09-11 03:04:49 +0200 | <haskellbridge> | <Bowuigi> Pure functions are just functions and impure ones are functions in some effect monad |
| 2024-09-11 03:06:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 03:11:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 03:21:39 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-11 03:21:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 03:23:03 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 2024-09-11 03:25:55 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 2024-09-11 03:26:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 03:31:20 +0200 | <prolic_> | I still struggle with effectful: https://paste.tomsmeding.com/TeGGFYcB |
| 2024-09-11 03:31:36 +0200 | <prolic_> | I posted the compile errors I have, hopefully someone can help me out |
| 2024-09-11 03:31:50 +0200 | <prolic_> | [exa]: thanks for your help so far by the way, you're awesome! |
| 2024-09-11 03:32:54 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-09-11 03:36:46 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-09-11 03:37:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 03:38:16 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-09-11 03:39:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-11 03:40:13 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-11 03:42:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 03:48:20 +0200 | troojg | (~troojg@user/troojg) |
| 2024-09-11 03:53:25 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 03:53:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 03:56:59 +0200 | neuroevolutus | (~neuroevol@146.70.211.88) (Ping timeout: 256 seconds) |
| 2024-09-11 03:58:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 04:00:01 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-09-11 04:01:09 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-09-11 04:04:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-11 04:06:13 +0200 | prolic_ | (~sasa@181.122.138.24) (Remote host closed the connection) |
| 2024-09-11 04:06:34 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-11 04:07:01 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-11 04:09:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 04:14:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 04:18:03 +0200 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-09-11 04:25:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 04:32:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 04:32:16 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-09-11 04:32:33 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-09-11 04:33:34 +0200 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: hm right, this makes sense, there's probably a way to make this 100% formal |
| 2024-09-11 04:35:14 +0200 | philopsos | (~caecilius@user/philopsos) (Client Quit) |
| 2024-09-11 04:37:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 04:39:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-11 04:43:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 04:46:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 04:47:16 +0200 | td_ | (~td@i5387093D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-09-11 04:47:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 04:49:07 +0200 | td_ | (~td@i53870927.versanet.de) |
| 2024-09-11 04:55:49 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-11 04:58:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 04:59:50 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Changing host) |
| 2024-09-11 04:59:50 +0200 | Angelz | (Angelz@user/angelz) |
| 2024-09-11 05:03:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 05:14:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 05:17:22 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 05:19:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 05:28:56 +0200 | troydm | (~troydm@user/troydm) |
| 2024-09-11 05:28:59 +0200 | troydm | (~troydm@user/troydm) (Client Quit) |
| 2024-09-11 05:29:31 +0200 | troydm | (~troydm@user/troydm) |
| 2024-09-11 05:29:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 05:30:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 05:30:43 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-11 05:31:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2024-09-11 05:32:06 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-11 05:32:17 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-11 05:34:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-11 05:34:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-11 05:35:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 05:40:15 +0200 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) (Read error: Connection reset by peer) |
| 2024-09-11 05:41:29 +0200 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) |
| 2024-09-11 05:52:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 05:57:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 06:07:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 06:11:11 +0200 | Square | (~Square@user/square) |
| 2024-09-11 06:11:28 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-09-11 06:12:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 06:17:40 +0200 | <jle`> | Axman6: have you used symparsec? i was trying to migrate over to it but it seems like it doesn't have 'many'. maybe i should just adapt my current implementation to UnconsSymbol |
| 2024-09-11 06:18:50 +0200 | Square | (~Square@user/square) |
| 2024-09-11 06:19:04 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-09-11 06:20:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 06:23:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 06:29:51 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-09-11 06:32:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-09-11 06:33:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 06:34:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-11 06:43:30 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-11 06:44:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 06:48:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 06:50:13 +0200 | <Axman6> | I haven't, no |
| 2024-09-11 06:50:27 +0200 | michalz | (~michalz@185.246.207.200) |
| 2024-09-11 06:55:00 +0200 | Square2 | (~Square4@user/square) |
| 2024-09-11 06:57:53 +0200 | Squared | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2024-09-11 06:59:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 07:04:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 07:06:26 +0200 | DrachenMaus | (~dragonmau@user/dragonmaus) (Ping timeout: 248 seconds) |
| 2024-09-11 07:06:42 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) |
| 2024-09-11 07:09:46 +0200 | <jle`> | ah yeah, i wonder nwhat they are doing internally that's different than mine then |
| 2024-09-11 07:10:19 +0200 | <jle`> | or maybe they just don't have any need for Many |
| 2024-09-11 07:13:58 +0200 | <jle`> | lol i converted it and i got a reduction stack overflow, i guess ghc isn't happy with long strings being uncons repeatedly |
| 2024-09-11 07:15:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 07:16:27 +0200 | <jle`> | oh i get the same stack overflow on the previous implementation |
| 2024-09-11 07:16:32 +0200 | <jle`> | that makes sense |
| 2024-09-11 07:18:50 +0200 | <jle`> | i guess that means there is just no way to process large typelits Symbols ? char-by-char? unless you explicitly disable the reduction stack check |
| 2024-09-11 07:20:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-11 07:22:39 +0200 | hgolden__ | (~hgolden@23.162.40.28) |
| 2024-09-11 07:23:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-11 07:24:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2024-09-11 07:25:28 +0200 | Me-me | (~me-me@user/me-me) (Remote host closed the connection) |
| 2024-09-11 07:25:40 +0200 | hgolden_ | (~hgolden@169.150.203.36) (Ping timeout: 272 seconds) |
| 2024-09-11 07:26:01 +0200 | Me-me | (~me-me@user/me-me) |
| 2024-09-11 07:26:05 +0200 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) |
| 2024-09-11 07:27:31 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-11 07:29:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 07:33:43 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-11 07:33:54 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 2024-09-11 07:34:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-11 07:34:46 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-09-11 07:42:50 +0200 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) (Read error: Connection reset by peer) |
| 2024-09-11 07:42:55 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 2024-09-11 07:43:10 +0200 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) |
| 2024-09-11 07:43:40 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-09-11 07:44:10 +0200 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-11 07:44:28 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-09-11 07:45:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 07:46:29 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-09-11 07:46:49 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-09-11 07:46:54 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 07:48:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb11c44b7bef60c813c4.dip0.t-ipconnect.de) |
| 2024-09-11 07:49:41 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 248 seconds) |
| 2024-09-11 07:50:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 07:51:17 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-11 07:51:51 +0200 | _________ | (~nobody@user/noodly) |
| 2024-09-11 07:53:23 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2024-09-11 07:53:57 +0200 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) |
| 2024-09-11 08:00:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 08:06:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 08:08:12 +0200 | <[exa]> | jle`: quite likely no better way, yes. Unless you somehow manage to smuggle totality proofs to typelevel functions or so |
| 2024-09-11 08:08:43 +0200 | <[exa]> | (hm actually what would happen if we restrict typelevel computation to to STLC?) |
| 2024-09-11 08:15:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-11 08:15:54 +0200 | <jle`> | honestly the better way to do this would be to use a typechecker plugin |
| 2024-09-11 08:16:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 08:17:28 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2024-09-11 08:20:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-11 08:21:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 08:21:54 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-09-11 08:22:18 +0200 | biberu | (~biberu@user/biberu) |
| 2024-09-11 08:30:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 08:31:02 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 2024-09-11 08:35:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 08:37:33 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 08:40:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 08:44:27 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-11 08:45:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 08:49:51 +0200 | xff0x | (~xff0x@om126167105108.29.openmobile.ne.jp) |
| 2024-09-11 08:51:53 +0200 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) (Ping timeout: 255 seconds) |
| 2024-09-11 08:52:52 +0200 | <[exa]> | jle`: yep |
| 2024-09-11 08:53:28 +0200 | Vq | (~vq@81-233-112-186-no600.tbcn.telia.com) |
| 2024-09-11 08:53:29 +0200 | <[exa]> | I was pondering upon this the other day and we're probably lacking a suitable "generic" way to embed metalanguages into languages |
| 2024-09-11 08:53:48 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-11 08:55:10 +0200 | <[exa]> | as in, almost all stuff that people tend to solve with whatever typelevel gymnastics are technically about using a "metalanguage" that translates stuff into constraints sensible to the lower language (plusminus some interplay between those) |
| 2024-09-11 08:56:15 +0200 | <[exa]> | I wish there was a very good separating interface, so that I can just smash in some random literal concatenator which I make in bash or so, if required |
| 2024-09-11 08:56:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 08:56:43 +0200 | Guest23 | (~textual@198.144.166.50) |
| 2024-09-11 08:56:50 +0200 | Guest23 | (~textual@198.144.166.50) (Client Quit) |
| 2024-09-11 08:57:04 +0200 | meritamen | (~meritamen@user/meritamen) |
| 2024-09-11 08:57:18 +0200 | meritamen | (~meritamen@user/meritamen) (Client Quit) |
| 2024-09-11 08:58:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-11 08:59:52 +0200 | dehsou^ | (dehsou@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-09-11 09:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-11 09:00:39 +0200 | caconym | (~caconym@user/caconym) |
| 2024-09-11 09:01:15 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2024-09-11 09:02:14 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2024-09-11 09:04:10 +0200 | meritamen | (~meritamen@user/meritamen) |
| 2024-09-11 09:06:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 09:08:21 +0200 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-09-11 09:10:55 +0200 | michalz_ | (~michalz@185.246.207.218) |
| 2024-09-11 09:12:03 +0200 | michalz | (~michalz@185.246.207.200) (Ping timeout: 245 seconds) |
| 2024-09-11 09:17:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 09:19:16 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-11 09:21:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 09:28:52 +0200 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-11 09:29:04 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2024-09-11 09:29:09 +0200 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) |
| 2024-09-11 09:29:15 +0200 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) |
| 2024-09-11 09:29:29 +0200 | kmein | (~weechat@user/kmein) |
| 2024-09-11 09:29:36 +0200 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-11 09:29:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-11 09:31:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 09:31:33 +0200 | chele | (~chele@user/chele) |
| 2024-09-11 09:38:05 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-11 09:38:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-11 09:38:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-11 09:41:39 +0200 | fireking04 | (~user@2001-b011-2019-6341-0000-0000-0000-ffc5.dynamic-ip6.hinet.net) |
| 2024-09-11 09:43:14 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-11 09:48:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 09:53:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 09:56:47 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-11 09:57:35 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-11 09:57:59 +0200 | misterfish | (~misterfis@178.229.106.19) |
| 2024-09-11 09:59:30 +0200 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-11 10:00:06 +0200 | fireking04 | (~user@2001-b011-2019-6341-0000-0000-0000-ffc5.dynamic-ip6.hinet.net) (Remote host closed the connection) |
| 2024-09-11 10:00:29 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-11 10:02:51 +0200 | fr33domlover | (~fr33domlo@towards.vision) |
| 2024-09-11 10:03:00 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-09-11 10:04:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-11 10:04:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 10:09:41 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-09-11 10:10:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 10:10:07 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-11 10:11:54 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-09-11 10:12:07 +0200 | xff0x | (~xff0x@om126167105108.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2024-09-11 10:13:42 +0200 | misterfish | (~misterfis@178.229.106.19) (Ping timeout: 252 seconds) |
| 2024-09-11 10:15:36 +0200 | misterfish | (~misterfis@178.229.193.53) |
| 2024-09-11 10:16:10 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2024-09-11 10:17:20 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-11 10:17:25 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-11 10:19:09 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Quit: ash3en) |
| 2024-09-11 10:21:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 10:21:23 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-11 10:23:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-11 10:26:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 10:26:10 +0200 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 2024-09-11 10:26:17 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-11 10:27:40 +0200 | Vq | (~vq@81-233-112-186-no600.tbcn.telia.com) (Quit: server maintenance) |
| 2024-09-11 10:30:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 10:36:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 10:42:51 +0200 | h2t | (~h2t@user/h2t) (Ping timeout: 252 seconds) |
| 2024-09-11 10:43:54 +0200 | h2t | (~h2t@user/h2t) |
| 2024-09-11 10:51:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 10:54:04 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-09-11 10:56:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 10:59:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-09-11 11:03:59 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) |
| 2024-09-11 11:05:25 +0200 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) |
| 2024-09-11 11:07:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 11:11:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 11:11:39 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) |
| 2024-09-11 11:17:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-11 11:21:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-09-11 11:22:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-11 11:24:52 +0200 | misterfish | (~misterfis@178.229.193.53) (Ping timeout: 244 seconds) |
| 2024-09-11 11:28:06 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 11:28:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 11:28:26 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) |
| 2024-09-11 11:28:33 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 11:32:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-11 11:38:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-11 11:38:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-11 11:40:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 11:41:23 +0200 | rosco | (~rosco@175.136.158.234) (Read error: Connection reset by peer) |
| 2024-09-11 11:45:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-11 11:56:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 11:58:02 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-11 12:01:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-11 12:08:44 +0200 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-11 12:11:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 12:16:18 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-11 12:16:27 +0200 | <bwe> | how can I convert from `Dense "EUR"` to Double? `denseToDecimal` takes the route via `Text` which I consider unnecessary. -- https://hackage.haskell.org/package/safe-money-0.9.1/docs/Money.html |
| 2024-09-11 12:16:30 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 2024-09-11 12:16:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 12:18:54 +0200 | <tomsmeding> | bwe: it implements Real, so there is toRational |
| 2024-09-11 12:19:13 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-11 12:20:42 +0200 | <tomsmeding> | bwe: you could also go through discreteFromDense |
| 2024-09-11 12:21:05 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Ping timeout: 248 seconds) |
| 2024-09-11 12:21:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-11 12:22:06 +0200 | <tomsmeding> | GHC.Exts has nice primops `atomicCasWord64Addr#` etc., which perform a compare-and-swap operation on an Addr#. However, I have a MutableByteArray#. Can I someone obtain the Addr# corresponding to a MutableByteArray#? |
| 2024-09-11 12:22:39 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-11 12:25:36 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-11 12:26:35 +0200 | <tomsmeding> | *somehow |
| 2024-09-11 12:27:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 12:32:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 12:34:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 12:34:32 +0200 | <kuribas> | Yay, I'll be attending munihac with my hasqlator library. |
| 2024-09-11 12:34:45 +0200 | <kuribas> | Is anyone joining (with a project)? |
| 2024-09-11 12:39:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-11 12:43:32 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-09-11 12:46:18 +0200 | <mauke> | I might be there |
| 2024-09-11 12:48:17 +0200 | Guest24 | (~Guest75@145.82.201.114) |
| 2024-09-11 12:50:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 12:55:13 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-11 12:55:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-11 12:57:14 +0200 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-09-11 12:58:25 +0200 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) |
| 2024-09-11 13:05:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 13:11:11 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 2024-09-11 13:12:19 +0200 | danse-duet | (~danse-due@p200300f1c7013f01a8c332fffed4e5b1.dip0.t-ipconnect.de) |
| 2024-09-11 13:14:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 13:15:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 13:18:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-11 13:20:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 13:28:29 +0200 | <kuribas> | \o/ |
| 2024-09-11 13:29:42 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 13:31:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 13:34:14 +0200 | Guest24 | (~Guest75@145.82.201.114) (Quit: Client closed) |
| 2024-09-11 13:35:11 +0200 | <[exa]> | kuribas: wow cool, good job |
| 2024-09-11 13:36:37 +0200 | <bwe> | tomsmeding: so, it's now `fromRational . toRational` which works |
| 2024-09-11 13:38:26 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-11 13:39:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 13:40:09 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 13:40:28 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) |
| 2024-09-11 13:44:07 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Quit: ash3en) |
| 2024-09-11 13:51:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 13:53:41 +0200 | <kuribas> | [exa]: wel, it's just a project, not a talk. But I'll still need to prepare for it. I am not sure what to expect from these project, if I am supposed to lead it? |
| 2024-09-11 13:55:34 +0200 | <kuribas> | I'll prepare some tasks that can be done independently, maybe sorted by difficulty. |
| 2024-09-11 13:55:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 13:56:14 +0200 | <Axman6> | tomsmeding: https://hackage.haskell.org/package/ghc-prim-0.11.0/docs/GHC-Prim.html#v:mutableByteArrayContents-… |
| 2024-09-11 13:56:20 +0200 | <[exa]> | kuribas: also I'd suggest preparing 1-2 no-brainer ones which serve as an introduction, so that people can try and get soaked in |
| 2024-09-11 13:56:28 +0200 | <kuribas> | yeah |
| 2024-09-11 13:56:46 +0200 | <[exa]> | not even tasks, more like "try this" and "you can see the output ain't super nice here" |
| 2024-09-11 13:57:00 +0200 | <Axman6> | tomsmeding: the comment on that is pretty fun - be careful! |
| 2024-09-11 13:58:10 +0200 | <kuribas> | [exa]: it's more like missing stuff. typeclasses to convert sql types are incomplete, clauses are missing, the postgresql version is nothing more than a stub... |
| 2024-09-11 13:59:58 +0200 | <[exa]> | kuribas: then just show the working stuff and point at the borders |
| 2024-09-11 14:00:06 +0200 | <kuribas> | right |
| 2024-09-11 14:02:03 +0200 | <[exa]> | might get quite interesting for the postgres folks actually |
| 2024-09-11 14:02:45 +0200 | <kuribas> | yeah |
| 2024-09-11 14:03:15 +0200 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) |
| 2024-09-11 14:06:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 14:11:01 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-11 14:11:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-11 14:12:57 +0200 | danse-duet | (~danse-due@p200300f1c7013f01a8c332fffed4e5b1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-09-11 14:21:33 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 265 seconds) |
| 2024-09-11 14:22:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 14:27:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 14:30:48 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 245 seconds) |
| 2024-09-11 14:33:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-11 14:36:14 +0200 | arahael | (~arahael@user/arahael) |
| 2024-09-11 14:36:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 14:40:40 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-11 14:41:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-11 14:52:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 14:55:16 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 14:57:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 14:59:09 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Client Quit) |
| 2024-09-11 15:04:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-11 15:07:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 15:08:47 +0200 | qhong_ | (~qhong@DN160vrd000d6k3g00000000009p.stanford.edu) |
| 2024-09-11 15:09:17 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-11 15:09:19 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2024-09-11 15:09:22 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-11 15:09:22 +0200 | finn_elija | FinnElija |
| 2024-09-11 15:11:41 +0200 | qhong | (~qhong@DN160vrd000d6k3g00000000009p.stanford.edu) (Ping timeout: 244 seconds) |
| 2024-09-11 15:12:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 15:13:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 15:16:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-11 15:20:28 +0200 | athan_ | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-11 15:20:42 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2024-09-11 15:22:19 +0200 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds) |
| 2024-09-11 15:23:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 15:25:01 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-11 15:26:51 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-11 15:28:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-11 15:36:59 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-11 15:37:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 15:39:29 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-11 15:42:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 15:42:17 +0200 | markasoftware | (~quassel@107.161.26.124) (Ping timeout: 255 seconds) |
| 2024-09-11 15:47:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-09-11 15:51:38 +0200 | <cheater> | yeah so |
| 2024-09-11 15:51:47 +0200 | <cheater> | apparently the discourse mods are out of their fucking mind |
| 2024-09-11 15:51:49 +0200 | euleritian | (~euleritia@dynamic-176-006-143-015.176.6.pool.telefonica.de) |
| 2024-09-11 15:52:49 +0200 | <cheater> | one of them ("f-a", francesco ariis) goes on a post hiding spree for no good reason, and asked why, sends me a dm with some sex-related proverb |
| 2024-09-11 15:53:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 15:53:35 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 15:54:25 +0200 | <cheater> | something about "all sex partners look the same with lights off" |
| 2024-09-11 15:55:22 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 15:56:58 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Client Quit) |
| 2024-09-11 15:58:42 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2024-09-11 15:59:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 16:00:12 +0200 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) (Read error: Connection reset by peer) |
| 2024-09-11 16:00:32 +0200 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) |
| 2024-09-11 16:01:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1903:4897:d97a:e08d) |
| 2024-09-11 16:05:53 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-11 16:06:15 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 16:10:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 16:10:49 +0200 | dextaa | (~DV@user/dextaa) |
| 2024-09-11 16:11:49 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 16:13:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-1179-2469-ee93-f8a1.rev.sfr.net) |
| 2024-09-11 16:13:14 +0200 | markasoftware | (~quassel@107.161.26.124) |
| 2024-09-11 16:15:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 16:16:36 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-1179-2469-ee93-f8a1.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 16:17:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-7871-a500-40a6-2d1f.rev.sfr.net) |
| 2024-09-11 16:20:39 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-7871-a500-40a6-2d1f.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 16:22:59 +0200 | athan_ | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-11 16:25:44 +0200 | danse-duet | (~danse-due@p578af18c.dip0.t-ipconnect.de) |
| 2024-09-11 16:26:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 16:31:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 16:35:55 +0200 | AlexZenon | (~alzenon@178.34.163.219) (Ping timeout: 265 seconds) |
| 2024-09-11 16:38:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 16:40:19 +0200 | AlexZenon | (~alzenon@178.34.163.219) |
| 2024-09-11 16:40:43 +0200 | euleritian | (~euleritia@dynamic-176-006-143-015.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-11 16:41:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-11 16:43:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 16:47:42 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-11 16:53:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 16:55:24 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 16:57:40 +0200 | markasoftware | (~quassel@107.161.26.124) (Ping timeout: 252 seconds) |
| 2024-09-11 16:58:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 17:01:18 +0200 | Vq | (~vq@81-233-112-186-no600.tbcn.telia.com) |
| 2024-09-11 17:05:56 +0200 | markasoftware | (~quassel@107.161.26.124) |
| 2024-09-11 17:07:33 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2024-09-11 17:09:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-11 17:09:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 17:09:45 +0200 | danse-duet | (~danse-due@p578af18c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-09-11 17:11:33 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 244 seconds) |
| 2024-09-11 17:11:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-11 17:12:21 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-11 17:12:42 +0200 | ski | (~ski@ext-1-196.eduroam.chalmers.se) (Ping timeout: 252 seconds) |
| 2024-09-11 17:13:54 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-11 17:14:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-11 17:15:05 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 17:15:26 +0200 | athan_ | (~athan@66.newark-18rh15rt.nj.dial-access.att.net) |
| 2024-09-11 17:17:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-11 17:25:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 17:26:00 +0200 | solution_ | (~Solution@78-131-74-9.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2024-09-11 17:27:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-11 17:30:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 17:30:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-09-11 17:32:52 +0200 | solution | (~Solution@92-249-193-143.pool.digikabel.hu) |
| 2024-09-11 17:36:02 +0200 | euleritian | (~euleritia@dynamic-176-006-143-015.176.6.pool.telefonica.de) |
| 2024-09-11 17:38:27 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-11 17:39:18 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 17:39:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 17:40:29 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 17:40:55 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Client Quit) |
| 2024-09-11 17:41:18 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-09-11 17:42:33 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-11 17:43:02 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-09-11 17:43:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-11 17:47:04 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2024-09-11 17:51:57 +0200 | ski | (~ski@ext-1-196.eduroam.chalmers.se) |
| 2024-09-11 17:55:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 18:00:22 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2024-09-11 18:00:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 18:01:49 +0200 | euleritian | (~euleritia@dynamic-176-006-143-015.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-09-11 18:01:56 +0200 | euleritian | (~euleritia@dynamic-176-001-128-065.176.1.pool.telefonica.de) |
| 2024-09-11 18:02:11 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2024-09-11 18:06:13 +0200 | euleritian | (~euleritia@dynamic-176-001-128-065.176.1.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-09-11 18:10:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 18:14:57 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-09-11 18:15:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 18:19:25 +0200 | <tomsmeding> | Axman6: I see! |
| 2024-09-11 18:19:55 +0200 | <tomsmeding> | I'm creating this MutableByteArray# myself, so upon reflection I should probably `malloc` and stuff that in a ForeignPtr with a finalizer |
| 2024-09-11 18:20:06 +0200 | <tomsmeding> | then I have an Addr# without shenanigans |
| 2024-09-11 18:20:34 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-11 18:22:02 +0200 | solution | (~Solution@92-249-193-143.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 2024-09-11 18:22:11 +0200 | <tomsmeding> | hm, or just make the thing pinned |
| 2024-09-11 18:25:45 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-11 18:26:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 18:28:57 +0200 | solution | (~Solution@85-66-208-144.pool.digikabel.hu) |
| 2024-09-11 18:31:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 18:34:40 +0200 | yvan-sraka | (uid419690@id-419690.lymington.irccloud.com) |
| 2024-09-11 18:35:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 18:40:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 18:40:18 +0200 | biberu | (~biberu@user/biberu) |
| 2024-09-11 18:41:59 +0200 | athan_ | (~athan@66.newark-18rh15rt.nj.dial-access.att.net) (Remote host closed the connection) |
| 2024-09-11 18:42:24 +0200 | athan_ | (~athan@2600:382:1f11:1fbd:bfe5:5166:2d9b:b59f) |
| 2024-09-11 18:46:07 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-11 18:47:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 18:53:19 +0200 | spew | (~spew@201.141.99.170) |
| 2024-09-11 18:58:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-11 18:58:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 19:03:21 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-11 19:03:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 19:04:31 +0200 | euleritian | (~euleritia@dynamic-176-001-128-065.176.1.pool.telefonica.de) |
| 2024-09-11 19:13:59 +0200 | euleritian | (~euleritia@dynamic-176-001-128-065.176.1.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-09-11 19:14:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 19:16:42 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-11 19:17:45 +0200 | euleritian | (~euleritia@dynamic-176-003-047-184.176.3.pool.telefonica.de) |
| 2024-09-11 19:19:49 +0200 | hadronized | (~phaazon@2001:41d0:a:fe76::1) (Quit: WeeChat 4.0.4) |
| 2024-09-11 19:19:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 19:21:00 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-09-11 19:21:08 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-99b4-5166-4d78-0078-8027.rev.sfr.net) |
| 2024-09-11 19:24:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2024-09-11 19:24:45 +0200 | krei-se | (~krei-se@p57af29f0.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-09-11 19:28:05 +0200 | krei-se | (~krei-se@p57af29f0.dip0.t-ipconnect.de) |
| 2024-09-11 19:30:06 +0200 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-11 19:31:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 19:32:24 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-11 19:33:48 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 19:36:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-11 19:36:44 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 2024-09-11 19:41:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 19:41:27 +0200 | <lxsameer> | do you know any tool to generate cabal configuration out of a stack configuration? I just want to convert the project to cabal, but I'm lazy soooooo :D |
| 2024-09-11 19:42:08 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-11 19:42:16 +0200 | <geekosaur> | the csbal fi,le is easy, if you've been using a package.yaml then run hpack |
| 2024-09-11 19:42:31 +0200 | <geekosaur> | I don't think there's a tool to generate a cabal.project from a stack.yaml though |
| 2024-09-11 19:42:53 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 2024-09-11 19:42:57 +0200 | meygerjos_ | (~meygerjos@64.18.11.14) |
| 2024-09-11 19:43:03 +0200 | <lxsameer> | thanks |
| 2024-09-11 19:43:57 +0200 | prolic_ | (~sasa@181.122.138.24) |
| 2024-09-11 19:44:56 +0200 | lxsameer1 | (~lxsameer@Serene/lxsameer) |
| 2024-09-11 19:46:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 19:46:48 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-09-11 19:47:28 +0200 | meygerjos_ | (~meygerjos@64.18.11.14) (Ping timeout: 245 seconds) |
| 2024-09-11 19:48:34 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 2024-09-11 19:50:37 +0200 | euleritian | (~euleritia@dynamic-176-003-047-184.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-11 19:50:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-11 19:52:09 +0200 | lxsameer1 | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2024-09-11 19:54:16 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-11 19:57:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 20:01:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 20:03:41 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-11 20:04:23 +0200 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Quit: ash3en) |
| 2024-09-11 20:08:13 +0200 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) (Read error: Connection reset by peer) |
| 2024-09-11 20:09:15 +0200 | john | (~john@2406:5a00:241a:5600:9c80:3a96:1dbc:db32) |
| 2024-09-11 20:12:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 20:17:35 +0200 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-09-11 20:17:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 20:20:42 +0200 | <KicksonButt> | data Hand = Rock | Paper | Scissors |
| 2024-09-11 20:20:42 +0200 | <KicksonButt> | data Outcome = LeftWins | RightWins | Draw |
| 2024-09-11 20:20:42 +0200 | <KicksonButt> | playJoken :: Hand -> Hand -> Outcome |
| 2024-09-11 20:20:42 +0200 | <KicksonButt> | playJoken x x = Draw -- why does this fail, anyone? |
| 2024-09-11 20:21:37 +0200 | <[exa]> | KicksonButt: it's not prolog (unfortunately :D ) |
| 2024-09-11 20:22:18 +0200 | <KicksonButt> | I'm trying not to write |
| 2024-09-11 20:22:18 +0200 | <KicksonButt> | playJoken Rock Rock = Draw |
| 2024-09-11 20:22:18 +0200 | <KicksonButt> | playJoken Scissors Scissors = Draw... |
| 2024-09-11 20:22:25 +0200 | <[exa]> | pattern matching can bind a value, but the binding possibilities are quite limited |
| 2024-09-11 20:22:27 +0200 | athan_ | (~athan@2600:382:1f11:1fbd:bfe5:5166:2d9b:b59f) (Ping timeout: 276 seconds) |
| 2024-09-11 20:22:27 +0200 | <[exa]> | you can use guards |
| 2024-09-11 20:22:37 +0200 | <[exa]> | playJoken x y | x == y = Draw |
| 2024-09-11 20:23:31 +0200 | <KicksonButt> | Ok, I'll look into that |
| 2024-09-11 20:23:45 +0200 | <[exa]> | the `| x == y` part serves as a "complex" pattern match here, so if it fails the patternmatching continues with the next alternative |
| 2024-09-11 20:24:14 +0200 | <[exa]> | (as opposed to if you wrote just `playJoken x y = something` which would "catch" all possibilities and all alternatives following below would get ignored) |
| 2024-09-11 20:25:20 +0200 | <[exa]> | also you can do stuff like `playJoken x y | (playJoken y x == LeftWins) = RightWins` to further reduce the amount of matches |
| 2024-09-11 20:26:18 +0200 | <[exa]> | (careful about the order of matches there though, this can go into infinite loop very easily :D ) |
| 2024-09-11 20:27:25 +0200 | <KicksonButt> | Thanks, it's pretty clear |
| 2024-09-11 20:28:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 20:30:46 +0200 | <[exa]> | KicksonButt: btw if you have the stuff ordered normally, there's the usual cyclic integeric way to solve this with Enum |
| 2024-09-11 20:31:21 +0200 | <[exa]> | basically by deriving Enum (which is automatic) you can convert R/P/S to integer via `fromEnum` |
| 2024-09-11 20:31:45 +0200 | <[exa]> | and then you subtract the 2 values, `mod` 3, and you have 3 exact pattern matches |
| 2024-09-11 20:32:20 +0200 | <[exa]> | aaaaaaaand that itself can be re-Enum'd back to the Outcome, if you also autoderive Enum for the outcome and reorder the data definition a little |
| 2024-09-11 20:33:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 20:39:27 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-09-11 20:39:58 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2024-09-11 20:42:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 20:45:06 +0200 | rvalue- | rvalue |
| 2024-09-11 20:45:06 +0200 | yvan-sraka | (uid419690@id-419690.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-11 20:45:59 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-09-11 20:46:24 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-11 20:47:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 20:51:43 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-09-11 20:52:32 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-09-11 20:58:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 21:00:05 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-11 21:00:43 +0200 | caconym | (~caconym@user/caconym) |
| 2024-09-11 21:02:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 21:02:12 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-09-11 21:02:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 21:03:20 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-09-11 21:03:57 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-09-11 21:04:43 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) |
| 2024-09-11 21:08:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-11 21:13:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 21:18:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 21:20:58 +0200 | swamp_ | (~zmt00@user/zmt00) |
| 2024-09-11 21:21:30 +0200 | aljazmc | (~aljazmc@user/aljazmc) |
| 2024-09-11 21:23:03 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
| 2024-09-11 21:24:39 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-09-11 21:28:36 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-09-11 21:29:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 21:30:32 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-09-11 21:34:12 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-11 21:34:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 21:35:13 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-09-11 21:35:59 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-11 21:39:24 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-11 21:43:09 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-11 21:45:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 21:50:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-11 22:01:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 22:04:58 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2024-09-11 22:06:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 22:07:12 +0200 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) |
| 2024-09-11 22:11:21 +0200 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-09-11 22:16:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 22:19:52 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2024-09-11 22:20:17 +0200 | tv | (~tv@user/tv) |
| 2024-09-11 22:20:34 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) |
| 2024-09-11 22:21:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-11 22:32:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 22:37:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 22:39:17 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 248 seconds) |
| 2024-09-11 22:40:30 +0200 | prolic_ | (~sasa@181.122.138.24) (Ping timeout: 246 seconds) |
| 2024-09-11 22:42:27 +0200 | athan_ | (~athan@2600:382:1f2d:500e:9584:1417:5d03:4f28) |
| 2024-09-11 22:48:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 22:49:12 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-11 22:53:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 22:58:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 23:04:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 23:09:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-11 23:11:07 +0200 | michalz_ | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2024-09-11 23:12:34 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-09-11 23:13:33 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
| 2024-09-11 23:14:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-11 23:18:24 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-09-11 23:19:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-11 23:19:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 23:21:56 +0200 | Logio | (em@kapsi.fi) (Ping timeout: 252 seconds) |
| 2024-09-11 23:23:28 +0200 | thelo | (~thelo@103.163.151.51) |
| 2024-09-11 23:24:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 23:27:03 +0200 | Logio | (em@kapsi.fi) |
| 2024-09-11 23:29:21 +0200 | thelo | (~thelo@103.163.151.51) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-11 23:29:49 +0200 | erizo74 | (~erizo74@2604:3d09:647d:3200:c5a8:da7c:af0c:7a20) |
| 2024-09-11 23:30:05 +0200 | erizo74 | (~erizo74@2604:3d09:647d:3200:c5a8:da7c:af0c:7a20) () |
| 2024-09-11 23:31:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2024-09-11 23:35:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 23:37:26 +0200 | meygerjos | (~meygerjos@2600:480a:8256:8101:6ae2:f710:a83d:7d0b) |
| 2024-09-11 23:40:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 23:40:44 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-11 23:48:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-11 23:50:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2024-09-11 23:51:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 23:54:14 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Quit: Leaving) |
| 2024-09-11 23:56:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 23:56:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 23:58:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 23:59:53 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |