Newest at the top
| 2024-10-30 20:25:25 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-30 20:23:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 20:18:49 +0100 | ash3en1 | ash3en |
| 2024-10-30 20:18:48 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 272 seconds) |
| 2024-10-30 20:16:35 +0100 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-10-30 20:06:25 +0100 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) mulk |
| 2024-10-30 20:05:14 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-30 20:04:57 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 20:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-30 20:00:26 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 20:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-30 19:59:52 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-30 19:58:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 19:55:23 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2024-10-30 19:54:49 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2024-10-30 19:52:35 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-10-30 19:52:09 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-30 19:43:29 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-30 19:37:23 +0100 | <ph88> | tomsmeding, have you used linear types yet ? |
| 2024-10-30 19:37:07 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:2c86:4e6e:fc83:ede5) ph88 |
| 2024-10-30 19:34:27 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 19:33:36 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-30 19:27:18 +0100 | droideqa | (uid499291@user/droideqa) (Quit: Connection closed for inactivity) |
| 2024-10-30 19:23:26 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-30 19:12:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-10-30 19:12:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-10-30 19:07:57 +0100 | slack1256 | (~slack1256@2803:c600:5111:8696:36fc:8f2b:4dcb:2f34) slack1256 |
| 2024-10-30 19:05:20 +0100 | slack1256 | (~slack1256@2803:c600:5111:8696:36fc:8f2b:4dcb:2f34) (Ping timeout: 272 seconds) |
| 2024-10-30 19:03:42 +0100 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-10-30 19:03:05 +0100 | alphabitserial | (~alphabits@user/alphabitserial) (Max SendQ exceeded) |
| 2024-10-30 19:03:04 +0100 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-10-30 18:56:50 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 18:56:49 +0100 | alphabitserial | (~alphabits@user/alphabitserial) (Quit: alphabitserial) |
| 2024-10-30 18:56:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-30 18:54:03 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-10-30 18:53:54 +0100 | <slack1256> | Is there a quick check generator for html already defined on a package? |
| 2024-10-30 18:53:02 +0100 | slack1256 | (~slack1256@2803:c600:5111:8696:36fc:8f2b:4dcb:2f34) slack1256 |
| 2024-10-30 18:47:08 +0100 | Digit | (~user@user/digit) Digit |
| 2024-10-30 18:40:35 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-30 18:40:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-10-30 18:31:08 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-30 18:30:08 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-30 18:28:21 +0100 | ubert1 | ubert |
| 2024-10-30 18:28:21 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-10-30 18:27:57 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-30 18:27:44 +0100 | ubert1 | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert |
| 2024-10-30 18:27:21 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 18:25:03 +0100 | AlexZenon_2 | (~alzenon@178.34.150.252) (Client Quit) |
| 2024-10-30 18:24:44 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-30 18:23:20 +0100 | AlexZenon_2 | (~alzenon@178.34.150.252) |