phab

13 ms·

91.
by phab 6y ago
I think the principle would state that by always picking option 1 you are no longer making a decision based on the input. This is discussed in the paper under section 3: "Other Asses", in the paragraph starting "One way to ci
92.
by phab 6y ago
The paper points out that this doesn't resolve the problem in the discussion about the crossing gate; all this approach does is move the decision from "do I jump" to "have I met the point of no return yet", which is
93.
by phab 7y ago
Even if I'm not concerned with a malicious actor, I ought to be concerned about silly future me that accidentally introduces an infinite loop into the config, which then makes it to production and is able to wreak havoc, because sill
94.
by phab 7y ago
Right, but if you've introduced the ability to ignore the validator then you've traded away the guarantee that your config program will be safe to execute. My point is that the validator can't give you the safety property tha
95.
by phab 7y ago
But if it's allowed to reject a valid terminating program it's allowed to reject arbitrary, otherwise valid, configuration programs. In other words, you can no longer trust the output of the validator - the weakened model signifi
96.
by phab 7y ago
> termination checking > Anyone knows examples of conservative static analysis tools that check for termination in general purpose languages? As this is provably impossible, this "solution" introduces exactly one of the prob
97.
Systematically Improving Espresso: Insights from Mathematical Modeling(cell.com)
3 points by phab 7y ago|0 comments
98.
The math of brewing a better espresso: use less coffee(arstechnica.com)
2 points by phab 7y ago|2 comments
99.
by phab 7y ago
Actual arXiv link: https://arxiv.org/abs/1811.10154
100.
Raft Distributed Consnsus – Visualisation(thesecretlivesofdata.com)
3 points by phab 7y ago|0 comments
101.
Strong Opinions Weakly Held: A Framework for Thinking(medium.com)
3 points by phab 7y ago|0 comments
102.
by phab 7y ago
Douglas Hofstadter's book, "Gödel, Escher, Bach" is very highly recommended reading for anyone who finds this (and the theory of computability more generally) interesting. I've lost entire days of my life to that book!
103.
Interim Report into UK Wide Powercut on 9 Aug [pdf](ofgem.gov.uk)
6 points by phab 7y ago|4 comments
104.
Design and Evolution of C-Reduce(blog.regehr.org)
2 points by phab 7y ago|0 comments
105.
by phab 8y ago
Maybe I'm naive, but the key takeaway from this for me was: > the owner of the ISBN controls where the book can be printed. I didn't realise this - that's the crucial "why" behind the "when".
106.
by phab 8y ago
> I don't buy that a tool that's being sold for money would do that If you work with proprietory hardware (think FPGAs), if you want to use the hardware, you have to use proprietory vendor tools, whether you want to or not. &gt
107.
by phab 8y ago
Because legacy. Maybe one can't reorganise the source tree layout because to do so would break our custom tooling / integration systems / interface with proprietary vendor tools. We can't change version numbering schemes
108.
Abraham Wald and the Missing Bullet Holes (from `How Not to Be Wrong')(medium.com)
1 points by phab 8y ago|0 comments
109.
by phab 8y ago
Not Invented Here ( https://en.wikipedia.org/wiki/Not_invented_here )
110.
by phab 8y ago
I'm curious as to why you find this unreadable... it renders pretty readably for me? ( https://pasteboard.co/HlW8oMh.png ). As far as I can tell, formatdoc[0] doesn't provide a "semantically correct" metho
111.
by phab 8y ago
This is a fascinating article. Footnote 8 is an especially fascinating insight; > One puzzling feature of the shift register is that there is no wiring between the stages! > How do bits get from one stage to the next? Did the ch
112.
What Every Computer Scientist Should Know About Floating-Point Arithmetic(docs.oracle.com)
1 points by phab 8y ago|0 comments
113.
by phab 8y ago
Thanks! And thanks for taking the time to organise these competitions when you can, they're truly edifying.
114.
by phab 8y ago
> # There is no 2016 IOCCC contest > # There is no 2017 IOCCC contest Anybody know why?
115.
by phab 8y ago
GET requests are specified[0] to be idempotent: > Methods can also have the property of "idempotence" in that (aside from > error or expiration issues) the side-effects of N > 0 identical > requests is the same
116.
by phab 8y ago
Infuriatingly, this site is using vw units to set font-size; not only does this make the body copy text almost unreadably large on my HiDPI display (~330 PPI), but it means the text then refuses to scale when the page is zoomed out in the b
117.
by phab 9y ago
> That would be like taking a programming language's syntax for assigning data objects and turning it into it's own standard for a text file format. Looking at you, JSON...
118.
Interactive NASA infographic: close calls, significant incidents in space flight(spaceflight.nasa.gov)
2 points by phab 9y ago|1 comments
119.
Spotify at it again: Remove feature, Delete user data, Ignore ~1500 complaints(community.spotify.com)
3 points by phab 9y ago|0 comments
120.
by phab 9y ago
The whole point of the article is that ambiguity in interpretation is to be celebrated, which is precisely what we see in the title. The title is an accurate reflection of the content of the essay in this regard. That people are so hung

More ›