EtDybNuvCu

12 ms·

61.
by EtDybNuvCu 9y ago
And for those of us who had nothing bad happen to them during childhood, but still feel depressed?
62.
by EtDybNuvCu 9y ago
This sounds like a pile of equivocations designed to try to minimize an unfortunate truth about learned functions: the learning process does not care whether it corresponds to human thinking, so learned functions do not necessarily correspo
63.
by EtDybNuvCu 9y ago
Could you? The game runs at NTSC rates, which we'll round up to 60Hz. We'll also say that 6s of inputs need to be considered, and scores which are above 6s will be discarded. We'll finally say that the possible input states c
64.
by EtDybNuvCu 9y ago
Specifically, you will want strong experience in several subfields of maths. You will want: * Computer science, specifically complexity theory and circuits * Galois field theory (AKA finite field theory) * Group theory * Number theory * Spe
65.
Why Not Python? (2017)(gist.github.com)
3 points by EtDybNuvCu 9y ago|0 comments
66.
by EtDybNuvCu 9y ago
What if unbreakable cryptography doesn't exist? This isn't facetious. We do not yet know which of Impagliazzo's Five Worlds [0] we inhabit. Currently, the best guess is that we live in Cryptomania, but we haven't proven
67.
by EtDybNuvCu 9y ago
Pick the Grothendieck-Tarski axiom instead, and use category theory to build ZFC via topos. This path is "big" enough to handle all the interesting sets; it can't deal with proper classes, but proper classes are kind of metap
68.
by EtDybNuvCu 9y ago
Capability-safe languages in the E family, like E and Monte, have perfect isolation, or as it's known in the community, "working encapsulation." In a capability-safe system, only bugs in the implementation, such as runtime or
69.
by EtDybNuvCu 9y ago
I play video games with a trackball instead of a mouse when I can. Most games do not require mouse-specific movement. The main problem I've found is that the market allows thumb-based trackballs, which are extremely painful to use for
70.
by EtDybNuvCu 9y ago
It only takes a day to learn the basics: https://mw.lojban.org/papri/la_karda
71.
Constant Flawless Vigilance(capability.party)
1 points by EtDybNuvCu 9y ago|0 comments
72.
by EtDybNuvCu 9y ago
Yes. Dimensionality can be a little tricky here; what's meant is that eight dimensions are required to express some of the simplices, if we were to interpret them geometrically. Honestly, I'm more interested in the cohomological f
73.
by EtDybNuvCu 9y ago
This is naïve first-order thinking; we can justify length-prefixed strings on a more abstract basis. First, note that in a trusted kernel, we'll prefer to define our string-handling functions only once and then explicitly hand-write th
74.
by EtDybNuvCu 9y ago
Capabilities support revocation: http://srl.cs.jhu.edu/pubs/SRL2003-02.pdf Capabilities support audit trails: http://www.erights.org/download/horton/document.pdf I highly recommend that you r
75.
by EtDybNuvCu 9y ago
Formally, DRM cannot work in capability-based systems, just like it cannot work in ACL-based systems. The proofs are pretty easy, depending on the system's primitives, and are akin to the standard proof using "real" bit-based
76.
by EtDybNuvCu 9y ago
Unforgeability can be weakened systematically to unguessability: https://capability.party/philosophy/2017/07/29/unforgeable-v... Unfortunately, the concept of "taming", where ambient-authority
77.
by EtDybNuvCu 9y ago
Capabilities are either unforgeable or unguessable, depending on your vantage point: https://capability.party/philosophy/2017/07/29/unforgeable-v...
78.
by EtDybNuvCu 9y ago
Indeed, a capability is like a smart key. But it's more flexible than that; capabilities can run arbitrary code, like a smart card. And since capabilities can manage references to other capabilities, really a capability is like a smart
79.
by EtDybNuvCu 9y ago
Members of the E family permit `var x` instead of `x` for reassignable arguments. Having immutable names by default with a keyword to make a mutable name has worked well.
80.
by EtDybNuvCu 9y ago
(New account, but I know the rules, so don't auto-downvote. Read. Thanks!) Strangely enough, magnets do weaken over time, and we can show it from conservation of energy. If a magnet and paperclip are placed nearby on a desk, they wil