Newest at the top
| 2025-02-05 21:13:55 +0100 | <geekosaur> | (at least I think that was him) |
| 2025-02-05 21:13:36 +0100 | <geekosaur> | he used to hang out here but apparently hasn't joined since late january |
| 2025-02-05 21:13:06 +0100 | kenran | (~kenran@user/kenran) (Remote host closed the connection) |
| 2025-02-05 21:12:08 +0100 | kenran | (~kenran@user/kenran) kenran |
| 2025-02-05 21:04:46 +0100 | <lisbeths> | is there anyone here who knows john tromp's binary lambda calculus? |
| 2025-02-05 21:04:30 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) lisbeths |
| 2025-02-05 21:03:03 +0100 | orenty7 | (~orenty7@176.88.22.4) (Ping timeout: 252 seconds) |
| 2025-02-05 21:00:52 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-05 21:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-05 20:58:58 +0100 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
| 2025-02-05 20:52:11 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-05 20:47:44 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-05 20:44:58 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-05 20:43:27 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2025-02-05 20:32:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-05 20:30:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-05 20:28:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 20:21:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-05 20:21:11 +0100 | haver | (~newyear@2.219.56.221) |
| 2025-02-05 20:20:28 +0100 | haver | (~newyear@2.219.56.221) (Excess Flood) |
| 2025-02-05 20:20:18 +0100 | haver | (~newyear@2.219.56.221) |
| 2025-02-05 20:17:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-05 20:14:26 +0100 | jespada | (~jespada@2800:a4:22f0:ad00:99d3:1891:5585:fb7a) jespada |
| 2025-02-05 20:14:08 +0100 | mniip_ | mniip |
| 2025-02-05 20:11:14 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-05 20:11:05 +0100 | byte | (~mu@user/byte) byte |
| 2025-02-05 20:07:03 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-05 20:04:43 +0100 | JuanDaugherty | ColinRobinson |
| 2025-02-05 19:57:24 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-05 19:53:41 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-02-05 19:52:48 +0100 | byte | (~mu@user/byte) (Ping timeout: 265 seconds) |
| 2025-02-05 19:46:50 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:f530:2eec:1f02:adc2) fun-safe-math |
| 2025-02-05 19:45:35 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-05 19:45:07 +0100 | hawer | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-02-05 19:44:35 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:615b:f09:507b:cda6) (Quit: No Ping reply in 180 seconds.) |
| 2025-02-05 19:44:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 19:39:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 19:27:49 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-02-05 19:26:58 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-02-05 19:26:26 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-05 19:24:58 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-05 19:24:45 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-05 19:21:29 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-05 19:19:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-05 19:17:21 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-02-05 19:11:26 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-02-05 18:55:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 18:51:38 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-02-05 18:51:17 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-02-05 18:50:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |