Newest at the top
| 2024-11-14 22:31:02 +0100 | <guy_> | are you sure its not the ol' "not the secret societies responsibility" argument! |
| 2024-11-14 22:30:47 +0100 | <guy_> | too lazy!? |
| 2024-11-14 22:30:12 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-11-14 22:28:29 +0100 | <haskellbridge> | <Bowuigi> I wanted to do that for my research but I got too lazy lol |
| 2024-11-14 22:28:10 +0100 | <haskellbridge> | <Bowuigi> Oh also make a blog and post the usual introductory stuff there, way more compact and easier to follow |
| 2024-11-14 22:26:55 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-14 22:26:42 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-11-14 22:26:17 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 2024-11-14 22:22:33 +0100 | <haskellbridge> | <Bowuigi> So linear here is not the type theoretic linearity right? |
| 2024-11-14 22:22:21 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-11-14 22:21:02 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-14 22:20:17 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-11-14 22:18:22 +0100 | <guy_> | also, anyone interested in the AGI stuff can shoot me a DM aswell |
| 2024-11-14 22:16:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-11-14 22:16:08 +0100 | <guy_> | if anyone has any specific questions i can answer then it would avoid the ire of the moderator! |
| 2024-11-14 22:15:43 +0100 | mange | (~user@user/mange) mange |
| 2024-11-14 22:14:16 +0100 | <guy_> | but i dont want to ramble... thats why i made the voice note! |
| 2024-11-14 22:14:02 +0100 | <guy_> | overwrites* (rewite is a protected word to do with dereferencing and the program monad) |
| 2024-11-14 22:13:13 +0100 | <guy_> | you end up getting something like seti+geti+rewrites |
| 2024-11-14 22:12:43 +0100 | <guy_> | this kind of overwrite / reuse of a restricted cache of variable names is basically amounting to some "nonliner" concept |
| 2024-11-14 22:12:42 +0100 | <guy_> | like "if the variable x corresponds to some Int label on the turing tape, what happens when you locally reasign x within a local scope" |
| 2024-11-14 22:11:12 +0100 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 246 seconds) |
| 2024-11-14 22:11:11 +0100 | <guy_> | (thats a pretty good tldr tbh) |
| 2024-11-14 22:10:29 +0100 | <guy_> | the turing completeness is basically to do with the "linear"ization of the graph, putting it into a turing machine on a 1d (liniarized) turing tape. when you have local scoping, its something like a violation of the 1-1 nature of the traversable laws. i thought it was super interesting! |
| 2024-11-14 22:08:53 +0100 | <guy_> | i didnt realise at the time there was this more complicated idea of the "graphically complete language" being *nonlinear* owing to local scoping considerations |
| 2024-11-14 22:08:22 +0100 | alphazone_ | (~alphazone@2.219.56.221) |
| 2024-11-14 22:08:19 +0100 | <guy_> | i was hoping that the term "graphically complete language" would become widespread so that haskell could be exeplary as such |
| 2024-11-14 22:08:14 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-14 22:07:49 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-11-14 22:07:49 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-14 22:07:25 +0100 | <haskellbridge> | <Bowuigi> I think it's fine though, my knowledge of graph theory is pretty much just the definitions of a graph and a DAG |
| 2024-11-14 22:07:23 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-11-14 22:05:47 +0100 | <guy_> | darn. i was hoping it was accessible |
| 2024-11-14 22:05:01 +0100 | <haskellbridge> | <Bowuigi> Definitely interesting but I don't know enough graph theory to understand it lol |
| 2024-11-14 22:04:04 +0100 | <guy_> | would be cool to field some questions while i have it fresh in my memory |
| 2024-11-14 22:03:32 +0100 | <guy_> | so, its been about 20 mins since i linked the vocarro voice note (https://vocaroo.com/14nNu3Nm5FaV). has anyone had a chance to listen / is listening |
| 2024-11-14 22:03:26 +0100 | shapr | (~user@4.30.215.226) (Ping timeout: 252 seconds) |
| 2024-11-14 22:01:59 +0100 | <guy_> | ... |
| 2024-11-14 22:00:09 +0100 | <guy_> | something like including the versioning considerations to ensure robust hotswapping... all very complicated, must have been about 7 years ago |
| 2024-11-14 21:59:14 +0100 | <guy_> | like if you have a read and show instance for a save, but you change the datatype... |
| 2024-11-14 21:58:25 +0100 | <guy_> | it was dealing with the kind of issues where you might eg, have a saved data lib relavent to a previous build, and it somehow did some fancy versioning history to ensure reproducability, but the details escape me |
| 2024-11-14 21:57:21 +0100 | <guy_> | https://www.reddit.com/r/haskell/comments/1le4y5/the_haxl_project_at_facebook_slides_from_my_talk/ |
| 2024-11-14 21:57:21 +0100 | <guy_> | i was talking to simon marlow about his work in hotswapping at facebook, i cant find much online but there is this |
| 2024-11-14 21:55:13 +0100 | <c_wraith> | you can't really do perfect hot-swap of web sites anyway, unless every deploy has a different URL... and that's really bad for bookmarks. |
| 2024-11-14 21:54:12 +0100 | <shapr> | Would be nice if nixos ran on Erlang and I could do real hotswap |
| 2024-11-14 21:53:49 +0100 | <shapr> | yeah, similar |
| 2024-11-14 21:53:32 +0100 | <guy_> | sounds like hotswapping... i was trying to use nix-copy-closure for this |
| 2024-11-14 21:51:07 +0100 | <shapr> | I love using nix to re-compile my blog on my beefy laptop and push only the compiled result to my server. Fast and easy updates are pleasant. |
| 2024-11-14 21:49:39 +0100 | emfrom | (~emfrom@78.243.183.111) |
| 2024-11-14 21:48:05 +0100 | <guy_> | :-) |