charmonium

5 ms·

1.
by charmonium 2y ago
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&#x2F
2.
by charmonium 3y ago
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 minilanguage in the larger language. Usually, we don't need to u
3.
Distributed Patch Dissemination
1 points by charmonium 3y ago|0 comments
4.
by charmonium 6y ago
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?
5.
Stop Writing Shell Scripts(samgrayson.me)
5 points by charmonium 6y ago|4 comments
6.
by charmonium 7y ago
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, but I wanted to focus on using monads as another
7.
by charmonium 7y ago
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 layer. Without it unwrapping one layer, programs w
8.
by charmonium 7y ago
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 ArrayList, calling `size` at one point in time might have a di
9.
by charmonium 7y ago
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 is kind of a subset of List (as you mention), and for
10.
Monads as a Programming Pattern(samgrayson.me)
233 points by charmonium 7y ago|80 comments
11.
by charmonium 10y ago
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 (often intuition guides a slower, rigorous, methodical proof), b
12.
by charmonium 10y ago
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 speed, but critical thinking is more important than sp
13.
by charmonium 10y ago
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 meaningful.