Newest at the top
| 2024-10-08 08:44:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-08 08:42:16 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-08 08:32:49 +0200 | mari-estel | (~mari-este@185.238.219.10) (Ping timeout: 248 seconds) |
| 2024-10-08 08:32:17 +0200 | mari77696 | (~mari-este@185.238.219.10) (Ping timeout: 248 seconds) |
| 2024-10-08 08:32:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-08 08:17:16 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-08 08:14:05 +0200 | foul_owl | (~kerry@185.219.141.162) (Ping timeout: 255 seconds) |
| 2024-10-08 08:11:38 +0200 | mari77696 | (~mari-este@185.238.219.10) |
| 2024-10-08 08:10:57 +0200 | mari-estel | (~mari-este@185.238.219.10) |
| 2024-10-08 08:10:24 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-08 08:09:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-08 08:09:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-10-08 08:08:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-08 08:08:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-08 08:04:00 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2024-10-08 07:57:33 +0200 | ubert | (~Thunderbi@178.165.187.120.wireless.dyn.drei.com) ubert |
| 2024-10-08 07:53:12 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb34519e9ca14c5ce943.dip0.t-ipconnect.de) acidjnk |
| 2024-10-08 07:38:13 +0200 | <Axman6> | yeah I think both of those work |
| 2024-10-08 07:32:01 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-08 07:23:01 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 248 seconds) |
| 2024-10-08 07:22:12 +0200 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2024-10-08 07:21:51 +0200 | dtman34 | (~dtman34@2601:447:d080:1a3c:e9e9:5bc8:51:a5ea) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-10-08 07:12:38 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-08 07:10:13 +0200 | st_aldini1 | st_aldini |
| 2024-10-08 07:10:13 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (Ping timeout: 248 seconds) |
| 2024-10-08 07:09:05 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-08 07:08:47 +0200 | st_aldini1 | (~Thunderbi@136.48.22.91) st_aldini |
| 2024-10-08 07:04:04 +0200 | amish | astra |
| 2024-10-08 07:03:44 +0200 | amish | (sid289983@user/amish) amish |
| 2024-10-08 07:03:44 +0200 | amish | (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 2024-10-08 07:03:41 +0200 | astra | amish |
| 2024-10-08 06:57:53 +0200 | michalz | (~michalz@185.246.207.222) |
| 2024-10-08 06:55:47 +0200 | <mauke> | Axman6: non-regular? nested type? |
| 2024-10-08 06:45:56 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-08 06:45:50 +0200 | <jackdk> | Axman6: Is this about how finger trees use polymorphic recursion? |
| 2024-10-08 06:39:57 +0200 | simendsjo | (~user@84.211.91.108) (Ping timeout: 276 seconds) |
| 2024-10-08 06:34:45 +0200 | <Axman6> | I'm forgetting the name of something; "a finger-tree is an example of a non-??? recursive structure", I want to say ??? = uniform but I don't think that's right |
| 2024-10-08 06:24:28 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2024-10-08 06:19:30 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 2024-10-08 06:15:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-08 06:08:05 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2024-10-08 06:07:51 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-10-08 06:04:53 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-10-08 05:49:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-08 05:46:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-10-08 05:44:40 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 272 seconds) |
| 2024-10-08 05:43:57 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-08 05:43:38 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-10-08 05:31:20 +0200 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-10-08 05:29:52 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |