EtDybNuvCu

8 ms·

31.
by EtDybNuvCu 9y ago
Importantly, if I sit down at a piano for a few minutes, stare at the keys, and don't play, I have not performed Cage's work. There is a subtle nuance here.
32.
Quote notation(en.wikipedia.org)
1 points by EtDybNuvCu 9y ago|0 comments
33.
by EtDybNuvCu 9y ago
All of our reasoning would be much easier if free will were an illusion. Perhaps we should stop fighting it.
34.
by EtDybNuvCu 9y ago
Us Oregonians like Wyden quite a bit; he'll have his seat for as long as he continues to care about issues like this, for sure.
35.
by EtDybNuvCu 9y ago
Thank you for your thoughtful reply; you deserve a serious answer. I accept that, occasionally, my systems will fail. My data will be lost. No recovery will be possible, and the damage will be permanent and lasting. I do not hope to succeed
36.
by EtDybNuvCu 9y ago
Have you tried Nix? It's like Bazel, but without incremental builds. The boons are pretty great. I'm extremely disappointed, as a career SRE, to see "hope is not a strategy" trampled in the mud. I understand that perhaps
37.
by EtDybNuvCu 9y ago
To the Monte team, erights.org is an archeological dig site. We rely heavily on it for historical context and to learn the lessons of our predecessors, but it hasn't aged at all; it's a snapshot into those who came before.
38.
by EtDybNuvCu 9y ago
Sunriver and other tourist destinations in the area are expensive; living in Bend itself is not.
39.
by EtDybNuvCu 9y ago
Cool stuff. nixpkgs not too long ago gained support for programmatically declaring binfmt_misc configuration: https://github.com/NixOS/nixpkgs/commit/c64639b54caa6595f9ef...
40.
by EtDybNuvCu 9y ago
The report cites Bostrom~ But seriously, confined evaluation was figured out in the mid-90s by the E folks, building on years of research into capability security, and the worst thing that can happen is Turing-completeness. I'd be more
41.
Satan Comes to Dinner (1997)(erights.org)
64 points by EtDybNuvCu 9y ago|14 comments
42.
by EtDybNuvCu 9y ago
Check out Metamath; we can do this for any serious foundations: http://us.metamath.org/downloads/metamath.pdf
43.
by EtDybNuvCu 9y ago
This makes me feel much better. While I think that MLTT and HoTT are valid lines of maths inquiry on their own, for their own merits, I'm not sure what's gained over the topos-based view of foundations. In particular, the article
44.
by EtDybNuvCu 9y ago
nixpkgs contains tools for building Docker-compatible container images with `dockerTools`, and also AppImage-style standalone executables with `nix-bundle`. My project, as well as many other projects, ships its own default.nix for builds. L
45.
by EtDybNuvCu 9y ago
* nix-bundle * buildFHSUserEnv for those few heathen programs that need it * nixpkgs * nixpkgs again * Nix * Nix again You want to check out Nix: http://nixos.org/nixpkgs/manual/
46.
by EtDybNuvCu 9y ago
Why would I use this instead of Nix?
47.
by EtDybNuvCu 9y ago
If you cold-call me, I will spend the first few minutes feeding you false information. I will deliberately drag out the process, and at about 12min into the call, I will confess that I've been faking everything. At this point, I will a
48.
by EtDybNuvCu 9y ago
To quote from the interview, verbatim, "Sure, it would be nice to have a competitive environment with different providers you can switch between. But that is secondary to usefulness and functionality, because companies are in competiti
49.
by EtDybNuvCu 9y ago
We lose features too, as we climb in complexity. Lucky 10000: https://en.wikipedia.org/wiki/Cayley–Dickson_construction
50.
by EtDybNuvCu 9y ago
Mathematics is postmodern; there's no single formal system which is the concrete bedrock of mathematics, and there will always be some true-but-unprovable theorems in consistent formal systems. Cynics might take this to mean that mat
51.
by EtDybNuvCu 9y ago
Pick some formal system X which can handle basic arithmetic. The basic idea is to take the classic paradox, "This sentence is false," and embed it into maths. The sentence actually constructed is something like, "This theorem
52.
by EtDybNuvCu 9y ago
This is literally what the article is arguing against doing.
53.
by EtDybNuvCu 9y ago
From https://github.com/koczkatamas/onelang/wiki/FAQ it is clear that this tool falls far short of actual polyglottery.
54.
by EtDybNuvCu 9y ago
Your product is not interesting to me if it doesn't integrate with Prometheus, a CNCF-backed project. It sounds like you could stand to swallow your pride and interact with the community more.
55.
by EtDybNuvCu 9y ago
"Smart contract" is a phrase from the ERights folks which Ethereum borrowed in order to raise hype levels. It originally referred to writing an auditor , a program which audits, or proves, that the behavior of some other client p
56.
by EtDybNuvCu 9y ago
The timbre of the singing isn't instantly audible from the normal Furby gibbering, but it has a unique and haunting beauty.
57.
by EtDybNuvCu 9y ago
I see your point, but I've worked with systems which have quotas like "one read per minute" or "one network request per second". They exist, their quotas are set based on real limits, and we need to be honest about
58.
by EtDybNuvCu 9y ago
And yet, any professional musician will claim that practice is an essential part of the craft, required for learning difficult sections and tightening up loose licks. I wonder why these two viewpoints come to such opposite conclusions.
59.
by EtDybNuvCu 9y ago
Using nixpkgs, this isn't a problem because the source hashes will mismatch if somebody tries to spoof a username with a malicious repository. We should all be using Nix more often.
60.
by EtDybNuvCu 9y ago
They are, as the article explains, real-estate investors who do not always examine properties before purchasing them. The couple knew that Presidio Terrace was in a nice neighborhood and seemed to be very well-priced, and they also were bid

More ›