Newest at the top
| 2024-11-14 23:13:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-14 23:12:41 +0100 | <carbolymer> | what's the difference between Foo1 and Foo2 here: https://paste.tomsmeding.com/HEZo1ic4 ? aren't they expressing the same thing basically? |
| 2024-11-14 23:06:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-14 23:06:25 +0100 | Everything | (~Everythin@178-133-104-20.mobile.vf-ua.net) Everything |
| 2024-11-14 22:58:54 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-14 22:58:28 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-14 22:57:14 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-11-14 22:52:25 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-14 22:51:46 +0100 | <haskellbridge> | <Bowuigi> Yeah you definitely need a blog lol |
| 2024-11-14 22:51:00 +0100 | <haskellbridge> | <Bowuigi> Hmmm I think I get it now |
| 2024-11-14 22:46:42 +0100 | dolio | (~dolio@130.44.140.168) (Ping timeout: 252 seconds) |
| 2024-11-14 22:45:10 +0100 | guy | (~guy@2a01:4b00:d007:ed00:81c3:85aa:e2c9:6027) (Quit: Client closed) |
| 2024-11-14 22:44:04 +0100 | <guy> | https://chatgpt.com/share/67366f04-9d30-800b-82c2-fe23ab9d5e09 |
| 2024-11-14 22:44:03 +0100 | <guy> | chatGPT does an okish job of groking the summary. but i think its way infirior to the voice note |
| 2024-11-14 22:43:53 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-14 22:39:34 +0100 | guy | (~guy@2a01:4b00:d007:ed00:81c3:85aa:e2c9:6027) |
| 2024-11-14 22:38:42 +0100 | guy_ | (~guy@2a01:4b00:d007:ed00:81c3:85aa:e2c9:6027) (Quit: Client closed) |
| 2024-11-14 22:38:41 +0100 | <guy_> | peace x |
| 2024-11-14 22:38:39 +0100 | <guy_> | stopping now for the deluge. |
| 2024-11-14 22:38:34 +0100 | <guy_> | woot, i think i gave the text based version |
| 2024-11-14 22:38:27 +0100 | <guy_> | breaks the traversal laws and introduces the concept of "nonlinearity" |
| 2024-11-14 22:38:13 +0100 | <guy_> | this is where the idea of "functor scheduling" which might not have visitation of each element only once |
| 2024-11-14 22:37:54 +0100 | <guy_> | the point here is that you can also overwrite data ie, have the same position mentioned several times |
| 2024-11-14 22:37:36 +0100 | <guy_> | so when you put it into a list, with each value having the structure directing information aswell, then you can put it back from a list and rebuild the graph. like folding through the list with the seti constructor |
| 2024-11-14 22:37:00 +0100 | <guy_> | seti+geti are abstractions extending around pattern matching on (:) where you get an extra piece of data |
| 2024-11-14 22:36:28 +0100 | <guy_> | its more like basically "because its foldable there is a toList" so its "linearizable" |
| 2024-11-14 22:36:10 +0100 | <guy_> | but yeah, totally different concept of linearity |
| 2024-11-14 22:36:02 +0100 | <guy_> | i think basically, because the state is updated each time, thats where the linearity comes in |
| 2024-11-14 22:35:34 +0100 | <guy_> | and then its weird because your functions are replaced by something that has concrete and variable data associated |
| 2024-11-14 22:35:16 +0100 | <guy_> | (s,s->a->(s,b)) actually, since you need the state aswell |
| 2024-11-14 22:34:29 +0100 | <guy_> | i think the "type theoretic linearity" can be used to great effect here, but i forget how! |
| 2024-11-14 22:34:13 +0100 | <guy_> | since you can always have s~() you can basically make a totally stateful language |
| 2024-11-14 22:33:53 +0100 | <guy_> | but now instead of a bivariate function a -> b, its the stateful function; s -> a -> (s,b) |
| 2024-11-14 22:33:29 +0100 | <guy_> | like how haskell has "all functions are bivariate functions" where partial application can return a new bivariate function |
| 2024-11-14 22:33:09 +0100 | <guy_> | that was something i think we were working on in terms of a "strictly stateful" functional programming language |
| 2024-11-14 22:32:56 +0100 | shapr | (~user@2601:19c:417e:5434:b5b7:a31:f560:51b7) shapr |
| 2024-11-14 22:32:52 +0100 | <guy_> | "type theoretic linearity". no thats about some kind of strict purity, right? like, variables used exactly once and then deleted? |
| 2024-11-14 22:31:53 +0100 | <guy_> | im always looking for keen people that can offer their services. better than being completely invisabailised imo |
| 2024-11-14 22:31:33 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-14 22:31:17 +0100 | <guy_> | i was hopeing the advances in transparency and open society would maybe percolate through |
| 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) |