Newest at the top
2024-05-03 17:50:59 +0200 | thailigur | (~thailigur@151.240.170.117) (Quit: Client closed) |
2024-05-03 17:50:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:47:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-03 17:46:31 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:44:38 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:41:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:40:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:37:56 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:35:21 +0200 | poscat | (~poscat@user/poscat) |
2024-05-03 17:35:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:35:04 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
2024-05-03 17:32:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:31:57 +0200 | destituion | (~destituio@77.16.38.63.tmi.telenormobil.no) |
2024-05-03 17:31:37 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 256 seconds) |
2024-05-03 17:29:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:26:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:25:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:22:44 +0200 | thailigur | (~thailigur@151.240.170.117) |
2024-05-03 17:21:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:20:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:16:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:15:53 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 272 seconds) |
2024-05-03 17:14:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:14:19 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
2024-05-03 17:13:58 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
2024-05-03 17:11:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:10:46 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-05-03 17:10:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:09:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-03 17:07:17 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Read error: Connection reset by peer) |
2024-05-03 17:06:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:05:09 +0200 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) |
2024-05-03 17:04:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 17:03:02 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
2024-05-03 17:01:37 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 17:00:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:58:43 +0200 | onion | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-03 16:56:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:55:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:54:01 +0200 | <kuribas> | RankN types are undecidable. |
2024-05-03 16:53:40 +0200 | <kuribas> | onion: what do you mean "it should be implicit"? |
2024-05-03 16:53:15 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
2024-05-03 16:52:12 +0200 | <onion> | kuribas: i know what forall means, but it should be implicit. i was testing lambdabot to try and understand which extensions were being used |
2024-05-03 16:51:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:50:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:46:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:45:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 16:44:50 +0200 | Square | (~Square@user/square) |
2024-05-03 16:41:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 16:40:21 +0200 | danse-nr3 | (~danse-nr3@151.43.124.243) |