| 2024-09-11 00:00:20 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 00:03:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 00:07:46 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-11 00:08:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 00:09:10 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-09-11 00:14:30 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-11 00:18:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 00:19:29 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-09-11 00:20:32 +0000 | <Axman6> | Curious why ghci is loading openblas, seems like an issue with their library path and their app (maybe hmatrix?) |
| 2024-09-11 00:21:38 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 248 seconds) |
| 2024-09-11 00:22:09 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-11 00:23:06 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-09-11 00:23:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 00:31:50 +0000 | <geekosaur> | or they have a ghci.ini somewhere that needs some work |
| 2024-09-11 00:34:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 00:39:00 +0000 | prolic_ | (~sasa@181.122.138.24) |
| 2024-09-11 00:40:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-11 00:46:22 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6b3:40cb:7f8c:5b02) (Ping timeout: 272 seconds) |
| 2024-09-11 00:50:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 00:55:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 01:01:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 01:04:09 +0000 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya re:purity-semantics monads! |
| 2024-09-11 01:04:49 +0000 | <haskellbridge> | <Bowuigi> Pure functions are just functions and impure ones are functions in some effect monad |
| 2024-09-11 01:06:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 01:11:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 01:21:39 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-11 01:21:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 01:23:03 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 2024-09-11 01:25:55 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 2024-09-11 01:26:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 01:31:20 +0000 | <prolic_> | I still struggle with effectful: https://paste.tomsmeding.com/TeGGFYcB |
| 2024-09-11 01:31:36 +0000 | <prolic_> | I posted the compile errors I have, hopefully someone can help me out |
| 2024-09-11 01:31:50 +0000 | <prolic_> | [exa]: thanks for your help so far by the way, you're awesome! |
| 2024-09-11 01:32:54 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-09-11 01:36:46 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-09-11 01:37:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 01:38:16 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-09-11 01:39:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-11 01:40:13 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-11 01:42:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 01:48:20 +0000 | troojg | (~troojg@user/troojg) |
| 2024-09-11 01:53:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 01:53:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 01:56:59 +0000 | neuroevolutus | (~neuroevol@146.70.211.88) (Ping timeout: 256 seconds) |
| 2024-09-11 01:58:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 02:00:01 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-09-11 02:01:09 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-09-11 02:04:59 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-11 02:06:13 +0000 | prolic_ | (~sasa@181.122.138.24) (Remote host closed the connection) |
| 2024-09-11 02:06:34 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-11 02:07:01 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-11 02:09:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 02:14:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 02:18:03 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-09-11 02:25:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 02:32:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 02:32:16 +0000 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-09-11 02:32:33 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-09-11 02:33:34 +0000 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: hm right, this makes sense, there's probably a way to make this 100% formal |
| 2024-09-11 02:35:14 +0000 | philopsos | (~caecilius@user/philopsos) (Client Quit) |
| 2024-09-11 02:37:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 02:39:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-11 02:43:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 02:46:50 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 02:47:16 +0000 | td_ | (~td@i5387093D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-09-11 02:47:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 02:49:07 +0000 | td_ | (~td@i53870927.versanet.de) |
| 2024-09-11 02:55:49 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-11 02:58:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 02:59:50 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Changing host) |
| 2024-09-11 02:59:50 +0000 | Angelz | (Angelz@user/angelz) |
| 2024-09-11 03:03:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 03:14:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 03:17:22 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 03:19:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 03:28:56 +0000 | troydm | (~troydm@user/troydm) |
| 2024-09-11 03:28:59 +0000 | troydm | (~troydm@user/troydm) (Client Quit) |
| 2024-09-11 03:29:31 +0000 | troydm | (~troydm@user/troydm) |
| 2024-09-11 03:29:58 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 03:30:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 03:30:43 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-11 03:31:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2024-09-11 03:32:06 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-11 03:32:17 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-11 03:34:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-11 03:34:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-11 03:35:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 03:40:15 +0000 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) (Read error: Connection reset by peer) |
| 2024-09-11 03:41:29 +0000 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) |
| 2024-09-11 03:52:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 03:57:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 04:07:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 04:11:11 +0000 | Square | (~Square@user/square) |
| 2024-09-11 04:11:28 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-09-11 04:12:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 04:17:40 +0000 | <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 04:18:50 +0000 | Square | (~Square@user/square) |
| 2024-09-11 04:19:04 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-09-11 04:20:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 04:23:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 04:29:51 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-09-11 04:32:41 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-09-11 04:33:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 04:34:53 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-11 04:43:30 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-11 04:44:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 04:48:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 04:50:13 +0000 | <Axman6> | I haven't, no |
| 2024-09-11 04:50:27 +0000 | michalz | (~michalz@185.246.207.200) |
| 2024-09-11 04:55:00 +0000 | Square2 | (~Square4@user/square) |
| 2024-09-11 04:57:53 +0000 | Squared | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2024-09-11 04:59:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 05:04:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 05:06:26 +0000 | DrachenMaus | (~dragonmau@user/dragonmaus) (Ping timeout: 248 seconds) |
| 2024-09-11 05:06:42 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) |
| 2024-09-11 05:09:46 +0000 | <jle`> | ah yeah, i wonder nwhat they are doing internally that's different than mine then |
| 2024-09-11 05:10:19 +0000 | <jle`> | or maybe they just don't have any need for Many |
| 2024-09-11 05:13:58 +0000 | <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 05:15:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 05:16:27 +0000 | <jle`> | oh i get the same stack overflow on the previous implementation |
| 2024-09-11 05:16:32 +0000 | <jle`> | that makes sense |
| 2024-09-11 05:18:50 +0000 | <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 05:20:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-11 05:22:39 +0000 | hgolden__ | (~hgolden@23.162.40.28) |
| 2024-09-11 05:23:37 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-11 05:24:37 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2024-09-11 05:25:28 +0000 | Me-me | (~me-me@user/me-me) (Remote host closed the connection) |
| 2024-09-11 05:25:40 +0000 | hgolden_ | (~hgolden@169.150.203.36) (Ping timeout: 272 seconds) |
| 2024-09-11 05:26:01 +0000 | Me-me | (~me-me@user/me-me) |
| 2024-09-11 05:26:05 +0000 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) |
| 2024-09-11 05:27:31 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-11 05:29:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 05:33:43 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-11 05:33:54 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 2024-09-11 05:34:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-11 05:34:46 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-09-11 05:42:50 +0000 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) (Read error: Connection reset by peer) |
| 2024-09-11 05:42:55 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 2024-09-11 05:43:10 +0000 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) |
| 2024-09-11 05:43:40 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-09-11 05:44:10 +0000 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-11 05:44:28 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-09-11 05:45:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 05:46:29 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-09-11 05:46:49 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-09-11 05:46:54 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 05:48:35 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb11c44b7bef60c813c4.dip0.t-ipconnect.de) |
| 2024-09-11 05:49:41 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 248 seconds) |
| 2024-09-11 05:50:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 05:51:17 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-11 05:51:51 +0000 | _________ | (~nobody@user/noodly) |
| 2024-09-11 05:53:23 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2024-09-11 05:53:57 +0000 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) |
| 2024-09-11 06:00:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 06:06:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 06:08:12 +0000 | <[exa]> | jle`: quite likely no better way, yes. Unless you somehow manage to smuggle totality proofs to typelevel functions or so |
| 2024-09-11 06:08:43 +0000 | <[exa]> | (hm actually what would happen if we restrict typelevel computation to to STLC?) |
| 2024-09-11 06:15:31 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-11 06:15:54 +0000 | <jle`> | honestly the better way to do this would be to use a typechecker plugin |
| 2024-09-11 06:16:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 06:17:28 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2024-09-11 06:20:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-11 06:21:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 06:21:54 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-09-11 06:22:18 +0000 | biberu | (~biberu@user/biberu) |
| 2024-09-11 06:30:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 06:31:02 +0000 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 2024-09-11 06:35:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 06:37:33 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 06:40:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 06:44:27 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-11 06:45:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 06:49:51 +0000 | xff0x | (~xff0x@om126167105108.29.openmobile.ne.jp) |
| 2024-09-11 06:51:53 +0000 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) (Ping timeout: 255 seconds) |
| 2024-09-11 06:52:52 +0000 | <[exa]> | jle`: yep |
| 2024-09-11 06:53:28 +0000 | Vq | (~vq@81-233-112-186-no600.tbcn.telia.com) |
| 2024-09-11 06:53:29 +0000 | <[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 06:53:48 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-11 06:55:10 +0000 | <[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 06:56:15 +0000 | <[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 06:56:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 06:56:43 +0000 | Guest23 | (~textual@198.144.166.50) |
| 2024-09-11 06:56:50 +0000 | Guest23 | (~textual@198.144.166.50) (Client Quit) |
| 2024-09-11 06:57:04 +0000 | meritamen | (~meritamen@user/meritamen) |
| 2024-09-11 06:57:18 +0000 | meritamen | (~meritamen@user/meritamen) (Client Quit) |
| 2024-09-11 06:58:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-11 06:59:52 +0000 | dehsou^ | (dehsou@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-09-11 07:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-11 07:00:39 +0000 | caconym | (~caconym@user/caconym) |
| 2024-09-11 07:01:15 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2024-09-11 07:02:14 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2024-09-11 07:04:10 +0000 | meritamen | (~meritamen@user/meritamen) |
| 2024-09-11 07:06:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 07:08:21 +0000 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-09-11 07:10:55 +0000 | michalz_ | (~michalz@185.246.207.218) |
| 2024-09-11 07:12:03 +0000 | michalz | (~michalz@185.246.207.200) (Ping timeout: 245 seconds) |
| 2024-09-11 07:17:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 07:19:16 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-11 07:21:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 07:28:52 +0000 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-11 07:29:04 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2024-09-11 07:29:09 +0000 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) |
| 2024-09-11 07:29:15 +0000 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) |
| 2024-09-11 07:29:29 +0000 | kmein | (~weechat@user/kmein) |
| 2024-09-11 07:29:36 +0000 | euleritian | (~euleritia@dynamic-176-003-045-182.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-11 07:29:54 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-11 07:31:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 07:31:33 +0000 | chele | (~chele@user/chele) |
| 2024-09-11 07:38:05 +0000 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-11 07:38:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-11 07:38:46 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-11 07:41:39 +0000 | fireking04 | (~user@2001-b011-2019-6341-0000-0000-0000-ffc5.dynamic-ip6.hinet.net) |
| 2024-09-11 07:43:14 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-11 07:48:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 07:53:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 07:56:47 +0000 | rosco | (~rosco@175.136.158.234) |
| 2024-09-11 07:57:35 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-11 07:57:59 +0000 | misterfish | (~misterfis@178.229.106.19) |
| 2024-09-11 07:59:30 +0000 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-11 08:00:06 +0000 | fireking04 | (~user@2001-b011-2019-6341-0000-0000-0000-ffc5.dynamic-ip6.hinet.net) (Remote host closed the connection) |
| 2024-09-11 08:00:29 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-11 08:02:51 +0000 | fr33domlover | (~fr33domlo@towards.vision) |
| 2024-09-11 08:03:00 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-09-11 08:04:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-11 08:04:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 08:09:41 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-09-11 08:10:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 08:10:07 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-11 08:11:54 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-09-11 08:12:07 +0000 | xff0x | (~xff0x@om126167105108.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2024-09-11 08:13:42 +0000 | misterfish | (~misterfis@178.229.106.19) (Ping timeout: 252 seconds) |
| 2024-09-11 08:15:36 +0000 | misterfish | (~misterfis@178.229.193.53) |
| 2024-09-11 08:16:10 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2024-09-11 08:17:20 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-11 08:17:25 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-11 08:19:09 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Quit: ash3en) |
| 2024-09-11 08:21:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 08:21:23 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-11 08:23:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-11 08:26:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 08:26:10 +0000 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 2024-09-11 08:26:17 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-11 08:27:40 +0000 | Vq | (~vq@81-233-112-186-no600.tbcn.telia.com) (Quit: server maintenance) |
| 2024-09-11 08:30:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 08:36:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 08:42:51 +0000 | h2t | (~h2t@user/h2t) (Ping timeout: 252 seconds) |
| 2024-09-11 08:43:54 +0000 | h2t | (~h2t@user/h2t) |
| 2024-09-11 08:51:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 08:54:04 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-09-11 08:56:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 08:59:48 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-09-11 09:03:59 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) |
| 2024-09-11 09:05:25 +0000 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) |
| 2024-09-11 09:07:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 09:11:19 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 09:11:39 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) |
| 2024-09-11 09:17:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-11 09:21:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-09-11 09:22:34 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-11 09:24:52 +0000 | misterfish | (~misterfis@178.229.193.53) (Ping timeout: 244 seconds) |
| 2024-09-11 09:28:06 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 09:28:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 09:28:26 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) |
| 2024-09-11 09:28:33 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 09:32:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-11 09:38:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-11 09:38:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-11 09:40:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 09:41:23 +0000 | rosco | (~rosco@175.136.158.234) (Read error: Connection reset by peer) |
| 2024-09-11 09:45:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-11 09:56:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 09:58:02 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-11 10:01:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-11 10:08:44 +0000 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-11 10:11:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 10:16:18 +0000 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-11 10:16:27 +0000 | <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 10:16:30 +0000 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 2024-09-11 10:16:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 10:18:54 +0000 | <tomsmeding> | bwe: it implements Real, so there is toRational |
| 2024-09-11 10:19:13 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-11 10:20:42 +0000 | <tomsmeding> | bwe: you could also go through discreteFromDense |
| 2024-09-11 10:21:05 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Ping timeout: 248 seconds) |
| 2024-09-11 10:21:24 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-11 10:22:06 +0000 | <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 10:22:39 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-11 10:25:36 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-11 10:26:35 +0000 | <tomsmeding> | *somehow |
| 2024-09-11 10:27:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 10:32:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 10:34:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 10:34:32 +0000 | <kuribas> | Yay, I'll be attending munihac with my hasqlator library. |
| 2024-09-11 10:34:45 +0000 | <kuribas> | Is anyone joining (with a project)? |
| 2024-09-11 10:39:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-11 10:43:32 +0000 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-09-11 10:46:18 +0000 | <mauke> | I might be there |
| 2024-09-11 10:48:17 +0000 | Guest24 | (~Guest75@145.82.201.114) |
| 2024-09-11 10:50:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 10:55:13 +0000 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-11 10:55:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-11 10:57:14 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-09-11 10:58:25 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) |
| 2024-09-11 11:05:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 11:11:11 +0000 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 2024-09-11 11:12:19 +0000 | danse-duet | (~danse-due@p200300f1c7013f01a8c332fffed4e5b1.dip0.t-ipconnect.de) |
| 2024-09-11 11:14:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 11:15:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 11:18:08 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-11 11:20:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 11:28:29 +0000 | <kuribas> | \o/ |
| 2024-09-11 11:29:42 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 11:31:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 11:34:14 +0000 | Guest24 | (~Guest75@145.82.201.114) (Quit: Client closed) |
| 2024-09-11 11:35:11 +0000 | <[exa]> | kuribas: wow cool, good job |
| 2024-09-11 11:36:37 +0000 | <bwe> | tomsmeding: so, it's now `fromRational . toRational` which works |
| 2024-09-11 11:38:26 +0000 | rosco | (~rosco@175.136.158.234) |
| 2024-09-11 11:39:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 11:40:09 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 11:40:28 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) |
| 2024-09-11 11:44:07 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Quit: ash3en) |
| 2024-09-11 11:51:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 11:53:41 +0000 | <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 11:55:34 +0000 | <kuribas> | I'll prepare some tasks that can be done independently, maybe sorted by difficulty. |
| 2024-09-11 11:55:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 11:56:14 +0000 | <Axman6> | tomsmeding: https://hackage.haskell.org/package/ghc-prim-0.11.0/docs/GHC-Prim.html#v:mutableByteArrayContents-… |
| 2024-09-11 11:56:20 +0000 | <[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 11:56:28 +0000 | <kuribas> | yeah |
| 2024-09-11 11:56:46 +0000 | <[exa]> | not even tasks, more like "try this" and "you can see the output ain't super nice here" |
| 2024-09-11 11:57:00 +0000 | <Axman6> | tomsmeding: the comment on that is pretty fun - be careful! |
| 2024-09-11 11:58:10 +0000 | <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 11:59:58 +0000 | <[exa]> | kuribas: then just show the working stuff and point at the borders |
| 2024-09-11 12:00:06 +0000 | <kuribas> | right |
| 2024-09-11 12:02:03 +0000 | <[exa]> | might get quite interesting for the postgres folks actually |
| 2024-09-11 12:02:45 +0000 | <kuribas> | yeah |
| 2024-09-11 12:03:15 +0000 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) |
| 2024-09-11 12:06:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 12:11:01 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-11 12:11:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-11 12:12:57 +0000 | danse-duet | (~danse-due@p200300f1c7013f01a8c332fffed4e5b1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-09-11 12:21:33 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 265 seconds) |
| 2024-09-11 12:22:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 12:27:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 12:30:48 +0000 | dextaa | (~DV@user/dextaa) (Ping timeout: 245 seconds) |
| 2024-09-11 12:33:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-11 12:36:14 +0000 | arahael | (~arahael@user/arahael) |
| 2024-09-11 12:36:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 12:40:40 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-11 12:41:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-11 12:52:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 12:55:16 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 12:57:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 12:59:09 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Client Quit) |
| 2024-09-11 13:04:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-11 13:07:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 13:08:47 +0000 | qhong_ | (~qhong@DN160vrd000d6k3g00000000009p.stanford.edu) |
| 2024-09-11 13:09:17 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-11 13:09:19 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2024-09-11 13:09:22 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-11 13:09:22 +0000 | finn_elija | FinnElija |
| 2024-09-11 13:11:41 +0000 | qhong | (~qhong@DN160vrd000d6k3g00000000009p.stanford.edu) (Ping timeout: 244 seconds) |
| 2024-09-11 13:12:11 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 13:13:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 13:16:37 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-11 13:20:28 +0000 | athan_ | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-11 13:20:42 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2024-09-11 13:22:19 +0000 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds) |
| 2024-09-11 13:23:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 13:25:01 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-11 13:26:51 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-11 13:28:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-11 13:36:59 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-11 13:37:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 13:39:29 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-11 13:42:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 13:42:17 +0000 | markasoftware | (~quassel@107.161.26.124) (Ping timeout: 255 seconds) |
| 2024-09-11 13:47:51 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-09-11 13:51:38 +0000 | <cheater> | yeah so |
| 2024-09-11 13:51:47 +0000 | <cheater> | apparently the discourse mods are out of their fucking mind |
| 2024-09-11 13:51:49 +0000 | euleritian | (~euleritia@dynamic-176-006-143-015.176.6.pool.telefonica.de) |
| 2024-09-11 13:52:49 +0000 | <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 13:53:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 13:53:35 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 13:54:25 +0000 | <cheater> | something about "all sex partners look the same with lights off" |
| 2024-09-11 13:55:22 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 13:56:58 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Client Quit) |
| 2024-09-11 13:58:42 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2024-09-11 13:59:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 14:00:12 +0000 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) (Read error: Connection reset by peer) |
| 2024-09-11 14:00:32 +0000 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) |
| 2024-09-11 14:01:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1903:4897:d97a:e08d) |
| 2024-09-11 14:05:53 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-11 14:06:15 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 14:10:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 14:10:49 +0000 | dextaa | (~DV@user/dextaa) |
| 2024-09-11 14:11:49 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-5018-77e6-bd54-34c8.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 14:13:00 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-1179-2469-ee93-f8a1.rev.sfr.net) |
| 2024-09-11 14:13:14 +0000 | markasoftware | (~quassel@107.161.26.124) |
| 2024-09-11 14:15:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 14:16:36 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-1179-2469-ee93-f8a1.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 14:17:19 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-7871-a500-40a6-2d1f.rev.sfr.net) |
| 2024-09-11 14:20:39 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3302-460a-7871-a500-40a6-2d1f.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 14:22:59 +0000 | athan_ | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-11 14:25:44 +0000 | danse-duet | (~danse-due@p578af18c.dip0.t-ipconnect.de) |
| 2024-09-11 14:26:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 14:31:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 14:35:55 +0000 | AlexZenon | (~alzenon@178.34.163.219) (Ping timeout: 265 seconds) |
| 2024-09-11 14:38:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 14:40:19 +0000 | AlexZenon | (~alzenon@178.34.163.219) |
| 2024-09-11 14:40:43 +0000 | euleritian | (~euleritia@dynamic-176-006-143-015.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-11 14:41:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-11 14:43:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 14:47:42 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-11 14:53:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 14:55:24 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 14:57:40 +0000 | markasoftware | (~quassel@107.161.26.124) (Ping timeout: 252 seconds) |
| 2024-09-11 14:58:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 15:01:18 +0000 | Vq | (~vq@81-233-112-186-no600.tbcn.telia.com) |
| 2024-09-11 15:05:56 +0000 | markasoftware | (~quassel@107.161.26.124) |
| 2024-09-11 15:07:33 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2024-09-11 15:09:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-11 15:09:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 15:09:45 +0000 | danse-duet | (~danse-due@p578af18c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-09-11 15:11:33 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 244 seconds) |
| 2024-09-11 15:11:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-11 15:12:21 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-11 15:12:42 +0000 | ski | (~ski@ext-1-196.eduroam.chalmers.se) (Ping timeout: 252 seconds) |
| 2024-09-11 15:13:54 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-11 15:14:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-11 15:15:05 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 15:15:26 +0000 | athan_ | (~athan@66.newark-18rh15rt.nj.dial-access.att.net) |
| 2024-09-11 15:17:03 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-11 15:25:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 15:26:00 +0000 | solution_ | (~Solution@78-131-74-9.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2024-09-11 15:27:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-11 15:30:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 15:30:24 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-09-11 15:32:52 +0000 | solution | (~Solution@92-249-193-143.pool.digikabel.hu) |
| 2024-09-11 15:36:02 +0000 | euleritian | (~euleritia@dynamic-176-006-143-015.176.6.pool.telefonica.de) |
| 2024-09-11 15:38:27 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-11 15:39:18 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-11 15:39:22 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 15:40:29 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 15:40:55 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Client Quit) |
| 2024-09-11 15:41:18 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-09-11 15:42:33 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-11 15:43:02 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-09-11 15:43:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-11 15:47:04 +0000 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2024-09-11 15:51:57 +0000 | ski | (~ski@ext-1-196.eduroam.chalmers.se) |
| 2024-09-11 15:55:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 16:00:22 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2024-09-11 16:00:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 16:01:49 +0000 | euleritian | (~euleritia@dynamic-176-006-143-015.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-09-11 16:01:56 +0000 | euleritian | (~euleritia@dynamic-176-001-128-065.176.1.pool.telefonica.de) |
| 2024-09-11 16:02:11 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2024-09-11 16:06:13 +0000 | euleritian | (~euleritia@dynamic-176-001-128-065.176.1.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-09-11 16:10:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 16:14:57 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-09-11 16:15:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 16:19:25 +0000 | <tomsmeding> | Axman6: I see! |
| 2024-09-11 16:19:55 +0000 | <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 16:20:06 +0000 | <tomsmeding> | then I have an Addr# without shenanigans |
| 2024-09-11 16:20:34 +0000 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-11 16:22:02 +0000 | solution | (~Solution@92-249-193-143.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 2024-09-11 16:22:11 +0000 | <tomsmeding> | hm, or just make the thing pinned |
| 2024-09-11 16:25:45 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-11 16:26:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 16:28:57 +0000 | solution | (~Solution@85-66-208-144.pool.digikabel.hu) |
| 2024-09-11 16:31:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 16:34:40 +0000 | yvan-sraka | (uid419690@id-419690.lymington.irccloud.com) |
| 2024-09-11 16:35:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 16:40:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 16:40:18 +0000 | biberu | (~biberu@user/biberu) |
| 2024-09-11 16:41:59 +0000 | athan_ | (~athan@66.newark-18rh15rt.nj.dial-access.att.net) (Remote host closed the connection) |
| 2024-09-11 16:42:24 +0000 | athan_ | (~athan@2600:382:1f11:1fbd:bfe5:5166:2d9b:b59f) |
| 2024-09-11 16:46:07 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-11 16:47:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 16:53:19 +0000 | spew | (~spew@201.141.99.170) |
| 2024-09-11 16:58:02 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-11 16:58:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 17:03:21 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-11 17:03:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 17:04:31 +0000 | euleritian | (~euleritia@dynamic-176-001-128-065.176.1.pool.telefonica.de) |
| 2024-09-11 17:13:59 +0000 | euleritian | (~euleritia@dynamic-176-001-128-065.176.1.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-09-11 17:14:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 17:16:42 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-11 17:17:45 +0000 | euleritian | (~euleritia@dynamic-176-003-047-184.176.3.pool.telefonica.de) |
| 2024-09-11 17:19:49 +0000 | hadronized | (~phaazon@2001:41d0:a:fe76::1) (Quit: WeeChat 4.0.4) |
| 2024-09-11 17:19:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 17:21:00 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-09-11 17:21:08 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3211-99b4-5166-4d78-0078-8027.rev.sfr.net) |
| 2024-09-11 17:24:05 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2024-09-11 17:24:45 +0000 | krei-se | (~krei-se@p57af29f0.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-09-11 17:28:05 +0000 | krei-se | (~krei-se@p57af29f0.dip0.t-ipconnect.de) |
| 2024-09-11 17:30:06 +0000 | meygerjos_ | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-11 17:31:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 17:32:24 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-11 17:33:48 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) |
| 2024-09-11 17:36:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-11 17:36:44 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 2024-09-11 17:41:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 17:41:27 +0000 | <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 17:42:08 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-11 17:42:16 +0000 | <geekosaur> | the csbal fi,le is easy, if you've been using a package.yaml then run hpack |
| 2024-09-11 17:42:31 +0000 | <geekosaur> | I don't think there's a tool to generate a cabal.project from a stack.yaml though |
| 2024-09-11 17:42:53 +0000 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 2024-09-11 17:42:57 +0000 | meygerjos_ | (~meygerjos@64.18.11.14) |
| 2024-09-11 17:43:03 +0000 | <lxsameer> | thanks |
| 2024-09-11 17:43:57 +0000 | prolic_ | (~sasa@181.122.138.24) |
| 2024-09-11 17:44:56 +0000 | lxsameer1 | (~lxsameer@Serene/lxsameer) |
| 2024-09-11 17:46:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-11 17:46:48 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-09-11 17:47:28 +0000 | meygerjos_ | (~meygerjos@64.18.11.14) (Ping timeout: 245 seconds) |
| 2024-09-11 17:48:34 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 2024-09-11 17:50:37 +0000 | euleritian | (~euleritia@dynamic-176-003-047-184.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-11 17:50:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-11 17:52:09 +0000 | lxsameer1 | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2024-09-11 17:54:16 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-11 17:57:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 18:01:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 18:03:41 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-11 18:04:23 +0000 | ash3en | (~Thunderbi@2a02:3100:7ee0:e000:8d70:4e2c:8253:c6c) (Quit: ash3en) |
| 2024-09-11 18:08:13 +0000 | john | (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) (Read error: Connection reset by peer) |
| 2024-09-11 18:09:15 +0000 | john | (~john@2406:5a00:241a:5600:9c80:3a96:1dbc:db32) |
| 2024-09-11 18:12:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 18:17:35 +0000 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-09-11 18:17:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 18:20:42 +0000 | <KicksonButt> | data Hand = Rock | Paper | Scissors |
| 2024-09-11 18:20:42 +0000 | <KicksonButt> | data Outcome = LeftWins | RightWins | Draw |
| 2024-09-11 18:20:42 +0000 | <KicksonButt> | playJoken :: Hand -> Hand -> Outcome |
| 2024-09-11 18:20:42 +0000 | <KicksonButt> | playJoken x x = Draw -- why does this fail, anyone? |
| 2024-09-11 18:21:37 +0000 | <[exa]> | KicksonButt: it's not prolog (unfortunately :D ) |
| 2024-09-11 18:22:18 +0000 | <KicksonButt> | I'm trying not to write |
| 2024-09-11 18:22:18 +0000 | <KicksonButt> | playJoken Rock Rock = Draw |
| 2024-09-11 18:22:18 +0000 | <KicksonButt> | playJoken Scissors Scissors = Draw... |
| 2024-09-11 18:22:25 +0000 | <[exa]> | pattern matching can bind a value, but the binding possibilities are quite limited |
| 2024-09-11 18:22:27 +0000 | athan_ | (~athan@2600:382:1f11:1fbd:bfe5:5166:2d9b:b59f) (Ping timeout: 276 seconds) |
| 2024-09-11 18:22:27 +0000 | <[exa]> | you can use guards |
| 2024-09-11 18:22:37 +0000 | <[exa]> | playJoken x y | x == y = Draw |
| 2024-09-11 18:23:31 +0000 | <KicksonButt> | Ok, I'll look into that |
| 2024-09-11 18:23:45 +0000 | <[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 18:24:14 +0000 | <[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 18:25:20 +0000 | <[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 18:26:18 +0000 | <[exa]> | (careful about the order of matches there though, this can go into infinite loop very easily :D ) |
| 2024-09-11 18:27:25 +0000 | <KicksonButt> | Thanks, it's pretty clear |
| 2024-09-11 18:28:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 18:30:46 +0000 | <[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 18:31:21 +0000 | <[exa]> | basically by deriving Enum (which is automatic) you can convert R/P/S to integer via `fromEnum` |
| 2024-09-11 18:31:45 +0000 | <[exa]> | and then you subtract the 2 values, `mod` 3, and you have 3 exact pattern matches |
| 2024-09-11 18:32:20 +0000 | <[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 18:33:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 18:39:27 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-09-11 18:39:58 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2024-09-11 18:42:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 18:45:06 +0000 | rvalue- | rvalue |
| 2024-09-11 18:45:06 +0000 | yvan-sraka | (uid419690@id-419690.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-11 18:45:59 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-09-11 18:46:24 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-11 18:47:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 18:51:43 +0000 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-09-11 18:52:32 +0000 | xal | (~xal@mx1.xal.systems) |
| 2024-09-11 18:58:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 19:00:05 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-11 19:00:43 +0000 | caconym | (~caconym@user/caconym) |
| 2024-09-11 19:02:01 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 19:02:12 +0000 | notzmv | (~daniel@user/notzmv) |
| 2024-09-11 19:02:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 19:03:20 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-09-11 19:03:57 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-09-11 19:04:43 +0000 | neuroevolutus | (~neuroevol@37.19.200.165) |
| 2024-09-11 19:08:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-11 19:13:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 19:18:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 19:20:58 +0000 | swamp_ | (~zmt00@user/zmt00) |
| 2024-09-11 19:21:30 +0000 | aljazmc | (~aljazmc@user/aljazmc) |
| 2024-09-11 19:23:03 +0000 | neuroevolutus | (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
| 2024-09-11 19:24:39 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-09-11 19:28:36 +0000 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-09-11 19:29:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 19:30:32 +0000 | xal | (~xal@mx1.xal.systems) |
| 2024-09-11 19:34:12 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-11 19:34:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 19:35:13 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-09-11 19:35:59 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-11 19:39:24 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-11 19:43:09 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-11 19:45:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 19:50:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-11 20:01:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 20:04:58 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2024-09-11 20:06:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 20:07:12 +0000 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) |
| 2024-09-11 20:11:21 +0000 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-09-11 20:16:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 20:19:52 +0000 | tv | (~tv@user/tv) (Quit: derp) |
| 2024-09-11 20:20:17 +0000 | tv | (~tv@user/tv) |
| 2024-09-11 20:20:34 +0000 | neuroevolutus | (~neuroevol@37.19.200.165) |
| 2024-09-11 20:21:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-11 20:32:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 20:37:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 20:39:17 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 248 seconds) |
| 2024-09-11 20:40:30 +0000 | prolic_ | (~sasa@181.122.138.24) (Ping timeout: 246 seconds) |
| 2024-09-11 20:42:27 +0000 | athan_ | (~athan@2600:382:1f2d:500e:9584:1417:5d03:4f28) |
| 2024-09-11 20:48:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 20:49:12 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-11 20:53:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 20:58:12 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-11 21:04:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 21:09:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-11 21:11:07 +0000 | michalz_ | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2024-09-11 21:12:34 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-09-11 21:13:33 +0000 | neuroevolutus | (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
| 2024-09-11 21:14:12 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-11 21:18:24 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-09-11 21:19:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-11 21:19:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 21:21:56 +0000 | Logio | (em@kapsi.fi) (Ping timeout: 252 seconds) |
| 2024-09-11 21:23:28 +0000 | thelo | (~thelo@103.163.151.51) |
| 2024-09-11 21:24:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 21:27:03 +0000 | Logio | (em@kapsi.fi) |
| 2024-09-11 21:29:21 +0000 | thelo | (~thelo@103.163.151.51) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-11 21:29:49 +0000 | erizo74 | (~erizo74@2604:3d09:647d:3200:c5a8:da7c:af0c:7a20) |
| 2024-09-11 21:30:05 +0000 | erizo74 | (~erizo74@2604:3d09:647d:3200:c5a8:da7c:af0c:7a20) () |
| 2024-09-11 21:31:13 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2024-09-11 21:35:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 21:37:26 +0000 | meygerjos | (~meygerjos@2600:480a:8256:8101:6ae2:f710:a83d:7d0b) |
| 2024-09-11 21:40:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 21:40:44 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-11 21:48:37 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-11 21:50:24 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2024-09-11 21:51:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 21:54:14 +0000 | aljazmc | (~aljazmc@user/aljazmc) (Quit: Leaving) |
| 2024-09-11 21:56:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 21:56:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 21:58:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-11 21:59:53 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-11 22:00:34 +0000 | meygerjos | (~meygerjos@2600:480a:8256:8101:6ae2:f710:a83d:7d0b) (Ping timeout: 260 seconds) |
| 2024-09-11 22:01:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-11 22:01:48 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-11 22:02:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-11 22:08:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-11 22:09:46 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-09-11 22:12:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 22:17:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-11 22:26:34 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-09-11 22:28:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 22:33:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 22:35:22 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-11 22:39:12 +0000 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2024-09-11 22:43:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 22:44:37 +0000 | Guest25 | (~Guest25@c-71-205-23-57.hsd1.co.comcast.net) |
| 2024-09-11 22:48:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 22:49:55 +0000 | notzmv | (~daniel@user/notzmv) |
| 2024-09-11 22:52:29 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb11c44b7bef60c813c4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-09-11 22:59:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 23:00:13 +0000 | Guest25 | (~Guest25@c-71-205-23-57.hsd1.co.comcast.net) (Quit: Client closed) |
| 2024-09-11 23:04:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 23:04:51 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-11 23:06:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 23:11:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-11 23:15:49 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3211-99b4-5166-4d78-0078-8027.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-11 23:20:07 +0000 | prolic_ | (~sasa@181.122.138.24) |
| 2024-09-11 23:22:04 +0000 | athan_ | (~athan@2600:382:1f2d:500e:9584:1417:5d03:4f28) (Ping timeout: 260 seconds) |
| 2024-09-11 23:22:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 23:27:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 23:27:57 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 276 seconds) |
| 2024-09-11 23:28:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 23:31:38 +0000 | andrewboltachev | (~andrey@178.141.31.176) |
| 2024-09-11 23:33:03 +0000 | <andrewboltachev> | Hello! How can I include (link?) a foriegn library, e.g. libpython3.12 into my Haskell project using Stack? I succeeded on adding /usr/include/python3.12 to include-dirs and this seems to be a next necessary step |
| 2024-09-11 23:33:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-11 23:33:41 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-09-11 23:35:39 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 2024-09-11 23:36:17 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1903:4897:d97a:e08d) (Ping timeout: 265 seconds) |
| 2024-09-11 23:41:38 +0000 | tv | (~tv@user/tv) (Ping timeout: 245 seconds) |
| 2024-09-11 23:43:13 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb116015685237b42de1.dip0.t-ipconnect.de) |
| 2024-09-11 23:43:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-11 23:47:01 +0000 | pavonia | (~user@user/siracusa) |
| 2024-09-11 23:49:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-11 23:56:55 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-11 23:59:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |