Newest at the top
| 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_> | :-) |
| 2024-11-14 21:48:00 +0100 | <sm> | well, welcome back and thanks for not deluging :) |
| 2024-11-14 21:47:03 +0100 | <guy_> | here is the link again if anyones interest is piqued https://vocaroo.com/14nNu3Nm5FaV |
| 2024-11-14 21:46:39 +0100 | <guy_> | sm: i used to chat here under the names fog and fen. i was often kicked for giving walls of text on the seti/geti methodology, so i thought a voice note would at least save the users from the normal deluge |
| 2024-11-14 21:45:54 +0100 | <guy_> | sm: i was kind of hoping someone could help me cobble it together for a PhD proposal im trying to submit to philip wadler. he insists he wont supervise anything to do with scientific computation, so im trying to make it a pure language consideration |
| 2024-11-14 21:45:52 +0100 | <sm> | a youtube would get more listens |
| 2024-11-14 21:45:32 +0100 | <sm> | the thing about a 20m voice memo is nobody has time for it probably, unless they know you / your work |
| 2024-11-14 21:44:56 +0100 | <guy_> | kind of shy to release a voice note on the open internets |
| 2024-11-14 21:44:55 +0100 | <sm> | the idle chatters ? :) |