denotational

15 ms·

151.
by denotational 4y ago
> rapidly and cleanly burn a large charge of wood I was under the impression wood-burning stoves produce very high amounts of particulate pollution, is “clean” really an accurate claim?
152.
by denotational 4y ago
> I don't remember where I read this, but I think there are some examples in practice where instead of proving the correctness of some optimizations of existing C compilers (which is a codebase that keeps evolving), there have been
153.
by denotational 4y ago
As another comment also alludes, there's probably quite a lot more work required before this could be called a complete compiler (without heavy qualification as to what it actually compiles, since the language of boolean expressions pr
154.
The Depegging of UST(jumpcrypto.com)
97 points by denotational 4y ago|122 comments
155.
by denotational 4y ago
> I'm reasonably sure signed integer overflow is implementation defined to mean twos complement overflow on x86. I think you're mistaken, or are using implementation-defined in a colloquial sense; the term implementation-def
156.
by denotational 5y ago
I think you are confusing undefined behaviour with implementation-defined behaviour . The compiler is within its rights to optimise your program under the assumption that undefined behaviour is never invoked; this holds irrespective of t
157.
by denotational 5y ago
I think GP is arguing that (in a lot of jurisdictions) > the norm is to be legal and unregulated doesn't hold for anything that touches employment; as soon as there is deemed by the courts to be an employer--employee relation, all t
158.
by denotational 5y ago
> I'm unfamiliar with UK Law... Is this actually a court of law or was this done through the Sheriff's department? Interestingly there isn't really such a thing as UK Law; there is the Law of England and Wales, the Law of
159.
by denotational 5y ago
> Our app for some reasons was creating new subscriptions from old accounts that was canceled or disabled a long time ago. If I cancel or disable my account for a service I don't expect them to be able to charge me money in the firs
160.
by denotational 5y ago
I don't have any knowledge of V7, but V6 definitely used an MMU (as does xv6).
161.
by denotational 5y ago
> but also the rights to call their version the official version I'm not entirely sure what this really means beyond the protections already afforded by the trademark.
162.
by denotational 6y ago
I'm entirely incapable of understanding how a UK SLC "loan" can be considered a loan in the conventional sense of the word when it seems to have literally no characteristics of a loan, and every characteristic of a tax: * You
163.
by denotational 6y ago
Front-running usually refers to a fairly specific scenario in which a brokerage or fiduciary executes orders as principal prior to dealing on behalf of their client so as to benefit from a market movement they anticipate will be caused by
164.
by denotational 6y ago
I think you're slightly at cross-purposes: GP is saying that since globs lack the Kleene star, they cannot be used to define all regular languages. Star-free languages are a strict subset of the set of regular languages, so there exi
165.
by denotational 6y ago
But there is no box! RISC-V is just an ISA; ARM also requires you to write a lot of your own verification, unless you buy VIP (possibly even more expensive than the architectural license) from Arm. RISC-V does however have a complete fo
166.
by denotational 6y ago
Very frustrating reading the comments from the Aldec marketing head, and it's really disappointing to see such comments coming from a company which has previously engaged so much with the open-source community (they've actually pu