Newest at the top
| 2026-06-22 13:55:19 +0000 | natto17 | (~natto@129.154.243.159) natto |
| 2026-06-22 13:54:58 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-22 13:54:44 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-22 13:53:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-22 13:52:51 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2026-06-22 13:50:45 +0000 | natto17 | (~natto@129.154.243.159) (Ping timeout: 244 seconds) |
| 2026-06-22 13:48:55 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-06-22 13:45:23 +0000 | natto17 | (~natto@129.154.243.159) natto |
| 2026-06-22 13:45:05 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-22 13:44:06 +0000 | spew | (~spew@user/spew) (Read error: Connection reset by peer) |
| 2026-06-22 13:44:02 +0000 | natto17 | (~natto@129.154.243.159) (Ping timeout: 256 seconds) |
| 2026-06-22 13:40:28 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 276 seconds) |
| 2026-06-22 13:35:22 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-06-22 13:26:32 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-22 13:25:04 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-06-22 13:24:43 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-06-22 13:23:30 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-22 13:22:56 +0000 | <jaror> | If anyone has any opinion on warnings for punning (using the same name at both the term and type level), please have a look at: https://github.com/ghc-proposals/ghc-proposals/pull/765 |
| 2026-06-22 13:20:12 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-22 13:19:51 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-22 13:19:11 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 13:18:02 +0000 | natto17 | (~natto@129.154.243.159) natto |
| 2026-06-22 13:15:39 +0000 | natto17 | (~natto@129.154.243.159) (Quit: a.) |
| 2026-06-22 13:10:26 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-22 13:09:01 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 265 seconds) |
| 2026-06-22 13:02:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:df45:9308:76fe:d30b) |
| 2026-06-22 12:59:22 +0000 | wickedjargon | (~user@64.114.24.74) (Remote host closed the connection) |
| 2026-06-22 12:53:38 +0000 | CiaoSen | (~Jura@2a02:3100:6368:1c00:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds) |
| 2026-06-22 12:48:38 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-06-22 12:48:38 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-06-22 12:48:38 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-06-22 12:48:11 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds) |
| 2026-06-22 12:47:22 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 256 seconds) |
| 2026-06-22 12:40:09 +0000 | Vajb | (~Vajb@n6ls0b8icarshykj82k-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2026-06-22 12:37:55 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-22 12:34:12 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-06-22 12:34:10 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-22 12:32:19 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-06-22 12:32:05 +0000 | jonnie | (~jonnie@user/jonnie) (Read error: Connection reset by peer) |
| 2026-06-22 12:29:19 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 12:17:42 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-22 12:15:51 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-06-22 11:55:14 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-22 11:52:57 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-06-22 11:50:59 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-22 11:50:36 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-22 11:49:19 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-22 11:44:33 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 11:44:09 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-22 11:40:27 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |