Garlef

33 ms·

511.
by Garlef 6y ago
https://en.wikipedia.org/wiki/Arrow_(computer_science) https://en.wikipedia.org/wiki/List_comprehension https://www.haskell.org/arrows/syntax.html https://www.scie
512.
by Garlef 6y ago
I think this is just a matter of perspective and actually having different colors is a good thing: Thinking in terms of functional programming / category theory, this coloring seems to boil down to working with different arrows. The co
513.
by Garlef 6y ago
Judging from the code snippets, the language supports generic types (`List<T>`). Are there plans to support Higher kinded types? Smth like `typedef Ev<F extends Generic, E>=F<E>`.
514.
by Garlef 6y ago
> In medical terms we're talking about ... trying to cause as much death and injury to each other ... Are you sure about this? What do you base your statement on? I remember having read as a child an article in a science magazine cl
515.
by Garlef 7y ago
There is quite a difference between a passive house and zero/plus energy buildings: The focus of a passive house is on energy efficiency while Zero/Plus energy buildings try to have a positive net value. While it certainly helps,
516.
by Garlef 9y ago
The talk of "exponential costs"... but would the increase in cost per user per month not be linear (wrt the numer of users)?
517.
by Garlef 9y ago
I was linking this to the same topic. But then I remembered David Graebers notion of bullshit jobs. The best explanation I came across so far was that in todays economy, the supply side is not a problem. So actual work has to be put in to c
518.
by Garlef 9y ago
This is a nice find but it is very old news. In mathematics (and mathematical physics), these are called string diagrams . The short and simplified version of the story: The (typed) lambda calculus 'corresponds' to cartesian clo
519.
by Garlef 10y ago
Dragonball. They sometimes charge up one attack over several episodes.
520.
by Garlef 10y ago
My guess would be that the yoneda lemma plays a role: The visual interpretation of Hom(-,X) would be roughly 'What are the visual parts of X'.
521.
by Garlef 10y ago
Same goes for Bangkok.
522.
by Garlef 10y ago
Hm... I never bothered with altruism. Is it really worth it?
523.
by Garlef 11y ago
What's so special about this ? I was always under the impression that quantum physics is allready 99% pure math ;)
524.
by Garlef 11y ago
No question; But this is one of the coolest things I've seen on the internet yet.
525.
by Garlef 11y ago
Why is this article linked here? It seems to have very poor journalistic standards: An article about a money sink on sicily, home of the cosa nostra, without mentioning money laundering.
526.
by Garlef 11y ago
Yes: The theory of relations/chu spaces is used in computer science. See for example [ http://chu.stanford.edu/guide.html ]
527.
by Garlef 11y ago
Agreed. Some definitions are really bad. I guess the cause is noble but it is executed very poorly. ( The definition of functional is also used nowhere in the document - Although it is mentioned. ) Another oddity: "Object oriented&quot
528.
by Garlef 11y ago
Yes: HOTT is an acchievement. It differs from the other items on the list, though, as it belongs to the "theory building" branch of mathematics and not to the "problem solving" branch. In the end, the current implementat
529.
by Garlef 11y ago
String diagrams are a way to describe morphisms (think functions) in monoidal categories. A construction using monoidal categories (or a slight generalisation) can be used to give a categorical model for arrows. http://bentnib.or
530.
by Garlef 11y ago
Very impressive if the author developed this by himself. But this is a well known idea from category theory: http://en.wikipedia.org/wiki/String_diagram
531.
by Garlef 11y ago
In other words: The shell should be a lisp.
532.
by Garlef 11y ago
That's a nice idea; But it is a misleading one. Even an app for your phone that communicates with a server is a distributed system. Even a programm performing a simple read/write operation on the file_system_ is part of a distribu
533.
by Garlef 11y ago
This debate goes back to the late 1990's.
534.
by Garlef 11y ago
Deprecating TeX is long overdue - for example creating non-book layouts (i.e. magazines) is a real pain. So: A a TeX compiler that can be called from JS can only be an intermediate solution. I think http://txtjs.com/ goes i
535.
by Garlef 11y ago
Hi There. I'm just here to get in line for a "I've been working on something similar..." comment. Nice work!
536.
by Garlef 12y ago
Yeah. But there are different requirements: Knowing HOW to calculate something does not automatically tell you WHY you are actually doing it.
537.
by Garlef 12y ago
"Linear Algebra Done Right": http://linear.axler.net/ From a math perspective some definitions could be "cleaner" but as a first/second round it gives a very good perspective on linear algebra. Some
538.
by Garlef 12y ago
Yeah. I was only reading through the four pager.
539.
by Garlef 12y ago
"Linear algebra is the math of vectors and matrices." "The matrix-vector product is used to define the notion of a linear transformation" This is BS. * First: Linear Algebra actually is the math of linear transformations
540.
by Garlef 12y ago
From a category theoretic point of view, subtraction is a natural candidate for comparison: It is the internal hom-functor in the ordered monoid of integers. One could argue that internal hom functors are the very essence of a "compari

More ›