omaranto

15 ms·

121.
by omaranto 6y ago
What book will suit you depends on your background. If you have a solid background in math, say an undergraduate degree in math, my favorite book is Emily Riehl's Category Theory in Context [1] (the "context" in the title ref
122.
by omaranto 6y ago
Geometer, not geometrician, but yes, you're right.
123.
by omaranto 6y ago
First of all categorical in a math context does not always refer to category theory. In logic a theory is called categorical in K if it has only one model of cardinality K up to isomorphism. Second, is this really a common problem? People u
124.
by omaranto 6y ago
Mexican Spanish. I don't know if they also use that saying in other Spanish speaking countries besides Mexico. In Spanish it goes: "Si mi abuelita tuviera ruedas, sería bicicleta".
125.
by omaranto 6y ago
Well, the "f x" notation for function calls comes from the tradition of functional programming languages, where functions calls form the bulk of the code. It makes sense to make the most common operation have the lightest syntax.
126.
by omaranto 6y ago
That has the same basic idea as the mustache version, but is pithier. I still prefer the surrealism of the bicycle.
127.
by omaranto 6y ago
The function call syntax is old and well-established. It is used in Ocaml and Haskell, for example, but comes from older languages that influenced them. Note that the problem in Ruby does not come from the syntax "f x" for functio
128.
by omaranto 6y ago
I like my country's version better: "if grandma had wheels she'd be a bicycle".
129.
In the 90s part of Germany's air traffic control software ran on Emacs(reddit.com)
241 points by omaranto 6y ago|80 comments
130.
by omaranto 6y ago
me.variable sounds Irish to me, at least compared to my.variable.
131.
by omaranto 6y ago
> A fast low-level program was re-written in a high-level language to reduce maintenance costs. And as a side effect make it faster on average. Very cool!
132.
by omaranto 6y ago
You're right! It's been too long since I used them. I think I was probably remembering F#'s light syntax.
133.
by omaranto 6y ago
It sounds like you agree with me: the reason Python does not have multiline lambdas is not that it has significant-whitespace, but other decisions including the “expressions may not contain statements” rule.
134.
by omaranto 6y ago
Plenty of languages with significant-whitespace have multiline anonymous functions, like Haskell, Standard ML, Ocaml, etc. Maybe it's no possible in Python for a student reason, but the reason is not that the syntax is bad on indentati
135.
by omaranto 6y ago
I have no experience in Computer Science departments, sadly.
136.
by omaranto 6y ago
That's my experience of every university math department I've ever been at. I always assumed that's also how non-math departments are but don't actually have any first-hand experience.
137.
by omaranto 6y ago
Oh, maybe my brain counts every mention of Spacemacs or Doom as an implicit mention of Evil.
138.
by omaranto 6y ago
So you are saying git is slow on Windows, but only because starting any process is slow on Windows. Interesting. I've heard there is work in progress to have magit use libgit2 instead of running the git executable. That should help.
139.
by omaranto 6y ago
I think git is slow on Windows, and magit doesn't make the problem better or worse.
140.
by omaranto 6y ago
Evil is rarely mentioned? I guess we hang out in different parts of the internet.
141.
by omaranto 6y ago
I see, thanks!
142.
by omaranto 6y ago
> Emacs's built in functionality tends to work better with other Emacs functionality, hence why project-find-file works well with TRAMP. I think it's more than that, there is a higher barrier to entry for code in Emacs than in
143.
by omaranto 6y ago
> It's worth noting that Emacs's built-in way to find files (project-find-file) in a project does not suffer these performance issues. Try it, C-x p f. That is your personal key binding, project-find-file does not seem to have
144.
by omaranto 6y ago
> * project-find-file uses completing-read, which wouldn't by default call Ivy/Ivy prescient. Not by default, that's true, but for users that have installed ivy and activated ivy-mode, ivy does take over completing-read.
145.
by omaranto 6y ago
For me this is an instance of Betteridge's law of headlines: "Any headline that ends in a question mark can be answered by the word no." :) I very rarely see Pinterest in my search results.
146.
by omaranto 6y ago
It sounds like you would like god-mode: https://github.com/emacsorphanage/god-mode
147.
by omaranto 6y ago
You probably mean "piqued" instead of "peaked", and also probably don't mean you were "piqued", but rather that your curiosity was.
148.
by omaranto 6y ago
And there are very cold places in the US too, so Apple isn't just ignoring the Canadian market, it's ignoring a good chunk of the US too.
149.
by omaranto 6y ago
> Surely you have a day or two where it gets hot. That depends on what you mean by hot: the highest temperature ever recorded in Mexico City is 38C, so my friends from northern Mexico and from, say, Arizona would say that no, Mexico City
150.
by omaranto 6y ago
The heat? I live in Mexico City, it's basically never hot here. That game was on June 22, and according to WolframAlpha that day had a high of 15C. I don't know if that data is accurate, but I can tell you a high of 15C in June is

More ›