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