vitriol83

9 ms·

31.
by vitriol83 11y ago
i don't doubt for a minute that people can tell the difference. however would just make the point that a proper controlled experiment would be to change the source from 720p to 1080p or 4k, rather than the tv (assuming the tv supports
32.
by vitriol83 11y ago
i have a 46" TV. I suspect the x.264 compression artifacts were becoming a limiting factor (and my eye sight)
33.
by vitriol83 11y ago
maybe i'm old, but I can't tell the difference between 720p and 1080p on my ludicrously oversized flat screen tv
34.
by vitriol83 11y ago
I would say the main problem with the OCaml community is it's too small. More projects are welcome imo, even if it inevitably means some duplication of effort. After all js_of_ocaml is free to take some of the more desirable features.
35.
by vitriol83 11y ago
I believe this is a test case, as it's not entirely clear if manipulating libor was against UK laws, as they were at the time.
36.
by vitriol83 11y ago
In general you're right it's unfair to say that real estate investment is always unproductive and rent-seeking. However for major cities like London with tight supply, the flows of real estate investment that followed QE and zero
37.
by vitriol83 11y ago
i would be slightly more targeted- abolish tax incentives for investment in real estate. investment in real estate is literally rent-seeking, unproductive and is widening inequality , particularly between young and old.
38.
by vitriol83 11y ago
having lived in the US and UK for a long time, it's struck me that the relationship between the US government and its citizens is unusually suspicious and hostile, which I really can't find a parallel in any other developed countr
39.
by vitriol83 11y ago
seconded, i think it would be a good alternative to duplicity
40.
by vitriol83 11y ago
the article seems to be based on the presentation by Voevodsky himself, http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundation...
41.
by vitriol83 11y ago
Sure, that's why I think there's an argument to use ones which are more 'battle tested'.
42.
by vitriol83 11y ago
without formal methods it's impossible to fully test crypto implementations, such as ECDH, because the number of possible inputs are enormous. bugs in small proportion of inputs can lead to fault attacks. and furthermore side channel a
43.
by vitriol83 11y ago
I agree, ECDH and AES-GCM are sufficiently complex to implement it makes sense to call into OpenSSL. OpenSSL has had its problems, but these tend to be with TLS protocol handling. The underlying cryptographic constructions have had a lot of
44.
by vitriol83 11y ago
Not sure if this mirrors his approach exactly, but ocaml does now offer 'first-class modules' https://realworldocaml.org/v1/en/html/first-class-modules.ht...
45.
by vitriol83 12y ago
good idea. perhaps we should abolish downvoting too- isn't that the very definition of gratuitous negativity?
46.
by vitriol83 12y ago
> The Fed does, of course, set the benchmark nominal short-term interest rate....The Fed’s ability to affect real rates of return, especially longer-term real rates, is transitory and limited. this would be a plausible argument if the us
47.
by vitriol83 12y ago
this is a neat idea, as ocsigen is rather intimidating to use for the simple case. are there any plans to make use of cohttp and/or lwt as the underlying network abstraction ? my concern with hand-rolled http is it may not handle the e
48.
by vitriol83 12y ago
I like gov.uk. However I think they are overselling the value of centralising and modernising existing government websites, which are generally speaking quite good (albeit perhaps not on an ipad).
49.
by vitriol83 12y ago
GDS claim to be 'leading the digital transformation of government'. If their spec is to perform routine modernisation of websites, then this hype is completely unwarranted.
50.
by vitriol83 12y ago
This blog post is worryingly vague about anything of concrete value for users. It suggests a large reengineering effort without any idea of what they really want to achieve. For example, one of the blog posts it links to, they introduce the
51.
by vitriol83 12y ago
empathy fail
52.
by vitriol83 12y ago
IMO key advantage OCaml is easier to learn and much more pragmatic.
53.
by vitriol83 12y ago
the requirement for pre-processing makes me a bit suspicious, it's going to be a pain to interact with other parts of the toolchain, so i would hope there's a very good reason for it. i would make this at the top of the README.md.
54.
by vitriol83 12y ago
Implementing a truly constant-time GCM in software without CLMUL is sufficiently hard that noone has managed to create a remotely competitive implementation. They're all either an order of magnitude slower or vulnerable to cache-timing
55.
by vitriol83 12y ago
i use it mainly as a soho nas. the things i like about it are 1) userland and kernel owned by the same group. this lends consistency to the experience, that is absent in linux, where it's clear that it's an amalgamation of many di
56.
by vitriol83 12y ago
The objection is you're committing fraud. You're soliciting 'donations' for a third party (everyone committing to a project) without their consent. Unbeknownst to the donaters you're then keeping these 'donatio