tedks

9 ms·

31.
by tedks 10y ago
I'm afraid I don't know enough about dependent types and PL theory to really explain this well, but bear in mind that you're on page 35. You can use program extraction on a proof itself and yield an executable program. You ca
32.
by tedks 10y ago
From the authors of "Why Science Needs Metaphysics" this rings a little hollow. Nautilus is just a slightly less vitriolic version of the Aeon-class anti-science postmodernist blog. Like Aeon, it's garbage.
33.
by tedks 10y ago
In context: > Nonetheless, almost any interesting certified programming project will benefit from some activity that deserves to be called proving, and many interesting projects absolutely require semi-automated proving, to protect the
34.
by tedks 10y ago
Well, very indirectly, in the sense that OCaml hackers will think alike to some extent, and all languages involved have strong types. But otherwise not very much. This is producing implementation code. Basically, this is program synthesis v
35.
by tedks 10y ago
>You'd find a huge sampling error because of epigenetics. I'm skeptical that, just now that we know of epigenetic effects, they will invalidate all previously existing roughly-Mendelian genetics. It's not like people'
36.
by tedks 10y ago
I wouldn't go so far as to call people who don't see the universal relevance of computation "mediocre humans," but they're certainly missing out on a lot. Computers generalize cognition and memory at scales far beyo
37.
by tedks 10y ago
There are certain culturally universal emotions; happiness and sadness are two of them, but joy or misery aren't, and I've never seen this definition of misery before in the literature. Is this based on your own framework and anec
38.
by tedks 10y ago
I guess if you think a gay couple flying a pride flag is confrontational or rude, we have significantly different opinions to the extent that we can't come to any consensus on this or similar issues. I'm also doubtful that the gay
39.
by tedks 10y ago
Pessimistic answer: The robot wakes up, the humans are dead. Oh well. Optimistic answer: The robot wakes up and tries to find a bank. The robot goes to downtown San Francisco and can't find any, eventually asking a bald man wearing a s
40.
by tedks 10y ago
Okay, replace the WBC with a proud gay couple in an intolerant area. Should the people who were there first suck it up in that instance?
41.
by tedks 10y ago
Just the tagging/graff isn't illegal if he's okay with it. Certainly there is drug use, public sex, etc., occurring in this large parcel of empty space in an urban area, much like literally any park. I think that sort of phra
42.
by tedks 10y ago
He created SoYLeNT (so it gets clicks) and when you don't have to hire photographers, fluff like this writes itself.
43.
by tedks 10y ago
How is this different than a gazebo? If he had built a gazebo or similar structure on the land, would the neighbors have anything to say about it (except maybe "make sure the homeless can't be comfortable in it")?
44.
by tedks 10y ago
Is the entire range of action that ends in asserting one's own volitions over another's so reducible? What makes this "unilateral" besides there being opposing interests? This isn't even always (maybe not even typic
45.
by tedks 10y ago
At the same time he is doing neither of these things. It's hard to make the case that something that you find subjectively visually unappealing is the same as a pollutant or allergen. Though, even under those circumstance, how would yo
46.
by tedks 10y ago
Well, you could get a little less myopic, zoom out of the purely American perspective where left=Democrat and right=Republican, and see that none of the publications you named are left in any way. (Vox sometimes has leftists writing for it,
47.
by tedks 10y ago
Pretty much.
48.
by tedks 10y ago
As someone who worked on dynamic updating research projects for years I can attest to the really shitty bugs dynamic updating can cause.
49.
by tedks 10y ago
He wrote FAT on an airplane. Make of that what you will.
50.
by tedks 10y ago
Most of us don't buy houses on our income, but on our credit. This speaks to class, not to wealth; someone with good credit, from a background that grants them that status, is more likely to have a job with good benefits, health insura
51.
by tedks 10y ago
Correlation is not causation. Houses on streets with trees are more expensive. People that can afford to live there are healthier for obvious reasons. Likewise, people that are put into better hospital rooms are probably just patients the h
52.
by tedks 10y ago
*Juche
53.
by tedks 10y ago
While I've always thought that essay made good points, it's somewhat dangerous to overinterpret the thoughts of a Stalinist on groups without structure. Her solution is (obviously) to just have hierarchical structure, but this lea
54.
by tedks 10y ago
Patents last 20 years. If any company, today, cured major depression with a drug, it would be making essentially monopoly profits for at least five, while analogs were found, at at most until 2036. I come from a cognitive/social psycho
55.
by tedks 10y ago
Certainly it's a little misguided to suggest that an OCEAN correlate implies you can train intelligence; OCEAN is relatively stable across your life (that's what makes it a good personality metric). That said, I know at least one
56.
by tedks 10y ago
It's my lay understanding this is true; there's a reason we all switched to bcrypt, right? But this comment is getting downvoted. What's the deal?
57.
by tedks 10y ago
Do you have an alias or something else that facilitates that, or do you just do it manually?
58.
by tedks 10y ago
Yes, the Tor Project effectively did this for years, since no organization or organizational structure existed to take your sanctimonious "unit of caring" and turn it into geographically disparate non-colluding exit bandwidth. Som
59.
by tedks 10y ago
Good software engineering is ridiculously difficult to the extent that nobody gets it right, everything sucks everywhere, and there's no way to win. It requires a lot of domain expertise and background knowledge that goes far beyond ju
60.
by tedks 10y ago
Nope, it's still the "giving partner's" (i.e. rapists) fault. If you're applying coercive force to someone, it's your responsibility to make sure that your actions are consensual. In this case, it's the do

More ›