enriquto

48 ms·

571.
by enriquto 4y ago
> Books do not make you better at math. Working math problems makes you better at math. But math books are often full of exercices that you are supposed to do! Actually reading a math book means that you try to anticipate the proofs bef
572.
by enriquto 4y ago
The classical stuff is great: * Geometry and the imagination by Hilbert and Cohn-Vossen * Methods of mathematical physics by Courant and Hilbert * A comprehensive introduction to differential geometry by Spivak (and its little brother
573.
by enriquto 4y ago
I'm so happy to hear that! I've always loved this little book (even if it's completely independent of the math needed for my work). In a similar spirit, but with a much more geometrical flavor, there is Evans-Gariepy.
574.
by enriquto 4y ago
If you :set autoindent you'll never need to indent using the tab key. Indentation happens automatically as you write code. In the very rare cases where you need to change the indentation of a line, there's == or, if that doesn&
575.
by enriquto 4y ago
Brian, on the other hand, has an excellent, powerful posture: https://www.youtube.com/watch?v=tc4ROCJYbm0 (see from 4'10). Feet on desk, keyboard on lap, reclined seat, talking about unix filters.
576.
by enriquto 4y ago
It certainly can. Since more than 20 years ago! I remember that in 2003, as a "little kid", I changed my configuration from latin-15 to utf8 and it was already supported. You can read here an explanation of how xterm handled ill
577.
by enriquto 4y ago
Is it possible to mount a database so that its rows (or columns, or whatever you have selected upon the call to mount) are accessible as regular files?
578.
by enriquto 4y ago
There's #gnuplot on libera, which is a bit slow, but still faster than waiting for a relevant post in HN to ask your questions.
579.
by enriquto 4y ago
> what're missing? Nothing. Xterm is awesome! And even if xterm is an older program, it seems to be just as actively developed as gnome-terminal. See the changelogs for each: https://invisible-island.net/xterm&#x2F
580.
by enriquto 4y ago
In other words, a hack. And that's why we are here!
581.
by enriquto 4y ago
Isn't this a bit off-topic for this thread? Anyways, as a user of the three, I find that the main advantage of gnuplot is that you can do simpler plots more easily than with the others, as there's often no boilerplate needed. I d
582.
by enriquto 4y ago
No need of cat. You can use filename "-" to mean standard input: seq 1 10 | gnuplot -e 'plot "-"'
583.
by enriquto 4y ago
> not having exact integers What do you mean? Floating-point arithmetic is, by design, exact for small integers. The result of adding 2.0 to 3.0 is exactly 5.0. This is one of the few cases where it is perfectly legitimate to compare
584.
by enriquto 4y ago
also, since forever, you can use a semicolon and put the rule on the same line: target : deps ; rule There are certainly a lot of legitimate criticisms of make, but the tabs issue is ridiculous (as are complains about .PHONY).
585.
by enriquto 4y ago
The two plots that explain Kernighan's lever: https://www.linusakesson.net/programming/kernighans-lever/
586.
by enriquto 4y ago
What's the problem with ".PHONY" ? Just the name ? Would it be alright for you if it had a different name, like "INTERFACE" or "COMMANDS", or "NOFILE" ? I never thought about .PHONY as a workar
587.
by enriquto 4y ago
Thanks for the clarification. The talk page of the wikipedia article that I linked already shows that this is quite a "hot" topic. These scientific controversies are really fun to follow. In mathematics there's not as much
588.
by enriquto 4y ago
> Now we know that the cheetah, [...] and other big animals were wiped out by a bolide strike, probably a broken-up comet. Are you talking about this?: https://en.wikipedia.org/wiki/Younger_Dryas_impact_hypothesi...
589.
by enriquto 4y ago
Heh. Sorry about that. A common typo. The keys are like right next to each other.
590.
by enriquto 4y ago
> Why not use it? Better question: why use it, when you can use the real thing? Mathematicians concerned by typography universally use real boldface. For example: Terrence Tao's blog, Donald Knuth, Paul Halmos (author of "how
591.
by enriquto 4y ago
Both mathbbm and mathbb are wrong for number sets. These fonts look like the blackboard hack that you use to simulate boldface using chalk. On a computer you don't have this problem and you can simply use mathbf (actual boldface).
592.
by enriquto 4y ago
It is largely considered bad and misleading style. Why would you ever hide that a variable is a srruct? Better to keep typedef only for basic types and for function pointers.
593.
by enriquto 4y ago
There are not too many types to begin with. Ints and floats and that's pretty much it.
594.
by enriquto 4y ago
If you are going to recompile everything statically into a new target, why don't just build an αpε? It seems like a more elegant and clean solution.
595.
by enriquto 4y ago
> I can't make animations in beamer Not yet. But you can easily learn to do them: \usepackage{animate} ... \animategraphics[width=10em,loop,autoplay]{4}{a_}{0}{10} will animate at 4fps the sequence of images a_0.pn
596.
by enriquto 4y ago
But it does, doesn't it? You add the "twocolumn" option and recompile. Unless your LaTeX is too fancy this will tipically give a very good result (at worst, some figures with hardcoded sizing will be awkardly placed).
597.
by enriquto 4y ago
Moreover, there is no easy way to download and see the whole image once you notice this problem. Even if you try to look at the page source, the reference to the image is extremely obfuscated (on purpose?).
598.
by enriquto 4y ago
> if you remove profit how can the business continue to exist? Ads are social cancer. If a business is ad-based, its disappearance is a net social good.
599.
by enriquto 4y ago
> It might stop working with any of the next browser updates That's the day many of us will stop updating our browsers.
600.
by enriquto 4y ago
Thank you so much for your work! Your comment made me happy and warm inside, as if there's still some order in this crazy world. As if there's still a few sane and robust things that we can attach ourselves to, knowing that they

More ›