rntz

8 ms·

31.
What is soundness in static analysis? (2017)(pl-enthusiast.net)
34 points by rntz 7y ago|3 comments
32.
by rntz 7y ago
> 5. (where x) > Evaluates x. If its value comes from a pair, returns a list of that pair and either a or d depending on whether the value is stored in the car or cdr. Signals an error if the value of x doesn't come from a p
33.
by rntz 7y ago
> The conclusion of this WSJ piece [...] is that we need better media literacy. > My conclusion is the opposite: we need better reputational and accountability systems and institutions. I've noticed that on issues that provoke st
34.
by rntz 7y ago
From the post: > I went away to the UK. I brought my medical records from America, but my British neurologist did not read my records or perform examinations. [...] My GP read the note and informed me: He would not prescribe me painkille
35.
by rntz 7y ago
I don't think the author is trying to exploit doctors to get clicks. I think they're expressing genuine anger and frustration with the healthcare systems they've encountered and the dismissal they've experienced from doc
36.
by rntz 7y ago
> Notably, a positive punch biopsy for small fiber neuropathy IS diagnosis with treatment that works fairly well. Ideopathic simply means that the base cause is unknown. What is the treatment you claim? Wikipedia claims that "Treatm
37.
by rntz 7y ago
If the name is mandatory, as it is in Smalltalk, then this basically solves the issue. If the name is optional, as it usually is in eg. Python, then there is a temptation for the writer to omit it, which means the reader won't know wha
38.
by rntz 8y ago
You can find illicit copies of almost every font online for free if you know where to look. I suspect that puts a bit of a damper on the "generic clones" market strategy, since folks who _really_ want a cheaper alternative can get
39.
by rntz 8y ago
miniKanren is Turing-complete; Datalog deliberately isn't. Despite that, there are things Datalog can do easily that miniKanren can't. miniKanren can't handle negation natively, but Datalog can (as long as it's stratifie
40.
by rntz 8y ago
Yes, the DOOP folks under Iannis Smaragdakis have been doing this for a while. They use souffle, I believe: https://souffle-lang.github.io/ . This is Semmle's business model ( https://semmle.com/ ). They
41.
by rntz 8y ago
> there's no reason why someone who scores well on one dimension should also score well on the others. Except that this is literally what happens; this correlation between seemingly unrelated cognitive tests is referred to as "
42.
by rntz 8y ago
> Incidentally, but very likely related, I always failed to have any glimpse into how design works. I have no idea which colors "go" with which ones, and pretty much all fonts look like the same for me. This is not related. The
43.
by rntz 8y ago
As far as I can tell from skimming the paper, it fails to establish that ideology impairs reasoning more than any other kind of pre-existing belief. There is a well-established bias, called belief bias (which the paper mentions), agai
44.
by rntz 8y ago
> >All drugs that are dangerous should be illegal. Marijuana is a drug that is dangerous. Therefore, Marijuana should be illegal. > The final clause does not actually follow from the rest of the logic The final clause follows forma
45.
by rntz 8y ago
> That is, asserting dominance via staring at others is something we’re born with, and for good reason: our ancestors’ survival hinged on this when being confronted with someone bigger/stronger. This explanation is circular. Trying
46.
by rntz 8y ago
> Basically, men looking at women harms them, and we should avert our eyes This is not what "male gaze" means. The idea of a male gaze, broadly speaking, is that the way women are portrayed in visual media (films, painting, pho
47.
by rntz 8y ago
This is actually a common problem with digitisations of metal fonts, not specific to Courier. Many (although not all; Adobe's been pretty good about avoiding this particular failing, for example) of them are too anemic for screen use a
48.
by rntz 8y ago
It's more accurate to say they were variable fonts. The Computer Modern used by modern LaTeX distributions was converted from METAFONT to Type 1 in 1992. In the process, specific parameter values had to be chosen - in my opinion, cho
49.
by rntz 8y ago
From Facebook's perspective, what is the alternative? _Not_ trying to define censorship guidelines - and consequently (as we saw in Myanmar) enabling genocide?
50.
by rntz 8y ago
> It is more than formal consistency because to show a whole number solution to a^n + b^n = c^n and n > 2, one doesn't need to use a high powered formal framework like ZFC. Thus Wiles' proof of Fermat's last theorem, wh
51.
by rntz 8y ago
> Second, and more importantly, the system of proof itself is falsifiable. If a theorem says that an equation p(x,y,z) = 0 has no solutions, and a proof without mistakes is found, then it better have no solutions. If somebody comes along
52.
by rntz 8y ago
> Just consider volume: it's estimated that around a quarter of a million theorems are proved every year. That's real, measurable, progress; what's the metaphysics equivalent? I'm not sure I disagree with your overall
53.
by rntz 8y ago
Also as someone who's never touched splines before, I found it pretty difficult to replicate. The "a" from the screenshot looks fairly smooth everywhere (except possibly the upper-right outside curve), but I found that unless
54.
by rntz 8y ago
Medium no longer uses a custom or proprietary font for body text. They used to use Freight Text, but now they use Bitstream Charter, which is free (in several variants): https://practicaltypography.com/charter.html https
55.
by rntz 8y ago
If this is based on wave-function collapse, what does it do when it hits an impossible/contradictory state? (See https://github.com/mxgmn/WaveFunctionCollapse where it mentions "It may happen that during prop
56.
by rntz 8y ago
> Is the author expect to convince anyone who doesn't already agree with him? Not really. If I wanted to convince skeptics, I would have to make it much longer and more precise, and then it be a very different kind of thing. Maybe I
57.
by rntz 8y ago
"Getting the job done" is a short-term goal that often comes at the expense of long-term well-being. For example, the endless parade of backward compatibility layers on top of backward compatibility layers. Each got the job done a
58.
by rntz 8y ago
Yes, compilers have gotten much better at optimising some forms of generic code over the past few decades. This is great! But it's not like the war is won. Staged, reactive, and incremental programming, for example, are still areas of
59.
by rntz 8y ago
It is a bit of a rant, yes; I did write it to evoke emotion; and it is less clear than it could be. > what is the connection between "Beautiful code gets rewritten" and "Refuse to work on systems that profit from digital a
60.
by rntz 8y ago
I'm sorry it comes across that way. I certainly could have been more precise, but I wrote this to express a certain feeling, and felt that I couldn't improve it without losing something essential. Maybe someday I'll write som

More ›