Newest at the top
| 2026-01-17 16:22:55 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-17 16:19:41 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-17 16:19:20 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-17 16:19:07 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-17 16:18:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-17 16:15:21 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:1478:f8ff:fed7:9161) (Ping timeout: 252 seconds) |
| 2026-01-17 16:14:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 16:14:25 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-01-17 16:11:56 +0100 | <geekosaur> | I don't see what's unusably shortened about the Matrix paste (at least via the bot's pastebin link) |
| 2026-01-17 16:11:26 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 16:10:51 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:1478:f8ff:fed7:9161) |
| 2026-01-17 16:10:46 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 16:10:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:08:15 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:8ce5:abff:fe24:110c) (Ping timeout: 245 seconds) |
| 2026-01-17 16:07:09 +0100 | trickard_ | trickard |
| 2026-01-17 16:05:18 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 15:59:42 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> and, everybody, thank you for your replies and apologize for the formatting --- there's nothing about pastebin in the Matrix room description and I don't think I can add it; geekosaur: is this your bridge? could we add a note about pastebin? |
| 2026-01-17 15:59:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 15:57:45 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary: amazing, that's precisely what I was looking for! |
| 2026-01-17 15:57:43 +0100 | Zemy | (~Zemy@mobile-107-80-206-9.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-17 15:55:32 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:8ce5:abff:fe24:110c) |
| 2026-01-17 15:54:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:48:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 15:48:02 +0100 | Core6086 | (~Zemy@2600:100c:b0a9:6e2b:e496:5bff:fe9c:e095) (Ping timeout: 265 seconds) |
| 2026-01-17 15:46:15 +0100 | Zemy_ | (~Zemy@12.50.228.210) (Ping timeout: 240 seconds) |
| 2026-01-17 15:44:41 +0100 | <Leary> | Man of Letters (Mikolaj): That type application doesn't allow you to match on the type; it just conflicts with the existential kind `k`. You can write a pattern synonym that works how you'd like, though: https://gist.github.com/LSLeary/7165377d1a28bf76aa4c0aae189a6968 |
| 2026-01-17 15:44:28 +0100 | spew | (~spew@user/spew) spew |
| 2026-01-17 15:44:04 +0100 | spew | (~spew@user/spew) (Quit: brb) |
| 2026-01-17 15:43:51 +0100 | Zemy | (~Zemy@mobile-107-80-206-9.mycingular.net) |
| 2026-01-17 15:43:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:43:16 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:844f:70ff:fe19:fe8c) (Ping timeout: 255 seconds) |
| 2026-01-17 15:43:16 +0100 | Core6086 | (~Zemy@2600:100c:b0a9:6e2b:e496:5bff:fe9c:e095) |
| 2026-01-17 15:39:40 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2026-01-17 15:38:57 +0100 | Core1625 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2026-01-17 15:38:57 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:844f:70ff:fe19:fe8c) |
| 2026-01-17 15:37:50 +0100 | spew | (~spew@user/spew) spew |
| 2026-01-17 15:32:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 15:28:09 +0100 | Core6067 | (~Zemy@2600:100c:b0a9:6e2b:4022:5cff:fe3f:998a) (Ping timeout: 260 seconds) |
| 2026-01-17 15:27:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:26:59 +0100 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-17 15:25:54 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 15:25:15 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-39.mycingular.net) (Ping timeout: 250 seconds) |
| 2026-01-17 15:24:08 +0100 | Core1625 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2026-01-17 15:23:38 +0100 | Core6067 | (~Zemy@2600:100c:b0a9:6e2b:4022:5cff:fe3f:998a) |
| 2026-01-17 15:22:37 +0100 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2026-01-17 15:19:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2026-01-17 15:16:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 15:16:01 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-17 15:09:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:08:10 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:f808:90ff:fe12:ad2) (Ping timeout: 246 seconds) |