Newest at the top
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 |
2024-10-08 04:16:30 +0200 | <EvanR> | so if the value was assembled somehow yeah you could diassemble it, but it might just have multiple ways to proceed to the next observation which for all you know is unrelated to any construction sequence |