enriquto

27 ms·

391.
by enriquto 3y ago
Really sad to hear this... My first donation as a late teen to free software, was to the ICCF Uganda, thanks to vim's charityware license. It was maybe around 1997 or 98. Later versions of vim used a formal free software license, but
392.
by enriquto 3y ago
> I don't know if it's exactly the same color. Why would you care? As long as it appears highlighted it is alright. Let people chose their own highlight colors, and text fonts, and everything.
393.
by enriquto 3y ago
Interesting to see a microsoft employee openly rooting for the FSF and the EFF against google. What is going on here?
394.
by enriquto 3y ago
> here’s a classic SO thread My favorite example, from "TeX stackexchange" : https://tex.stackexchange.com/questions/100574/really-wide-h... Quote from the actual answer (which is not the bogus accept
395.
by enriquto 3y ago
> It is? Do you have any supporting evidence for this claim? I don't have any evidence to support this claim. I always thought about it as self-evident, because it was in that journal that Grothendieck published his work, and the s
396.
by enriquto 3y ago
It seems to me that it is part of the folklore. Note: not the folklore of math! The folklore of mathematical typesetting, which is a tiny community. You can find many old and new math texts using either convention. Most often readers won&
397.
by enriquto 3y ago
I respect your opinion, and agree that with some particularly "thin" fonts (most notably, Computer Modern and its variants), the associated bold symbols are too exaggerated and produce and ugly effect. But there is certainly some
398.
by enriquto 3y ago
> I’ve literally never heard anyone advocate your position until you did, just now Many mathematicians concerned by typography use real boldface. For example: Terence Tao's blog, Donald Knuth, Paul Halmos (author of "how to wri
399.
by enriquto 3y ago
Maybe because my favorite math books do not use this convention, but another equally valid and useful convention: regular boldface.
400.
by enriquto 3y ago
Here you have the whole history: https://en.wikipedia.org/wiki/Blackboard_bold Summary: boldface came first, in print, and was widely used. Much later, some mathematicians started to write blackboard bold on blackboar
401.
by enriquto 3y ago
> This is for math. Heh. The "tabs vs spaces" debate of mathematical typography is whether these symbols should be used at all in printing, or reserved for actual blackboards. In LaTeX you can have actual boldface letters, so y
402.
by enriquto 3y ago
Is this information available in non-video form?
403.
by enriquto 3y ago
The beauty of a vcs is that all previous versions are still there for everybody to study and enjoy. Including the glorious first commit of llama.cpp
404.
by enriquto 3y ago
Now, if this thing supported sixels, it would be a great tool for giving eye-catching interactive presentations.
405.
by enriquto 3y ago
> I will write a parser for the “ini” file format in about 150 lines of pure and readable ISO C99 Sounds like overkill. Most often you don't need a full-fledged ini format, but just a list of "KEY=value" pairs that can be
406.
by enriquto 3y ago
> Alternatively, if you don't care about cell outputs then Jupytext[5] to sync .ipynb JSON to markdown Notice that using markdown is a possibility for jupytext, but not the only one. More interestingly, you can also store your note
407.
by enriquto 3y ago
> I would love if a major distro emerges Good news for you! You have slackware [0], void [1] and alpine [3], which are widely-used non-systemd distributions with sane scripts. They are well-maintained rolling releases which allow you to
408.
by enriquto 3y ago
Can you suggest any large bitmap fonts for use in terminals? I find them much cleaner than antialiased (i.e., blurred) fonts. By "large", I mean that they are readable on a hidpi monitor without scaling. Thus at least of size
409.
by enriquto 3y ago
> moderators enforcing 'keep off the grass' That's a good analogy! These moderators act as angry old men booing people out of their lawn. People who were having innocent and wholesome fun, and overall improving the neighb
410.
by enriquto 3y ago
But even the mods acknowledge this! Here you have it, straight from the mouth of the beast: https://blog.codinghorror.com/new-programming-jargon/ They explain why they deleted the most appreciated question ever in S
411.
by enriquto 3y ago
It's a longtime trope of these "stack" sites: the best questions with the best answers are those that are marked as offtopic, closed, deleted, downvoted or otherwise rejected. It's a marker of good quality at this point
412.
by enriquto 3y ago
> AMA As a mathematician. I cannot get over the fact that a tool called Penrose that makes (according to its documentation) diagrams, does not, in fact, make Penrose diagrams [0]. Nor even Penrose-Carter diagrams [1] The output looks l
413.
by enriquto 3y ago
> This is why we came up with a few guiding principles in using AI [1]. The principles were stated by Asimov seventy years ago, and they are very clear. None of this "sorry, my restrictions don't permit me to answer" bull
414.
by enriquto 3y ago
> I wonder what the continuous form of a graph is... Some sort of a manifold perhaps? Exactly! The correspondence between manifolds and graphs is very beautiful. What many folks call today "graph signal processing" has traditi
415.
by enriquto 3y ago
Thanks! This answers what the app does (unlock the bike) not why anybody would want that horrifying feature. So if the battery of your phone goes off, you cannot take your bike? Why whould anybody pay for that? I use a cheap D-lock that
416.
by enriquto 3y ago
Why would anybody ever want a bike to be associated to an app? What are the advantages? I already feel dirty because my bike has a nabendynamo. Cannot even imagine having an ebike; but I understand its purpose. But a bike connected to the
417.
by enriquto 3y ago
You come across as a bit facetious here. Of course, the compiler or an advanced IDE can know what your code means. If all your identifiers were random permutations of l and I: lIllI1lI, your IDE would not mind either, but the code would be
418.
by enriquto 3y ago
Unpopular opinion: code should have no dependencies. Thus, tools that ease the proliferation of dependencies encourage bad practices and must be avoided. If you want to use somebody's else code, copy it verbatim into your project. Avo
419.
by enriquto 3y ago
> do you think of addition when you see `string + "concatenate"` Yes. And it tortures me every time. I religiously avoid string concatenation in Python for this very reason. It's not that "+" necessarily means
420.
by enriquto 3y ago
In C++34 we'll finally have a way of overloading the empty string operator, so that we can, at last, write AB for the product of matrices A and B. As God intended.

More ›