devon
@nove.dev
{softwarer: [rust, typescript, python, ...]; gardener, coastal range hiking, experimental musician, photographer::amateur, location: yvr}
https://github.com/novedevo; https://nove.dev
https://github.com/novedevo; https://nove.dev
Got a nice day2 solution that doesn't convert any integers to strings; took me from ~2.1s to ~0.35s, unoptimized. I feel like there's probably an elegant analytic solution out there, but if it exists I'm sure it's devilish. I'm happy with this so far.
December 2, 2025 at 6:39 AM
Got a nice day2 solution that doesn't convert any integers to strings; took me from ~2.1s to ~0.35s, unoptimized. I feel like there's probably an elegant analytic solution out there, but if it exists I'm sure it's devilish. I'm happy with this so far.
tangled spindles have been pretty good to me. nixpkgs-based environment definitions are cool, if you're ok with alpha-tier software pushing unannounced breaking changes
November 23, 2025 at 8:07 PM
tangled spindles have been pretty good to me. nixpkgs-based environment definitions are cool, if you're ok with alpha-tier software pushing unannounced breaking changes
kagi helps, a little
help.kagi.com/kagi/feature...
help.kagi.com/kagi/feature...
June 3, 2025 at 4:04 AM
kagi helps, a little
help.kagi.com/kagi/feature...
help.kagi.com/kagi/feature...
Fish ships with completions for most programs I use: github.com/fish-shell/f.... If it's not there, you can either use fishshell.com/docs/current... to write your own or copy a .fish file to ~/.config/fish/completions from someone online that's done it for you.
fish-shell/share/completions at master · fish-shell/fish-shell
The user-friendly command line shell. Contribute to fish-shell/fish-shell development by creating an account on GitHub.
github.com
February 27, 2025 at 4:09 PM
Fish ships with completions for most programs I use: github.com/fish-shell/f.... If it's not there, you can either use fishshell.com/docs/current... to write your own or copy a .fish file to ~/.config/fish/completions from someone online that's done it for you.
IME switching from zsh to fish was quite easy. All the pain points in zsh that you have to fix with plugins and prompts are just solved by default in fish. Sometimes fish's non-posix nature causes hiccups, but the "fish way" is always much better than the posix shell norm.
February 27, 2025 at 3:49 PM
IME switching from zsh to fish was quite easy. All the pain points in zsh that you have to fix with plugins and prompts are just solved by default in fish. Sometimes fish's non-posix nature causes hiccups, but the "fish way" is always much better than the posix shell norm.
related for sure - the interaction combinator paper builds off of interaction nets. can't say how closely the details hew to each other. I remember reading about HVM a year ago or so, it's another interesting project. I imagine IVM (the runtime for Vine) does, or could, take inspiration from HVM.
February 23, 2025 at 5:09 AM
related for sure - the interaction combinator paper builds off of interaction nets. can't say how closely the details hew to each other. I remember reading about HVM a year ago or so, it's another interesting project. I imagine IVM (the runtime for Vine) does, or could, take inspiration from HVM.
-- well, theoretical in terms of interaction nets. (I should really finish off my jlox interpreter one of these days.) I'd probably be fine up until the parsing completed.
February 23, 2025 at 3:47 AM
-- well, theoretical in terms of interaction nets. (I should really finish off my jlox interpreter one of these days.) I'd probably be fine up until the parsing completed.
I also really like how IO is just an argument passed to main(). I do wonder how their "all IO is async, no extra syntax or monad malarkey required, trust us" or default mutable references work in practice, but I do not yet have the theoretical understanding to learn about Vine's compiler internals.
February 23, 2025 at 3:44 AM
I also really like how IO is just an argument passed to main(). I do wonder how their "all IO is async, no extra syntax or monad malarkey required, trust us" or default mutable references work in practice, but I do not yet have the theoretical understanding to learn about Vine's compiler internals.
The language, especially syntax, is heavily inspired by Rust (which is also the implementation language), with some of the sharp edges smoothed off. Start at vine.dev/docs/feature..., but make sure you read at least until vine.dev/docs/feature....
The Inverse - The Vine Programming Language
vine.dev
February 23, 2025 at 3:42 AM
The language, especially syntax, is heavily inspired by Rust (which is also the implementation language), with some of the sharp edges smoothed off. Start at vine.dev/docs/feature..., but make sure you read at least until vine.dev/docs/feature....