Newest at the top
2025-06-09 00:27:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-09 00:26:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-09 00:26:23 +0200 | sprotte24_ | (~sprotte24@p200300d16f204800914da669750177d2.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-06-09 00:25:35 +0200 | <geekosaur> | I'm going to take the bridge down in a few minutes so I can swap out my router. Optimistically that will take around 15 minutes, reality may be half an hour or longer |
2025-06-09 00:23:53 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-06-09 00:23:47 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-09 00:23:13 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-06-09 00:21:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-09 00:21:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-09 00:21:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-09 00:19:29 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
2025-06-09 00:18:26 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-09 00:16:39 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 245 seconds) |
2025-06-09 00:13:32 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-09 00:13:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-09 00:13:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-09 00:09:51 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-09 00:07:16 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-06-09 00:06:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-09 00:06:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-09 00:04:34 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-09 00:04:33 +0200 | jespada | (~jespada@r179-24-24-141.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
2025-06-09 00:00:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-09 00:00:09 +0200 | jespada | (~jespada@r179-24-24-141.dialup.adsl.anteldata.net.uy) jespada |
2025-06-09 00:00:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 23:53:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 23:53:23 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-08 23:53:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 23:50:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 23:50:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 23:50:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-08 23:46:57 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-08 23:46:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 23:46:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-08 23:42:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 23:42:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 23:39:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-08 23:35:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 23:35:26 +0200 | nefercheprure | TMA |
2025-06-08 23:35:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 23:34:23 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-08 23:32:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 23:31:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 23:31:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-08 23:30:27 +0200 | <lyxia> | it's an understandable mistake to make |
2025-06-08 23:29:45 +0200 | <talismanick> | which makes sense |
2025-06-08 23:29:38 +0200 | <talismanick> | I just wrote the instance out manually and... `fmap f (AStream s) = AStream $ f <$> s` |
2025-06-08 23:29:19 +0200 | <talismanick> | lyxia: you're right |
2025-06-08 23:29:13 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-08 23:27:17 +0200 | <lyxia> | talismanick: (<$>) on AStream does not do what you think it does. You want it to do f <$> AStream s = AStream (f s) but (<$>) has the wrong type for that |