Newest at the top
| 2026-02-17 18:51:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 18:50:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: No route to host) |
| 2026-02-17 18:46:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 18:44:54 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 18:44:33 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:44:19 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-17 18:44:05 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-17 18:43:00 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-17 18:40:34 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: No route to host) |
| 2026-02-17 18:39:23 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:39:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 18:38:18 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 18:36:31 +0100 | Googulator3 | Googulator |
| 2026-02-17 18:36:17 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:36:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 18:25:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 18:24:25 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:23:33 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-17 18:21:42 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2026-02-17 18:20:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-02-17 18:19:00 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-17 18:14:15 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-17 18:13:36 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-17 18:08:57 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 18:05:48 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2026-02-17 18:04:39 +0100 | wickedja` | (~user@24.83.46.194) |
| 2026-02-17 18:04:13 +0100 | wickedja` | (~user@24.83.46.194) (Ping timeout: 264 seconds) |
| 2026-02-17 18:03:00 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-17 17:58:00 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Client Quit) |
| 2026-02-17 17:57:05 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-17 17:49:34 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-02-17 17:48:39 +0100 | wickedjargon | (~user@24.83.46.194) (Ping timeout: 244 seconds) |
| 2026-02-17 17:47:12 +0100 | wickedja` | (~user@24.83.46.194) |
| 2026-02-17 17:40:41 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Ping timeout: 272 seconds) |
| 2026-02-17 17:39:33 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-17 17:35:42 +0100 | mxs9 | (~mxs@user/mxs) (Client Quit) |
| 2026-02-17 17:35:42 +0100 | mxs9 | (~mxs@user/mxs) mxs |
| 2026-02-17 17:34:58 +0100 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-02-17 17:25:12 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-17 17:23:01 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-17 17:21:01 +0100 | foul_owl | (~kerry@94.156.149.92) (Ping timeout: 264 seconds) |
| 2026-02-17 17:20:57 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-17 17:20:45 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2026-02-17 17:17:58 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-02-17 17:17:09 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-17 17:17:07 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-17 17:16:29 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 17:15:23 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-02-17 17:07:30 +0100 | <tomsmeding> | is that `|` a sum type? |
| 2026-02-17 17:06:25 +0100 | tomsmeding | . o O ( agda syntax: ∃[ l ∈ addr ] (ptr i32 × @0 l), or something ) |