Incredibly, there are already proofs regarding memory safety of the Rust model: ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf
miniblog.
Related Posts
physical-cpu-count is a lovely example of small packages on npm doing one thing well. It's a cross-platform solution with clearly discussed limitations and design decisions regarding hyperthreading.
@kaushalmodi@mastodon.technology I am really glad to hear you like it! 😄
Thanks for sharing your config too, really interesting to see how you're using it.
Regarding editing, I do want to add this. You cam subscribe to https://github.com/Wilfred/deadgrep/issues/12 to track progress.
I worry about the traditional computing term 'augmented human intellect'. If I wear a watch, I'm an augmented human: I can track time more accurately than I could without technology!
What's a better goal for tech regarding how it can help us achieve things?