catamorphismic

6 ms·

1.
by catamorphismic 8y ago
Indeed, I've been successfully running my email server for the past five years and mail has no problem reaching gmail users. I think people have just become defeatist.
2.
by catamorphismic 8y ago
Very good point. I'd like to add that this is not just kind of ridiculous, it is just plain ridiculous. Also, we have the right to publish any benchmark numbers, not just basic numbers. This isn't a time for weak wording.
3.
by catamorphismic 8y ago
Wouldn't the better solution be having compiler support for rejecting compilation of constructs that have UB?
4.
by catamorphismic 8y ago
Well just let them continue to do so, then?
5.
by catamorphismic 8y ago
> Rust had potential for proof work, but went off in a different direction. Which direction is that?
6.
by catamorphismic 8y ago
Why is it poorly named? I've always liked it.
7.
by catamorphismic 8y ago
> You seem to have a poor understanding of both entropy and markets. And you're a bit assuming and rude. Your argument also isn't as bulletproof you want to make it sound. What is the argument here, anyway? There's no need
8.
by catamorphismic 8y ago
Can you give a practical example of such nonterminating subexpressions?
9.
by catamorphismic 8y ago
The Dexcom G5 website says you should recalibrate with a meter every 12 hours to ensure accurate readings. Do you really have to recalibrate that often?
10.
by catamorphismic 8y ago
Behaviorism isn't simply about holding psychology to a higher scientific standard and it is misguided to imply it is the only psychological paradigm to have done so. As an easy counterexample, take a look at cognitive psychology.
11.
by catamorphismic 8y ago
Since when is psychology not much of a science?
12.
by catamorphismic 8y ago
Blockchains aren't searching for a reason to exist either. Decentralized currencies/conmodities not controlled by any single entity are an obviously useful thing.
13.
by catamorphismic 8y ago
> In that case, it can be mathematically shown that you are simply too complicated to be fully correctly simulated by any system that attempts to build a model of your actions simply by external observation of you; you do not produce eno
14.
by catamorphismic 8y ago
This is a common misconception apparently, one that I've fallen prey to myself in the past. Signal removed the option to use the password lock and now uses Android's built-in lock screen functionality to provide auth. That screen
15.
by catamorphismic 8y ago
Really? The only reason?
16.
by catamorphismic 8y ago
What about SNI?
17.
by catamorphismic 8y ago
I actually find it is a pretty big and universal pain point while people are learning, particularly when switching languages.
18.
by catamorphismic 8y ago
This sounds awfully close to a No True Scotsman type of argument. Also, are you implying only "serious" people should not get speed upon?
19.
by catamorphismic 8y ago
"Uniformization" sounds like a better fit, if we are searching for a more conventional word.
20.
by catamorphismic 9y ago
> Reddit gets very dark very fast and it is factual that they don't control it nearly as well as they should. It can never be factual that something should be, since what should be is subjective.
21.
by catamorphismic 9y ago
Signal has both gif and emoji support.
22.
by catamorphismic 9y ago
> There are ways to discover mutual contacts privately. Such as? I don't have the URL handy but the Signal team did investigate the literature and known techniques for this a few years ago and found them to be nonviable.
23.
by catamorphismic 9y ago
Not that painful (speaking from experience of running one).
24.
by catamorphismic 9y ago
> I thought Latex was superior to Word in every way than I had a colleague that knew Word. Word if you learn it is just fine generating a ToC or autonumbering sections, figures, and tables. No, it doesn't work well even if you know
25.
by catamorphismic 9y ago
Why would you need to download the blockchain over Tor? There are many people downloading the blockchain and that in itself does not incriminate you. It seems sufficient to only send out transactions using Tor.
26.
by catamorphismic 9y ago
It doesn't sound like you're talking about the same thing. Dan Luu's idea sounded more about adding coverage guidance to QuickCheck, which presently lacks it, not using fuzzing-like mutators.
27.
by catamorphismic 9y ago
Search for Tridactyl, which is aiming to reimplement the Vimperator/Pentadactyl feature set in WebExtensions Firefox. It's still in early stages of development but there is already an initial release on AMO with some basic feature
28.
by catamorphismic 9y ago
That's weird, Firefox feels much snappier than Chrome to me. It also uses significantly less memory.
29.
by catamorphismic 9y ago
How is it not unexpected that a piece of software uploads and saves everything you search for on a remote corporate server? When did this become so commonplace that users don't even blink an eye to it? And more importantly, why would a
30.
by catamorphismic 9y ago
> Not necessarily. Everything points to the fact that the human brain (at least, I don't know much about ants) does not work in any way similar to neural networks, and as such there's no guarantee that you can represent its beh

More ›