Newest at the top
| 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) |
| 2025-03-30 23:05:22 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-30 23:03:14 +0200 | AlexZenon | (~alzenon@178.34.150.194) (Ping timeout: 260 seconds) |
| 2025-03-30 23:01:45 +0200 | alp | (~alp@2001:861:8ca0:4940:4762:76e1:2726:6dcf) |
| 2025-03-30 23:00:36 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-03-30 23:00:10 +0200 | unter-oe | (~unter-oe@user/unter-oe) (Remote host closed the connection) |
| 2025-03-30 22:59:19 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
| 2025-03-30 22:52:03 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-03-30 22:47:28 +0200 | bollu | (~bollu@131.111.5.201) (Client Quit) |
| 2025-03-30 22:46:24 +0200 | bollu | (~bollu@131.111.5.201) |
| 2025-03-30 22:41:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-30 22:39:56 +0200 | alp | (~alp@2001:861:8ca0:4940:375d:8d24:38e7:d983) (Ping timeout: 268 seconds) |
| 2025-03-30 22:30:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-30 22:30:22 +0200 | jacopovalanzano | (~jacopoval@77.68.7.50) (Quit: Client closed) |
| 2025-03-30 22:26:28 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-30 22:12:21 +0200 | polyphem | (~rod@p4fc2c911.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-03-30 22:10:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-30 22:07:45 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-03-30 22:07:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-03-30 22:01:24 +0200 | toby-bro | (~toby-bro@user/toby-bro) toby-bro |
| 2025-03-30 22:00:20 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-03-30 21:56:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-03-30 21:50:45 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:f60a:b849:d84:6d29) (Ping timeout: 248 seconds) |
| 2025-03-30 21:50:30 +0200 | Guest63 | (~Guest63@2806:106e:19:554e:9a5e:8bfa:fdb:c9c8) (Ping timeout: 240 seconds) |
| 2025-03-30 21:50:10 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-30 21:48:32 +0200 | <haskellbridge> | <Bowuigi> Just apply the Iso backwards |
| 2025-03-30 21:47:36 +0200 | fp | (~Thunderbi@87-94-142-103.rev.dnainternet.fi) fp |
| 2025-03-30 21:46:52 +0200 | alp | (~alp@2001:861:8ca0:4940:375d:8d24:38e7:d983) |
| 2025-03-30 21:30:16 +0200 | Guest63 | (~Guest63@2806:106e:19:554e:9a5e:8bfa:fdb:c9c8) |
| 2025-03-30 21:19:57 +0200 | rvalue- | rvalue |
| 2025-03-30 21:17:29 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-03-30 21:12:18 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-03-30 21:11:22 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-03-30 21:02:13 +0200 | fp | (~Thunderbi@130.233.55.67) (Ping timeout: 248 seconds) |
| 2025-03-30 21:01:41 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-03-30 21:01:37 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-30 21:01:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-30 21:00:49 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-30 21:00:07 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-30 20:59:43 +0200 | <haskellbridge> | <thirdofmay18081814goya> or in general, is there a pattern consisting of propagating the changes to an "Iso" to the original datatype? |
| 2025-03-30 20:55:54 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-03-30 20:47:51 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-03-30 20:47:49 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |