Newest at the top
2024-10-30 06:30:48 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
2024-10-30 06:30:01 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-30 06:29:55 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
2024-10-30 06:25:23 +0100 | monochrom | (trebla@216.138.220.146) |
2024-10-30 06:21:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-30 06:17:20 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-30 06:16:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-30 06:13:59 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
2024-10-30 06:13:46 +0100 | <monochrom> | simplest and easiest example why I disregard snoyberg arguments. |
2024-10-30 06:13:10 +0100 | <monochrom> | No, it is a strawman argument with doofus Eq and Ord instances. |
2024-10-30 06:07:51 +0100 | <Inst> | simplest and easiest explanation for why Set cannot be a functor |
2024-10-30 06:07:42 +0100 | <Inst> | https://www.schoolofhaskell.com/user/snoyberg/random-code-snippets/set-is-not-a-functor |
2024-10-30 06:07:41 +0100 | <Inst> | thsi is actually pretty great |
2024-10-30 06:07:37 +0100 | Inst_ | Inst |
2024-10-30 06:06:24 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-30 06:05:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-30 06:04:21 +0100 | Inst | (~Inst@user/Inst) (Ping timeout: 276 seconds) |
2024-10-30 06:01:39 +0100 | Inst_ | (~Inst@user/Inst) Inst |
2024-10-30 05:59:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-30 05:57:07 +0100 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
2024-10-30 05:48:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-30 05:44:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-30 05:39:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-30 05:33:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-30 05:28:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-30 05:26:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-10-30 05:25:56 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-10-30 05:18:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-30 05:14:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-10-30 05:13:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-30 05:13:26 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-10-30 05:12:51 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
2024-10-30 05:06:17 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-30 05:02:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-30 05:01:32 +0100 | td_ | (~td@i5387091D.versanet.de) td_ |
2024-10-30 04:59:47 +0100 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 265 seconds) |
2024-10-30 04:58:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-30 04:46:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-30 04:46:43 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-10-30 04:43:56 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
2024-10-30 04:43:39 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-10-30 04:42:47 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-10-30 04:42:14 +0100 | terrorjack4 | (~terrorjac@static.48.15.202.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
2024-10-30 04:42:01 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-30 04:40:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-30 04:29:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-30 04:24:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-30 04:23:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-10-30 04:14:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-30 04:09:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |