Viewing profile — charmonium

Why does the "Comparison" table show "Nix" as "No" for "Containerized"? One can [run Nix in containerized environments]( https://nix.dev/manual/nix/2.24/installation/installing-doc…

Generally agree, but consider the counter-example of regular expressions, where the purely in-language notation is so much more verbose than putting a string-literal of a minilangu…

Academic literature describes a method for distributing benevolent patches "in which every newly patched node forwards the patches to some or all of its neighbors" [1]. This way, t…

I'm starting to come around to that view, especially since shell is an unusually productive REPL. What are the "right circumstances" for a shell script in your experience?

This is exactly why I wanted to write this post. I feel like the pattern is valuable besides "we need it to have stateful computation." I have to mention this use for completeness,…

A few observations which might also be false. We can have arbitrarily nested monads: monadicObj.bind((T value) => monad.wrap(monad.wrap(value))); Remember, `bind` only unwraps one …

What exactly do you mean by stateless? Encapsulation in the OOP sense is not stateless, because two identical method-calls may not return the same value. Example: if you have an Ar…

Promises, as exposited in the article, are an interface for bona fide monads. I think Promises are the best example of monads because they don't just wrap a type in memory. Maybe i…

A part of the push for rigor in calculus is being able to prove results instead of appealing to intuition. They are both important aspects of mathematics when working together (oft…

when you get to 5x + x = 6x, you can't simply memorize a similar sequence. Knowing how the sequence is created is much more valuable than memorizing the sequence. You do loose some…

Perhaps math classes should focus less on remembering algorithms and more on inventing your own algorithms by solving novel problems. In that context showing work is much more mean…