| 2025-02-06 00:00:51 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-02-06 00:01:50 +0100 | <dminuoso> | Or you just carry on the torch. |
| 2025-02-06 00:02:32 +0100 | <dminuoso> | misterfish: Seems it never has been. Are you sure you arent suddenly using something that requires this shared object now? |
| 2025-02-06 00:02:58 +0100 | <dminuoso> | Or maybe something in PA changed that induced vesktop to load that shared object. |
| 2025-02-06 00:04:18 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-02-06 00:04:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-02-06 00:04:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 00:05:16 +0100 | <dminuoso> | misterfish: Hah, its an electron app. |
| 2025-02-06 00:06:56 +0100 | misterfish | (~misterfis@84.53.85.146) (Remote host closed the connection) |
| 2025-02-06 00:11:34 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-02-06 00:17:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 00:24:04 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 268 seconds) |
| 2025-02-06 00:26:00 +0100 | spacenautx | (~spacenaut@user/spacenautx) spacenautx |
| 2025-02-06 00:26:17 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-06 00:26:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-06 00:26:56 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2025-02-06 00:28:48 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-02-06 00:31:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 00:36:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 00:37:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 00:41:12 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-02-06 00:44:25 +0100 | jjido | (~Denis@5.133.46.22) (Quit: My laptop has gone to sleep. ZZZzzz…) |
| 2025-02-06 00:44:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 00:45:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-06 00:47:13 +0100 | jzargo2 | (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2025-02-06 00:47:26 +0100 | jzargo2 | (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) |
| 2025-02-06 00:47:59 +0100 | jzargo2 | (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-06 00:55:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 01:00:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 01:04:01 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-06 01:11:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 01:12:58 +0100 | mange | (~user@user/mange) mange |
| 2025-02-06 01:16:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 01:17:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 01:20:51 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 01:22:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 01:25:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-06 01:25:36 +0100 | otbergsten | (~otbergste@user/otbergsten) (Ping timeout: 244 seconds) |
| 2025-02-06 01:26:22 +0100 | sprotte24 | (~sprotte24@p200300d16f11de0068d7372f021dd7dd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-06 01:31:17 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-06 01:33:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 01:37:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-06 01:48:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 01:53:08 +0100 | euleritian | (~euleritia@77.23.250.232) (Remote host closed the connection) |
| 2025-02-06 01:53:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-06 01:54:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-06 01:57:53 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:910:87f2:f824:bcaa) (Ping timeout: 248 seconds) |
| 2025-02-06 01:58:49 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:afa8:886d:af2c:473f) (Quit: WeeChat 4.5.1) |
| 2025-02-06 01:59:43 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:1769:2d68:45ec:e852) jle` |
| 2025-02-06 02:04:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 02:09:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-06 02:10:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 02:15:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-06 02:20:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 02:25:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-06 02:35:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 02:41:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 02:51:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 02:54:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 02:58:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 02:58:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 03:03:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 03:06:57 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 03:10:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 03:15:36 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-06 03:18:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-06 03:27:38 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 03:28:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-06 03:29:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 03:32:07 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2025-02-06 03:32:12 +0100 | sarna | (~sarna@d168-237.icpnet.pl) (Ping timeout: 252 seconds) |
| 2025-02-06 03:32:13 +0100 | <r-sta> | hi i have a problem deconstructing a binary tree |
| 2025-02-06 03:32:28 +0100 | <r-sta> | normally i can deconstruct a tree because it has any number of branches |
| 2025-02-06 03:32:34 +0100 | <r-sta> | now i cant "traverse" |
| 2025-02-06 03:32:41 +0100 | <r-sta> | and have to do "one value at a time" |
| 2025-02-06 03:32:47 +0100 | <r-sta> | idk how to approach this |
| 2025-02-06 03:32:53 +0100 | <r-sta> | i have never come accross the formalism |
| 2025-02-06 03:32:54 +0100 | <r-sta> | any help? |
| 2025-02-06 03:33:23 +0100 | <r-sta> | (its like being forced to do the suspended traversal by the non-deconstructability) |
| 2025-02-06 03:33:50 +0100 | <r-sta> | (i cant go deconstructing branches and still be left with a *binary* tree) |
| 2025-02-06 03:34:14 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-06 03:34:25 +0100 | <r-sta> | i think iiuc the traversability of the branches is not from deconstruct/reconstruct |
| 2025-02-06 03:34:38 +0100 | <r-sta> | and this is somehow tainting the whole structure |
| 2025-02-06 03:35:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 03:35:17 +0100 | rekahsoft | (~rekahsoft@142.112.184.232) (Ping timeout: 244 seconds) |
| 2025-02-06 03:37:22 +0100 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) |
| 2025-02-06 03:38:37 +0100 | tavare | (~tavare@150.129.88.189) |
| 2025-02-06 03:38:37 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-02-06 03:38:37 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-06 03:39:55 +0100 | Inst__ | (~Inst__@2601:6c1:786:fb0:b0d9:e54c:aa23:7982) |
| 2025-02-06 03:40:30 +0100 | <Inst__> | Sclv: |
| 2025-02-06 03:40:44 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-06 03:40:56 +0100 | <sclv> | ? |
| 2025-02-06 03:41:05 +0100 | <Inst__> | i recently found this guy, you might find him interesting |
| 2025-02-06 03:41:07 +0100 | <Inst__> | https://en.m.wikipedia.org/wiki/William_Lawvere |
| 2025-02-06 03:41:17 +0100 | <sclv> | i’m aware |
| 2025-02-06 03:41:44 +0100 | <sclv> | and yes, he is |
| 2025-02-06 03:41:53 +0100 | <r-sta> | what, a topos? |
| 2025-02-06 03:42:06 +0100 | <Inst__> | Oh, have a good one, found him when I was trying to do dialectics, and got censored off RedNote for asking about basing dialectics in mathematical logic |
| 2025-02-06 03:42:30 +0100 | <r-sta> | one simply doesnt ought... |
| 2025-02-06 03:42:31 +0100 | <sclv> | andrei rodin |
| 2025-02-06 03:42:52 +0100 | <sclv> | has a good book about lawvere in that regars |
| 2025-02-06 03:43:03 +0100 | <r-sta> | ... |
| 2025-02-06 03:43:13 +0100 | <Inst__> | Ah, survivors of the Soviet attempt to find a mathematical grounding for Dialectical Materialism? |
| 2025-02-06 03:43:51 +0100 | <r-sta> | so i think my problem is that if you deconstruct a n-d binary grid, that it creates a view to the reconstructed version, where there is no intermediate type to hold the deconstructed thing. its not an n-d euclidean binary grid, when one of the cells is being viewed |
| 2025-02-06 03:44:23 +0100 | <r-sta> | like a square with a square corner missing is not a square |
| 2025-02-06 03:44:47 +0100 | <Inst__> | Thanks for the rec, best of luck. |
| 2025-02-06 03:44:49 +0100 | <r-sta> | and this is completely messing up all my types. which work on eg, trees with lists as branches |
| 2025-02-06 03:45:07 +0100 | <r-sta> | ie, where the branches are traversable by virtue of their deconstructability |
| 2025-02-06 03:45:29 +0100 | <r-sta> | im totally stuck doing everything just on one element, it doesnt follw any of the usual tail recursive patterns |
| 2025-02-06 03:45:33 +0100 | Inst__ | (~Inst__@2601:6c1:786:fb0:b0d9:e54c:aa23:7982) (Quit: Client closed) |
| 2025-02-06 03:45:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 03:46:39 +0100 | <r-sta> | something like "things that can be piecewise deconstructed, by repeated deconstruction. vs things that only support one view" |
| 2025-02-06 03:47:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 03:47:17 +0100 | <r-sta> | "how do you expect me to deconstruct the square with the corner missing!! oh no!!" |
| 2025-02-06 03:47:18 +0100 | <r-sta> | and you have to not try to do that |
| 2025-02-06 03:47:32 +0100 | <r-sta> | which comes from just wanting to recurse as usual |
| 2025-02-06 03:47:51 +0100 | <r-sta> | its like "no, you view only one element" |
| 2025-02-06 03:47:52 +0100 | <r-sta> | and i dont have a type abstraction which supports this |
| 2025-02-06 03:48:33 +0100 | <r-sta> | assuming i now have to come up with this... any suggestions? |
| 2025-02-06 03:49:59 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 03:50:02 +0100 | <r-sta> | the best i can come up with is that, the view is not returning the type for the thing deconstructed, as the thing not-deconstructed. this means you cant go on to continually apply the deconstruction. ie, through a non, type equality, that the geti,seti paradigm is abstracted over, to settings where repeated deconstruction might not occur |
| 2025-02-06 03:50:28 +0100 | <r-sta> | previously had, geti+seti = traversable, but now have only this in a special case where the deconstructed thing is the same type as the thing you deconstructed. |
| 2025-02-06 03:51:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-06 03:51:16 +0100 | <r-sta> | "i can deconstruct your type into a value, some structure data, and another type with the rest of the data" |
| 2025-02-06 03:51:23 +0100 | Inst__ | (~Inst__@2601:6c1:786:fb0:b0d9:e54c:aa23:7982) |
| 2025-02-06 03:51:34 +0100 | <r-sta> | "if the nother type is the same as the first, this supports recursion and leads to traversability" |
| 2025-02-06 03:51:40 +0100 | <r-sta> | "if not, you just get a cursor" |
| 2025-02-06 03:51:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-06 03:51:49 +0100 | <r-sta> | makes sense? |
| 2025-02-06 03:51:52 +0100 | <r-sta> | anyone!? |
| 2025-02-06 03:51:56 +0100 | <Inst__> | "Axiomatic Method and Category Theory", Andrei Rodin, awesome |
| 2025-02-06 03:52:04 +0100 | Inst__ | (~Inst__@2601:6c1:786:fb0:b0d9:e54c:aa23:7982) (Client Quit) |
| 2025-02-06 03:52:47 +0100 | <r-sta> | argh! people talk here in indirects. despite spacetime developments. very rude. |
| 2025-02-06 03:52:48 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 2025-02-06 03:54:30 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-06 03:54:47 +0100 | sarna | (~sarna@d168-237.icpnet.pl) sarna |
| 2025-02-06 03:55:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:01:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-06 04:01:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 04:01:28 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 04:05:14 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 04:08:55 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-06 04:11:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:13:31 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-06 04:18:28 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 04:18:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-02-06 04:19:38 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-02-06 04:19:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 04:22:46 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-06 04:23:18 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-02-06 04:24:09 +0100 | <haskellbridge> | <Bowuigi> r-sta didn't give enough context, but I guess a zipper kinda fixes the issues. I don't really know what they were referring to |
| 2025-02-06 04:24:14 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 04:25:39 +0100 | <haskellbridge> | <Bowuigi> Anyway, any books on category theory using type-theoretic syntax? I got through a ton of introductions and books and still couldn't wrap my head around anything more complex than a limit/colimit |
| 2025-02-06 04:29:10 +0100 | <haskellbridge> | <Bowuigi> I assume the syntax is the issue here, because the standard one has somewhat odd conventions and syntax sugar. I think that having a typechecker to play with the concepts would make a difference too (I've been looking into Cubical stuff and cooltt is probably what I'm looking for in that regard) |
| 2025-02-06 04:30:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:32:28 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 04:32:58 +0100 | <haskellbridge> | <Bowuigi> The HoTT book (chapter 9) has something really similar to this "type-theoretic category theory book" idea I'm looking for, any other recommendations? |
| 2025-02-06 04:33:12 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-06 04:33:18 +0100 | agent314 | (~quassel@79.127.222.205) agent314 |
| 2025-02-06 04:34:32 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-02-06 04:35:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 04:36:44 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 04:37:00 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2025-02-06 04:37:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 04:39:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-06 04:42:05 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 04:42:15 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 246 seconds) |
| 2025-02-06 04:45:28 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-06 04:48:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:53:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-06 04:53:56 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-02-06 04:54:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 04:58:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-02-06 04:59:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 05:02:48 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2025-02-06 05:03:22 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 05:04:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:08:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-06 05:09:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-06 05:16:10 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 05:20:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:24:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 05:25:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 05:29:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-06 05:32:04 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-02-06 05:36:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:41:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 05:46:45 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 05:52:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:56:52 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 05:59:03 +0100 | anpad | (~pandeyan@user/anpad) (Client Quit) |
| 2025-02-06 06:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-06 06:01:28 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-06 06:04:24 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 06:05:33 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::89) (Ping timeout: 246 seconds) |
| 2025-02-06 06:06:56 +0100 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 06:09:06 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 248 seconds) |
| 2025-02-06 06:11:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 06:12:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 06:15:20 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 06:16:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-06 06:18:09 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:1769:2d68:45ec:e852) (Quit: WeeChat 4.5.1) |
| 2025-02-06 06:18:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-06 06:20:49 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 260 seconds) |
| 2025-02-06 06:21:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 06:22:00 +0100 | euleritian | (~euleritia@dynamic-176-006-128-226.176.6.pool.telefonica.de) |
| 2025-02-06 06:26:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 06:26:19 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 06:26:54 +0100 | euleritian | (~euleritia@dynamic-176-006-128-226.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-06 06:27:12 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-06 06:28:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-02-06 06:32:45 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 06:33:05 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-06 06:33:06 +0100 | tnt2 | tnt1 |
| 2025-02-06 06:33:59 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Read error: Connection reset by peer) |
| 2025-02-06 06:35:58 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 06:36:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 06:36:53 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-02-06 06:37:53 +0100 | <monochrom> | Next time it will be: argh! people don't answer me at all, very rude. |
| 2025-02-06 06:41:15 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 06:42:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 06:44:20 +0100 | anpad | (~pandeyan@user/anpad) (Client Quit) |
| 2025-02-06 06:48:31 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 06:49:29 +0100 | lol_ | jcarpenter2 |
| 2025-02-06 06:52:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 06:54:27 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:6618:6c83:b259:edfc) jle` |
| 2025-02-06 06:56:57 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 07:00:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 07:02:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 07:04:12 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-02-06 07:04:14 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:04:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-06 07:05:41 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 248 seconds) |
| 2025-02-06 07:06:08 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 07:07:17 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2025-02-06 07:08:18 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:08:40 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-06 07:09:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 07:13:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 07:14:35 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-06 07:15:45 +0100 | Anushka | (~Anushka@101.0.63.56) |
| 2025-02-06 07:16:18 +0100 | Anushka | (~Anushka@101.0.63.56) (Client Quit) |
| 2025-02-06 07:17:36 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-06 07:18:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 07:28:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-06 07:28:51 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:29:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 07:29:39 +0100 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-02-06 07:31:09 +0100 | tnt2 | tnt1 |
| 2025-02-06 07:34:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-06 07:39:13 +0100 | alp | (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) (Remote host closed the connection) |
| 2025-02-06 07:39:31 +0100 | alp | (~alp@2001:861:8ca0:4940:e0b0:d5fb:93ef:4ef8) |
| 2025-02-06 07:40:54 +0100 | alp | (~alp@2001:861:8ca0:4940:e0b0:d5fb:93ef:4ef8) (Remote host closed the connection) |
| 2025-02-06 07:41:13 +0100 | alp | (~alp@2001:861:8ca0:4940:7eb3:2e6e:7dc9:4f15) |
| 2025-02-06 07:42:36 +0100 | alp | (~alp@2001:861:8ca0:4940:7eb3:2e6e:7dc9:4f15) (Remote host closed the connection) |
| 2025-02-06 07:42:53 +0100 | alp | (~alp@2001:861:8ca0:4940:3d30:574c:e91e:fee7) |
| 2025-02-06 07:43:22 +0100 | CiaoSen | (~Jura@2a05:5800:267:cf00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-06 07:44:19 +0100 | alp | (~alp@2001:861:8ca0:4940:3d30:574c:e91e:fee7) (Remote host closed the connection) |
| 2025-02-06 07:44:36 +0100 | alp | (~alp@2001:861:8ca0:4940:f75c:8158:a534:1f8a) |
| 2025-02-06 07:44:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 07:46:01 +0100 | alp | (~alp@2001:861:8ca0:4940:f75c:8158:a534:1f8a) (Remote host closed the connection) |
| 2025-02-06 07:46:18 +0100 | alp | (~alp@2001:861:8ca0:4940:2afa:c238:f26:8e7f) |
| 2025-02-06 07:46:52 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-06 07:48:01 +0100 | alp_ | (~alp@2001:861:8ca0:4940:9b95:20d:aabb:ced3) |
| 2025-02-06 07:48:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 07:49:25 +0100 | alp_ | (~alp@2001:861:8ca0:4940:9b95:20d:aabb:ced3) (Remote host closed the connection) |
| 2025-02-06 07:49:42 +0100 | alp_ | (~alp@2001:861:8ca0:4940:f903:6c8:e9e2:1b2b) |
| 2025-02-06 07:50:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-06 07:51:19 +0100 | alp | (~alp@2001:861:8ca0:4940:2afa:c238:f26:8e7f) (Ping timeout: 252 seconds) |
| 2025-02-06 07:51:26 +0100 | alp__ | (~alp@2001:861:8ca0:4940:5403:7c5f:5e1b:67a6) |
| 2025-02-06 07:53:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 07:54:09 +0100 | anpad | (~pandeyan@user/anpad) (Ping timeout: 260 seconds) |
| 2025-02-06 07:54:19 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-02-06 07:54:37 +0100 | alp_ | (~alp@2001:861:8ca0:4940:f903:6c8:e9e2:1b2b) (Ping timeout: 252 seconds) |
| 2025-02-06 07:54:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2025-02-06 07:55:29 +0100 | euleritian | (~euleritia@dynamic-176-000-001-103.176.0.pool.telefonica.de) |
| 2025-02-06 07:56:27 +0100 | alp__ | (~alp@2001:861:8ca0:4940:5403:7c5f:5e1b:67a6) (Ping timeout: 252 seconds) |
| 2025-02-06 07:58:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 07:58:52 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:59:17 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 08:00:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 08:00:25 +0100 | tnt2 | tnt1 |
| 2025-02-06 08:01:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-06 08:05:20 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 08:05:42 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:05:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 08:10:39 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-06 08:10:50 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-06 08:14:02 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:17:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 08:18:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-06 08:19:38 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:19:54 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-02-06 08:20:48 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-02-06 08:21:08 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-02-06 08:22:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 08:26:52 +0100 | dhil | (~dhil@2a0c:b381:5bf:3500:5073:5edd:298b:88ae) dhil |
| 2025-02-06 08:31:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 08:31:44 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2025-02-06 08:32:02 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:32:03 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2025-02-06 08:32:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-06 08:32:12 +0100 | tnt2 | tnt1 |
| 2025-02-06 08:36:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-06 08:37:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 08:41:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-06 08:46:25 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:46:50 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-06 08:47:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 08:49:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-02-06 08:49:09 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:49:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 08:50:58 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 08:53:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-06 08:54:20 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-02-06 08:58:25 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:59:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 09:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-06 09:00:13 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 09:01:01 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-06 09:01:14 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 09:03:03 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-06 09:05:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 09:18:01 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-06 09:18:30 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-06 09:19:04 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-06 09:21:49 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-02-06 09:24:48 +0100 | euleritian | (~euleritia@dynamic-176-000-001-103.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-06 09:25:06 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-06 09:25:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 09:29:02 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2025-02-06 09:30:06 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-02-06 09:30:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-06 09:36:26 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-02-06 09:38:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-06 09:39:01 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-06 09:42:15 +0100 | <ncf> | Bowuigi: if you're looking for formal category theory, the 1lab has a bunch |
| 2025-02-06 09:42:19 +0100 | alp__ | (~alp@2001:861:8ca0:4940:c619:f7a3:d4b4:8e07) |
| 2025-02-06 09:42:25 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-02-06 09:42:25 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 09:46:07 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 09:48:41 +0100 | piele | (~piele@tbonesteak.creativeserver.net) (Quit: Ciao!) |
| 2025-02-06 09:49:52 +0100 | <haskellbridge> | <Bowuigi> Yeah but I usually don't understand the stuff there, maybe it is because I browse it like a wiki lol |
| 2025-02-06 09:52:22 +0100 | <haskellbridge> | <Bowuigi> Oh I read "nlab", not 1lab. Thanks, it seems to be what I'm looking for |
| 2025-02-06 09:52:41 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 09:53:26 +0100 | merijn | (~merijn@77.242.116.146) (Client Quit) |
| 2025-02-06 09:56:57 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 10:05:52 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f31acdc8f6e0eef26b6.dip0.t-ipconnect.de) acidjnk |
| 2025-02-06 10:06:50 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-06 10:12:34 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-06 10:12:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 10:13:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 10:14:26 +0100 | JimL | (~quassel@89.162.16.26) JimL |
| 2025-02-06 10:16:04 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Quit: leaving) |
| 2025-02-06 10:16:14 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2025-02-06 10:16:39 +0100 | sprotte24 | (~sprotte24@p200300d16f04b500f0fec28a072486d6.dip0.t-ipconnect.de) |
| 2025-02-06 10:17:01 +0100 | sprotte24 | (~sprotte24@p200300d16f04b500f0fec28a072486d6.dip0.t-ipconnect.de) (Client Quit) |
| 2025-02-06 10:17:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 10:18:37 +0100 | chele | (~chele@user/chele) chele |
| 2025-02-06 10:19:45 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-06 10:20:27 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2025-02-06 10:21:40 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-06 10:25:37 +0100 | Square | (~Square@user/square) Square |
| 2025-02-06 10:26:32 +0100 | trignome | (~Guest35@2601:602:680:a8d0:adbb:3f47:be53:2e1e) |
| 2025-02-06 10:28:21 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-02-06 10:33:19 +0100 | trignome | (~Guest35@2601:602:680:a8d0:adbb:3f47:be53:2e1e) (Quit: Client closed) |
| 2025-02-06 10:36:53 +0100 | fp | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) fp |
| 2025-02-06 10:38:32 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-06 10:44:33 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 245 seconds) |
| 2025-02-06 10:45:37 +0100 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-06 10:45:55 +0100 | JimL | (~quassel@89.162.16.26) |
| 2025-02-06 10:49:25 +0100 | forell | (~forell@user/forell) forell |
| 2025-02-06 10:52:58 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:581e:37f9:16ce:cc6e) ubert |
| 2025-02-06 10:55:07 +0100 | <cawfee> | ncf: hi |
| 2025-02-06 10:55:10 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-06 10:56:55 +0100 | <ncf> | hello |
| 2025-02-06 10:57:50 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 2025-02-06 10:58:57 +0100 | piele | (~piele@tbonesteak.creativeserver.net) piele |
| 2025-02-06 10:58:57 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-06 11:00:17 +0100 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-06 11:00:45 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-06 11:01:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 11:01:27 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-06 11:02:00 +0100 | piele | (~piele@tbonesteak.creativeserver.net) (Client Quit) |
| 2025-02-06 11:04:05 +0100 | AlexZenon | (~alzenon@5.139.233.186) (Ping timeout: 248 seconds) |
| 2025-02-06 11:05:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-06 11:07:34 +0100 | AlexZenon | (~alzenon@5.139.233.186) |
| 2025-02-06 11:11:06 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-02-06 11:13:17 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-06 11:16:54 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-06 11:21:49 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-02-06 11:24:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-02-06 11:45:41 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-02-06 11:48:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 11:49:39 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-06 11:50:10 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-06 11:53:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-06 12:01:06 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-02-06 12:02:40 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-02-06 12:05:17 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-06 12:05:59 +0100 | gehmehgeh | gmg |
| 2025-02-06 12:06:27 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 12:08:13 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 12:16:53 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4c17:71c9:4c89:f803) |
| 2025-02-06 12:34:19 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 12:36:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 12:37:55 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-02-06 12:38:07 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 12:38:07 +0100 | sprotte24 | (~sprotte24@p200300d16f04b500f0fec28a072486d6.dip0.t-ipconnect.de) |
| 2025-02-06 12:40:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 12:47:29 +0100 | Xe_ | (~Xe@perl/impostor/xe) (Ping timeout: 248 seconds) |
| 2025-02-06 12:47:30 +0100 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-02-06 12:48:55 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-02-06 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-06 13:02:15 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-06 13:09:58 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-02-06 13:10:42 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 13:16:34 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-02-06 13:17:29 +0100 | jespada | (~jespada@2800:a4:2286:d500:5c6d:3fe8:ba15:fd1a) jespada |
| 2025-02-06 13:24:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 13:25:56 +0100 | otbergsten | (~otbergste@user/otbergsten) otbergsten |
| 2025-02-06 13:26:19 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 13:29:23 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-06 13:35:15 +0100 | CiaoSen | (~Jura@2a05:5800:267:cf00:ca4b:d6ff:fec1:99da) (Ping timeout: 268 seconds) |
| 2025-02-06 13:35:57 +0100 | <dminuoso> | I have a type equality constraint from servant that fails: https://paste.tomsmeding.com/3sMtNrYP |
| 2025-02-06 13:36:19 +0100 | <dminuoso> | My question is: How can I start and debug this to make progress on my own? |
| 2025-02-06 13:37:31 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 13:38:03 +0100 | <dminuoso> | Ideally I would like to ask GHC what both of these types compute to, is that possible? |
| 2025-02-06 13:38:11 +0100 | <tomsmeding> | use :k! in ghci? |
| 2025-02-06 13:38:33 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-06 13:38:33 +0100 | tnt2 | tnt1 |
| 2025-02-06 13:39:05 +0100 | <tomsmeding> | there was a ghc version where that didn't actually compute type families, but I believe it's been fixed long ago already |
| 2025-02-06 13:44:44 +0100 | <dminuoso> | Okay, GToServant is not exported |
| 2025-02-06 13:44:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-06 13:45:17 +0100 | <dminuoso> | Can I tell GHCi to just ignore its own beliefs and let me use it anyway? |
| 2025-02-06 13:45:32 +0100 | <dminuoso> | Or is vendoring servant the only option? |
| 2025-02-06 13:45:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 13:45:43 +0100 | <dminuoso> | Ah screw it, Ill just vendor and export that thing. |
| 2025-02-06 13:46:21 +0100 | dhil | (~dhil@2a0c:b381:5bf:3500:5073:5edd:298b:88ae) (Ping timeout: 268 seconds) |
| 2025-02-06 13:47:32 +0100 | <dminuoso> | Mmm actually I dont have to, there's a type synoym thats available, great. |
| 2025-02-06 13:50:00 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-06 13:50:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-06 13:51:17 +0100 | <dminuoso> | tomsmeding: Mmm, it does not seem to resolve type aliases. |
| 2025-02-06 13:51:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-06 13:51:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-06 13:54:52 +0100 | <lxsameer> | hey, I need an effecient finit, and strict collection type. any recommendation? |
| 2025-02-06 13:55:53 +0100 | <dminuoso> | lxsameer: What kind of collection do you have? |
| 2025-02-06 13:56:06 +0100 | <dminuoso> | And what kind of access pattern? |
| 2025-02-06 13:59:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-02-06 14:00:26 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-06 14:00:29 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 14:00:32 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 14:00:33 +0100 | tnt2 | tnt1 |
| 2025-02-06 14:01:50 +0100 | <mauke> | ... some sort of vector (?) |
| 2025-02-06 14:02:39 +0100 | <dminuoso> | Or maybe a hashmap? |
| 2025-02-06 14:07:19 +0100 | <lxsameer> | dminuoso: something similar to a linked list |
| 2025-02-06 14:08:37 +0100 | <lxsameer> | mauke: a strict vector would do |
| 2025-02-06 14:12:20 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 14:13:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 14:13:37 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 14:13:43 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 245 seconds) |
| 2025-02-06 14:13:46 +0100 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2025-02-06 14:17:09 +0100 | cptaffe` | cptaffe |
| 2025-02-06 14:17:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 14:20:57 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-06 14:36:26 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-10-142-112-184-232.dsl.bell.ca) rekahsoft |
| 2025-02-06 14:37:15 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 14:38:26 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 14:47:52 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::21) |