| 2025-02-06 00:00:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 00:04:01 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-06 00:11:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 00:12:58 +0000 | mange | (~user@user/mange) mange |
| 2025-02-06 00:16:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 00:17:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 00:20:51 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 00:22:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 00:25:12 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-06 00:25:36 +0000 | otbergsten | (~otbergste@user/otbergsten) (Ping timeout: 244 seconds) |
| 2025-02-06 00:26:22 +0000 | sprotte24 | (~sprotte24@p200300d16f11de0068d7372f021dd7dd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-06 00:31:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-06 00:33:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 00:37:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-06 00:48:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 00:53:08 +0000 | euleritian | (~euleritia@77.23.250.232) (Remote host closed the connection) |
| 2025-02-06 00:53:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-06 00:54:13 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-06 00:57:53 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:910:87f2:f824:bcaa) (Ping timeout: 248 seconds) |
| 2025-02-06 00:58:49 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:afa8:886d:af2c:473f) (Quit: WeeChat 4.5.1) |
| 2025-02-06 00:59:43 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:1769:2d68:45ec:e852) jle` |
| 2025-02-06 01:04:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 01:09:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-06 01:10:36 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 01:15:14 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-06 01:20:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 01:25:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-06 01:35:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 01:41:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 01:51:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 01:54:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 01:58:40 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 01:58:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 02:03:10 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 02:06:57 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 02:10:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 02:15:36 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-06 02:18:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-06 02:27:38 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 02:28:36 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-06 02:29:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 02:32:07 +0000 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2025-02-06 02:32:12 +0000 | sarna | (~sarna@d168-237.icpnet.pl) (Ping timeout: 252 seconds) |
| 2025-02-06 02:32:13 +0000 | <r-sta> | hi i have a problem deconstructing a binary tree |
| 2025-02-06 02:32:28 +0000 | <r-sta> | normally i can deconstruct a tree because it has any number of branches |
| 2025-02-06 02:32:34 +0000 | <r-sta> | now i cant "traverse" |
| 2025-02-06 02:32:41 +0000 | <r-sta> | and have to do "one value at a time" |
| 2025-02-06 02:32:47 +0000 | <r-sta> | idk how to approach this |
| 2025-02-06 02:32:53 +0000 | <r-sta> | i have never come accross the formalism |
| 2025-02-06 02:32:54 +0000 | <r-sta> | any help? |
| 2025-02-06 02:33:23 +0000 | <r-sta> | (its like being forced to do the suspended traversal by the non-deconstructability) |
| 2025-02-06 02:33:50 +0000 | <r-sta> | (i cant go deconstructing branches and still be left with a *binary* tree) |
| 2025-02-06 02:34:14 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-06 02:34:25 +0000 | <r-sta> | i think iiuc the traversability of the branches is not from deconstruct/reconstruct |
| 2025-02-06 02:34:38 +0000 | <r-sta> | and this is somehow tainting the whole structure |
| 2025-02-06 02:35:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 02:35:17 +0000 | rekahsoft | (~rekahsoft@142.112.184.232) (Ping timeout: 244 seconds) |
| 2025-02-06 02:37:22 +0000 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) |
| 2025-02-06 02:38:37 +0000 | tavare | (~tavare@150.129.88.189) |
| 2025-02-06 02:38:37 +0000 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-02-06 02:38:37 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-06 02:39:55 +0000 | Inst__ | (~Inst__@2601:6c1:786:fb0:b0d9:e54c:aa23:7982) |
| 2025-02-06 02:40:30 +0000 | <Inst__> | Sclv: |
| 2025-02-06 02:40:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-06 02:40:56 +0000 | <sclv> | ? |
| 2025-02-06 02:41:05 +0000 | <Inst__> | i recently found this guy, you might find him interesting |
| 2025-02-06 02:41:07 +0000 | <Inst__> | https://en.m.wikipedia.org/wiki/William_Lawvere |
| 2025-02-06 02:41:17 +0000 | <sclv> | i’m aware |
| 2025-02-06 02:41:44 +0000 | <sclv> | and yes, he is |
| 2025-02-06 02:41:53 +0000 | <r-sta> | what, a topos? |
| 2025-02-06 02:42:06 +0000 | <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 02:42:30 +0000 | <r-sta> | one simply doesnt ought... |
| 2025-02-06 02:42:31 +0000 | <sclv> | andrei rodin |
| 2025-02-06 02:42:52 +0000 | <sclv> | has a good book about lawvere in that regars |
| 2025-02-06 02:43:03 +0000 | <r-sta> | ... |
| 2025-02-06 02:43:13 +0000 | <Inst__> | Ah, survivors of the Soviet attempt to find a mathematical grounding for Dialectical Materialism? |
| 2025-02-06 02:43:51 +0000 | <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 02:44:23 +0000 | <r-sta> | like a square with a square corner missing is not a square |
| 2025-02-06 02:44:47 +0000 | <Inst__> | Thanks for the rec, best of luck. |
| 2025-02-06 02:44:49 +0000 | <r-sta> | and this is completely messing up all my types. which work on eg, trees with lists as branches |
| 2025-02-06 02:45:07 +0000 | <r-sta> | ie, where the branches are traversable by virtue of their deconstructability |
| 2025-02-06 02:45:29 +0000 | <r-sta> | im totally stuck doing everything just on one element, it doesnt follw any of the usual tail recursive patterns |
| 2025-02-06 02:45:33 +0000 | Inst__ | (~Inst__@2601:6c1:786:fb0:b0d9:e54c:aa23:7982) (Quit: Client closed) |
| 2025-02-06 02:45:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 02:46:39 +0000 | <r-sta> | something like "things that can be piecewise deconstructed, by repeated deconstruction. vs things that only support one view" |
| 2025-02-06 02:47:05 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 02:47:17 +0000 | <r-sta> | "how do you expect me to deconstruct the square with the corner missing!! oh no!!" |
| 2025-02-06 02:47:18 +0000 | <r-sta> | and you have to not try to do that |
| 2025-02-06 02:47:32 +0000 | <r-sta> | which comes from just wanting to recurse as usual |
| 2025-02-06 02:47:51 +0000 | <r-sta> | its like "no, you view only one element" |
| 2025-02-06 02:47:52 +0000 | <r-sta> | and i dont have a type abstraction which supports this |
| 2025-02-06 02:48:33 +0000 | <r-sta> | assuming i now have to come up with this... any suggestions? |
| 2025-02-06 02:49:59 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 02:50:02 +0000 | <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 02:50:28 +0000 | <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 02:51:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-06 02:51:16 +0000 | <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 02:51:23 +0000 | Inst__ | (~Inst__@2601:6c1:786:fb0:b0d9:e54c:aa23:7982) |
| 2025-02-06 02:51:34 +0000 | <r-sta> | "if the nother type is the same as the first, this supports recursion and leads to traversability" |
| 2025-02-06 02:51:40 +0000 | <r-sta> | "if not, you just get a cursor" |
| 2025-02-06 02:51:42 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-06 02:51:49 +0000 | <r-sta> | makes sense? |
| 2025-02-06 02:51:52 +0000 | <r-sta> | anyone!? |
| 2025-02-06 02:51:56 +0000 | <Inst__> | "Axiomatic Method and Category Theory", Andrei Rodin, awesome |
| 2025-02-06 02:52:04 +0000 | Inst__ | (~Inst__@2601:6c1:786:fb0:b0d9:e54c:aa23:7982) (Client Quit) |
| 2025-02-06 02:52:47 +0000 | <r-sta> | argh! people talk here in indirects. despite spacetime developments. very rude. |
| 2025-02-06 02:52:48 +0000 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 2025-02-06 02:54:30 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-06 02:54:47 +0000 | sarna | (~sarna@d168-237.icpnet.pl) sarna |
| 2025-02-06 02:55:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 03:01:06 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-06 03:01:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 03:01:28 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 03:05:14 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 03:08:55 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-06 03:11:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 03:13:31 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-06 03:18:28 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 03:18:39 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-02-06 03:19:38 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-02-06 03:19:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 03:22:46 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-06 03:23:18 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-02-06 03:24:09 +0000 | <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 03:24:14 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 03:25:39 +0000 | <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 03:29:10 +0000 | <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 03:30:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 03:32:28 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 03:32:58 +0000 | <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 03:33:12 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-06 03:33:18 +0000 | agent314 | (~quassel@79.127.222.205) agent314 |
| 2025-02-06 03:34:32 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-02-06 03:35:29 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 03:36:44 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 03:37:00 +0000 | user363627 | (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2025-02-06 03:37:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 03:39:54 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-06 03:42:05 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 03:42:15 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 246 seconds) |
| 2025-02-06 03:45:28 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-06 03:48:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 03:53:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-06 03:53:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-02-06 03:54:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 03:58:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-02-06 03:59:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 04:02:48 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2025-02-06 04:03:22 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 04:04:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:08:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-06 04:09:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-06 04:16:10 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 04:20:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:24:12 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 04:25:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 04:29:08 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-06 04:32:04 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-02-06 04:36:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:41:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 04:46:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 04:52:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:56:52 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 04:59:03 +0000 | anpad | (~pandeyan@user/anpad) (Client Quit) |
| 2025-02-06 05:00:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-06 05:01:28 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-06 05:04:24 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 05:05:33 +0000 | prasad | (~Thunderbi@2601:243:c001:3f07::89) (Ping timeout: 246 seconds) |
| 2025-02-06 05:06:56 +0000 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 05:09:06 +0000 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 248 seconds) |
| 2025-02-06 05:11:58 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 05:12:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:15:20 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 05:16:13 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-06 05:18:09 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:1769:2d68:45ec:e852) (Quit: WeeChat 4.5.1) |
| 2025-02-06 05:18:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-06 05:20:49 +0000 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 260 seconds) |
| 2025-02-06 05:21:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:22:00 +0000 | euleritian | (~euleritia@dynamic-176-006-128-226.176.6.pool.telefonica.de) |
| 2025-02-06 05:26:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 05:26:19 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 05:26:54 +0000 | euleritian | (~euleritia@dynamic-176-006-128-226.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-06 05:27:12 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-06 05:28:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-02-06 05:32:45 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 05:33:05 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-06 05:33:06 +0000 | tnt2 | tnt1 |
| 2025-02-06 05:33:59 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Read error: Connection reset by peer) |
| 2025-02-06 05:35:58 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 05:36:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:36:53 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-02-06 05:37:53 +0000 | <monochrom> | Next time it will be: argh! people don't answer me at all, very rude. |
| 2025-02-06 05:41:15 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 05:42:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 05:44:20 +0000 | anpad | (~pandeyan@user/anpad) (Client Quit) |
| 2025-02-06 05:48:31 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 05:49:29 +0000 | lol_ | jcarpenter2 |
| 2025-02-06 05:52:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:54:27 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:6618:6c83:b259:edfc) jle` |
| 2025-02-06 05:56:57 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 06:00:23 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 06:02:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 06:04:12 +0000 | michalz | (~michalz@185.246.207.221) |
| 2025-02-06 06:04:14 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 06:04:33 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-06 06:05:41 +0000 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 248 seconds) |
| 2025-02-06 06:06:08 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 06:07:17 +0000 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2025-02-06 06:08:18 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 06:08:40 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-06 06:09:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 06:13:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 06:14:35 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-06 06:15:45 +0000 | Anushka | (~Anushka@101.0.63.56) |
| 2025-02-06 06:16:18 +0000 | Anushka | (~Anushka@101.0.63.56) (Client Quit) |
| 2025-02-06 06:17:36 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-06 06:18:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 06:28:49 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-06 06:28:51 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 06:29:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 06:29:39 +0000 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-02-06 06:31:09 +0000 | tnt2 | tnt1 |
| 2025-02-06 06:34:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-06 06:39:13 +0000 | alp | (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) (Remote host closed the connection) |
| 2025-02-06 06:39:31 +0000 | alp | (~alp@2001:861:8ca0:4940:e0b0:d5fb:93ef:4ef8) |
| 2025-02-06 06:40:54 +0000 | alp | (~alp@2001:861:8ca0:4940:e0b0:d5fb:93ef:4ef8) (Remote host closed the connection) |
| 2025-02-06 06:41:13 +0000 | alp | (~alp@2001:861:8ca0:4940:7eb3:2e6e:7dc9:4f15) |
| 2025-02-06 06:42:36 +0000 | alp | (~alp@2001:861:8ca0:4940:7eb3:2e6e:7dc9:4f15) (Remote host closed the connection) |
| 2025-02-06 06:42:53 +0000 | alp | (~alp@2001:861:8ca0:4940:3d30:574c:e91e:fee7) |
| 2025-02-06 06:43:22 +0000 | CiaoSen | (~Jura@2a05:5800:267:cf00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-06 06:44:19 +0000 | alp | (~alp@2001:861:8ca0:4940:3d30:574c:e91e:fee7) (Remote host closed the connection) |
| 2025-02-06 06:44:36 +0000 | alp | (~alp@2001:861:8ca0:4940:f75c:8158:a534:1f8a) |
| 2025-02-06 06:44:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 06:46:01 +0000 | alp | (~alp@2001:861:8ca0:4940:f75c:8158:a534:1f8a) (Remote host closed the connection) |
| 2025-02-06 06:46:18 +0000 | alp | (~alp@2001:861:8ca0:4940:2afa:c238:f26:8e7f) |
| 2025-02-06 06:46:52 +0000 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-06 06:48:01 +0000 | alp_ | (~alp@2001:861:8ca0:4940:9b95:20d:aabb:ced3) |
| 2025-02-06 06:48:47 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 06:49:25 +0000 | alp_ | (~alp@2001:861:8ca0:4940:9b95:20d:aabb:ced3) (Remote host closed the connection) |
| 2025-02-06 06:49:42 +0000 | alp_ | (~alp@2001:861:8ca0:4940:f903:6c8:e9e2:1b2b) |
| 2025-02-06 06:50:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-06 06:51:19 +0000 | alp | (~alp@2001:861:8ca0:4940:2afa:c238:f26:8e7f) (Ping timeout: 252 seconds) |
| 2025-02-06 06:51:26 +0000 | alp__ | (~alp@2001:861:8ca0:4940:5403:7c5f:5e1b:67a6) |
| 2025-02-06 06:53:37 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 06:54:09 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 260 seconds) |
| 2025-02-06 06:54:19 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-02-06 06:54:37 +0000 | alp_ | (~alp@2001:861:8ca0:4940:f903:6c8:e9e2:1b2b) (Ping timeout: 252 seconds) |
| 2025-02-06 06:54:51 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2025-02-06 06:55:29 +0000 | euleritian | (~euleritia@dynamic-176-000-001-103.176.0.pool.telefonica.de) |
| 2025-02-06 06:56:27 +0000 | alp__ | (~alp@2001:861:8ca0:4940:5403:7c5f:5e1b:67a6) (Ping timeout: 252 seconds) |
| 2025-02-06 06:58:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 06:58:52 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 06:59:17 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 07:00:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 07:00:25 +0000 | tnt2 | tnt1 |
| 2025-02-06 07:01:20 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-06 07:05:20 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 07:05:42 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:05:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 07:10:39 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-06 07:10:50 +0000 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-06 07:14:02 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:17:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 07:18:49 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-06 07:19:38 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:19:54 +0000 | fmira | (~user@user/fmira) fmira |
| 2025-02-06 07:20:48 +0000 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-02-06 07:21:08 +0000 | fmira | (~user@user/fmira) fmira |
| 2025-02-06 07:22:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 07:26:52 +0000 | dhil | (~dhil@2a0c:b381:5bf:3500:5073:5edd:298b:88ae) dhil |
| 2025-02-06 07:31:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 07:31:44 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2025-02-06 07:32:02 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:32:03 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2025-02-06 07:32:12 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-06 07:32:12 +0000 | tnt2 | tnt1 |
| 2025-02-06 07:36:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-06 07:37:12 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 07:41:13 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-06 07:46:25 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:46:50 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-06 07:47:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 07:49:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-02-06 07:49:09 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:49:22 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 07:50:58 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 07:53:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-06 07:54:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-02-06 07:58:25 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 07:59:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 08:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-06 08:00:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 08:01:01 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-06 08:01:14 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:03:03 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-06 08:05:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 08:18:01 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-06 08:18:30 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-06 08:19:04 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-06 08:21:49 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-02-06 08:24:48 +0000 | euleritian | (~euleritia@dynamic-176-000-001-103.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-06 08:25:06 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-06 08:25:16 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 08:29:02 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2025-02-06 08:30:06 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-02-06 08:30:21 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-06 08:36:26 +0000 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-02-06 08:38:06 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-06 08:39:01 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-06 08:42:15 +0000 | <ncf> | Bowuigi: if you're looking for formal category theory, the 1lab has a bunch |
| 2025-02-06 08:42:19 +0000 | alp__ | (~alp@2001:861:8ca0:4940:c619:f7a3:d4b4:8e07) |
| 2025-02-06 08:42:25 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-02-06 08:42:25 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 08:46:07 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 08:48:41 +0000 | piele | (~piele@tbonesteak.creativeserver.net) (Quit: Ciao!) |
| 2025-02-06 08:49:52 +0000 | <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 08:52:22 +0000 | <haskellbridge> | <Bowuigi> Oh I read "nlab", not 1lab. Thanks, it seems to be what I'm looking for |
| 2025-02-06 08:52:41 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 08:53:26 +0000 | merijn | (~merijn@77.242.116.146) (Client Quit) |
| 2025-02-06 08:56:57 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 09:05:52 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f31acdc8f6e0eef26b6.dip0.t-ipconnect.de) acidjnk |
| 2025-02-06 09:06:50 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-06 09:12:34 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-06 09:12:38 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 09:13:20 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 09:14:26 +0000 | JimL | (~quassel@89.162.16.26) JimL |
| 2025-02-06 09:16:04 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Quit: leaving) |
| 2025-02-06 09:16:14 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2025-02-06 09:16:39 +0000 | sprotte24 | (~sprotte24@p200300d16f04b500f0fec28a072486d6.dip0.t-ipconnect.de) |
| 2025-02-06 09:17:01 +0000 | sprotte24 | (~sprotte24@p200300d16f04b500f0fec28a072486d6.dip0.t-ipconnect.de) (Client Quit) |
| 2025-02-06 09:17:55 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 09:18:37 +0000 | chele | (~chele@user/chele) chele |
| 2025-02-06 09:19:45 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-06 09:20:27 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2025-02-06 09:21:40 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-06 09:25:37 +0000 | Square | (~Square@user/square) Square |
| 2025-02-06 09:26:32 +0000 | trignome | (~Guest35@2601:602:680:a8d0:adbb:3f47:be53:2e1e) |
| 2025-02-06 09:28:21 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-02-06 09:33:19 +0000 | trignome | (~Guest35@2601:602:680:a8d0:adbb:3f47:be53:2e1e) (Quit: Client closed) |
| 2025-02-06 09:36:53 +0000 | fp | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) fp |
| 2025-02-06 09:38:32 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-06 09:44:33 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 245 seconds) |
| 2025-02-06 09:45:37 +0000 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-06 09:45:55 +0000 | JimL | (~quassel@89.162.16.26) |
| 2025-02-06 09:49:25 +0000 | forell | (~forell@user/forell) forell |
| 2025-02-06 09:52:58 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:581e:37f9:16ce:cc6e) ubert |
| 2025-02-06 09:55:07 +0000 | <cawfee> | ncf: hi |
| 2025-02-06 09:55:10 +0000 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-06 09:56:55 +0000 | <ncf> | hello |
| 2025-02-06 09:57:50 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 2025-02-06 09:58:57 +0000 | piele | (~piele@tbonesteak.creativeserver.net) piele |
| 2025-02-06 09:58:57 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-06 10:00:17 +0000 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-06 10:00:45 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-06 10:01:05 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 10:01:27 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-06 10:02:00 +0000 | piele | (~piele@tbonesteak.creativeserver.net) (Client Quit) |
| 2025-02-06 10:04:05 +0000 | AlexZenon | (~alzenon@5.139.233.186) (Ping timeout: 248 seconds) |
| 2025-02-06 10:05:54 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-06 10:07:34 +0000 | AlexZenon | (~alzenon@5.139.233.186) |
| 2025-02-06 10:11:06 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-02-06 10:13:17 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-06 10:16:54 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-06 10:21:49 +0000 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-02-06 10:24:11 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-02-06 10:45:41 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-02-06 10:48:49 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 10:49:39 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-06 10:50:10 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-06 10:53:19 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-06 11:01:06 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-02-06 11:02:40 +0000 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-02-06 11:05:17 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-06 11:05:59 +0000 | gehmehgeh | gmg |
| 2025-02-06 11:06:27 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 11:08:13 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 11:16:53 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4c17:71c9:4c89:f803) |
| 2025-02-06 11:34:19 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 11:36:32 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 11:37:55 +0000 | fmira | (~user@user/fmira) fmira |
| 2025-02-06 11:38:07 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 11:38:07 +0000 | sprotte24 | (~sprotte24@p200300d16f04b500f0fec28a072486d6.dip0.t-ipconnect.de) |
| 2025-02-06 11:40:59 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 11:47:29 +0000 | Xe_ | (~Xe@perl/impostor/xe) (Ping timeout: 248 seconds) |
| 2025-02-06 11:47:30 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-02-06 11:48:55 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-02-06 12:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-06 12:02:15 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-06 12:09:58 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-02-06 12:10:42 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 12:16:34 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-02-06 12:17:29 +0000 | jespada | (~jespada@2800:a4:2286:d500:5c6d:3fe8:ba15:fd1a) jespada |
| 2025-02-06 12:24:58 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 12:25:56 +0000 | otbergsten | (~otbergste@user/otbergsten) otbergsten |
| 2025-02-06 12:26:19 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 12:29:23 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-06 12:35:15 +0000 | CiaoSen | (~Jura@2a05:5800:267:cf00:ca4b:d6ff:fec1:99da) (Ping timeout: 268 seconds) |
| 2025-02-06 12:35:57 +0000 | <dminuoso> | I have a type equality constraint from servant that fails: https://paste.tomsmeding.com/3sMtNrYP |
| 2025-02-06 12:36:19 +0000 | <dminuoso> | My question is: How can I start and debug this to make progress on my own? |
| 2025-02-06 12:37:31 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 12:38:03 +0000 | <dminuoso> | Ideally I would like to ask GHC what both of these types compute to, is that possible? |
| 2025-02-06 12:38:11 +0000 | <tomsmeding> | use :k! in ghci? |
| 2025-02-06 12:38:33 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-06 12:38:33 +0000 | tnt2 | tnt1 |
| 2025-02-06 12:39:05 +0000 | <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 12:44:44 +0000 | <dminuoso> | Okay, GToServant is not exported |
| 2025-02-06 12:44:44 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-06 12:45:17 +0000 | <dminuoso> | Can I tell GHCi to just ignore its own beliefs and let me use it anyway? |
| 2025-02-06 12:45:32 +0000 | <dminuoso> | Or is vendoring servant the only option? |
| 2025-02-06 12:45:36 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 12:45:43 +0000 | <dminuoso> | Ah screw it, Ill just vendor and export that thing. |
| 2025-02-06 12:46:21 +0000 | dhil | (~dhil@2a0c:b381:5bf:3500:5073:5edd:298b:88ae) (Ping timeout: 268 seconds) |
| 2025-02-06 12:47:32 +0000 | <dminuoso> | Mmm actually I dont have to, there's a type synoym thats available, great. |
| 2025-02-06 12:50:00 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-06 12:50:28 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-06 12:51:17 +0000 | <dminuoso> | tomsmeding: Mmm, it does not seem to resolve type aliases. |
| 2025-02-06 12:51:33 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-06 12:51:59 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-06 12:54:52 +0000 | <lxsameer> | hey, I need an effecient finit, and strict collection type. any recommendation? |
| 2025-02-06 12:55:53 +0000 | <dminuoso> | lxsameer: What kind of collection do you have? |
| 2025-02-06 12:56:06 +0000 | <dminuoso> | And what kind of access pattern? |
| 2025-02-06 12:59:55 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-02-06 13:00:26 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-06 13:00:29 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 13:00:32 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 13:00:33 +0000 | tnt2 | tnt1 |
| 2025-02-06 13:01:50 +0000 | <mauke> | ... some sort of vector (?) |
| 2025-02-06 13:02:39 +0000 | <dminuoso> | Or maybe a hashmap? |
| 2025-02-06 13:07:19 +0000 | <lxsameer> | dminuoso: something similar to a linked list |
| 2025-02-06 13:08:37 +0000 | <lxsameer> | mauke: a strict vector would do |
| 2025-02-06 13:12:20 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 13:13:22 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 13:13:37 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 13:13:43 +0000 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 245 seconds) |
| 2025-02-06 13:13:46 +0000 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2025-02-06 13:17:09 +0000 | cptaffe` | cptaffe |
| 2025-02-06 13:17:48 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 13:20:57 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-06 13:36:26 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-10-142-112-184-232.dsl.bell.ca) rekahsoft |
| 2025-02-06 13:37:15 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 13:38:26 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 13:47:52 +0000 | prasad | (~Thunderbi@2601:243:c001:3f07::21) |
| 2025-02-06 13:49:30 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 13:51:05 +0000 | lyxia | (~lyxia@poisson.chat) (Quit: WeeChat 4.5.1) |
| 2025-02-06 13:51:25 +0000 | otbergsten | (~otbergste@user/otbergsten) () |
| 2025-02-06 13:56:30 +0000 | tv | (~tv@user/tv) tv |
| 2025-02-06 13:57:12 +0000 | merijn | (~merijn@81.173.62.99) merijn |
| 2025-02-06 14:01:27 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 14:02:56 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 14:03:32 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-06 14:05:54 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 14:12:30 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 14:14:17 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 14:14:22 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-06 14:27:31 +0000 | piele | (~piele@eiseth.creativeserver.net) piele |
| 2025-02-06 14:29:10 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-06 14:31:14 +0000 | piele | (~piele@eiseth.creativeserver.net) (Client Quit) |
| 2025-02-06 14:33:51 +0000 | alp__ | (~alp@2001:861:8ca0:4940:c619:f7a3:d4b4:8e07) (Remote host closed the connection) |
| 2025-02-06 14:34:09 +0000 | alp__ | (~alp@2001:861:8ca0:4940:c852:f016:ee1c:5cf) |
| 2025-02-06 14:34:41 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-06 14:35:53 +0000 | piele | (~piele@eiseth.creativeserver.net) piele |
| 2025-02-06 14:38:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-06 14:39:50 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-06 14:40:29 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 14:49:13 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 14:53:18 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-06 14:53:36 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 14:54:04 +0000 | jespada | (~jespada@2800:a4:2286:d500:5c6d:3fe8:ba15:fd1a) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-06 14:59:08 +0000 | jespada | (~jespada@2800:a4:2286:d500:5c6d:3fe8:ba15:fd1a) jespada |
| 2025-02-06 15:01:21 +0000 | fp | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-02-06 15:03:58 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 15:09:08 +0000 | merijn | (~merijn@81.173.62.99) (Ping timeout: 245 seconds) |
| 2025-02-06 15:10:35 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-06 15:12:51 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 15:14:11 +0000 | jespada | (~jespada@2800:a4:2286:d500:5c6d:3fe8:ba15:fd1a) (Ping timeout: 265 seconds) |
| 2025-02-06 15:16:57 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 15:17:41 +0000 | jespada | (~jespada@2800:a4:2344:3500:d01a:9db7:bee0:e7ae) jespada |
| 2025-02-06 15:18:56 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f31acdc8f6e0eef26b6.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-06 15:23:49 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 15:25:43 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 15:27:40 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f31499c9ac8cc00ad2f.dip0.t-ipconnect.de) acidjnk |
| 2025-02-06 15:29:08 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-02-06 15:34:24 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-02-06 15:36:24 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-06 15:37:17 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 15:37:37 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 15:38:19 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 15:38:50 +0000 | ejrietveld | (~ejrietvel@revspace/participant/bailsman) (Ping timeout: 265 seconds) |
| 2025-02-06 15:41:38 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-06 15:42:49 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 260 seconds) |
| 2025-02-06 15:47:00 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 15:47:38 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 15:50:07 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2025-02-06 15:50:28 +0000 | dhil | (~dhil@2a0c:b381:5bf:3500:e744:d497:eaaa:a8ac) dhil |
| 2025-02-06 15:50:44 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 268 seconds) |
| 2025-02-06 15:50:59 +0000 | euleritian | (~euleritia@dynamic-176-000-001-103.176.0.pool.telefonica.de) |
| 2025-02-06 15:53:34 +0000 | ejrietveld | (~ejrietvel@revspace/participant/bailsman) bailsman |
| 2025-02-06 15:54:58 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 15:59:35 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-02-06 15:59:50 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-06 16:00:13 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 16:01:26 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2025-02-06 16:01:48 +0000 | ejrietveld | (~ejrietvel@revspace/participant/bailsman) (Ping timeout: 246 seconds) |
| 2025-02-06 16:07:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 16:09:01 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f31499c9ac8cc00ad2f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-06 16:11:28 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 16:13:07 +0000 | godoy | (~godoy@mvx-177-92-77-170.mundivox.com) |
| 2025-02-06 16:14:27 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-02-06 16:14:44 +0000 | Guest1222 | (~Guest1222@185.169.100.166) |
| 2025-02-06 16:15:36 +0000 | Guest1222 | (~Guest1222@185.169.100.166) (Client Quit) |
| 2025-02-06 16:18:13 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 16:19:37 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-02-06 16:22:15 +0000 | califax_ | (~califax@user/califx) califx |
| 2025-02-06 16:23:00 +0000 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-02-06 16:23:28 +0000 | califax_ | califax |
| 2025-02-06 16:26:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-06 16:26:22 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 16:29:51 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 16:31:21 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-06 16:32:06 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 16:34:37 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-02-06 16:38:26 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-02-06 16:39:23 +0000 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2025-02-06 16:40:32 +0000 | <Wygulmage> | Is there a reference sheet for tasty's "bcompare pattern"s? When I try to compare benchmarks it throws "Could not parse bcompare pattern...". |
| 2025-02-06 16:40:51 +0000 | <Wygulmage> | I thought the parameter was just the name of another benchmark. |
| 2025-02-06 16:42:06 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-06 16:46:39 +0000 | <Wygulmage> | Ah, I see. It's in the tasty documentation, not anywhere in Hoogle's tasty-bench entry. |
| 2025-02-06 16:49:43 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f31bc6d2d03cd52feea.dip0.t-ipconnect.de) acidjnk |
| 2025-02-06 16:50:33 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 16:54:30 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 16:59:34 +0000 | JuanDaugherty | ColinRobinson |
| 2025-02-06 17:00:36 +0000 | aforemny | (~aforemny@i577B1279.versanet.de) aforemny |
| 2025-02-06 17:00:59 +0000 | aforemny_ | (~aforemny@i577B1307.versanet.de) (Ping timeout: 260 seconds) |
| 2025-02-06 17:02:16 +0000 | godoy | (~godoy@mvx-177-92-77-170.mundivox.com) (Quit: Client closed) |
| 2025-02-06 17:09:13 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:581e:37f9:16ce:cc6e) (Quit: ubert) |
| 2025-02-06 17:10:09 +0000 | jespada | (~jespada@2800:a4:2344:3500:d01a:9db7:bee0:e7ae) (Ping timeout: 248 seconds) |
| 2025-02-06 17:12:38 +0000 | jespada | (~jespada@r179-25-6-8.dialup.adsl.anteldata.net.uy) jespada |
| 2025-02-06 17:14:26 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 17:17:09 +0000 | okko | (~okko@91-159-153-165.elisa-laajakaista.fi) |
| 2025-02-06 17:18:00 +0000 | agent314 | (~quassel@79.127.222.205) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-06 17:18:45 +0000 | traxex | (traxex@user/traxex) (Quit: Lost terminal) |
| 2025-02-06 17:18:55 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 17:21:31 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-06 17:23:48 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-06 17:25:27 +0000 | piele | (~piele@eiseth.creativeserver.net) (Ping timeout: 246 seconds) |
| 2025-02-06 17:27:32 +0000 | otbergsten | (~otbergste@user/otbergsten) otbergsten |
| 2025-02-06 17:45:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 17:47:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-06 17:47:50 +0000 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) ft |
| 2025-02-06 17:54:19 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-06 17:55:18 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2025-02-06 17:57:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 17:59:20 +0000 | okko | (~okko@91-159-153-165.elisa-laajakaista.fi) (Quit: okko) |
| 2025-02-06 18:02:11 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 18:03:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-06 18:04:38 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-06 18:06:07 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-06 18:06:19 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-06 18:09:12 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-06 18:11:36 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-06 18:15:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 18:17:28 +0000 | euleritian | (~euleritia@dynamic-176-000-001-103.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-06 18:18:19 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-06 18:19:05 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-02-06 18:21:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-06 18:27:43 +0000 | sarna | (~sarna@d168-237.icpnet.pl) (Remote host closed the connection) |
| 2025-02-06 18:27:54 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-02-06 18:28:36 +0000 | sarna | (~sarna@d168-237.icpnet.pl) sarna |
| 2025-02-06 18:29:32 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-06 18:30:57 +0000 | piele | (~piele@eiseth.creativeserver.net) |
| 2025-02-06 18:32:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 18:33:32 +0000 | dhil | (~dhil@2a0c:b381:5bf:3500:e744:d497:eaaa:a8ac) (Ping timeout: 268 seconds) |
| 2025-02-06 18:34:00 +0000 | piele | (~piele@eiseth.creativeserver.net) (Client Quit) |
| 2025-02-06 18:37:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 18:51:15 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 18:52:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 18:55:44 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 18:56:46 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-06 18:57:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 19:08:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 19:12:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-06 19:21:57 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-06 19:23:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 19:27:47 +0000 | Square | (~Square@user/square) Square |
| 2025-02-06 19:28:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 19:32:40 +0000 | jespada | (~jespada@r179-25-6-8.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-06 19:39:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 19:39:41 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 19:41:23 +0000 | son0p | (~ff@190.249.196.119) (Ping timeout: 244 seconds) |
| 2025-02-06 19:41:58 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-06 19:43:54 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-06 19:46:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 19:55:28 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-02-06 19:56:18 +0000 | zero | zzz |
| 2025-02-06 19:56:33 +0000 | zzz | zwro |
| 2025-02-06 19:59:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 20:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-06 20:00:43 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-06 20:03:24 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-06 20:04:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-06 20:04:58 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-06 20:05:37 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 20:15:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 20:15:50 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 20:16:26 +0000 | rynite | (~bwkam@user/rynite) rynite |
| 2025-02-06 20:16:29 +0000 | fp | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) fp |
| 2025-02-06 20:16:32 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-06 20:16:32 +0000 | tnt2 | tnt1 |
| 2025-02-06 20:17:14 +0000 | rynite | (~bwkam@user/rynite) (Read error: Connection reset by peer) |
| 2025-02-06 20:19:57 +0000 | otbergsten | (~otbergste@user/otbergsten) () |
| 2025-02-06 20:20:27 +0000 | otbergsten | (~otbergste@user/otbergsten) otbergsten |
| 2025-02-06 20:22:05 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 20:23:07 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-06 20:23:07 +0000 | tnt2 | tnt1 |
| 2025-02-06 20:23:08 +0000 | fp | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-02-06 20:23:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-06 20:27:45 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 20:28:54 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 20:30:05 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 20:30:06 +0000 | tnt2 | tnt1 |
| 2025-02-06 20:31:10 +0000 | Wygulmage | (~Wygulmage@user/Wygulmage) (Ping timeout: 240 seconds) |
| 2025-02-06 20:32:01 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-06 20:34:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 20:39:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 20:43:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 20:45:03 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-06 20:50:55 +0000 | dhil | (~dhil@2a0c:b381:5bf:3500:344:e6d2:3c1b:c10c) dhil |
| 2025-02-06 20:53:51 +0000 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 252 seconds) |
| 2025-02-06 20:53:56 +0000 | emergence8 | (emergence@vm0.max-p.me) emergence |
| 2025-02-06 20:54:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 20:55:03 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-02-06 20:55:31 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2025-02-06 20:55:47 +0000 | emergence | (emergence@vm0.max-p.me) (Ping timeout: 244 seconds) |
| 2025-02-06 20:55:47 +0000 | emergence8 | emergence |
| 2025-02-06 20:55:54 +0000 | jleightcap | (7bc4014b62@user/jleightcap) (Ping timeout: 276 seconds) |
| 2025-02-06 20:56:06 +0000 | jleightcap | (7bc4014b62@user/jleightcap) jleightcap |
| 2025-02-06 20:56:19 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-02-06 20:56:33 +0000 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 276 seconds) |
| 2025-02-06 20:58:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 21:03:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 21:04:12 +0000 | dhil | (~dhil@2a0c:b381:5bf:3500:344:e6d2:3c1b:c10c) (Ping timeout: 246 seconds) |
| 2025-02-06 21:09:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-02-06 21:14:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 21:14:46 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-06 21:16:29 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 21:18:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 21:18:59 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2025-02-06 21:21:16 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 21:23:34 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-02-06 21:25:50 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 21:29:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 21:33:00 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-02-06 21:34:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 21:44:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 21:44:51 +0000 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2025-02-06 21:49:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-06 21:50:14 +0000 | son0p | (~ff@2800:e6:4000:d723:c181:4205:f2b1:437a) son0p |
| 2025-02-06 21:53:55 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-02-06 21:55:42 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-06 21:55:46 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-02-06 21:58:31 +0000 | mange | (~user@user/mange) mange |
| 2025-02-06 22:01:32 +0000 | lyxia | (~lyxia@poisson.chat) |
| 2025-02-06 22:02:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-06 22:04:54 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 22:05:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 22:05:32 +0000 | sinbad | (~sinbad@user/sinbad) Sinbad |
| 2025-02-06 22:09:09 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-06 22:09:09 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-06 22:09:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 22:12:36 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-02-06 22:16:24 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-02-06 22:16:25 +0000 | ChanServ | +v haskellbridge |
| 2025-02-06 22:18:12 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-02-06 22:20:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 22:24:57 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2025-02-06 22:25:30 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-02-06 22:25:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-06 22:27:38 +0000 | Wygulmage | (~Wygulmage@user/Wygulmage) (Quit: Client closed) |
| 2025-02-06 22:28:53 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-06 22:29:07 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-06 22:35:09 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-06 22:35:24 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-06 22:36:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 22:40:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 22:42:39 +0000 | sinbad | (~sinbad@user/sinbad) () |
| 2025-02-06 22:46:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4c17:71c9:4c89:f803) (Ping timeout: 265 seconds) |
| 2025-02-06 22:47:42 +0000 | prasad | (~Thunderbi@2601:243:c001:3f07::21) (Ping timeout: 276 seconds) |
| 2025-02-06 22:51:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 22:52:46 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4c17:71c9:4c89:f803) |
| 2025-02-06 22:53:18 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 22:56:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 22:57:30 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-06 23:07:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 23:12:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 23:22:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 23:27:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 23:29:30 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 23:30:50 +0000 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:7e9f:f324:8323:112e) kilolympus |
| 2025-02-06 23:31:45 +0000 | <kilolympus> | Not exactly sure where I should ask this (so pardon me if this is the wrong place), but is there a list of available libraries on the Hackage build server? |
| 2025-02-06 23:32:16 +0000 | <kilolympus> | I want to check if libopus is available to link to while building, or whether I should be prepared for a build failure and need to upload docs manually |
| 2025-02-06 23:35:59 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-06 23:37:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 23:38:12 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-06 23:42:42 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 23:43:03 +0000 | <geekosaur> | #haskell-infrastructure would probably be the right place, but I'm pretty sure if it's not in a minimal Ubuntu install it won't be there and won't be installed on request |
| 2025-02-06 23:44:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 23:47:25 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 23:54:30 +0000 | Guest64 | (~Guest64@202.20.31.4) |
| 2025-02-06 23:55:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 23:56:36 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-06 23:56:52 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |