6 Sep 2023 |
Nathan Petrangelo | It only makes sense to impose type classes on algebraic sum types in such a way that automatically maps the sum type implementation to whatever variant you have | 06:38:44 |
Nathan Petrangelo | * It only makes sense to impose type classes on algebraic sum types in such a way that automatically maps the sum type implementation to that of whatever variant you have | 06:39:16 |
Nathan Petrangelo | * It only makes sense to impose type classes on algebraic sum types in such a way that automatically maps a call on the sum type’s methods to the implementation for whichever variant you have | 06:40:12 |
Nathan Petrangelo | It would feel ergonomically similar to OO polymorphism, using the enum in a vector with automatic access to all the trait’s methods, but be better in practice because the enum would still be restricted to the variants you specify even if more implementations of the traits exist, and you don’t need any fat pointers along the way | 06:48:45 |
Nathan Petrangelo | /soapbox lol | 06:48:56 |
Nathan Petrangelo | * It would feel ergonomically similar to OO polymorphism, using the enum as a generic in a vector with automatic access to all the trait’s methods, but be better in practice because the enum would still be restricted to the variants you specify even if more implementations of the traits exist, and you don’t need any fat pointers along the way | 06:49:27 |
Nathan Petrangelo | * It would feel ergonomically similar to OO polymorphism, using the enum as a generic in a vector with automatic access to all the trait’s methods, but be better in practice because the enum would still be restricted to the variants you specify even if more implementations of the traits exist, and you wouldn’t need any fat pointers along the way that would hurt performance a little each time they are invoked | 06:50:50 |
| krzno changed their display name from ivanrancic to krzno. | 14:10:25 |
8 Oct 2023 |
| @medicineseller:halogen.city left the room. | 10:40:04 |
13 Oct 2023 |
paycheck | just got around to reading the newly updated version. Good job Andrew! Still excitedly watching the project. | 19:33:36 |
andrew | thanks! still lots of work to do, but making progress on the foundational stuff. | 19:42:39 |
Nathan Petrangelo | Oh, I guess I should post this concept in here too lol
https://github.com/npetrangelo/WASM-in-Docker | 19:46:15 |
andrew | i had a similar idea a long time ago, but instead of wasm/docker, websites would ship a small bit of JS that grabs jobs, processes them, and posts results back. the idea is idle web clients could do things like fold protiens and whatnot. i think these days, most of these projects get hijacked by crypto mining bs unless there are some stringent entry requirements | 19:48:45 |
Nathan Petrangelo | Of course they are 🙄 | 19:49:35 |
andrew | i'm curious too...does wasm have any networking capabilities or can you only do that in wasi? | 19:49:57 |
Nathan Petrangelo | idk, but I just googled and found this
https://github.com/http-wasm | 19:54:26 |
andrew | i think nodejs can run wasm natively too, so you can compile your rust modules to wasm and embed them in node, which is much easier to compiling to native for each target platform | 19:55:45 |
andrew | haven't messed with it yet though. | 19:56:01 |
Nathan Petrangelo | I don't think you have to do that, there are cross platform wasm runtimes nowadays | 19:56:41 |
andrew | for sure, but if you're doing stuff in node already and want to embed anything that compiles to wasm, you don't need any extra tools | 19:57:16 |
Nathan Petrangelo | yeah | 19:57:26 |
30 Nov 2023 |
| Kaichao changed their profile picture. | 11:18:05 |
11 Dec 2023 |
| andrew changed the room topic to "Discussing the Basis project (a decentralized system that enables an economy based on the free association of producers) -- https://basisproject.net/" from "Discussing the Basis project (a decentralized system that enables an economy based on the free association of producers)". | 07:22:44 |
15 Dec 2023 |
| craigo joined the room. | 23:54:39 |
20 Dec 2023 |
| kawaiipunk (she/they) changed their display name from kawaiipunk (they/she) to kawaiipunk (she/they). | 00:11:11 |
14 Mar 2024 |
Nathan Petrangelo | My girlfriend and I are finally ready for people to help us make our app Kinbox a reality! This is our stab at this problem space.
https://discord.gg/9QvKaPEfM2
https://docs.google.com/document/d/1RCgpusCV2yHGM-sdo3rMVWSJPYU7waDO2K_-DVmMOH0/edit?usp=sharing | 22:19:38 |
Nathan Petrangelo | andrew Excited to hear what you think | 22:20:11 |
19 Mar 2024 |
andrew | hey sorry it took a few days, been working long hours this week | 17:11:47 |
andrew | initial thoughts are that i like it quite a bit. it's definitely a model i haven't seen before. i do like the mechanic of turn-based giving. i think this will work great for medium-scale projects ("help me build a shed") where people spend a few hours helping each other or exchanging things like a bike they don't use or food items. i'm curious how it might work for things like housing...larger ticket or more ongoing things. there are also other dynamics i'm interested in, like if i help you build your shed but you never mark the stamp as completed, what recourse do i have? are there mechanisms for avoiding people who take advantage? | 17:19:31 |
andrew | overall, i like the idea. i know a person who's heavy into gift economics and might have some thoughts for you as well. i can put you in touch over email if you want (message me here andrew@killtheradio.net ) | 17:22:47 |