voxl

32 ms·

391.
by voxl 5y ago
Many game development scripting applications disagree with you. Including: DotA Workshop, Tabletop Simulator, Galaxy Editor (for StarCraft 2), and many others unlisted. Of course, this only matters because you're pretensions about what
392.
by voxl 5y ago
Any dependent type theory is "semi-automated" because judgemental equality computes normal forms, there is no reason it should be this way, other than convenience of course.
393.
by voxl 5y ago
Its not turtles all the way down, because there is a preexisting substrate that allows the discussion to happen in the first place. It is not a presupposition, because to merely state the _possibility_ of it being a presupposition necessita
394.
by voxl 5y ago
I highly recommend staying away from Arch and NixOS if you're not ready to commit upwards of 30% of your work and free time fixing and tweaking your box. I've tried both, Arch Linux will routinely hose your entire install if you d
395.
by voxl 5y ago
> I have no problem with WFH in principle, but my position is, if you are able to come in, then come in. If you have kids or other commitments then fine, work from home a couple of days a week. But by default, it’s better for everyone if
396.
by voxl 5y ago
The obvious? More control over a perceived liberal-biased company from a republican controlled state.
397.
by voxl 5y ago
How does your reasoning not apply to applications on any device?
398.
by voxl 5y ago
Language changes with use. What has frustrated me since high school is when people get so pedantic over the natural progression of language. Conservative to the bone I guess.
399.
by voxl 6y ago
Two things: First, if this is as well documented as you say then you should provide such documentation as you seem to think it should be at the finger tips of others. Second, your comment doesn't actually counter the main point of what
400.
by voxl 6y ago
Funny, seems like the rest of the world is taking it a lot more seriously than the U.S., but yeah I guess its just the "progressive westerners" that are the problem. One important thing you should know, smart people are just as du
401.
by voxl 6y ago
It's easier, I agree, but I would not say its better. Collaborating online requires documentation, its more effort, but the artifacts you produce can be a lot more useful for everyone involved.
402.
by voxl 6y ago
This philosophy would mean that there is no wiggle room in performance at a level. Either you're meeting expectations or should be demoted/fired. Needless to say, I find that black and white thinking ridiculous.
403.
by voxl 6y ago
He's saying that, on average, a high IQ person does not find Mensa valuable or interesting and so does not bother to join. Whereas, someone who is lonely, searching community, depressed, etc and _also_ has a high IQ would be more likel
404.
by voxl 6y ago
I like workflowy a lot. It is basically my single tool for task lists, idea repository, recipes, etc. If I can fit the information reasonably into a hierarchical text document, it goes in workflowy, and a lot of things do fit that model. Bu
405.
by voxl 6y ago
If you read the article you can tell that AI is not the goal, it is a byproduct of the goal. The goal is to have confidence in the correctness of mathematical results proved by other experts. Also, there has _already_ been some success on u
406.
by voxl 6y ago
Sure, its probably a better definition of "free action" but I am very convinced that those are necessary conditions (though probably not sufficient). Additional time can be an external input, that's fine, its only important t
407.
by voxl 6y ago
Given any decision, you have t amount of time to consider how to decide it. Suppose everything the same, if you were given `t + k` time but with no other external input, could you choose something different? If you could, you have free will
408.
by voxl 6y ago
There is little if any actual evidence of voter fraud, but plenty of evidence that making voting harder (via voter ID validation, biometric markings, etc) simply disenfranchises voters. It's easy to say that software can just be hacked
409.
by voxl 6y ago
I'm glad you cherry picked an example to push a narrative.
410.
by voxl 6y ago
Yeah no, emacs package system is a giant mess, it's only "easy" if you've already drunk the emacs kool aid. Sorry I just really hate emacs.
411.
by voxl 6y ago
You're missing the point. First, even with determinism and finite state, to witness the repeated state for any arbitrary program would require a meta machine with _more_ memory then the running machine. That's the ultimate problem
412.
by voxl 6y ago
God forbid developers and companies try to make money off their work!
413.
by voxl 6y ago
This is a baseless assumption, and lets be honest you're only making the argument because you want people to be vegan. Industrialized animal farming is almost never going to cause a COVID crisis like this, this is going to come from ga
414.
by voxl 6y ago
I think it's got the right idea, honestly. There are a lot more independent researchers in the wild then I think the world cares about. They get a PhD for their own intellectual (sometimes spiritual) journey, and then leave because the
415.
by voxl 6y ago
If you've never published you should be banned from discussing this topic at all, the dunning krueger effect is infuriating for such an integral part of human progress.
416.
by voxl 6y ago
If the system disregards revolutionary research because it's too hard to understand (which, by the way, there is evidence that established members of a field actively block revolutionary research because they "know" it won&#x
417.
by voxl 6y ago
That's great, thanks for your experience, but can't comment on the argument provided? Isn't it possible that these experiments you talk about are fatally flawed? I have serious doubts that a company can run and do well design
418.
by voxl 6y ago
Funny thing is their not using texas science. Just because a company is stationed in texas doesn't mean they adhere to nonsense like creationism.
419.
by voxl 6y ago
Good article. I think most people work on Open Source because they _want_ to foster a community around their work and see it grow into a life of its own. In that regard its not surprising most Open Source projects offer free support initial
420.
by voxl 6y ago
The entire point of this discussion is that you are biased. What you need is scientific evidence to back it up. Finding water for your patients is not a good way to view the world.

More ›