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