| 2023-03-26 00:02:17 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 00:02:27 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 00:04:57 +0100 | biberu | (~biberu@user/biberu) |
| 2023-03-26 00:07:32 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-03-26 00:07:47 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-03-26 00:15:31 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-26 00:15:43 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-26 00:25:37 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 00:32:59 +0100 | chomwitt | (~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 2023-03-26 00:33:01 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 00:37:51 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-26 00:38:03 +0100 | vcks | (~vcks@58.84.143.91) (Ping timeout: 260 seconds) |
| 2023-03-26 00:38:27 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-26 00:38:57 +0100 | Volt_ | (~Volt_@c-73-167-118-200.hsd1.ma.comcast.net) |
| 2023-03-26 00:39:23 +0100 | acidjnk | (~acidjnk@p200300d6e715c489499042d1e62d184f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-03-26 00:40:38 +0100 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-03-26 00:41:07 +0100 | mcglk | (~mcglk@131.191.19.145) |
| 2023-03-26 00:41:08 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-26 00:42:34 +0100 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 00:44:43 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2023-03-26 00:45:31 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 2023-03-26 00:47:54 +0100 | mechap | (~mechap@user/mechap) |
| 2023-03-26 00:49:26 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-03-26 00:50:41 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 00:52:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-26 00:53:01 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-26 00:53:11 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-26 00:53:53 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 268 seconds) |
| 2023-03-26 00:54:15 +0100 | mechap | (~mechap@user/mechap) |
| 2023-03-26 00:55:30 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-26 00:55:52 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 00:56:11 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 00:56:27 +0100 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-26 00:59:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-03-26 01:01:04 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 01:03:06 +0100 | mauke_ | (~mauke@user/mauke) |
| 2023-03-26 01:03:36 +0100 | Blightmain | (~Blightmai@27-33-97-127.tpgi.com.au) |
| 2023-03-26 01:04:47 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-26 01:04:52 +0100 | cheater_ | cheater |
| 2023-03-26 01:05:07 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 276 seconds) |
| 2023-03-26 01:05:07 +0100 | mauke_ | mauke |
| 2023-03-26 01:06:39 +0100 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-03-26 01:15:20 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 01:15:47 +0100 | <jackdk> | I use nixpkgs if: I don't need to do anything fancy and/or I want to avoid IFD; I use haskell.nix if I want to cross-compile or build static binaries via musl |
| 2023-03-26 01:17:02 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-26 01:17:36 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-26 01:18:59 +0100 | cheater___ | (~Username@user/cheater) |
| 2023-03-26 01:18:59 +0100 | cheater___ | cheater |
| 2023-03-26 01:19:32 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 01:19:53 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 01:20:18 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-26 01:21:27 +0100 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 01:22:01 +0100 | cheater__ | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-03-26 01:22:06 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 2023-03-26 01:22:17 +0100 | Patternmaster | (~georg@user/Patternmaster) (Remote host closed the connection) |
| 2023-03-26 01:23:47 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-03-26 01:23:58 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-03-26 01:25:22 +0100 | Guest96 | (~Guest96@2604:4080:11a5:8050:9daf:e30a:a4ce:d101) |
| 2023-03-26 01:28:31 +0100 | vcks | (~vcks@58.84.143.91) (Ping timeout: 240 seconds) |
| 2023-03-26 01:29:33 +0100 | Patternmaster | (~georg@li1192-118.members.linode.com) |
| 2023-03-26 01:29:33 +0100 | Patternmaster | (~georg@li1192-118.members.linode.com) (Changing host) |
| 2023-03-26 01:29:33 +0100 | Patternmaster | (~georg@user/Patternmaster) |
| 2023-03-26 01:30:58 +0100 | <Guest96> | i'm in ch 15 of haskellbook and trying to use quickCheck to check semigroup/monoid properties: https://paste.tomsmeding.com/GfQ4FZT0. I don't want to write 3 nearly identical lines for each type like in `oldMain`, but it's proving tricky. i'm using a type witness so ghc can figure out which typeclass dictionary to use but `main` still doesn't |
| 2023-03-26 01:30:58 +0100 | <Guest96> | compile and the error looks like some kind of issue with forall scoping. any advice? |
| 2023-03-26 01:31:34 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-26 01:31:58 +0100 | <Guest96> | sorry, forgot to include the errors, they're all some flavor of https://paste.tomsmeding.com/yVTepuA4 |
| 2023-03-26 01:32:50 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-26 01:40:00 +0100 | a_coll | (~acoll@45.92.120.189) (Remote host closed the connection) |
| 2023-03-26 01:42:05 +0100 | <monochrom> | Right, turn on ScopedTypeVariables, and change the type sig of quickCheckMonoid to "quickCheckMonoid :: forall m. (Eq m, Monoid m) => Witness m -> IO ()" |
| 2023-03-26 01:43:15 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 01:48:15 +0100 | <Guest96> | monochrom: ah, had to add constraints for Arbitrary and Show too, but it compiles now, thanks. is the implicit forall to the right of the => ? |
| 2023-03-26 01:49:12 +0100 | <Guest96> | i think i understand what happens when you move forall from the left to the right of -> but not => |
| 2023-03-26 01:49:25 +0100 | <monochrom> | Uh, it is explicit forall before even the constraints. |
| 2023-03-26 01:49:51 +0100 | <monochrom> | It is also the only place to write an explicit forall. |
| 2023-03-26 01:49:56 +0100 | <Guest96> | sorry, i mean if i don't write `forall m`, where is it implicitly placed? |
| 2023-03-26 01:50:04 +0100 | <Guest96> | i assume it can't be before the constraints or it would've worked without it |
| 2023-03-26 01:50:22 +0100 | <monochrom> | Then it is implicitly placed where explicit can place it. |
| 2023-03-26 01:50:37 +0100 | <Guest96> | why does the explicit forall change the behavior? |
| 2023-03-26 01:50:46 +0100 | <monochrom> | But you need explicit if you want "m" to mean what you think it means in the function body. |
| 2023-03-26 01:50:51 +0100 | <EvanR> | gotcha. When explicit forall is removed from where it would be implicitly placed anyway, it removes type variables from scope |
| 2023-03-26 01:50:59 +0100 | <Guest96> | oh i see |
| 2023-03-26 01:51:04 +0100 | <EvanR> | it changes things, unintuitively |
| 2023-03-26 01:51:32 +0100 | <Guest96> | so m basically isn't available in the body without the explicit forall? |
| 2023-03-26 01:51:38 +0100 | <EvanR> | yeah |
| 2023-03-26 01:51:40 +0100 | <Guest96> | i guess that's why all the errors refer to m3, etc. |
| 2023-03-26 01:51:43 +0100 | <EvanR> | yeah |
| 2023-03-26 01:51:48 +0100 | <monochrom> | See the GHC User's Guide on ScopedTypeVariables and why this explicit forall has more semantics than forall. |
| 2023-03-26 01:51:54 +0100 | <Guest96> | will do, thanks |
| 2023-03-26 01:52:08 +0100 | <EvanR> | "it's the same m dammit" GHC: "no it isn't, I'm not listening!" |
| 2023-03-26 01:52:10 +0100 | <Guest96> | i'm trying to cobble together pieces of knowledge i don't think i'm supposed to have at this point :) |
| 2023-03-26 01:52:38 +0100 | <EvanR> | ScopedTypeVariables and explicit forall is number 1 "things I wish I knew when learning haskell" |
| 2023-03-26 01:52:57 +0100 | <monochrom> | Alternatively accept that you cannot deduce semantics from using your intuition on syntax. |
| 2023-03-26 01:53:09 +0100 | <monochrom> | Instead actually read documentation. |
| 2023-03-26 01:53:09 +0100 | <EvanR> | never! |
| 2023-03-26 01:53:30 +0100 | <Guest96> | of course, i just didn't have the keyword ScopedTypeVariables until i asked here |
| 2023-03-26 01:54:22 +0100 | <EvanR> | yeah this corner of haskell kind of feels like "you just gotta know" |
| 2023-03-26 01:55:02 +0100 | <monochrom> | There are a lot more "you just gotta know" in real life. |
| 2023-03-26 01:55:33 +0100 | <monochrom> | The example I'm going to describe applies to both daily speech and Prolog. |
| 2023-03-26 01:55:40 +0100 | <Guest96> | although having read the wiki page for it it feels straightforward, main point of confusion is that the point of the explicit forall isn't really to change quantification but scoping |
| 2023-03-26 01:55:57 +0100 | <Guest96> | as soon as i saw an example of providing a type to a let binding, i was like "oh of course this is a fresh type var by default" |
| 2023-03-26 01:56:06 +0100 | <monochrom> | Your parents say "if you play with Haskell past midnight, then you are grounded". |
| 2023-03-26 01:57:10 +0100 | <monochrom> | You then feel safe studying for an exam past midnight, you logically deduce that you will not be grounded for that. |
| 2023-03-26 01:58:05 +0100 | <monochrom> | Logicians, or rather the mediocre shallow ones, think that you have made an error, they think you are thinking "if I'm grounded then I played with Haskell past midnight". |
| 2023-03-26 01:58:15 +0100 | <monochrom> | But no, you are correct, and Prolog agrees. |
| 2023-03-26 01:59:03 +0100 | <monochrom> | There is a Closed World Assumption overarching all this. It says "nothing else gets you grounded". |
| 2023-03-26 01:59:04 +0100 | <Guest96> | how did we end up on affirming the consequent |
| 2023-03-26 01:59:09 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 01:59:43 +0100 | <monochrom> | CWA is one of those things "you just gotta know". (Most people do.) |
| 2023-03-26 03:00:41 +0200 | <EvanR> | constructive logic vs subtractive logic? xD |
| 2023-03-26 03:01:30 +0200 | <Guest96> | to be pedantic, "you will not be grounded for that" was true even without the CWA |
| 2023-03-26 03:01:45 +0200 | Guest96 | (~Guest96@2604:4080:11a5:8050:9daf:e30a:a4ce:d101) () |
| 2023-03-26 03:01:58 +0200 | <monochrom> | No, to be pedantic, you need CWA. |
| 2023-03-26 03:02:21 +0200 | <monochrom> | Because your parent never said anything about "studying for exam" or even "nothing else". |
| 2023-03-26 03:02:41 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 2023-03-26 03:03:15 +0200 | <monochrom> | And clearly your parents have no incentive to prematurely declare "nothing else", they want to leave their options open too, they want the option to, in the future, add "if you play Civ 6 past midnight". |
| 2023-03-26 03:05:45 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 255 seconds) |
| 2023-03-26 03:08:21 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 03:09:48 +0200 | <EvanR> | is this related to defining surreals in the form, {} is a surreal. if l, r are surreals {l|r} is a surreal. *These are the only ways to get a surreal* |
| 2023-03-26 03:10:08 +0200 | <EvanR> | (3 rules one seems redundant) |
| 2023-03-26 03:10:38 +0200 | <monochrom> | Yes. |
| 2023-03-26 03:10:48 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-03-26 03:11:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-26 03:11:28 +0200 | <monochrom> | When you explicitly say "nothing else" you get an inductive definition. Mathematicians like to do that to make sure and make clear. |
| 2023-03-26 03:12:18 +0200 | Volt_ | (~Volt_@c-73-167-118-200.hsd1.ma.comcast.net) (Quit: ) |
| 2023-03-26 03:12:34 +0200 | <monochrom> | Prolog does not bother to add syntax for you to explicitly say that because all intended use cases are inductive definitions anyway. |
| 2023-03-26 03:12:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-03-26 03:13:16 +0200 | Volt_ | (~Volt_@c-73-167-118-200.hsd1.ma.comcast.net) |
| 2023-03-26 03:13:39 +0200 | <monochrom> | Nor does Haskell when you write "data X = N | C X". No syntax to say "nothing else is an X". You just move on and it's understood. |
| 2023-03-26 03:14:45 +0200 | <EvanR> | it seems a bit odd to explain surreals with the first two rules and some jackass comes along and says wrong what about [unrelated thing they call a surreal] |
| 2023-03-26 03:15:40 +0200 | <monochrom> | Programmers and mathematicians work in very different contexts. |
| 2023-03-26 03:16:41 +0200 | <monochrom> | Programmers have only inductive definitions in mind. So languages don't bother to add syntax for "nothing else". Prolog furthermore needs CWA to achieve some reasonable kind of negation ("negation as/by failure") |
| 2023-03-26 03:16:42 +0200 | slack1256 | (~slack1256@186.11.84.131) (Ping timeout: 265 seconds) |
| 2023-03-26 03:16:55 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-03-26 03:16:57 +0200 | <EvanR> | how do type class instances fit into that |
| 2023-03-26 03:17:18 +0200 | <monochrom> | Mathematicians work in a very open world instead. If they don't say "nothing else" then it's genuinely left open. |
| 2023-03-26 03:17:38 +0200 | <EvanR> | there's no syntax to say any jackass can show up with a new Num instance |
| 2023-03-26 03:17:55 +0200 | <EvanR> | but it's true |
| 2023-03-26 03:17:59 +0200 | <monochrom> | Ah, separate compilation implies that you have open world again, this is why the type class system does not have negation. |
| 2023-03-26 03:18:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 265 seconds) |
| 2023-03-26 03:18:44 +0200 | <monochrom> | This is why the type class system looks like Prolog. It is following Prolog except for CWA and negation. |
| 2023-03-26 03:20:00 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-26 03:20:10 +0200 | <monochrom> | OK so I misspoke about programmers. |
| 2023-03-26 03:21:21 +0200 | <monochrom> | Programmers think of only inductive definitions, until they want an "extensible" system, at which point they leave it open and make it the wild wild west, any jackass can add a subclass / instance / new rule. |
| 2023-03-26 03:21:22 +0200 | <EvanR> | I wonder if there's a use case for closed type class |
| 2023-03-26 03:21:51 +0200 | <monochrom> | That's kind of taken up by closed type families, no? |
| 2023-03-26 03:21:52 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 03:21:57 +0200 | <EvanR> | is it |
| 2023-03-26 03:22:09 +0200 | <monochrom> | "kind of" :) |
| 2023-03-26 03:22:16 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-03-26 03:22:44 +0200 | <monochrom> | It does mean that someone appreciated the value of making it closed. |
| 2023-03-26 03:23:33 +0200 | <monochrom> | Anyway more things that "you just gotta know" :) |
| 2023-03-26 03:27:48 +0200 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-26 03:28:41 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 03:29:51 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 03:30:34 +0200 | smallville7123 | (~Android@cpe-172-193-72-46.qld.foxtel.net.au) |
| 2023-03-26 03:47:21 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-03-26 03:48:07 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
| 2023-03-26 03:53:16 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 03:55:38 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-03-26 03:59:43 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 04:10:47 +0200 | Volt_ | (~Volt_@c-73-167-118-200.hsd1.ma.comcast.net) (Ping timeout: 268 seconds) |
| 2023-03-26 04:13:31 +0200 | vcks | (~vcks@58.84.143.91) (Ping timeout: 240 seconds) |
| 2023-03-26 04:21:37 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-03-26 04:22:37 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-03-26 04:23:03 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 04:23:11 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-03-26 04:33:30 +0200 | td_ | (~td@i5387090E.versanet.de) (Ping timeout: 255 seconds) |
| 2023-03-26 04:33:52 +0200 | rcharles | (~user@pool-71-179-41-180.bltmmd.fios.verizon.net) |
| 2023-03-26 04:35:17 +0200 | td_ | (~td@i53870915.versanet.de) |
| 2023-03-26 04:40:20 +0200 | jamestmartin | (~james@jtmar.me) (Leaving) |
| 2023-03-26 04:40:37 +0200 | sp00kins | (~sp00kins@97.73.80.190) |
| 2023-03-26 04:41:11 +0200 | dipper_ | (~dipper@117.61.126.31) |
| 2023-03-26 04:45:10 +0200 | rcharles | (~user@pool-71-179-41-180.bltmmd.fios.verizon.net) (Killed buffer) |
| 2023-03-26 04:46:07 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:aa43:aaf3:a9d2:17c4) (Ping timeout: 260 seconds) |
| 2023-03-26 04:46:34 +0200 | nate4 | (~nate@98.45.169.16) |
| 2023-03-26 04:51:50 +0200 | shapr | (~user@c-68-35-51-250.hsd1.al.comcast.net) |
| 2023-03-26 04:53:28 +0200 | sp00kins | (~sp00kins@97.73.80.190) (Read error: Connection reset by peer) |
| 2023-03-26 04:56:00 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-03-26 04:56:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-03-26 04:56:00 +0200 | finn_elija | FinnElija |
| 2023-03-26 04:57:15 +0200 | vglfr | (~vglfr@88.155.38.140) (Ping timeout: 248 seconds) |
| 2023-03-26 05:01:23 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-26 05:07:23 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-03-26 05:10:15 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-03-26 05:10:17 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 05:16:30 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-03-26 05:17:09 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-03-26 05:33:14 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 05:49:06 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2023-03-26 06:04:24 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 06:08:35 +0200 | vcks | (~vcks@58.84.143.91) (Client Quit) |
| 2023-03-26 06:10:20 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-03-26 06:15:44 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-03-26 06:21:01 +0200 | msavoritias | (cb716af6b3@irc.cheogram.com) (Ping timeout: 240 seconds) |
| 2023-03-26 06:38:07 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-03-26 06:41:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-03-26 06:52:10 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-03-26 07:00:37 +0200 | irrgit_ | (~irrgit@146.70.27.250) (Read error: Connection reset by peer) |
| 2023-03-26 07:08:41 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-03-26 07:09:52 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-03-26 07:57:57 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-03-26 08:18:01 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-26 08:23:53 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 08:24:02 +0200 | msavoritias | (cb716af6b3@irc.cheogram.com) |
| 2023-03-26 08:28:03 +0200 | vcks | (~vcks@58.84.143.91) (Client Quit) |
| 2023-03-26 08:35:56 +0200 | trev | (~trev@user/trev) |
| 2023-03-26 08:42:09 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 08:47:31 +0200 | vcks | (~vcks@58.84.143.91) (Ping timeout: 240 seconds) |
| 2023-03-26 08:54:12 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 09:02:17 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2023-03-26 09:07:40 +0200 | chomwitt | (~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1) |
| 2023-03-26 09:07:48 +0200 | Blightmain | (~Blightmai@27-33-97-127.tpgi.com.au) (Remote host closed the connection) |
| 2023-03-26 09:10:54 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-03-26 09:10:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-03-26 09:14:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds) |
| 2023-03-26 09:33:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-26 09:40:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-03-26 09:41:00 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 09:44:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5998:513:a413:adec) (Remote host closed the connection) |
| 2023-03-26 09:55:08 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: Fischmiep) |
| 2023-03-26 09:55:42 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-039.46.114.pool.telefonica.de) |
| 2023-03-26 09:59:31 +0200 | turlando | (~turlando@user/turlando) () |
| 2023-03-26 09:59:36 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 09:59:51 +0200 | turlando | (~turlando@user/turlando) |
| 2023-03-26 10:01:10 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2023-03-26 10:01:47 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-26 10:03:02 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-03-26 10:03:02 +0200 | cheater__ | cheater |
| 2023-03-26 10:03:31 +0200 | turlando | (~turlando@user/turlando) |
| 2023-03-26 10:05:06 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-26 10:06:34 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 10:07:59 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-03-26 10:08:08 +0200 | cheater_ | cheater |
| 2023-03-26 10:11:12 +0200 | vcks | (~vcks@58.84.143.91) (Ping timeout: 248 seconds) |
| 2023-03-26 10:17:27 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-03-26 10:18:42 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 10:20:48 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-26 10:21:02 +0200 | arjun | (~arjun@user/arjun) |
| 2023-03-26 10:21:04 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 276 seconds) |
| 2023-03-26 10:21:16 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-03-26 10:23:10 +0200 | acidjnk | (~acidjnk@p200300d6e715c465a833d8fcbdad143e.dip0.t-ipconnect.de) |
| 2023-03-26 10:24:00 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-26 10:29:05 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 10:29:05 +0200 | cheater_ | cheater |
| 2023-03-26 10:29:55 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-03-26 10:36:45 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 10:42:44 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 10:43:39 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-03-26 10:44:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-26 10:45:19 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-03-26 10:45:35 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-03-26 10:45:35 +0200 | cheater__ | cheater |
| 2023-03-26 10:46:31 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-03-26 10:48:11 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-26 10:49:42 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2023-03-26 10:54:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-26 10:56:24 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 10:56:49 +0200 | arjun | (~arjun@user/arjun) (Ping timeout: 276 seconds) |
| 2023-03-26 10:58:12 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 10:59:35 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-03-26 11:00:41 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-03-26 11:00:58 +0200 | cheater___ | (~Username@user/cheater) |
| 2023-03-26 11:00:58 +0200 | cheater___ | cheater |
| 2023-03-26 11:02:19 +0200 | cheater___ | (~Username@user/cheater) |
| 2023-03-26 11:02:45 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-26 11:04:09 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 11:04:09 +0200 | cheater__ | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-03-26 11:05:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-26 11:05:03 +0200 | cheater_ | cheater |
| 2023-03-26 11:06:45 +0200 | cheater___ | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-03-26 11:07:22 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 11:09:48 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-03-26 11:12:18 +0200 | chomwitt | (~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1) (Ping timeout: 265 seconds) |
| 2023-03-26 11:17:09 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-26 11:26:01 +0200 | smallville7123 | (~Android@cpe-172-193-72-46.qld.foxtel.net.au) (Ping timeout: 240 seconds) |
| 2023-03-26 11:26:10 +0200 | smallville7123 | (~Android@cpe-172-193-72-46.qld.foxtel.net.au) |
| 2023-03-26 11:30:34 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-03-26 11:30:35 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 11:31:23 +0200 | mesaoptimizer2 | (34cef275bb@user/PapuaHardyNet) (Ping timeout: 248 seconds) |
| 2023-03-26 11:35:53 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-03-26 11:39:29 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 11:42:46 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 11:45:32 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-26 11:48:27 +0200 | mesaoptimizer2 | (34cef275bb@198.108.77.94) |
| 2023-03-26 11:49:02 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-26 11:56:50 +0200 | mesaoptimizer2 | (34cef275bb@198.108.77.94) (Changing host) |
| 2023-03-26 11:56:50 +0200 | mesaoptimizer2 | (34cef275bb@user/PapuaHardyNet) |
| 2023-03-26 12:04:09 +0200 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-26 12:04:13 +0200 | kenran | (~user@user/kenran) |
| 2023-03-26 12:04:59 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-26 12:05:04 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 12:05:04 +0200 | cheater_ | cheater |
| 2023-03-26 12:07:27 +0200 | freeside_ | (~mengwong@103.252.202.85) |
| 2023-03-26 12:07:58 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 12:10:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 252 seconds) |
| 2023-03-26 12:12:22 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-03-26 12:13:01 +0200 | vcks | (~vcks@58.84.143.91) (Ping timeout: 240 seconds) |
| 2023-03-26 12:14:19 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 12:18:34 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-26 12:19:07 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-26 12:23:50 +0200 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-26 12:30:39 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 12:32:21 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 12:34:05 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-03-26 12:39:12 +0200 | _xor | (~xor@74.215.46.17) (Quit: bbiab) |
| 2023-03-26 12:42:48 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 12:44:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-26 12:44:03 +0200 | cheater_ | cheater |
| 2023-03-26 12:48:30 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-26 12:57:35 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Quit: xff0x) |
| 2023-03-26 13:00:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f16e:5201:8cd7:5bfd) |
| 2023-03-26 13:01:40 +0200 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-26 13:08:09 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 13:10:19 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-26 13:10:38 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-26 13:12:58 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 13:13:27 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-039.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-03-26 13:14:37 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-039.46.114.pool.telefonica.de) |
| 2023-03-26 13:25:04 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-03-26 13:29:42 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 252 seconds) |
| 2023-03-26 13:29:54 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-03-26 13:32:00 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-03-26 13:33:22 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-03-26 13:36:11 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-26 13:36:18 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-03-26 13:37:43 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 13:39:23 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 2023-03-26 13:40:08 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-03-26 13:42:18 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 13:43:51 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-26 13:44:18 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-03-26 13:44:18 +0200 | cheater__ | cheater |
| 2023-03-26 13:46:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f16e:5201:8cd7:5bfd) (Quit: xff0x) |
| 2023-03-26 13:46:56 +0200 | acidjnk | (~acidjnk@p200300d6e715c465a833d8fcbdad143e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-03-26 13:47:44 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-26 13:50:56 +0200 | chomwitt | (~chomwitt@ppp-94-67-191-224.home.otenet.gr) |
| 2023-03-26 13:55:11 +0200 | michalz | (~michalz@185.246.207.197) |
| 2023-03-26 13:56:13 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2023-03-26 13:56:24 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 13:58:31 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-26 14:01:24 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-039.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2023-03-26 14:01:39 +0200 | cheater_ | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-03-26 14:02:25 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 14:02:25 +0200 | cheater_ | cheater |
| 2023-03-26 14:03:20 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-039.46.114.pool.telefonica.de) |
| 2023-03-26 14:04:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bfe8:e211:6d47:7b27) |
| 2023-03-26 14:05:07 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-26 14:08:20 +0200 | pavonia | (~user@user/siracusa) |
| 2023-03-26 14:17:47 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-03-26 14:19:10 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-03-26 14:20:16 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-03-26 14:22:32 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-03-26 14:24:20 +0200 | cheater__ | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-26 14:26:08 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 248 seconds) |
| 2023-03-26 14:27:54 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-03-26 14:31:58 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 14:49:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:78a3:fb7e:f4ce:e160) |
| 2023-03-26 14:52:27 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 14:52:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-26 14:53:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:78a3:fb7e:f4ce:e160) (Ping timeout: 246 seconds) |
| 2023-03-26 14:55:13 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 14:56:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-26 14:56:57 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-03-26 14:57:13 +0200 | califax | (~califax@user/califx) |
| 2023-03-26 14:57:32 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-26 15:03:30 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-039.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-03-26 15:03:30 +0200 | myme | (~myme@40.51-175-185.customer.lyse.net) (Ping timeout: 255 seconds) |
| 2023-03-26 15:06:07 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 15:08:32 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 15:09:03 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:6e85:a768:d0fc:d31e) |
| 2023-03-26 15:09:20 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-26 15:09:28 +0200 | cheater_ | cheater |
| 2023-03-26 15:11:57 +0200 | Guest67 | (~Guest67@astrolabe.plus.com) |
| 2023-03-26 15:13:19 +0200 | td_ | (~td@i53870915.versanet.de) (Quit: waking up from the american dream ...) |
| 2023-03-26 15:20:33 +0200 | td_ | (~td@i53870915.versanet.de) |
| 2023-03-26 15:26:33 +0200 | acidjnk | (~acidjnk@p200300d6e715c46599052a00a4c2761a.dip0.t-ipconnect.de) |
| 2023-03-26 15:26:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-03-26 15:28:15 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-26 15:28:28 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 2023-03-26 15:29:02 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 15:30:57 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 15:32:27 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-03-26 15:34:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-03-26 15:39:22 +0200 | razetime | (~Thunderbi@117.193.5.51) |
| 2023-03-26 15:41:24 +0200 | gensyst | (~gensyst@user/gensyst) |
| 2023-03-26 15:41:51 +0200 | <gensyst> | Is only haskellPackages (currently 9.0.1) on cache.nixos.org? |
| 2023-03-26 15:41:59 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2023-03-26 15:42:20 +0200 | <gensyst> | I apparently have to build myself haskell.packages.ghc925 Is this expected? |
| 2023-03-26 15:45:20 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-26 15:47:31 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
| 2023-03-26 15:49:52 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-26 16:09:11 +0200 | coot | (~coot@213.134.170.228) |
| 2023-03-26 16:09:57 +0200 | Everything | (~Everythin@46.185.124.65) |
| 2023-03-26 16:19:08 +0200 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Quit: reset tijd) |
| 2023-03-26 16:24:25 +0200 | shapr | (~user@c-68-35-51-250.hsd1.al.comcast.net) (Ping timeout: 276 seconds) |
| 2023-03-26 16:29:18 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-039.46.114.pool.telefonica.de) |
| 2023-03-26 16:31:08 +0200 | jero98772 | (~jero98772@190.158.28.44) |
| 2023-03-26 16:35:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2023-03-26 16:37:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-03-26 16:38:48 +0200 | dipper_ | (~dipper@117.61.126.31) (Ping timeout: 268 seconds) |
| 2023-03-26 16:49:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-26 16:50:43 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-26 16:55:59 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2023-03-26 16:56:24 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-03-26 16:57:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-26 17:04:37 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 17:06:45 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-26 17:08:01 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-26 17:08:58 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-26 17:17:27 +0200 | Guest67 | (~Guest67@astrolabe.plus.com) (Quit: Client closed) |
| 2023-03-26 17:23:35 +0200 | ddellacosta | (~ddellacos@146.70.168.100) (Ping timeout: 264 seconds) |
| 2023-03-26 17:24:17 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 17:25:04 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-03-26 17:27:55 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-26 17:29:22 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-26 17:29:23 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 17:29:23 +0200 | cheater_ | cheater |
| 2023-03-26 17:30:05 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-26 17:30:15 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-03-26 17:32:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-26 17:38:24 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-03-26 17:43:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-26 17:43:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-26 17:43:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-26 17:47:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-26 17:50:59 +0200 | ub | (~Thunderbi@p200300ecdf216c1fa19c8ac1f1be10b8.dip0.t-ipconnect.de) |
| 2023-03-26 17:52:11 +0200 | ubert | (~Thunderbi@p548c9c54.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-03-26 17:52:11 +0200 | ub | ubert |
| 2023-03-26 17:55:22 +0200 | ub | (~Thunderbi@p548c9c54.dip0.t-ipconnect.de) |
| 2023-03-26 17:55:29 +0200 | ubert | (~Thunderbi@p200300ecdf216c1fa19c8ac1f1be10b8.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-03-26 17:55:29 +0200 | ub | ubert |
| 2023-03-26 17:56:48 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-26 17:57:14 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 18:00:16 +0200 | aaRabbit[m] | (~rootsandw@2001:470:69fc:105::2:ca2e) (Quit: You have been kicked for being idle) |
| 2023-03-26 18:09:35 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-03-26 18:10:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-03-26 18:13:31 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-26 18:13:59 +0200 | gensystt | (~gensyst@user/gensyst) |
| 2023-03-26 18:14:01 +0200 | freeside_ | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-03-26 18:14:07 +0200 | gensystt | (~gensyst@user/gensyst) (Client Quit) |
| 2023-03-26 18:15:33 +0200 | Guest|15 | (~Guest|15@131.212.248.62) |
| 2023-03-26 18:15:42 +0200 | Guest|15 | (~Guest|15@131.212.248.62) (Client Quit) |
| 2023-03-26 18:16:52 +0200 | gensyst | (~gensyst@user/gensyst) (Ping timeout: 276 seconds) |
| 2023-03-26 18:19:14 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-26 18:19:43 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 18:20:17 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-03-26 18:22:20 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-26 18:22:30 +0200 | cheater_ | cheater |
| 2023-03-26 18:25:32 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-26 18:29:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-03-26 18:31:15 +0200 | econo | (uid147250@user/econo) |
| 2023-03-26 18:33:44 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 18:35:06 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-26 18:35:10 +0200 | cheater_ | cheater |
| 2023-03-26 18:37:01 +0200 | razetime | (~Thunderbi@117.193.5.51) (Ping timeout: 240 seconds) |
| 2023-03-26 18:37:11 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-03-26 18:37:34 +0200 | razetime | (~Thunderbi@117.193.2.138) |
| 2023-03-26 18:37:51 +0200 | razetime | (~Thunderbi@117.193.2.138) (Remote host closed the connection) |
| 2023-03-26 18:46:27 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-03-26 18:47:36 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-26 18:47:42 +0200 | cheater__ | cheater |
| 2023-03-26 19:01:37 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 19:02:59 +0200 | myme | (~myme@2a01:799:d60:e400:152f:3afa:67d8:6d3c) |
| 2023-03-26 19:04:13 +0200 | oats | (~thomas@user/oats) (Quit: until later, my friends) |
| 2023-03-26 19:04:23 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-03-26 19:04:33 +0200 | cheater_ | cheater |
| 2023-03-26 19:04:49 +0200 | oats | (~thomas@user/oats) |
| 2023-03-26 19:11:36 +0200 | oats | (~thomas@user/oats) (Quit: until later, my friends) |
| 2023-03-26 19:12:12 +0200 | oats | (~thomas@user/oats) |
| 2023-03-26 19:15:43 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-03-26 19:17:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-26 19:19:33 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 19:24:52 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 19:37:26 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-26 19:37:26 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-26 19:37:26 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-26 19:37:41 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-03-26 19:39:30 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-26 19:40:20 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-03-26 19:43:00 +0200 | npmania | (~Thunderbi@91.193.7.10) (Quit: npmania) |
| 2023-03-26 19:44:42 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2023-03-26 19:45:02 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-26 19:47:44 +0200 | <ggVGc> | EvanR: why is ScopedTypeVariables among the things you wished you knew when learning Haskell? |
| 2023-03-26 19:47:51 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Client Quit) |
| 2023-03-26 19:47:51 +0200 | <ggVGc> | I have never used it in my own code... |
| 2023-03-26 19:48:11 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-26 19:50:18 +0200 | <EvanR> | it comes up when you try higher rank polymorphism or GADT stuff. The type checker claims your types don't match, it makes no sense, until you learn this One Weird Trick |
| 2023-03-26 19:50:33 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Client Quit) |
| 2023-03-26 19:50:51 +0200 | <EvanR> | I backported my understanding and assumed it's something that comes up in super basic haskell |
| 2023-03-26 19:50:53 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-26 19:51:39 +0200 | <ggVGc> | hm, I guess I don't really do higher rank polymorphism much either, but I do use GADTs occasionally |
| 2023-03-26 19:51:49 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Client Quit) |
| 2023-03-26 19:51:51 +0200 | <ggVGc> | I'll keep writing Haskell like a toddler til I die |
| 2023-03-26 19:52:00 +0200 | <ggVGc> | and I'm okay with that I think :) |
| 2023-03-26 19:52:08 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-26 19:52:09 +0200 | <geekosaur> | so am I, for that matter |
| 2023-03-26 19:52:22 +0200 | <EvanR> | they're related since polymorphic contents of a GADT don't have to have their type variables appear in the GADT type |
| 2023-03-26 19:52:44 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Client Quit) |
| 2023-03-26 19:52:45 +0200 | <geekosaur> | also I note that if you let types be inferred, you have no problems; it's not until you try to write a type signature for such a function that you run into this |
| 2023-03-26 19:52:47 +0200 | <EvanR> | so the constructors of a proper gadt end up looking higher rank |
| 2023-03-26 19:53:04 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-26 19:53:31 +0200 | <ggVGc> | wonder if I can even write Haskell anymore... Haven't really done it for a year or so |
| 2023-03-26 19:53:31 +0200 | <EvanR> | geekosaur, which is required when you are doing instances. The type comes from the definition of the type class. I recall that being the first time I ran into needing ScopedTypeVariables |
| 2023-03-26 19:53:35 +0200 | <geekosaur> | and it'll be the inner function (let/where) that needs it, and many people leave those to be inferred even if they write type signatures for top level ones |
| 2023-03-26 19:53:38 +0200 | <ggVGc> | busy trying to reach toddler level in physics |
| 2023-03-26 19:54:13 +0200 | <geekosaur> | (well, you do the foreach thing on the top level one, but if you leave the inner one to be inferred nothing goes wrong) |
| 2023-03-26 19:55:32 +0200 | slack1256 | (~slack1256@186.11.84.131) |
| 2023-03-26 19:56:19 +0200 | <EvanR> | I do appreciate being able to write the actual type signature of things |
| 2023-03-26 19:56:31 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Client Quit) |
| 2023-03-26 19:56:35 +0200 | <EvanR> | I hear that's less of an issue in some other languages with type inference |
| 2023-03-26 19:56:46 +0200 | <geekosaur> | yeh, I write type signatures everywhere these days, it helps error messages |
| 2023-03-26 19:56:51 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-26 19:56:58 +0200 | vglfr | (~vglfr@46.96.185.251) |
| 2023-03-26 19:57:08 +0200 | <geekosaur> | ghc will happily infer nonsense when typeclasses are involved |
| 2023-03-26 19:58:24 +0200 | <geekosaur> | like, it will happily use (Integral n, Fractional n) until it has to pick a type for it, which may be quite distant from where the actual type error iis |
| 2023-03-26 19:59:34 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-03-26 20:00:07 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Client Quit) |
| 2023-03-26 20:00:22 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-26 20:00:57 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-03-26 20:01:24 +0200 | krei-se- | (~krei-se@p50874388.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-03-26 20:01:47 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Client Quit) |
| 2023-03-26 20:01:52 +0200 | krei-se | (~krei-se@31.6.49.253) |
| 2023-03-26 20:02:06 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-26 20:03:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-26 20:09:21 +0200 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-26 20:09:36 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 20:10:01 +0200 | vcks | (~vcks@58.84.143.91) (Client Quit) |
| 2023-03-26 20:11:20 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 20:11:26 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 20:12:25 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2023-03-26 20:12:48 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-26 20:15:48 +0200 | krei-se | (~krei-se@31.6.49.253) (Ping timeout: 255 seconds) |
| 2023-03-26 20:18:13 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2023-03-26 20:18:16 +0200 | kenran | (~user@user/kenran) |
| 2023-03-26 20:19:33 +0200 | krei-se | (~krei-se@p50874388.dip0.t-ipconnect.de) |
| 2023-03-26 20:23:11 +0200 | slack1256 | (~slack1256@186.11.84.131) (Ping timeout: 246 seconds) |
| 2023-03-26 20:23:44 +0200 | kmein | (~weechat@user/kmein) |
| 2023-03-26 20:23:54 +0200 | <ggVGc> | Integral is a bit of a weird name to me... |
| 2023-03-26 20:24:23 +0200 | <integral> | :-( |
| 2023-03-26 20:24:26 +0200 | Guest30 | (~Guest30@p240.ucndns.in) |
| 2023-03-26 20:24:47 +0200 | <ggVGc> | haha |
| 2023-03-26 20:24:49 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 20:25:30 +0200 | Guest30 | (~Guest30@p240.ucndns.in) (Client Quit) |
| 2023-03-26 20:25:36 +0200 | <ggVGc> | Why isn't it Divisable or something? |
| 2023-03-26 20:26:16 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-03-26 20:27:23 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-03-26 20:32:27 +0200 | <EvanR> | an allusion to integral domain from algebra, probably |
| 2023-03-26 20:32:45 +0200 | <EvanR> | Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility |
| 2023-03-26 20:33:05 +0200 | <EvanR> | see also Monad instead of Flatmappable |
| 2023-03-26 20:34:31 +0200 | <monochrom> | And Ring instead of AddableMultiplyableDistributive >:) |
| 2023-03-26 20:35:03 +0200 | <EvanR> | Magma instead of... |
| 2023-03-26 20:35:05 +0200 | <monochrom> | sorry, AddableSubtractableMultiplyableDistributive |
| 2023-03-26 20:35:20 +0200 | <monochrom> | "This is getting out of hand. There are now two of them!" |
| 2023-03-26 20:35:54 +0200 | <EvanR> | Smushable |
| 2023-03-26 20:36:54 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-03-26 20:37:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-26 20:38:24 +0200 | <ggVGc> | ah, right... I was not aware of integral domains |
| 2023-03-26 20:38:55 +0200 | <ggVGc> | My maths currently peaks at multivariable real analysis |
| 2023-03-26 20:39:06 +0200 | <ggVGc> | and I'm hoping for it to stay there for a while |
| 2023-03-26 20:39:24 +0200 | <EvanR> | then combine that with haskell to get homotopy type theory xD |
| 2023-03-26 20:40:23 +0200 | Everything | (~Everythin@46.185.124.65) (Remote host closed the connection) |
| 2023-03-26 20:40:46 +0200 | <ggVGc> | let me just get clear on how a nucleus works first and I'll get right into that |
| 2023-03-26 20:40:54 +0200 | <[exa]> | ggVGc: you reached the peak, resemblance to reality is now only going to diminish |
| 2023-03-26 20:41:09 +0200 | <geekosaur> | if you ever figure that out, let everyone else know, ok? 😈 |
| 2023-03-26 20:41:30 +0200 | <monochrom> | s/reality/intuition/ |
| 2023-03-26 20:41:59 +0200 | <[exa]> | [these_are_the_same_meme.jpg] |
| 2023-03-26 20:42:04 +0200 | <EvanR> | history ended around 2005, reality ended around 2016 |
| 2023-03-26 20:42:55 +0200 | <EvanR> | still waiting for virtual reality to end |
| 2023-03-26 20:44:19 +0200 | <mauke> | http://www.infinityplus.co.uk/stories/colderwar.htm |
| 2023-03-26 20:49:34 +0200 | APic | (apic@apic.name) (Ping timeout: 252 seconds) |
| 2023-03-26 20:51:16 +0200 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2023-03-26 20:51:41 +0200 | michalz | (~michalz@185.246.207.197) |
| 2023-03-26 20:57:29 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-26 20:58:45 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-26 21:01:18 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-26 21:03:17 +0200 | APic | (apic@apic.name) |
| 2023-03-26 21:07:32 +0200 | <juri_> | EvanR: If i ever meet whoever's writing the plot for this timeline, they're going to have to beg for my forgiveness. |
| 2023-03-26 21:07:52 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 21:10:08 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-039.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-03-26 21:13:06 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2023-03-26 21:14:37 +0200 | <ddellacosta> | juri_: what are you talking about, it's getting great numbers |
| 2023-03-26 21:15:41 +0200 | <[exa]> | juri_: don't tease the scribes |
| 2023-03-26 21:15:47 +0200 | <ggVGc> | juri_: what makes you think the alternative ones are better? |
| 2023-03-26 21:15:59 +0200 | <ggVGc> | Majority of the alternative plots probably didn't even get past formation of atoms |
| 2023-03-26 21:16:07 +0200 | <ggVGc> | this one's working out fairly okay in the greater scheme |
| 2023-03-26 21:16:16 +0200 | <[exa]> | "typical side projects" |
| 2023-03-26 21:16:37 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-055.46.114.pool.telefonica.de) |
| 2023-03-26 21:16:41 +0200 | <ddellacosta> | anthropic principle for the win I suppose |
| 2023-03-26 21:16:47 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-03-26 21:17:31 +0200 | <ddellacosta> | on a more relevant note: can anyone remember this one reddit post by edwardk where he talked about writing shell scripts in Haskell, and pasted something in? It was years ago. I've searched for it but had no luck |
| 2023-03-26 21:18:07 +0200 | <ggVGc> | Are you talking about Shelly? |
| 2023-03-26 21:18:34 +0200 | <ddellacosta> | I don't think so, I think he was demonstrating how good Haskell can be for sysadmin-y tasks you'd normally use bash and the like for |
| 2023-03-26 21:18:40 +0200 | <ggVGc> | I tried using haskell for shell scripts a few times, but it never really worked out well for me |
| 2023-03-26 21:19:16 +0200 | <ddellacosta> | yeah I mean, this may have been a very specific example. It definitely is a bit more effort IMHO |
| 2023-03-26 21:21:43 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-055.46.114.pool.telefonica.de) (Remote host closed the connection) |
| 2023-03-26 21:23:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds) |
| 2023-03-26 21:26:00 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 255 seconds) |
| 2023-03-26 21:26:03 +0200 | <juri_> | i know chris penner was doing some work on writing shell scripting tools in haskell. |
| 2023-03-26 21:26:08 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-03-26 21:26:15 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-03-26 21:26:41 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-26 21:27:00 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-055.46.114.pool.telefonica.de) |
| 2023-03-26 21:27:05 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 21:28:43 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-03-26 21:32:18 +0200 | vcks | (~vcks@58.84.143.91) (Ping timeout: 255 seconds) |
| 2023-03-26 21:36:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds) |
| 2023-03-26 21:40:19 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 21:41:49 +0200 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokeph) |
| 2023-03-26 21:42:03 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-26 21:42:04 +0200 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-03-26 21:44:40 +0200 | <ddellacosta> | juri_: that sounds interesting. I like his lens book. Got a link? |
| 2023-03-26 21:44:54 +0200 | vcks | (~vcks@58.84.143.91) (Client Quit) |
| 2023-03-26 21:46:22 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-26 21:47:19 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-26 21:49:19 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-26 21:50:25 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 21:54:04 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-03-26 21:54:05 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 21:54:10 +0200 | slack1256 | (~slack1256@186.11.84.131) |
| 2023-03-26 21:54:23 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-03-26 21:56:40 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 21:57:26 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 21:58:34 +0200 | canta | (~canta@user/canta) |
| 2023-03-26 21:58:51 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-26 21:59:02 +0200 | cheater_ | cheater |
| 2023-03-26 21:59:16 +0200 | vcks | (~vcks@58.84.143.91) (Client Quit) |
| 2023-03-26 21:59:36 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 22:03:07 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-03-26 22:05:20 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 22:10:33 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-03-26 22:15:43 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 22:17:17 +0200 | cheater_ | (~Username@user/cheater) (Client Quit) |
| 2023-03-26 22:18:40 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-03-26 22:18:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-26 22:19:51 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-26 22:22:45 +0200 | cheater | (~Username@user/cheater) |
| 2023-03-26 22:22:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-26 22:25:55 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-03-26 22:29:04 +0200 | slack1256 | (~slack1256@186.11.84.131) (Ping timeout: 268 seconds) |
| 2023-03-26 22:29:43 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds) |
| 2023-03-26 22:31:38 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-03-26 22:32:44 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-03-26 22:35:20 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-26 22:35:35 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-26 22:38:21 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-26 22:40:22 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-03-26 22:49:01 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 22:49:11 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 22:55:59 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Quit: leaving) |
| 2023-03-26 22:56:46 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-03-26 22:58:31 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-26 22:59:50 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-03-26 22:59:50 +0200 | cheater__ | cheater |
| 2023-03-26 23:01:45 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-26 23:06:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-03-26 23:06:55 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-26 23:08:31 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-26 23:19:53 +0200 | sayola | (~sayola@ipservice-092-213-087-241.092.213.pools.vodafone-ip.de) |
| 2023-03-26 23:21:00 +0200 | <sayola> | what was the name of the extension again to overload things like if-else? |
| 2023-03-26 23:21:30 +0200 | <monochrom> | RebindableSyntax |
| 2023-03-26 23:21:49 +0200 | <geekosaur> | but it's a big hammer |
| 2023-03-26 23:22:13 +0200 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-03-26 23:22:15 +0200 | <sayola> | thanks |
| 2023-03-26 23:23:06 +0200 | <sayola> | dont worry i just wanted to check if it also does rebind for pattern matching. maybe so that you can build a nicer prolog-like db in haskell or so. |
| 2023-03-26 23:25:36 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-03-26 23:25:56 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-03-26 23:26:06 +0200 | cassiopea | (~cassiopea@user/cassiopea) |
| 2023-03-26 23:27:09 +0200 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-03-26 23:28:20 +0200 | <sayola> | hm it doesnt seem to be |
| 2023-03-26 23:28:26 +0200 | coot | (~coot@213.134.170.228) (Quit: coot) |
| 2023-03-26 23:29:36 +0200 | <geekosaur> | pretty sure rebindable pattern matching would require more than just syntax |
| 2023-03-26 23:30:04 +0200 | <geekosaur> | it's pretty core to what Haskell is |
| 2023-03-26 23:30:20 +0200 | <c_wraith> | Pattern synonyms are pretty close to rebindable pattern matching now |
| 2023-03-26 23:31:00 +0200 | <sayola> | hm right |
| 2023-03-26 23:31:57 +0200 | <c_wraith> | There are limits, you can't go as far as... making them prolog. |
| 2023-03-26 23:32:14 +0200 | <c_wraith> | But you can make them do a lot more work than a typical pattern match, or typical constructor |
| 2023-03-26 23:34:17 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-26 23:35:13 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-03-26 23:36:17 +0200 | mud | (~mud@user/kadoban) |
| 2023-03-26 23:37:44 +0200 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-26 23:38:04 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-03-26 23:40:11 +0200 | <sayola> | yea i think pattern synonyms are sufficient to build something of a query |
| 2023-03-26 23:43:01 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2023-03-26 23:49:03 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 23:51:21 +0200 | mikoto-chan | (~mikoto-ch@dy6pn5sgt9qnwdj1ryybt-4.rev.dnainternet.fi) |
| 2023-03-26 23:52:23 +0200 | mud | (~mud@user/kadoban) |
| 2023-03-26 23:53:36 +0200 | vcks | (~vcks@58.84.143.91) (Client Quit) |
| 2023-03-26 23:53:55 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-26 23:54:22 +0200 | slack1256 | (~slack1256@186.11.84.131) |
| 2023-03-26 23:54:57 +0200 | vcks | (~vcks@58.84.143.91) |
| 2023-03-26 23:55:14 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-26 23:57:00 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-26 23:59:08 +0200 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |