DonbunEf7

12 ms·

61.
What Are Capabilities?(habitatchronicles.com)
4 points by DonbunEf7 9y ago|0 comments
62.
by DonbunEf7 9y ago
Languages where switch-statements or switch-expressions don't fallthrough by default include Ada, C#, E, Go, Monte, Perl, Swift, and I think basically every flavor of Pascal. "Pretty much every language," right? C++ is right
63.
by DonbunEf7 9y ago
I'm ashamed to be a postmodernist because of these assholes. Postmodernists supposedly say "there is no truth." But that sounds an awful lot like a truth! Anybody who thinks only Sith deal in absolutes is going to have a bad
64.
by DonbunEf7 9y ago
Maths is zero-based. I'm not sure why you think that numbers start with one; every formulation of the integers in modern maths starts with zero.
65.
by DonbunEf7 9y ago
Rabbits suck. I'm trying to find a good source, but it's well-known to outdoorsmen that a diet of rabbit alone is not sufficiently nutritious to sustain humans when compared to other meats. Also, it's Australia. Rabbits got o
66.
by DonbunEf7 9y ago
Indeed, I learned in school that it was short for "cat URL", since it functions like the standard `cat` command but takes a URL instead of a file or pipe. Just goes to show that we are very good at coming up with incorrect justifi
67.
by DonbunEf7 9y ago
Imagine that; cities don't want to end up like Seattle, with entire neighborhoods of Amazonians.
68.
by DonbunEf7 9y ago
This comment box is too small. We keep learning about elliptic curves, and the more we learn, the more we glimpse the edges of a massive and deep symmetry which relates primes and polynomials (Fermat's Last Theorem, RSA, AES) with elli
69.
by DonbunEf7 9y ago
As a good first step, it's easy to configure the Prometheus blackbox exporter (or your TLS-supporting blackbox scraper of choice) to report the TLS cert expiry date; I have an alert which pages me if a TLS cert will expire in a week or
70.
by DonbunEf7 9y ago
No Free Lunch is very real, and occurs in many different guises under different masks. Here is an example constructive instantiation of No Free Lunch: https://blog.acolyer.org/2017/09/12/universal-adversarial-
71.
Show HN: Lojban ologs (categorical databases) using jq(github.com)
1 points by DonbunEf7 9y ago|0 comments
72.
by DonbunEf7 9y ago
https://en.wikipedia.org/wiki/Tesla,_Inc.#Lawsuits_and_contr... is pretty well-filled-out.
73.
by DonbunEf7 9y ago
Another, different, scientist. No, but I think that he makes people believe that science is more definitive, unbiased, magically an accurate reflection of reality (that is, "true" or "real" or "correct"), and a
74.
by DonbunEf7 9y ago
I'm an Oregonian. Art Robinson is well-known locally as either a wingnut or a genius scientist, depending mostly on whether you've actually scrutinized his words. His research might well be scientifically meaningful, but a lot of
75.
by DonbunEf7 9y ago
Masochism combined with a morbid desire to know what my peers think, mostly.
76.
by DonbunEf7 9y ago
Try it! Sit down. Turn off anything distracting. For five minutes, close your eyes, don't move, focus on your breathing, and whenever you get a thought, let your mind pick it up, examine it, and then put it back down and out of mind. L
77.
by DonbunEf7 9y ago
Curses, time to switch accounts. My thoughts are mostly that I don't want to wait a decade for a Mill. Find me at SPLASH/OCAP if you want to chat.
78.
Swissnums(capability.party)
3 points by DonbunEf7 9y ago|0 comments
79.
by DonbunEf7 9y ago
Hi, capability-security folk here. Have you considered adopting capability-security language for describing what's going on here? It seems to me that Mill portals are very much like capability-designed syscalls. In particular, I am rem
80.
by DonbunEf7 9y ago
"As a psychologist, I am very interested in the question of how we know whether we are seeing reality or not. Everything we know about the world is based, to some extent, on these very crude sensations, so we always have to be epistemi
81.
by DonbunEf7 9y ago
"Could Newton begin to explain how this small device did all that? Although he invented calculus and explained both optics and gravity, he was never able to sort out chemistry from alchemy. So I think he would be flummoxed, and unable
82.
by DonbunEf7 9y ago
What is "this?" The paper uses category theory as its lingua franca.
83.
by DonbunEf7 9y ago
No, that just changes where programmers can put their computations. Scheme and Rust are not more powerful for their macros than C++ is for its templates; both can put unreasonable demands on the compilers.
84.
by DonbunEf7 9y ago
Type theory is only useful up to a certain point; there are plenty of languages that appear identical from a type-theoretic viewpoint but that have deeper richer interpretations in category- or set-theoretic settings. Check out the actual d
85.
by DonbunEf7 9y ago
In particular, a system usually cannot prove itself consistent. However, we have developed systems expressly for the purpose of being as consistent as our intuition for logic could allow it to be. I'm willing to trust Metamath [0] base
86.
by DonbunEf7 9y ago
Indeed, free society forms a fixpoint of ideas, where it protects itself from being eaten by The State by insisting that any person can stand up and speak about free society. It is unfortunate that it also shields so many reprehensible opin
87.
by DonbunEf7 9y ago
Because it's 2017 and we shouldn't suffer non-Free Software any longer.
88.
by DonbunEf7 9y ago
Well-researched and comprehensive. The survey of distributed languages includes not just Erlang and Akka, but also E and Cloud Haskell. The overview of CAP is deep and rigorous while not wasting words. This will be a great book once it&#x27
89.
by DonbunEf7 9y ago
Just keep rewriting C as Python. I still remember the day I switched from Numpy and CPython to array.array on PyPy for a 60x boost in benchmarks. (Only a 20x speedup on actual running code; this was for geometry generation in a networked vi
90.
by DonbunEf7 9y ago
No. There's a documented list of things that are different. [0] That said, you likely don't have many of these issues in your code, if any. The ideal is for folks who write portable pure Python without relying on implementation-sp

More ›