| 2024-09-16 00:00:05 +0200 | <mauke> | no, that would be pointless |
| 2024-09-16 00:00:08 +0200 | <dolio> | It only breaks on some hypothetical Haskell compiler that doesn't exist. |
| 2024-09-16 00:01:56 +0200 | <mauke> | the (A+1).B.C issue has been known and fixed since 2018 |
| 2024-09-16 00:02:18 +0200 | <mauke> | it's just that the pvp.haskell.org website is unmaintained and any "fixes" are not deployed anywhere |
| 2024-09-16 00:02:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 00:03:10 +0200 | <haskellbridge> | <Jade> where is the proper spec writeup? |
| 2024-09-16 00:03:25 +0200 | <dolio> | Also, even on such a compiler, if you bump by +1, it's still enough to release a major version bump every second for 17 years. |
| 2024-09-16 00:03:54 +0200 | <mauke> | dolio: depends on where you start |
| 2024-09-16 00:04:43 +0200 | <monochrom> | What is the purpose of these critiques? |
| 2024-09-16 00:04:51 +0200 | <mauke> | technically, the ordering requirements are vacuous |
| 2024-09-16 00:06:12 +0200 | <mauke> | monochrom: me figuring out what exactly I am allowed to upload to hackage and getting feedback from others |
| 2024-09-16 00:07:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-16 00:07:36 +0200 | <monochrom> | OK, so if you don't want others to feedback hate from you, start by not going for 9-digit numbers. :) |
| 2024-09-16 00:08:00 +0200 | <mauke> | oh, 9 digits are not enough |
| 2024-09-16 00:08:06 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.4.2) |
| 2024-09-16 00:08:11 +0200 | <mauke> | to break real-world haskell compilers I probably need at least 20 digits |
| 2024-09-16 00:10:49 +0200 | <monochrom> | OK, I don't do "exactly", I don't always test the limits and patience of other people. I only do "safely" as long as it is large enough. |
| 2024-09-16 00:14:42 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2024-09-16 00:15:55 +0200 | <sclv> | pvp is maintained by the clc, there just hasn't been a redeploy of an official new version, they just keep patching the "beta" repo |
| 2024-09-16 00:16:54 +0200 | <monochrom> | :( |
| 2024-09-16 00:17:11 +0200 | <monochrom> | "fixed in HEAD" strikes again |
| 2024-09-16 00:19:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 00:21:54 +0200 | <mauke> | how's this for a paradox? https://github.com/haskell/pvp/issues/62 |
| 2024-09-16 00:22:36 +0200 | <monochrom> | haha |
| 2024-09-16 00:22:46 +0200 | <monochrom> | "wontfix" |
| 2024-09-16 00:23:40 +0200 | <monochrom> | how's using "⊥ = not ⊥" to resolve the paradox of "b = not b"? >:) |
| 2024-09-16 00:23:46 +0200 | <mauke> | even the haskell logo on pvp.haskell.org is broken :-( |
| 2024-09-16 00:24:14 +0200 | <monochrom> | and the paradox of "Type : Type" too |
| 2024-09-16 00:24:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 00:25:53 +0200 | mxs | (~mxs@user/mxs) |
| 2024-09-16 00:27:14 +0200 | <mauke> | btw, my original idea was to use Gödel numbering to smuggle a proper versioning system into PVP, but it looks like that won't work (or be required) |
| 2024-09-16 00:27:35 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-16 00:27:54 +0200 | <monochrom> | list of numbers > one single big fat Gödel number |
| 2024-09-16 00:28:04 +0200 | <monochrom> | err, even: |
| 2024-09-16 00:28:08 +0200 | <monochrom> | list of small numbers > one single big fat Gödel number |
| 2024-09-16 00:28:16 +0200 | mxs | (~mxs@user/mxs) (Client Quit) |
| 2024-09-16 00:29:25 +0200 | <mauke> | acme-bee-movie where the version number encodes the "bee movie" script in ascii |
| 2024-09-16 00:30:20 +0200 | <monochrom> | You know, if the number is too big, or the list way too long, it may break the hackage server altogether, formalities aside. |
| 2024-09-16 00:30:45 +0200 | esph | (~weechat@user/esph) |
| 2024-09-16 00:31:14 +0200 | <monochrom> | It is not very productive to be theoretically correct but pragmatically DoS hackage. |
| 2024-09-16 00:31:38 +0200 | <mauke> | if that breaks hackage, then they should have used a safer language to implement the server. like C. |
| 2024-09-16 00:32:09 +0200 | <mauke> | and no, I'm not going to actually test the limits |
| 2024-09-16 00:32:59 +0200 | mxs | (~mxs@user/mxs) |
| 2024-09-16 00:33:11 +0200 | <mauke> | but this seems like a very basic thing to secure against if all your spec says is "you can put an list of unbounded length here" |
| 2024-09-16 00:34:36 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:6b51:c8e0:844c:e9ca) (Ping timeout: 252 seconds) |
| 2024-09-16 00:36:59 +0200 | troojg | (~troojg@user/troojg) |
| 2024-09-16 00:37:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 00:38:54 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2024-09-16 00:40:10 +0200 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-16 00:42:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-16 00:44:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-16 00:45:13 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-09-16 00:45:35 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:6b51:c8e0:844c:e9ca) |
| 2024-09-16 00:49:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-16 00:50:25 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-16 00:53:27 +0200 | neuroevolutus | (~neuroevol@37.19.200.152) (Ping timeout: 256 seconds) |
| 2024-09-16 00:54:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 00:59:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 01:11:19 +0200 | <ski> | "A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions" by Paul Tarau (implementor of BinProlog) in 2008-08-06 at <https://arxiv.org/abs/0808.0754> talks about encoding finite sets of natural numbers as natural numbers, and hence also hereditarily finite sets (hereditary like in ZF) as natural numbers |
| 2024-09-16 01:11:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 01:11:45 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb77305c26d382fbfdca.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-16 01:15:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 01:18:33 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-16 01:19:48 +0200 | Squared | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-09-16 01:27:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 01:32:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 01:32:54 +0200 | <monochrom> | I have always heard of hereditary sets from math friends. Maybe this one will help me learn it. :) |
| 2024-09-16 01:33:20 +0200 | <monochrom> | "Set theory is too hard, let's go functional programming" |
| 2024-09-16 01:34:05 +0200 | <c_wraith> | set theory *is* surprisingly hard, for such a "simple" construction. |
| 2024-09-16 01:34:09 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-09-16 01:34:25 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-09-16 01:34:47 +0200 | <Leary> | tomsmeding: Re "every memory allocation is marked by a let expression in Core": for these purposes, isn't STG much better, since the other direction also holds? It would make a good addition to the playground. Unrelatedly, yahb2's GHC could do with an upgrade; I wanted Data.Foldable1 the other day but it was too old. |
| 2024-09-16 01:35:04 +0200 | <monochrom> | I am kind of less surprised after knowing about violin and piano music. |
| 2024-09-16 01:35:24 +0200 | <monochrom> | Violin is "just 4 strings". Then along came Paganini to ruin it for everyone. |
| 2024-09-16 01:35:55 +0200 | <monochrom> | Then piano made it trivial to be pitch-perfect. Then along came Chopin and Liszt to ruin it for everyone. |
| 2024-09-16 01:36:03 +0200 | <c_wraith> | If I'm gonna play a 4-string instrument, it's gonna be a ukulele |
| 2024-09-16 01:36:17 +0200 | <monochrom> | The general lesson is that there is always someone to find difficult things to do. |
| 2024-09-16 01:36:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-16 01:36:58 +0200 | <monochrom> | And then programming... You think you have designed a simple language, then someone will find a way to write a quine in it and confuse the hell out of everyone. |
| 2024-09-16 01:37:12 +0200 | <geekosaur> | don't forget tht Beethoven was told by his friends that nobody would ever be able to play his études |
| 2024-09-16 01:37:36 +0200 | <c_wraith> | I think I heard Conway wanted his game of Life to not be Turing complete. Oops. |
| 2024-09-16 01:37:39 +0200 | <monochrom> | "Chopin enters the chat" :) |
| 2024-09-16 01:39:37 +0200 | <EvanR> | haskell is basically beethoven |
| 2024-09-16 01:39:45 +0200 | Clint | squints. |
| 2024-09-16 01:39:48 +0200 | <EvanR> | lol |
| 2024-09-16 01:39:55 +0200 | <monochrom> | Leary: Both STG and -ddump-prep (last core stage before STG) satisfies the iff property. |
| 2024-09-16 01:40:10 +0200 | <EvanR> | unless you use IO |
| 2024-09-16 01:40:19 +0200 | <monochrom> | (and "prep" means "prepare for STG") |
| 2024-09-16 01:40:31 +0200 | <EvanR> | then it becomes the movie about the dog beethoven |
| 2024-09-16 01:40:42 +0200 | <monochrom> | haha |
| 2024-09-16 01:41:14 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-16 01:41:41 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-16 01:42:14 +0200 | pavonia | (~user@user/siracusa) |
| 2024-09-16 01:43:12 +0200 | <monochrom> | Then again the STG also goes through some changes, so maybe dump-prep is not the final story either. |
| 2024-09-16 01:43:52 +0200 | <monochrom> | I prefer Core just because I read Core better than I read STG. :) |
| 2024-09-16 01:44:53 +0200 | geekosaur | still wishes STGi were far enough along that it could be hooked into the playground |
| 2024-09-16 01:45:12 +0200 | <Leary> | monochrom: I see, I didn't know that. And yeah, there's still optimisation at both the STG and CMM level, so neither can really be the final story. Core /is/ easier to read for most. Wonder what flags the playground actually uses... |
| 2024-09-16 01:45:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 01:48:08 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-16 01:49:54 +0200 | <monochrom> | I don't know for sure, but I bet -ddump-simpl because that's what everyone has been telling each other about. |
| 2024-09-16 01:50:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-16 01:50:24 +0200 | <geekosaur> | and probably -dsuppress-uniques and the other related flag and I don't recall |
| 2024-09-16 01:51:11 +0200 | <monochrom> | The playground doesn't seem to add suppress-unique or any other suppress-* |
| 2024-09-16 01:51:21 +0200 | <geekosaur> | oh, these days it's -dsuppress-all\ |
| 2024-09-16 01:51:49 +0200 | <monochrom> | E.g., I see "ds_dvf", I also see too may types and "Occ=LoopBreaker" etc etc |
| 2024-09-16 01:52:04 +0200 | <monochrom> | and GHC.Types.[] |
| 2024-09-16 01:53:32 +0200 | <geekosaur> | (but do you see GHC.Types.Any?) |
| 2024-09-16 01:53:32 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Read error: Connection reset by peer) |
| 2024-09-16 01:53:40 +0200 | <geekosaur> | wtf just happened |
| 2024-09-16 01:53:46 +0200 | <geekosaur> | my network shut down on me |
| 2024-09-16 01:54:53 +0200 | <monochrom> | I think I haven't. How do I normally get GHC.Types.Any? Like "print []"? |
| 2024-09-16 01:55:00 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-16 01:55:00 +0200 | ChanServ | +v haskellbridge |
| 2024-09-16 01:55:00 +0200 | <geekosaur> | yes |
| 2024-09-16 02:00:51 +0200 | <monochrom> | Without ExtendedDefaultRules, that's an ambiguous type error. With ExtendedDefaultRules, () is chosen. I still don't know how to get Any. |
| 2024-09-16 02:02:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 02:05:04 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-09-16 02:05:24 +0200 | <geekosaur> | oh, looks like it went away in recent versions. (more correctly, it's a type family instead of a type, so you won't see it) |
| 2024-09-16 02:06:26 +0200 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:e8aa:5287:babe:ddb5) |
| 2024-09-16 02:06:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-16 02:08:01 +0200 | <geekosaur> | and yes, in simple cases it won't get used, so the `print []` example won't work anyway. it's the complex cases (of which I have none on tap; they're somewhat rare) where Any rears (reared?) its ugly head |
| 2024-09-16 02:08:45 +0200 | <monochrom> | Yeah I saw Any some years ago too. |
| 2024-09-16 02:10:57 +0200 | <geekosaur> | yeh, I tried some things in yahb2 and can't get it |
| 2024-09-16 02:11:11 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-16 02:15:24 +0200 | <monochrom> | OK found it, it's -ddump-simpl : https://github.com/haskell/play-haskell/blob/master/play-haskell-worker/bwrap-files/stage-3.sh#L41 |
| 2024-09-16 02:17:19 +0200 | <monochrom> | (For /builders/build-*.sh, it's possibly generated by https://github.com/haskell/play-haskell/blob/master/play-haskell-worker/bwrap-files/mkbuildscript.sh ) |
| 2024-09-16 02:17:41 +0200 | <monochrom> | (So wait, there is such a thing as "ghcup run"??!!! haha) |
| 2024-09-16 02:18:32 +0200 | <haskellbridge> | <maerwald> Yes |
| 2024-09-16 02:18:40 +0200 | <monochrom> | Oh interesting, "ghcup run foo" runs foo under additions to PATH so you don't have to permanently add things to PATH if you don't want to. |
| 2024-09-16 02:18:41 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-16 02:19:11 +0200 | <geekosaur> | ghcup run --ghc $(API_GHC) -- print-api --package-name Cabal-syntax >Cabal-syntax-$(API_GHC).api |
| 2024-09-16 02:19:24 +0200 | <haskellbridge> | <maerwald> This is heavily used in the vscode extension too |
| 2024-09-16 02:19:31 +0200 | <geekosaur> | (from a work-in-progress) |
| 2024-09-16 02:19:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 02:19:37 +0200 | <haskellbridge> | <maerwald> To emulate stack like behavior |
| 2024-09-16 02:24:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-16 02:24:59 +0200 | <EvanR> | see ghcup run |
| 2024-09-16 02:25:02 +0200 | <EvanR> | run ghcup run |
| 2024-09-16 02:35:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 02:40:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-16 02:50:51 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-16 02:53:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 02:57:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 03:09:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 03:14:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 03:18:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-16 03:21:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-16 03:24:50 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-09-16 03:26:44 +0200 | hueso | (~root@user/hueso) |
| 2024-09-16 03:26:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-16 03:27:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 03:32:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 03:36:07 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-16 03:39:25 +0200 | caconym8 | (~caconym@user/caconym) |
| 2024-09-16 03:41:19 +0200 | caconym | (~caconym@user/caconym) (Ping timeout: 260 seconds) |
| 2024-09-16 03:41:19 +0200 | caconym8 | caconym |
| 2024-09-16 03:42:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 03:45:16 +0200 | synchromesh | (~john@2406:5a00:241a:5600:71fc:6cae:c163:498e) (Quit: WeeChat 4.0.5) |
| 2024-09-16 03:47:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-16 03:56:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 03:58:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-16 04:01:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-16 04:03:05 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-16 04:05:20 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 2024-09-16 04:14:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 04:14:36 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-09-16 04:17:32 +0200 | synchromesh | (~john@2406:5a00:241a:5600:1882:dbb1:c93f:cb96) |
| 2024-09-16 04:18:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-16 04:25:37 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-16 04:31:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 04:32:17 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-16 04:36:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-16 04:40:53 +0200 | td_ | (~td@i5387091C.versanet.de) (Ping timeout: 252 seconds) |
| 2024-09-16 04:42:43 +0200 | td_ | (~td@i53870903.versanet.de) |
| 2024-09-16 04:47:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 04:51:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 05:04:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 05:08:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 05:22:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 05:23:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-16 05:26:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 05:29:14 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) |
| 2024-09-16 05:29:15 +0200 | <Leary> | I'm late, but re -Wall: yes it errs on the side of being too loud, because it /should/. Blacklisting the few warnings you don't care about is easier than whitelisting all the ones you do---just turn off the noise as it reaches you. |
| 2024-09-16 05:32:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2024-09-16 05:34:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-16 05:38:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 05:42:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-16 05:45:23 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-16 05:54:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 05:56:13 +0200 | michalz | (~michalz@185.246.207.222) |
| 2024-09-16 05:57:45 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
| 2024-09-16 05:59:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-16 06:06:06 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-16 06:07:15 +0200 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:e8aa:5287:babe:ddb5) (Quit: WeeChat 4.4.2) |
| 2024-09-16 06:10:54 +0200 | neuroevolutus | (~neuroevol@37.19.200.139) |
| 2024-09-16 06:11:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 06:11:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-16 06:14:29 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-09-16 06:14:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-09-16 06:15:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-16 06:16:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-16 06:18:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-09-16 06:22:17 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-16 06:23:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-16 06:23:51 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 246 seconds) |
| 2024-09-16 06:29:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 06:33:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 06:43:37 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-16 06:45:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-16 06:46:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 06:49:58 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-16 06:50:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-16 06:50:50 +0200 | dolio | (~dolio@130.44.140.168) |
| 2024-09-16 07:01:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 07:03:41 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-16 07:06:05 +0200 | billchenchina- | (~billchenc@103.152.35.21) |
| 2024-09-16 07:06:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 07:06:48 +0200 | dolio | (~dolio@130.44.140.168) (Ping timeout: 244 seconds) |
| 2024-09-16 07:08:32 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-16 07:13:55 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-16 07:17:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 07:21:34 +0200 | nek0 | (~nek0@user/nek0) |
| 2024-09-16 07:21:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-16 07:22:41 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-09-16 07:27:14 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2024-09-16 07:28:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-09-16 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-16 07:30:38 +0200 | euleritian | (~euleritia@dynamic-176-006-133-045.176.6.pool.telefonica.de) |
| 2024-09-16 07:35:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 07:36:21 +0200 | neuroevolutus | (~neuroevol@37.19.200.139) (Ping timeout: 256 seconds) |
| 2024-09-16 07:43:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-16 07:47:15 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb571c92fe2f1c989eb0.dip0.t-ipconnect.de) |
| 2024-09-16 07:48:54 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:1413:617c:6ead:3f73) (Ping timeout: 246 seconds) |
| 2024-09-16 07:49:56 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:6c44:9933:28ff:d264) |
| 2024-09-16 07:56:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 08:01:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 08:01:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-16 08:04:17 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2024-09-16 08:07:36 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-09-16 08:09:35 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-09-16 08:11:50 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-16 08:12:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 08:16:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-16 08:23:01 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-16 08:25:15 +0200 | synchromesh | (~john@2406:5a00:241a:5600:1882:dbb1:c93f:cb96) (Read error: Connection reset by peer) |
| 2024-09-16 08:26:08 +0200 | synchromesh | (~john@2406:5a00:241a:5600:1882:dbb1:c93f:cb96) |
| 2024-09-16 08:30:05 +0200 | synchrom1 | (~john@2406:5a00:241a:5600:1882:dbb1:c93f:cb96) |
| 2024-09-16 08:30:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 08:31:20 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-16 08:32:23 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-16 08:32:33 +0200 | synchromesh | (~john@2406:5a00:241a:5600:1882:dbb1:c93f:cb96) (Ping timeout: 252 seconds) |
| 2024-09-16 08:33:07 +0200 | synchromesh | (~john@203.94.52.182) |
| 2024-09-16 08:33:44 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-09-16 08:34:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-16 08:35:29 +0200 | synchrom1 | (~john@2406:5a00:241a:5600:1882:dbb1:c93f:cb96) (Ping timeout: 260 seconds) |
| 2024-09-16 08:40:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 08:41:39 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-16 08:45:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 08:46:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-16 08:47:29 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-16 08:53:31 +0200 | euleritian | (~euleritia@dynamic-176-006-133-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-16 08:53:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-16 08:53:59 +0200 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-16 08:56:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-16 09:00:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-16 09:00:24 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-16 09:00:43 +0200 | caconym8 | (~caconym@user/caconym) |
| 2024-09-16 09:00:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-16 09:01:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 09:01:54 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-09-16 09:03:09 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-16 09:11:07 +0200 | <tomsmeding> | Leary: maybe STG is better! I don't actually know enough about that space to say much about it, lol. |
| 2024-09-16 09:12:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 09:13:51 +0200 | <tomsmeding> | Leary: what would be the right flag? -ddump-stg-from-core, -ddump-stg-final, or yet something else? |
| 2024-09-16 09:14:33 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-16 09:15:42 +0200 | <tomsmeding> | Leary: yahb2 is on the currently ghcup-recommended GHC version: 9.4.8 :p |
| 2024-09-16 09:15:49 +0200 | <tomsmeding> | but why the hell not, let's upgrade |
| 2024-09-16 09:16:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 09:20:42 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-16 09:24:10 +0200 | <tomsmeding> | monochrom: thanks for the additional context about stg vs core |
| 2024-09-16 09:24:42 +0200 | <tomsmeding> | and you did find the Core flags, indeed :) |
| 2024-09-16 09:24:53 +0200 | <tomsmeding> | the build scripts are indeed generated by mkbuildscript.sh |
| 2024-09-16 09:25:03 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
| 2024-09-16 09:25:54 +0200 | <tomsmeding> | monochrom: if you're curious, here is one such generated script https://tomsmeding.com/vang/JvLCi6/build-9.4.8.sh |
| 2024-09-16 09:26:53 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2024-09-16 09:27:05 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) |
| 2024-09-16 09:27:05 +0200 | ChanServ | +v yahb2 |
| 2024-09-16 09:27:32 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-09-16 09:29:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 09:30:56 +0200 | kuribas | (~user@ptr-17d51ep30d5d4whlz0c.18120a2.ip6.access.telenet.be) |
| 2024-09-16 09:31:09 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-16 09:33:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 09:33:42 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-16 09:34:15 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-16 09:39:10 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-09-16 09:39:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-16 09:40:46 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-09-16 09:40:54 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2024-09-16 09:41:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 09:41:06 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) |
| 2024-09-16 09:41:06 +0200 | ChanServ | +v yahb2 |
| 2024-09-16 09:41:10 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-16 09:41:28 +0200 | <tomsmeding> | % System.Process.system "ghci --version" -- Leary |
| 2024-09-16 09:41:29 +0200 | <yahb2> | The Glorious Glasgow Haskell Compilation System, version 9.10.1 ; ExitSuccess |
| 2024-09-16 09:44:16 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) |
| 2024-09-16 09:45:06 +0200 | <JuanDaugherty> | expeditious |
| 2024-09-16 09:45:38 +0200 | CiaoSen | (~Jura@2a05:5800:24c:f900:ca4b:d6ff:fec1:99da) |
| 2024-09-16 09:45:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 09:46:23 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-16 09:56:56 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-16 09:57:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 10:02:37 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-16 10:04:22 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-16 10:04:59 +0200 | mari-estel | (~mari-este@p578af18c.dip0.t-ipconnect.de) |
| 2024-09-16 10:05:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-16 10:08:00 +0200 | turlando | (~turlando@user/turlando) () |
| 2024-09-16 10:09:28 +0200 | turlando | (~turlando@user/turlando) |
| 2024-09-16 10:16:27 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2024-09-16 10:17:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 10:18:38 +0200 | turlando | (~turlando@user/turlando) |
| 2024-09-16 10:19:11 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-16 10:21:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 10:24:41 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-09-16 10:30:54 +0200 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
| 2024-09-16 10:32:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 10:33:49 +0200 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Changing host) |
| 2024-09-16 10:33:49 +0200 | druchan | (uid567859@user/druchan) |
| 2024-09-16 10:33:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-16 10:34:19 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 264 seconds) |
| 2024-09-16 10:37:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-16 10:42:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 10:44:45 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 265 seconds) |
| 2024-09-16 10:46:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-16 10:49:01 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-16 10:51:51 +0200 | ash3en1 | (~Thunderbi@193.32.248.167) |
| 2024-09-16 10:53:41 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 248 seconds) |
| 2024-09-16 10:56:29 +0200 | ash3en1 | (~Thunderbi@193.32.248.167) (Ping timeout: 260 seconds) |
| 2024-09-16 10:59:22 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-16 11:00:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 11:02:58 +0200 | ash3en | (~Thunderbi@193.32.248.167) |
| 2024-09-16 11:04:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-16 11:06:12 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-09-16 11:16:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 11:17:59 +0200 | hiecaq` | (~hiecaq@user/hiecaq) |
| 2024-09-16 11:18:03 +0200 | hiecaq` | (~hiecaq@user/hiecaq) (Read error: Connection reset by peer) |
| 2024-09-16 11:18:03 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Read error: Connection reset by peer) |
| 2024-09-16 11:18:18 +0200 | Square2 | (~Square4@user/square) |
| 2024-09-16 11:18:56 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-09-16 11:24:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 11:24:57 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 276 seconds) |
| 2024-09-16 11:30:11 +0200 | kuribas | (~user@ptr-17d51ep30d5d4whlz0c.18120a2.ip6.access.telenet.be) (Ping timeout: 265 seconds) |
| 2024-09-16 11:32:46 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-16 11:33:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-16 11:36:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-16 11:37:15 +0200 | <haskellbridge> | <maerwald> tomsmeding: because GHC 9.6 is broken on FreeBSD |
| 2024-09-16 11:37:18 +0200 | <haskellbridge> | <maerwald> that's the main reason |
| 2024-09-16 11:37:37 +0200 | <haskellbridge> | <maerwald> 'recommended' is one of the few leverages I have over GHC developers... and I make use of it. |
| 2024-09-16 11:38:24 +0200 | <haskellbridge> | <maerwald> otherwise I'll be dragged through the mud and accept all regressions :P |
| 2024-09-16 11:38:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 11:40:29 +0200 | euleritian | (~euleritia@dynamic-176-004-237-218.176.4.pool.telefonica.de) |
| 2024-09-16 11:47:03 +0200 | mari-estel | (~mari-este@p578af18c.dip0.t-ipconnect.de) () |
| 2024-09-16 11:47:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 11:48:02 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-09-16 11:51:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-16 11:52:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-16 11:55:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-16 11:55:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 11:56:27 +0200 | <tomsmeding> | maerwald: :D |
| 2024-09-16 11:57:24 +0200 | <haskellbridge> | <maerwald> https://gitlab.haskell.org/ghc/ghc/-/issues/24672 |
| 2024-09-16 11:58:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-09-16 11:58:48 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-09-16 12:00:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-16 12:00:25 +0200 | <tomsmeding> | sounds tricky |
| 2024-09-16 12:00:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-16 12:04:29 +0200 | kuribas | (~user@2a02:1808:9:3380:c5db:101c:ac65:41ef) |
| 2024-09-16 12:06:58 +0200 | kuribas | (~user@2a02:1808:9:3380:c5db:101c:ac65:41ef) (Remote host closed the connection) |
| 2024-09-16 12:07:11 +0200 | kuribas | (~user@2a02:1808:9:3380:2291:f9cb:e161:d675) |
| 2024-09-16 12:11:24 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-16 12:12:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 12:16:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 12:24:21 +0200 | michalz | (~michalz@185.246.207.222) (Ping timeout: 248 seconds) |
| 2024-09-16 12:29:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 12:33:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-16 12:35:21 +0200 | CiaoSen | (~Jura@2a05:5800:24c:f900:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-09-16 12:35:23 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 2024-09-16 12:37:01 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-09-16 12:37:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-16 12:37:59 +0200 | kuribas | (~user@2a02:1808:9:3380:2291:f9cb:e161:d675) (Ping timeout: 244 seconds) |
| 2024-09-16 12:38:41 +0200 | euleritian | (~euleritia@dynamic-176-004-237-218.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-16 12:38:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-16 12:40:17 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-16 12:42:42 +0200 | ash3en | (~Thunderbi@193.32.248.167) (Ping timeout: 252 seconds) |
| 2024-09-16 12:44:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 12:46:38 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-16 12:48:21 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) |
| 2024-09-16 12:48:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 12:50:01 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-16 12:50:19 +0200 | ash3en | (~Thunderbi@193.32.248.167) |
| 2024-09-16 12:52:24 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3105-65c2-20df-b5a3-7abf-bab4.rev.sfr.net) |
| 2024-09-16 13:02:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 13:03:14 +0200 | ash3en | (~Thunderbi@193.32.248.167) (Ping timeout: 248 seconds) |
| 2024-09-16 13:07:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 13:09:54 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-16 13:10:56 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-16 13:19:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 13:19:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-16 13:23:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-16 13:24:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 13:25:23 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2024-09-16 13:27:17 +0200 | FragByte | (~christian@user/fragbyte) |
| 2024-09-16 13:34:39 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3105-65c2-20df-b5a3-7abf-bab4.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-16 13:35:48 +0200 | CiaoSen | (~Jura@2a05:5800:24c:f900:ca4b:d6ff:fec1:99da) |
| 2024-09-16 13:37:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 13:39:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-16 13:42:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-16 13:44:11 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3105-65c2-20df-b5a3-7abf-bab4.rev.sfr.net) |
| 2024-09-16 13:44:29 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3105-65c2-20df-b5a3-7abf-bab4.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-16 13:45:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 13:50:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-16 13:56:28 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-09-16 14:03:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 14:03:33 +0200 | hueso | (~root@user/hueso) |
| 2024-09-16 14:04:00 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-16 14:06:41 +0200 | visilii_ | (~visilii@46.61.242.60) (Ping timeout: 248 seconds) |
| 2024-09-16 14:07:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 14:08:44 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-16 14:09:02 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2024-09-16 14:09:49 +0200 | califax | (~califax@user/califx) |
| 2024-09-16 14:11:08 +0200 | hololeap | (~quassel@user/hololeap) |
| 2024-09-16 14:13:26 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-16 14:16:42 +0200 | mari-estel | (~mari-este@2a02:3032:30a:b437:216:3eff:fe65:4eef) |
| 2024-09-16 14:17:55 +0200 | visilii | (~visilii@217.107.125.231) |
| 2024-09-16 14:18:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 14:19:32 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-16 14:22:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-09-16 14:22:55 +0200 | ash3en | (~Thunderbi@193.32.248.167) |
| 2024-09-16 14:23:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-16 14:23:54 +0200 | visilii | (~visilii@217.107.125.231) (Ping timeout: 252 seconds) |
| 2024-09-16 14:24:03 +0200 | euleritian | (~euleritia@dynamic-176-004-237-218.176.4.pool.telefonica.de) |
| 2024-09-16 14:25:54 +0200 | euleritian | (~euleritia@dynamic-176-004-237-218.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-16 14:26:06 +0200 | visilii | (~visilii@188.254.110.232) |
| 2024-09-16 14:26:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-16 14:29:59 +0200 | ash3en | (~Thunderbi@193.32.248.167) (Ping timeout: 260 seconds) |
| 2024-09-16 14:34:02 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-16 14:37:00 +0200 | ash3en | (~Thunderbi@193.32.248.167) |
| 2024-09-16 14:37:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 14:41:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-16 14:46:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 14:46:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-16 14:50:06 +0200 | mari-estel | (~mari-este@2a02:3032:30a:b437:216:3eff:fe65:4eef) (Remote host closed the connection) |
| 2024-09-16 14:50:19 +0200 | mari-estel | (~mari-este@2a02:3032:30a:b437:216:3eff:fe65:4eef) |
| 2024-09-16 14:50:31 +0200 | CiaoSen | (~Jura@2a05:5800:24c:f900:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds) |
| 2024-09-16 14:51:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-16 14:53:18 +0200 | ash3en | (~Thunderbi@193.32.248.167) (Ping timeout: 245 seconds) |
| 2024-09-16 15:00:18 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-16 15:03:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 15:07:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 15:11:37 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-16 15:11:58 +0200 | ystael | (~ystael@user/ystael) |
| 2024-09-16 15:18:02 +0200 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2024-09-16 15:20:12 +0200 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-09-16 15:20:59 +0200 | vglfr | (~vglfr@2607:fb91:8a5:ce17:ad3:f757:e518:6af1) |
| 2024-09-16 15:21:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 15:26:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-16 15:26:23 +0200 | vglfr | (~vglfr@2607:fb91:8a5:ce17:ad3:f757:e518:6af1) (Read error: Connection reset by peer) |
| 2024-09-16 15:26:42 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:327c:aa26:b728:c2fd) |
| 2024-09-16 15:28:42 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 276 seconds) |
| 2024-09-16 15:29:28 +0200 | ash3en | (~Thunderbi@193.32.248.167) |
| 2024-09-16 15:36:41 +0200 | ash3en | (~Thunderbi@193.32.248.167) (Ping timeout: 265 seconds) |
| 2024-09-16 15:38:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 15:43:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-16 15:46:56 +0200 | ash3en | (~Thunderbi@193.32.248.167) |
| 2024-09-16 15:47:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 15:51:02 +0200 | mari-estel | (~mari-este@2a02:3032:30a:b437:216:3eff:fe65:4eef) (Quit: bye) |
| 2024-09-16 15:51:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 15:55:12 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-16 15:56:56 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-16 16:00:17 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:327c:aa26:b728:c2fd) (Ping timeout: 248 seconds) |
| 2024-09-16 16:00:50 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:25d9:5afb:2e27:1b5a) |
| 2024-09-16 16:04:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 16:09:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-16 16:10:07 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-09-16 16:15:17 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-16 16:15:17 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 2024-09-16 16:15:55 +0200 | <[exa]> | is hoogle somewhat overloaded recently, or is it just me getting slow responses? |
| 2024-09-16 16:17:19 +0200 | <srazkvt> | the one at hoogle.haskell.org ? it's definitely much slower on my end as well |
| 2024-09-16 16:21:19 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-16 16:22:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 16:23:12 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-09-16 16:23:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-09-16 16:27:23 +0200 | dolio | (~dolio@130.44.140.168) |
| 2024-09-16 16:27:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-16 16:36:48 +0200 | mxs | (~mxs@user/mxs) |
| 2024-09-16 16:38:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 16:43:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 16:45:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-16 16:45:38 +0200 | euleritian | (~euleritia@dynamic-176-006-133-159.176.6.pool.telefonica.de) |
| 2024-09-16 16:45:49 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-16 16:48:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 16:48:57 +0200 | athan | (~athan@2600:382:2c13:935d:77d1:1e2c:6910:3594) |
| 2024-09-16 16:50:33 +0200 | polyphem | (~rod@pd9fbf9d1.dip0.t-ipconnect.de) |
| 2024-09-16 16:52:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-16 16:55:42 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-16 16:55:48 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 245 seconds) |
| 2024-09-16 16:57:03 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:25d9:5afb:2e27:1b5a) (Ping timeout: 245 seconds) |
| 2024-09-16 16:57:29 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:4ccc:d43c:3d7c:bb24) |
| 2024-09-16 16:57:35 +0200 | mari-estel | (~mari-este@2a02:3032:30a:b437:216:3eff:fe65:4eef) |
| 2024-09-16 16:59:26 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-16 17:01:16 +0200 | ash3en | (~Thunderbi@193.32.248.167) (Quit: ash3en) |
| 2024-09-16 17:04:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 17:06:23 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-16 17:09:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-16 17:09:38 +0200 | euleritian | (~euleritia@dynamic-176-006-133-159.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-09-16 17:09:54 +0200 | euleritian | (~euleritia@dynamic-176-001-146-160.176.1.pool.telefonica.de) |
| 2024-09-16 17:17:34 +0200 | euleritian | (~euleritia@dynamic-176-001-146-160.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-16 17:18:16 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-09-16 17:18:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-16 17:19:40 +0200 | visilii_ | (~visilii@81.177.127.141) |
| 2024-09-16 17:20:54 +0200 | visilii | (~visilii@188.254.110.232) (Ping timeout: 260 seconds) |
| 2024-09-16 17:21:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 17:25:28 +0200 | visilii | (~visilii@46.61.242.158) |
| 2024-09-16 17:25:33 +0200 | steew_ | (~steew@user/steew) |
| 2024-09-16 17:25:48 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 272 seconds) |
| 2024-09-16 17:25:49 +0200 | steew_ | steew |
| 2024-09-16 17:26:20 +0200 | euleritian | (~euleritia@dynamic-176-007-150-008.176.7.pool.telefonica.de) |
| 2024-09-16 17:26:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 17:26:52 +0200 | visilii_ | (~visilii@81.177.127.141) (Ping timeout: 252 seconds) |
| 2024-09-16 17:26:52 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-09-16 17:27:28 +0200 | euleritian | (~euleritia@dynamic-176-007-150-008.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-16 17:27:48 +0200 | euleritian | (~euleritia@dynamic-176-007-150-008.176.7.pool.telefonica.de) |
| 2024-09-16 17:28:03 +0200 | euleritian | (~euleritia@dynamic-176-007-150-008.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-16 17:28:20 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-09-16 17:31:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-16 17:32:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-16 17:33:30 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-16 17:37:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 17:42:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-16 17:43:02 +0200 | <monochrom> | tomsmeding: "stg-final" sounds most final. :) (Just in case there are stg-to-stg optimizations that matter.) |
| 2024-09-16 17:49:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 17:54:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-16 17:55:39 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-09-16 17:57:37 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 2024-09-16 17:58:37 +0200 | mari-estel | (~mari-este@2a02:3032:30a:b437:216:3eff:fe65:4eef) (Quit: bye) |
| 2024-09-16 18:04:24 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-16 18:05:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 18:10:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 18:10:54 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-16 18:19:51 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-16 18:22:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 18:27:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 18:29:15 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-16 18:34:49 +0200 | ash3en | (~Thunderbi@2a02:3100:7fc4:6000:a379:a530:d09e:bfe3) |
| 2024-09-16 18:41:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 18:41:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-16 18:43:01 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-09-16 18:45:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-16 18:48:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-16 18:49:13 +0200 | Squared | (~Square@user/square) |
| 2024-09-16 18:49:23 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-16 18:52:33 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2024-09-16 18:52:59 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-09-16 18:58:14 +0200 | ash3en | (~Thunderbi@2a02:3100:7fc4:6000:a379:a530:d09e:bfe3) (Ping timeout: 265 seconds) |
| 2024-09-16 19:00:21 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-16 19:01:50 +0200 | califax | (~califax@user/califx) |
| 2024-09-16 19:02:10 +0200 | ash3en | (~Thunderbi@2a02:3100:7fc4:6000:a379:a530:d09e:bfe3) |
| 2024-09-16 19:03:30 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-16 19:04:43 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-16 19:05:02 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-16 19:05:29 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 265 seconds) |
| 2024-09-16 19:06:05 +0200 | FragByte | (~christian@user/fragbyte) |
| 2024-09-16 19:07:09 +0200 | califax | (~califax@user/califx) |
| 2024-09-16 19:07:27 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-16 19:08:37 +0200 | califax | (~califax@user/califx) |
| 2024-09-16 19:10:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-16 19:10:38 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-09-16 19:11:07 +0200 | <lxsameer> | hey all, when it comes to language extensions, which one is the well accepted best practice, enabling extensions per module via pragmas or for all the project via the build tool? I leaning toward the former |
| 2024-09-16 19:11:55 +0200 | <monochrom> | Most of the time I do per module. |
| 2024-09-16 19:12:06 +0200 | <geekosaur> | I strongly prefer the former because, when I'm reading code, the extensions are declared up front and I know what to expect |
| 2024-09-16 19:12:40 +0200 | <geekosaur> | it's harder if I have to dig in the cabal file/package.yaml to get the full story |
| 2024-09-16 19:12:54 +0200 | <monochrom> | I haven't done really serious projects yet, but I dream of doing both for them. Redundancy is important when there are multiple kinds of audience and each looks at a different place. |
| 2024-09-16 19:13:04 +0200 | euleritian | (~euleritia@dynamic-176-007-150-008.176.7.pool.telefonica.de) |
| 2024-09-16 19:13:19 +0200 | <monochrom> | Something I learned when writing and submitting reports, academic papers, theses. |
| 2024-09-16 19:13:30 +0200 | <geekosaur> | you can do both with `other-extensions`, in fact it's recommended |
| 2024-09-16 19:14:02 +0200 | Digit | (~user@user/digit) |
| 2024-09-16 19:14:12 +0200 | <monochrom> | Someone just wants to take a look at the summary, some others just the end, some just the middle. If you have an important point to make, you have to make it 3 times for those 3 kinds of people. |
| 2024-09-16 19:14:14 +0200 | <geekosaur> | becuase that way cabal/stack can tell you up front if your selected ghc supports them |
| 2024-09-16 19:14:18 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-09-16 19:14:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-16 19:14:51 +0200 | <geekosaur> | (more to the point, if it doesn't support them) |
| 2024-09-16 19:15:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 19:15:33 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 276 seconds) |
| 2024-09-16 19:17:00 +0200 | <monochrom> | Of course, in the case of extensions and the cabal file, this would cause the problem of syncing up the redundancy, I don't have a solution for that. |
| 2024-09-16 19:17:21 +0200 | <geekosaur> | tooling could do that |
| 2024-09-16 19:17:58 +0200 | <geekosaur> | I could write that one up pretty easily if I needed it then release it as a cabal external command plugin |
| 2024-09-16 19:18:17 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-16 19:18:42 +0200 | <lxsameer> | cool, thanks folks |
| 2024-09-16 19:18:43 +0200 | <geekosaur> | (but I don't use many extensions, so I haven't bothered as yet) |
| 2024-09-16 19:19:48 +0200 | <monochrom> | In the case of extensions, I think it becomes a non-issue because most people don't look for extensions in the cabal file because of several factors, so you just do per file and call it a day and no one complains. |
| 2024-09-16 19:19:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 19:20:27 +0200 | <monochrom> | 1. There is only one compiler left in production. It is not like you need to know whether your favourite compiler suports them or not. |
| 2024-09-16 19:20:34 +0200 | <geekosaur> | I mean, it's just pull the extensions out of the top of every Haskell source in the package (get that from the cabal file, run hpack if all you have is package.yaml), write the intersection to the cabal file's `other-extensions` so tooling can tell you about extension vs. compiler compatibility |
| 2024-09-16 19:21:02 +0200 | <monochrom> | 2. GHC2021 already includes so many extensions that you just need to say "GHC2021". |
| 2024-09-16 19:21:27 +0200 | califax | (~califax@user/califx) |
| 2024-09-16 19:21:33 +0200 | <geekosaur> | uh, for one recent example someone used `OverloadedRecordDot` in the cabal source. We're required to support ghcs back to 8.8, so CI failed |
| 2024-09-16 19:21:39 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 260 seconds) |
| 2024-09-16 19:21:45 +0200 | <monochrom> | 3. In some cases you really like to turn on, say, UndecidableInstances for just one file but not the rest. |
| 2024-09-16 19:21:50 +0200 | <geekosaur> | (a couple months ago the same happened with `\cases`) |
| 2024-09-16 19:22:11 +0200 | <tomsmeding> | monochrom: re "you have to make it three times": then your reviewers will say "stop saying the same thing three times" :p |
| 2024-09-16 19:22:13 +0200 | <monochrom> | Oh, that. I forgot. |
| 2024-09-16 19:22:30 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-09-16 19:22:59 +0200 | <monochrom> | tomsmeding: My supervisor is experienced in the truth. If you didn't make it 3 times, the reviewers would demand saying it 3 times. |
| 2024-09-16 19:23:18 +0200 | <monochrom> | Generally you have done X iff reviewers demand not X. |
| 2024-09-16 19:23:27 +0200 | <tomsmeding> | lol |
| 2024-09-16 19:23:29 +0200 | <tomsmeding> | that is fair |
| 2024-09-16 19:23:42 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2024-09-16 19:23:59 +0200 | <tomsmeding> | also, more to the specific topic at hand: recently I found out that in some obscure circumstance, you actually MUST add TemplateHaskell to other-extensions if you use it |
| 2024-09-16 19:24:27 +0200 | <tomsmeding> | I think it had to do with haddock |
| 2024-09-16 19:24:57 +0200 | <tomsmeding> | hm, that or C sources |
| 2024-09-16 19:26:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-16 19:28:23 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-16 19:29:11 +0200 | <monochrom> | My supervisor told me about that in the context of right after my in-department oral exam and receiving comments from the other examiners. He wanted to prepare me so I wouldn't feel offended or belittled. He went very meta and said, "people feel like they need to make a contribution, but of course a thesis at this stage doesn't need major changes, so people can only pick on tiny things and suggest tiny changes so they feel like they've suggested |
| 2024-09-16 19:29:11 +0200 | <monochrom> | something. It doesn't mean you did it wrong; if you did X, they will suggest not X; if you did not X, they will suggest X. Don't feel bad about it." |
| 2024-09-16 19:29:54 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-09-16 19:29:59 +0200 | <monochrom> | But I think I'm blessed because I looked at the suggested changes from my examiners, and they're really good changes, not that kind of change-for-the-sake-of-change. |
| 2024-09-16 19:30:09 +0200 | <tomsmeding> | "of course a thesis at this stage doesn't need major changes" -- in the common, happy case |
| 2024-09-16 19:30:53 +0200 | <monochrom> | Well yeah if the supervisor does their job, they would be good guards and wouldn't even let an oral exam happen if the work were not ready. |
| 2024-09-16 19:31:02 +0200 | <tomsmeding> | true |
| 2024-09-16 19:31:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-16 19:31:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 19:31:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-16 19:32:28 +0200 | <monochrom> | It's why that joke about "a thesis on a new kind of rings that's too good to be true, and it is, because during the exam an examiner proved that it can only be {0}" is very likely just a fictional joke, not a true story. |
| 2024-09-16 19:32:55 +0200 | euleritian | (~euleritia@dynamic-176-007-150-008.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-16 19:34:47 +0200 | oo_miguel | (~Thunderbi@78.10.206.35) |
| 2024-09-16 19:35:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-16 19:35:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 19:36:06 +0200 | <EvanR> | make sure you leave something in the house electrical just obviously messed up so the inspector can identify it, feel like they did something, and leave |
| 2024-09-16 19:36:24 +0200 | <EvanR> | or else they will go nuts on trivialities |
| 2024-09-16 19:37:07 +0200 | cfricke | (~cfricke@user/cfricke) (Read error: Connection reset by peer) |
| 2024-09-16 19:38:31 +0200 | <monochrom> | haha |
| 2024-09-16 19:39:13 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-16 19:40:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-16 19:41:03 +0200 | <monochrom> | (On second thought, maybe there is a reason the joke is set in the math department rather than any other discipline... It would be math people who would be so absent-minded and disorganized that it is possible that a student and their supervisor never discussed things until the exam haha) |
| 2024-09-16 19:41:35 +0200 | <tomsmeding> | this is the "game graphics artist who meticulously animated a pet around the character, never actually touching the character, so that the bosses could point to that pet and say 'remove that', and have that be trivial" |
| 2024-09-16 19:41:38 +0200 | <tomsmeding> | all over again |
| 2024-09-16 19:41:59 +0200 | <geekosaur> | monochrom, you've ever been in an electrical and computer engineering department 😛 |
| 2024-09-16 19:42:16 +0200 | <geekosaur> | I think that's pretty much a standard thing |
| 2024-09-16 19:44:04 +0200 | <monochrom> | heh |
| 2024-09-16 19:44:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-16 19:44:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-16 19:44:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-16 19:45:09 +0200 | euleritian | (~euleritia@dynamic-176-007-150-008.176.7.pool.telefonica.de) |
| 2024-09-16 19:45:39 +0200 | <mauke> | https://blog.codinghorror.com/new-programming-jargon/#5 |
| 2024-09-16 19:47:51 +0200 | <tomsmeding> | mauke: thank you, that was indeed it |
| 2024-09-16 19:48:22 +0200 | <EvanR> | dude, battle chess |
| 2024-09-16 19:48:58 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-09-16 19:49:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 19:51:20 +0200 | oo_miguel | (~Thunderbi@78.10.206.35) (Quit: oo_miguel) |
| 2024-09-16 19:51:42 +0200 | euleritian | (~euleritia@dynamic-176-007-150-008.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-09-16 19:52:50 +0200 | euleritian | (~euleritia@dynamic-176-003-000-070.176.3.pool.telefonica.de) |
| 2024-09-16 19:53:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 19:57:33 +0200 | athan | (~athan@2600:382:2c13:935d:77d1:1e2c:6910:3594) (Ping timeout: 252 seconds) |
| 2024-09-16 19:58:17 +0200 | ash3en | (~Thunderbi@2a02:3100:7fc4:6000:a379:a530:d09e:bfe3) (Quit: ash3en) |
| 2024-09-16 20:00:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-16 20:06:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 20:06:41 +0200 | <[exa]> | is there any sensible shortcut (or generally naming scheme) for things like `fmap (sequenceA . fmap sequenceA)` |
| 2024-09-16 20:08:13 +0200 | <[exa]> | (it permutes the burrito layers from f(g(h(i a))) to f(h(i(g a))) ) |
| 2024-09-16 20:08:59 +0200 | <tomsmeding> | inb4 someone has written a library that lets you give it two type-level descriptions of the nesting, and it figures out the right combination of fmaps to make it work |
| 2024-09-16 20:09:16 +0200 | <monochrom> | I haven't heard of one. |
| 2024-09-16 20:10:05 +0200 | <monochrom> | At the term level we don't have a huge family of flip's for various arities and permutations either. |
| 2024-09-16 20:10:38 +0200 | <[exa]> | like, I don't have a problem with this one, it already saved a ton of code, but now after seeing that it just permutes stuff I somehow strive for more |
| 2024-09-16 20:10:46 +0200 | <monochrom> | We seem to just write the exact one on the spot on a need-to-use basis and be done. |
| 2024-09-16 20:11:23 +0200 | <monochrom> | But hey that type-level approach sounds promising :) |
| 2024-09-16 20:11:52 +0200 | <[exa]> | might happen that the namign of these things would look like (caddadr ...) and pals from lisp |
| 2024-09-16 20:12:15 +0200 | <monochrom> | Actually Hutton's "APLicative Programming with Naperian Functors" may help. |
| 2024-09-16 20:12:29 +0200 | <[exa]> | like this is....sequenceA1342 ? |
| 2024-09-16 20:12:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 20:13:19 +0200 | <monochrom> | (It models APL in Haskell with representable (Naperian) and applicative functors. APL also does transpositions like that.) |
| 2024-09-16 20:13:34 +0200 | euleritian | (~euleritia@dynamic-176-003-000-070.176.3.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-09-16 20:13:57 +0200 | <monochrom> | err, transposes! As in matrix or n-dim array/tensor transpose. |
| 2024-09-16 20:14:28 +0200 | euleritian | (~euleritia@dynamic-176-003-072-241.176.3.pool.telefonica.de) |
| 2024-09-16 20:14:53 +0200 | <mauke> | :t fmap sequenceA . (fmap . fmap) sequenceA |
| 2024-09-16 20:14:54 +0200 | <lambdabot> | (Applicative f1, Traversable t1, Traversable t2, Functor f2) => f2 (t1 (t2 (f1 a))) -> f2 (f1 (t1 (t2 a))) |
| 2024-09-16 20:17:15 +0200 | <tomsmeding> | next level: prove that whatever combination of fmap, (.) and sequenceA you write, if the combination has the same type, it is also semantically equivalent |
| 2024-09-16 20:17:28 +0200 | <tomsmeding> | (I have no idea whether this is actually true; if not, that would be an interesting wrinkle) |
| 2024-09-16 20:17:28 +0200 | <monochrom> | :( |
| 2024-09-16 20:17:28 +0200 | fireking04 | (~user@36-227-111-145.dynamic-ip.hinet.net) |
| 2024-09-16 20:17:52 +0200 | <monochrom> | That would be a parametricity homework question for a grad course. :) |
| 2024-09-16 20:18:19 +0200 | <mauke> | :t sequenceA . fmap sequenceA . (fmap . fmap) sequenceA |
| 2024-09-16 20:18:20 +0200 | <lambdabot> | (Applicative f, Traversable t1, Traversable t2, Traversable t3) => t1 (t2 (t3 (f a))) -> f (t1 (t2 (t3 a))) |
| 2024-09-16 20:18:21 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-09-16 20:18:29 +0200 | <tomsmeding> | it feels difficult, but maybe when you look at the laws it becomes more tractable |
| 2024-09-16 20:18:56 +0200 | <monochrom> | It's definitely difficult enough, or at least annoying enough, to be reserved for grad courses. |
| 2024-09-16 20:19:47 +0200 | <monochrom> | For undergrad courses, it is reserved for only the most dired time when the class average is too high. >:) |
| 2024-09-16 20:19:58 +0200 | <monochrom> | err, s/dired/dire/ |
| 2024-09-16 20:20:27 +0200 | <mauke> | extract^N = ._{i=0}^{N} fmap^{i} sequenceA |
| 2024-09-16 20:20:36 +0200 | <tomsmeding> | monochrom: are you suggesting grading with a pre-determined class average? |
| 2024-09-16 20:20:46 +0200 | <tomsmeding> | mauke: right! |
| 2024-09-16 20:21:06 +0200 | <tomsmeding> | and you can merge adjacent extracts using the composition law for fmap: fmap f . fmap g = fmap (f . g) |
| 2024-09-16 20:21:13 +0200 | <[exa]> | monochrom: oh that's a nice thing, thanks |
| 2024-09-16 20:23:57 +0200 | <monochrom> | tomsmeding: Instead, I look at trends of class averages over say 2-3 years as an proxy for "civilization has advanced, students are ready for advanced topics". |
| 2024-09-16 20:24:07 +0200 | <[exa]> | btw re slowness of hoogle.haskell.org, is there any way to throw any kind of resources at the maintainers to help with the (assumed) overload? |
| 2024-09-16 20:24:24 +0200 | slack1256 | (~slack1256@2803:c600:5111:8029:6e22:e379:7b90:ce92) |
| 2024-09-16 20:24:36 +0200 | <[exa]> | like, I've got servers |
| 2024-09-16 20:24:40 +0200 | <monochrom> | Right? Just 400 years ago, you just needed to do long divisions for BSc, you just needed to solve cubic equations for PhD. We can't always teach the same basic things. |
| 2024-09-16 20:24:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 20:25:03 +0200 | <tomsmeding> | monochrom: right. But those developments don't really happen in 2-3 years for BSc courses |
| 2024-09-16 20:25:12 +0200 | <tomsmeding> | perhaps PhD courses might evolve that quickly |
| 2024-09-16 20:25:24 +0200 | <slack1256> | I have an app using persistent, I would like to EXPLAIN the queries to add the appropiate indexes. Is there a way to do so by using persistent? If not, how should I get the executed queries to run them myself and EXPLAIN them? |
| 2024-09-16 20:25:29 +0200 | <tomsmeding> | even MSc courses hit that frequency only seldomly |
| 2024-09-16 20:26:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-16 20:26:27 +0200 | <monochrom> | OK OK change that to "chatgpt has adanced, students are ready for advanced topics". >:) |
| 2024-09-16 20:26:56 +0200 | <tomsmeding> | monochrom: what will you do if the year after isn't quite so good again? |
| 2024-09-16 20:27:18 +0200 | <tomsmeding> | [exa]: who even runs hoogle.haskell.org |
| 2024-09-16 20:27:27 +0200 | <probie> | Not sure about monochrom, but I recommend "go on a rant about the declining quality of students" |
| 2024-09-16 20:27:44 +0200 | <[exa]> | tomsmeding: exactly |
| 2024-09-16 20:27:50 +0200 | <monochrom> | I can still teach the difficult topics, but I can also choose easier or harder questions on homework and exams. |
| 2024-09-16 20:28:25 +0200 | <tomsmeding> | so just by joining university the wrong year, I can get disadvantaged in my grades by sheer luck? |
| 2024-09-16 20:28:27 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-09-16 20:29:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-16 20:29:07 +0200 | <monochrom> | Also there is an unsaid premise that I don't teach an advanced topic until I finally figure how to tell the story. |
| 2024-09-16 20:29:08 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-16 20:30:09 +0200 | <mauke> | https://github.com/ndmitchell/hoogle/issues https://ndmitchell.com/ |
| 2024-09-16 20:30:28 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-16 20:30:57 +0200 | <probie> | tomsmeding: By having a cold on the wrong day you can have your grades disadvantaged by sheer luck. Grades correlate with understanding of content, but it's hardly a 1-1 to mapping |
| 2024-09-16 20:31:15 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-09-16 20:31:49 +0200 | <tomsmeding> | probie: sure. But I can't do much about that cold, usually. The teacher can definitely do something about consistency in grading. |
| 2024-09-16 20:32:02 +0200 | <monochrom> | tomsmeding: You are not my student, you won't get disadvantaged just because I decide to teach full-blown denotational semantics on a whim. >:) |
| 2024-09-16 20:32:18 +0200 | <tomsmeding> | I am indeed not :) But I'm fighting for the students who are |
| 2024-09-16 20:32:23 +0200 | <tomsmeding> | I have a strong dislike for "grading on a curve" |
| 2024-09-16 20:32:40 +0200 | <tomsmeding> | I'm not saying you're doing it, or doing it bad enough that I would disapprove of it, I just don't like it :p |
| 2024-09-16 20:33:05 +0200 | <tomsmeding> | (and also, even if I would disapprove of how you grade -- not sure if you should care very much :) ) |
| 2024-09-16 20:33:52 +0200 | <tomsmeding> | mauke: seems like it's himself, indeed |
| 2024-09-16 20:34:04 +0200 | <monochrom> | I hate the word "accessible", but I think how I actually teach, and what I mean by "figure out how to tell the story", is exactly teaching things in an accessible way. So e.g., teaching parametricity the same way as the Theorems for Free is still not accessible enough, actually. |
| 2024-09-16 20:34:25 +0200 | euleritian | (~euleritia@dynamic-176-003-072-241.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-16 20:34:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-16 20:34:43 +0200 | <tomsmeding> | (and I am definitely not commenting on your teaching itself, not least because I have never sat in your classroom) |
| 2024-09-16 20:36:22 +0200 | <tomsmeding> | (in fact, all signals point to you making an effort to explain things simply, in proper order, and in a way that makes students happy together with giving them the means to explore the rest themselves) |
| 2024-09-16 20:37:21 +0200 | slack1256 | (~slack1256@2803:c600:5111:8029:6e22:e379:7b90:ce92) (Remote host closed the connection) |
| 2024-09-16 20:37:22 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Read error: Connection reset by peer) |
| 2024-09-16 20:37:47 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-09-16 20:40:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 20:41:21 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-16 20:44:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 20:48:32 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-09-16 20:51:10 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-16 20:53:14 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-16 20:55:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 21:00:02 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-16 21:00:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 21:00:38 +0200 | caconym8 | (~caconym@user/caconym) |
| 2024-09-16 21:11:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 21:16:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 21:16:22 +0200 | <probie> | [exa]: just because monochrom brought it up, this is how you could write `fmap (sequenceA . fmap sequenceA)` in APL `(⎕IO+0 2 3 1)∘⍉` (⎕IO is "index origin". Because APL lets you swap between 0-indexing and 1-indexing, the `⎕IO+` bit it just to make it work with both) |
| 2024-09-16 21:16:47 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-16 21:18:40 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-16 21:19:56 +0200 | <[exa]> | probie: o nice |
| 2024-09-16 21:20:02 +0200 | <[exa]> | (APL is underrated) |
| 2024-09-16 21:21:19 +0200 | <monochrom> | Oh yeah I remember seeing APL "IO" on wikipedia :) |
| 2024-09-16 21:22:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-16 21:23:33 +0200 | <geekosaur> | it's fun. I blew out my CPU time allotment playing with it though, BITD 😞 |
| 2024-09-16 21:23:43 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 265 seconds) |
| 2024-09-16 21:27:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 21:27:32 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-09-16 21:27:47 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-16 21:28:39 +0200 | <probie> | I might as well finish the explanation. `⎕IO+0 2 3 1` would be `map (indexOrigin +) [0, 2, 3, 1]` in Haskell. The `∘` (pronounced "bind" in this context) is a modern APL feature for partial application (that symbol also does double duty as normal function composition and is called "beside" in the context) |
| 2024-09-16 21:29:16 +0200 | <probie> | s/"beside" in the context/"beside" in that context/ |
| 2024-09-16 21:30:41 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-09-16 21:30:44 +0200 | biberu\ | (~biberu@user/biberu) |
| 2024-09-16 21:31:20 +0200 | Wstfgl0 | (~me-me@kc.randomserver.name) |
| 2024-09-16 21:31:48 +0200 | ames5 | (~amelia@offtopia/offtopian/amelia) |
| 2024-09-16 21:31:50 +0200 | Katarushisu2 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-09-16 21:32:02 +0200 | nek01 | (~nek0@user/nek0) |
| 2024-09-16 21:32:08 +0200 | kimiamania208 | (~65804703@user/kimiamania) |
| 2024-09-16 21:32:10 +0200 | ZharMeny` | (~ZharMeny@user/ZharMeny) |
| 2024-09-16 21:32:14 +0200 | <probie> | And ⍉ is transpose (that's probably an important part :p) |
| 2024-09-16 21:32:30 +0200 | sa1_ | (sid7690@id-7690.ilkley.irccloud.com) |
| 2024-09-16 21:32:32 +0200 | monochrm | (trebla@216.138.220.146) |
| 2024-09-16 21:32:36 +0200 | Yumemi | (~Yumemi@2001:bc8:47a0:1b14::1) |
| 2024-09-16 21:32:36 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) |
| 2024-09-16 21:32:40 +0200 | idnar_ | (sid12240@debian/mithrandi) |
| 2024-09-16 21:32:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-16 21:32:45 +0200 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-09-16 21:32:47 +0200 | shawwwn_ | (sid6132@id-6132.helmsley.irccloud.com) |
| 2024-09-16 21:32:56 +0200 | tapas_ | (sid467876@id-467876.ilkley.irccloud.com) |
| 2024-09-16 21:33:07 +0200 | zzz | (~z@user/zero) |
| 2024-09-16 21:33:46 +0200 | Fijxu_ | (~Fijxu@user/fijxu) |
| 2024-09-16 21:34:10 +0200 | jove_ | (~quassel@user/jove) |
| 2024-09-16 21:34:27 +0200 | bionade24_ | (~quassel@2a03:4000:33:45b::1) |
| 2024-09-16 21:34:38 +0200 | markasoftware_ | (~quassel@107.161.26.124) |
| 2024-09-16 21:34:40 +0200 | haskellbridge_ | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-16 21:34:40 +0200 | ChanServ | +v haskellbridge_ |
| 2024-09-16 21:34:42 +0200 | xal_ | (~xal@mx1.xal.systems) |
| 2024-09-16 21:35:06 +0200 | byte_ | (~byte@149.28.222.189) |
| 2024-09-16 21:35:21 +0200 | df_ | (~ben@justworks.xyz) |
| 2024-09-16 21:35:24 +0200 | flounders_ | (~flounders@2607:fb91:f40:c71f:1db6:ca6:cd9b:ec1c) |
| 2024-09-16 21:35:32 +0200 | spenat_ | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) |
| 2024-09-16 21:35:33 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-09-16 21:35:43 +0200 | ski_ | (~ski@ext-1-196.eduroam.chalmers.se) |
| 2024-09-16 21:35:48 +0200 | polyphem_ | (~rod@pd9fbf9d1.dip0.t-ipconnect.de) |
| 2024-09-16 21:35:55 +0200 | gentauro_ | (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) |
| 2024-09-16 21:35:58 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-09-16 21:36:11 +0200 | astroanax1 | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
| 2024-09-16 21:36:20 +0200 | neuroevolutus | (~neuroevol@37.19.200.152) |
| 2024-09-16 21:37:59 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-09-16 21:40:19 +0200 | polyphem | (~rod@pd9fbf9d1.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | nek0 | (~nek0@user/nek0) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | flounders | (~flounders@2607:fb91:f40:c71f:f5c9:7500:92f8:5ba9) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | byte | (~byte@149.28.222.189) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | kimiamania20 | (~65804703@user/kimiamania) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | Miroboru_ | (~myrvoll@178-164-114.82.3p.ntebredband.no) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | Yumemi_ | (~Yumemi@2001:bc8:47a0:1b14::1) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | nschoe- | (~nschoe@2a01:e0a:8e:a190:457d:2ee7:c4d1:bcb5) (*.net *.split) |
| 2024-09-16 21:40:34 +0200 | monochrom | (trebla@216.138.220.146) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | ski | (~ski@ext-1-196.eduroam.chalmers.se) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | xal | (~xal@mx1.xal.systems) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | biberu | (~biberu@user/biberu) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | markasoftware | (~quassel@107.161.26.124) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | Me-me | (~me-me@user/me-me) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | df | (~ben@justworks.xyz) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | jove | (~quassel@user/jove) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | idnar | (sid12240@debian/mithrandi) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | gentauro | (~gentauro@user/gentauro) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | zero | (~z@user/zero) (*.net *.split) |
| 2024-09-16 21:40:41 +0200 | Fijxu | (~Fijxu@user/fijxu) (*.net *.split) |
| 2024-09-16 21:40:51 +0200 | Wstfgl0 | Me-me |
| 2024-09-16 21:40:51 +0200 | ames5 | ames |
| 2024-09-16 21:40:51 +0200 | monochrm | monochrom |
| 2024-09-16 21:40:51 +0200 | nek01 | nek0 |
| 2024-09-16 21:40:52 +0200 | idnar_ | idnar |