enriquto

48 ms·

661.
by enriquto 4y ago
I agree, but your sentence is empty: errors do not exist, they are just conditions that you dislike . Do not let your emotions affect the syntax for control flow!
662.
by enriquto 4y ago
Just a heads-up that the person who writes this is Tim Davis[0], author of the legendary CHOLMOD solver[1], which hundreds of thousands of people use daily when they solve sparse symmetric linear systems in common numerical environments. Ev
663.
by enriquto 4y ago
There are some differences, though. For example, the resonance of the open G strings on the violins is sometimes audible, and this may make different keys sound different.
664.
by enriquto 4y ago
But this would be very good advice! Exceptions (a.k.a. modern-flavored COMEFROM statements[0]) are extremely confusing and have no place in a clean codebase. [0] https://en.wikipedia.org/wiki/COMEFROM
665.
by enriquto 4y ago
Yes, please! And also for the command line. Why there's no global option to switch off tqdm and all similar "modern" clutter? Like NO_COLOR but with all terminal animations and stuff.
666.
by enriquto 4y ago
> the community forum is toxic frequently I don't know what the word "toxic" means in your sentence, but anyhow the D forums are one of my favourite websites on the internet: https://forum.dlang.org/group&
667.
by enriquto 4y ago
In the ideal world this would be a two-line wrapper that just calls cat on the given url
668.
by enriquto 4y ago
So utterly broke that the poor "htop" program cannot work at all... oh wait $ strace htop 2>/tmp/e # wait for htop to load and then press 'q' $ cat /tmp/e | grep ^open | grep /pr
669.
by enriquto 4y ago
I was going to say this! Moreover, besides self-closing tags, in HTML5 there are many optional tags. For example, you almost never need to write explicit html, head, body, tags. The given minimal example thus can be simplified to somet
670.
by enriquto 4y ago
or even better, to avoid state, the url "file" is executable and you pipe through it: /www/url < request > answer
671.
by enriquto 4y ago
and /proc Unfortunately, kids these days seem to be afraid of files. For a hardcore unix fan, curl and wget are useless tools when you can just cat /www/url
672.
by enriquto 4y ago
There is this 2009 PhD thesis, and associated articles, where they explain how to "counter" trusting trust by using a set of independent compilers (even assuming that each compiler may be infected): https://dwheeler.com
673.
by enriquto 4y ago
It seems to be from make(1) : http://man.cat-v.org/unix_7th/1/make
674.
by enriquto 4y ago
> If I mistype something there is a close to 0 percent chance of the complier pointing me into the right direction. Why do you say that? The first error points you to the bad line on your source code, with a short description of the err
675.
by enriquto 4y ago
> If you create and distribute an executable for linux/unix, and you don't create a man page for it, you are committing a crime against humanity. I agree. And it's so easy to do! As long as your program has a --help optio
676.
by enriquto 4y ago
"The GNU folks, in general, abhor man pages, and create info documents instead."
677.
by enriquto 4y ago
> Many people find the AGPL to be a nonfree license, myself included. I don't understand this stance. From the point of view of the user, the AGPL offers the same freedoms as the regular GPL. If you use the program, you have the
678.
by enriquto 4y ago
That sounds like a strong reason to unionize, then!
679.
by enriquto 4y ago
This is useless bloat. Default browser styles are perfectly alright. When they aren't, this is mainly a self-inflicted problem by your browser (that can set whatever default it wants), and by yourself (who can easily override the defau
680.
by enriquto 4y ago
> this is an OS that just runs a web browser > You need a Google account to log in These two sentences are contradictory, aren't they? You do not need a google account to run a web browser. If it really was an OS that "just
681.
by enriquto 4y ago
The Silvanus P. Thompson book suggested by the sibling comment is lovely and very clear. For a more algebraic treatment, and its important applications to automatic differentiation, I'd suggest starting with the relevant wikipedia art
682.
by enriquto 4y ago
You can use nilpotents with classical logic and the excluded middle. This is called dual numbers and it's already a good model for "calculus without limits". They are like complex numbers, but instead of x^2=-1 you set x^2=
683.
by enriquto 4y ago
> Does anybody really believe it will ever stop? As long as people willingly subscribe to services whose terms explicitly allow to ban users for no reason whatsoever, no. I don't see how this will ever stop.
684.
by enriquto 4y ago
> it only works for fixed-sized arrays It also works for variable length arrays. void f(int n) { float a[n]; int m = sizeof a / sizeof *a; assert(n == m); }
685.
by enriquto 4y ago
It creates a folder ~/snap on your home directory. That should amass enough hate for everybody.
686.
by enriquto 4y ago
For a new install, sure. But so often in my lab we get computers with "ubuntu preinstalled" and stuff.
687.
by enriquto 4y ago
> I'd love to see a holistic mile-high view where someone thinks through resource usage (across different types of resources), convenience, and security). Implementing snap without that type of homework seems premature. I agree. Pro
688.
by enriquto 4y ago
Notice that you can still use ubuntu with plain firefox and no snap at all on your system. First thing I do on a new ubuntu install is to remove snap and other clutter. It's still a plain debian totally under your control, after all.
689.
by enriquto 4y ago
In math and computer science, papers witten in word are a definite mark of crackpotery. I agree it's arbitrary and nonsensical, but clearly a good heuristic.
690.
by enriquto 4y ago
H1. If it's written in word, not good. H2. If there's no git repo with the complete code to reproduce all experiments, then you can assume it's bullshit.

More ›