Newest at the top
| 2025-03-31 00:15:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-31 00:10:06 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-03-31 00:08:51 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
| 2025-03-31 00:08:51 +0200 | unter-oe | (~unter-oe@176.192.243.31) (Changing host) |
| 2025-03-31 00:08:51 +0200 | unter-oe | (~unter-oe@176.192.243.31) |
| 2025-03-31 00:07:13 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-31 00:04:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-03-31 00:04:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-31 00:02:28 +0200 | unter-oe | (~unter-oe@user/unter-oe) (Ping timeout: 245 seconds) |
| 2025-03-31 00:02:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9990:df71:bfb8:e2a2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-03-31 00:00:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-30 23:55:28 +0200 | <haskellbridge> | <thirdofmay18081814goya> still interested whether there's an "Iso" form, if anyone knows |
| 2025-03-30 23:53:49 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-03-30 23:52:56 +0200 | <haskellbridge> | <thirdofmay18081814goya> "['a'..'z'] ^.. itraversed . indices even" bingo |
| 2025-03-30 23:47:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-30 23:41:12 +0200 | dsfhdshdjtsb | (~halloy876@user/dsfhdshdjtsb) (Quit: idk) |
| 2025-03-30 23:38:48 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-30 23:37:23 +0200 | <haskellbridge> | <thirdofmay18081814goya> "^@.. itraversed" annotates a list with an ordering |
| 2025-03-30 23:36:07 +0200 | dsfhdshdjtsb | (~halloy876@user/dsfhdshdjtsb) dsfhdshdjtsb |
| 2025-03-30 23:36:07 +0200 | dsfhdshdjtsb | (~halloy876@128-61-160-164.nat.gatech.edu) (Changing host) |
| 2025-03-30 23:36:04 +0200 | <haskellbridge> | <thirdofmay18081814goya> i recently discovered the possibility that "Iso" might not even be the appropriate optic here and using an indexed optic might be the thing |
| 2025-03-30 23:35:19 +0200 | ambareesh | (~ambareesh@user/ambareesh) ambareesh |
| 2025-03-30 23:35:19 +0200 | ambareesh | (~ambareesh@128.61.222.184) (Changing host) |
| 2025-03-30 23:35:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> people please we need to focus, how is this done |
| 2025-03-30 23:35:08 +0200 | halloy8765 | dsfhdshdjtsb |
| 2025-03-30 23:33:58 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-03-30 23:31:25 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
| 2025-03-30 23:31:25 +0200 | unter-oe | (~unter-oe@176.192.243.31) (Changing host) |
| 2025-03-30 23:31:25 +0200 | unter-oe | (~unter-oe@176.192.243.31) |
| 2025-03-30 23:27:38 +0200 | <halloy8765> | I want to use discord to get an egirlfriend tho |
| 2025-03-30 23:27:26 +0200 | <halloy8765> | whats irc |
| 2025-03-30 23:27:22 +0200 | <EvanR> | better to stick with IRC anyway |
| 2025-03-30 23:27:11 +0200 | <geekosaur> | you're not going to get very far with Discord, then |
| 2025-03-30 23:26:54 +0200 | <halloy8765> | I think thats a vius |
| 2025-03-30 23:26:51 +0200 | <halloy8765> | im not clicking that |
| 2025-03-30 23:26:49 +0200 | <EvanR> | follow the recursive knights of lambda calculus logo and see how deep it goes |
| 2025-03-30 23:26:48 +0200 | berberman | (~berberman@user/berberman) berberman |
| 2025-03-30 23:26:40 +0200 | <geekosaur> | https://discord.com/ |
| 2025-03-30 23:25:51 +0200 | <halloy8765> | wait so am I neo |
| 2025-03-30 23:25:43 +0200 | <geekosaur> | it's IRC, and it's bridged to a Matrix room |
| 2025-03-30 23:25:38 +0200 | <halloy8765> | how do I install discord |
| 2025-03-30 23:25:30 +0200 | <geekosaur> | no |
| 2025-03-30 23:23:33 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-03-30 23:23:08 +0200 | <halloy8765> | is this discord |
| 2025-03-30 23:23:01 +0200 | <geekosaur> | hello |
| 2025-03-30 23:22:00 +0200 | <halloy8765> | hello |
| 2025-03-30 23:21:42 +0200 | halloy8765 | (~halloy876@128-61-160-164.nat.gatech.edu) |
| 2025-03-30 23:18:49 +0200 | AlexZenon | (~alzenon@178.34.150.194) |
| 2025-03-30 23:11:28 +0200 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
| 2025-03-30 23:11:17 +0200 | ambareesh | (~ambareesh@128.61.222.184) |