| 12 Dec 2025 |
iggle | I believe those considerations and the inspiration of cue lead the tweag people to start nickel. | 20:51:58 |
| 13 Dec 2025 |
| @elec3137:matrix.org changed their display name from Electria to moved to: @electria:federated.nexus. | 05:04:21 |
| @elec3137:matrix.org removed their profile picture. | 06:57:26 |
| @elec3137:matrix.org removed their display name moved to: @electria:federated.nexus. | 06:57:34 |
| @elec3137:matrix.org left the room. | 06:57:40 |
| @MartiniMoe:matrix.org left the room. | 07:35:01 |
Rutile (Commentator2.0) feel free to ping | which nix implementations exist beside lix, snix and cppnix? | 11:27:56 |
Cyrill | This https://tvix.dev/ , but I'm unsure how far along it is. | 11:29:33 |
K900 | Snix is a Tvix fork | 11:37:45 |
K900 | I'm not aware of anything that made significant progress outside of Tvix and the multiple cppnix forks | 11:38:02 |
kloenk | There is a like 4-5 years old experiment to create just the Daemon in rust but it never got further then accepting nars | 12:04:24 |
griff | Which project are you thinking of? There are a few implementations of the Daemon protocol in various states of completion. | 12:06:42 |
kloenk | The one I wrote back then :p (don’t think I ever announce it anywhere really) | 12:07:36 |
puck | yeah, i have a similar one laying around; which interestingly requires that each store path has a matching .drv | 12:44:27 |
piegames | Puck didn't you build a custom Nix interpreter for replit or something? | 12:55:10 |
aloisw | Are you thinking of https://nix-re.pl ? | 12:55:44 |
puck | ahahah no that'd be funny tho | 12:55:50 |
kloenk | With all the language dev in currently doing I could start a new nix parser (not alone or something. Sadly there is other things that take time from already always to limited available) :p | 13:18:34 |
antifuchs |
Welcome to nix-re.pl version [2.3-equivalent]. There is no help.
ahahahah
| 15:19:07 |
antifuchs | intensely relatable | 15:19:17 |
rosssmyth | There's also hnix though I think that's only for eval(?) | 16:30:51 |