Newest at the top
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 |
2024-10-08 05:27:37 +0200 | ethantwardy | (user@user/ethantwardy) (Read error: Connection reset by peer) |
2024-10-08 05:27:37 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-08 05:22:21 +0200 | motherfsck | (~motherfsc@user/motherfsck) motherfsck |
2024-10-08 05:09:12 +0200 | zlqrvx_ | (~zlqrvx@101.175.150.247) (Ping timeout: 272 seconds) |
2024-10-08 05:01:04 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
2024-10-08 04:59:04 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
2024-10-08 04:52:51 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-10-08 04:52:19 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
2024-10-08 04:39:49 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 248 seconds) |
2024-10-08 04:36:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
2024-10-08 04:31:07 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
2024-10-08 04:29:21 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-08 04:27:08 +0200 | <haskellbridge> | <thirdofmay18081814goya> ty for comments helpful stuff |
2024-10-08 04:26:10 +0200 | <dolio> | It's nicer when the outermost level is a product, so there are multiple observations, like when data is a sum, with multiple constructors. |
2024-10-08 04:21:28 +0200 | <dolio> | Like unfoldr, but that only has one thing to observe. |
2024-10-08 04:19:25 +0200 | <dolio> | To build codata, you say what happens for all the ways of observing it, corecursively. |
2024-10-08 04:18:52 +0200 | <EvanR> | but maybe that's just prejudice leaking through from "a monad is this thing you wrap like a burrito" PTSD |
2024-10-08 04:17:41 +0200 | <EvanR> | and in the case of infinite data, assembling from the ground up is impossible |