gatlin

32 ms·

151.
by gatlin 11y ago
Comet showers wouldn't explain things like orogeny, vulcanism, and the slow processes which also precede mass extinctions. If the super continent cycle is linked to Planet X, or merely correlated rather unfortunately in time, that woul
152.
by gatlin 12y ago
In UTeach this was mentioned by several of my professors on the first day, as a kind of anthem we should keep in mind: that we were at that university because we succeeded in a broken system and that we should be mindful not to lean too hea
153.
by gatlin 12y ago
Mathematics is the study of quantity and structure. Reasoning about how to mutate some state, defined as a set of values, according to some domain-specific logic, constrained by the execution environment and invariants, is most assuredly ma
154.
by gatlin 13y ago
I only know of him what I read on the Internet, but Wikipedia says he is Finnish. Your original point stands though.
155.
by gatlin 13y ago
All of the commercial licenses I've dealt with have prohibited distributing the software, hypothetical modifications thereof, and any and all hypothetical source code. The GPL speaks for itself. You are free to modify GPL-licensed soft
156.
by gatlin 14y ago
I realized why I want App.net or something like it (tent.io?). Maybe my answer can help someone else wrap their head around why they want it. I have been kicking around this idea for a utility to help people communicate in cooperatives and
157.
by gatlin 14y ago
Based on my limited interactions with people diagnosed on the spectrum, I agree that any notion that such individuals are inherently "more logical" is incorrect and unrepresentative. Whether a person is logical or not is orthogonal to their
158.
by gatlin 14y ago
I can't speak for anyone else, but I can think of one reason to do things like this. If I can use a minimal subset of language features and verify their correctness, and also verify the correctness of the ways in which I combine them, then
159.
by gatlin 14y ago
No, you became more certain that an asteroid hit a certain place to within a 11,000 year range. Title is false. From the actual paper's abstract: > The Chicxulub impact likely triggered a state shift of ecosystems already under near-cri
160.
by gatlin 14y ago
As another commenter said, this sounds like the basis of math (or CS) itself. Understanding is emergent. Inference and learning are, to me, the pillars of it and we can do those. Understanding is the ability to internalize some idea and mak
161.
by gatlin 14y ago
I'd emphasize a little more that mutexes are special cases of semaphores. You know, for the skimmers.
162.
by gatlin 14y ago
Is this satire? This person is mad that some volunteers helping to rebuild houses after a devastating wildfire used sacrosanct Star Wars imagery to lighten the mood and make the victims happy? Outrage? This article is disgusting and why i
163.
by gatlin 14y ago
I'm curious about what HN thinks of answer set programming - the de facto language is a Prolog variant but in most implementations solutions are found by reducing programs to SAT instances. Upshot is you can reason about belief in an open w
164.
by gatlin 14y ago
I sincerely hope every practical developer knows the complexity and costs of their algorithms, can write a simple parser, and reason about finite state machines (ie, the non-trivial systems people build). I do get what you mean: CS is diffe
165.
by gatlin 14y ago
One anecdotal data point here. I really, really enjoy not typing whenever possible. Sometimes when I'm driving I have my headphones in so I can treat Siri exactly like a personal assistant. It's useful and only a button-hold away.
166.
by gatlin 14y ago
I made it to the front page one time by doing something neat and hacker-y. It wasn't business oriented but I had fun.
167.
by gatlin 14y ago
This was informative if only because I was previously running the Arch image and Haskell is a nightmarish carnival of terror on there at the moment unless you cross-compile. Primarily my interest in Haskell has been in using reactive-banana
168.
by gatlin 14y ago
I did a poor job of explaining myself despite my over-sized rhetoric. It's one thing to point to specific provisions of a policy and say "In the following case, Provision A had Effect B" and show the specifics. It's another to espouse plati
169.
by gatlin 14y ago
Without a hint of sarcasm, I genuinely admire your resolve to be open minded no matter how patently stupid an idea is. I'm not as open minded as you; some day I'd like to be. The moment someone can supply an objective, verifiable, scientifi
170.
by gatlin 14y ago
You're absolutely correct. My original point still stands, though.
171.
by gatlin 14y ago
I don't understand why people capitalize Mac like that. What do they think it's an acronym for?
172.
by gatlin 14y ago
Environment. Working to contribute to human knowledge in a place focused on research first, commercialization second sounds very rewarding and effective.
173.
by gatlin 14y ago
Yes. It has the choice not to (ab)use the law in this fashion and yet it does. Assuming free will - which is the only sane assumption to keep this conversation focused and tractable - then yes. I can blame them for their own actions.
174.
by gatlin 14y ago
While I suspected as much, I figure it's worth asking in case there is a nobler reason that I'm simply unaware of. I don't want to presume too much.
175.
by gatlin 14y ago
It's not about spite. It's about preserving the motivation to continue developing free software. It's nice thinking that the fruits of my labor will benefit everyone and that derivative efforts will as well. The GPL gets an awful lot of fla
176.
by gatlin 14y ago
I actually despise Moose as much as I despise blindly over-doing OO. To me Modern Perl meant tackling problems in a much more Lisp-inspired way (via lexical scoping, anonymous functions, closures, lists, etc) ... but in Perl. Kind of like "
177.
by gatlin 14y ago
I just saw a demonstration a few days a go by the UT Austin Radio Navigation lab where they spoofed L1 GPS and caused a radio controlled helicopter to somewhat precisely veer off course. I'm interested in the impact of this on aviation as w
178.
by gatlin 14y ago
I'm guessing the "new process" is structure from motion and high-performance bundle adjustment (probably using Ceres, which they just opened). It's fascinating to think what they'll be able to reconstruct with their computing power and hi-r
179.
by gatlin 14y ago
May I ask what is heart-breaking about paying taxes?
180.
by gatlin 14y ago
I know some intelligent people who fall for this. The thing is, if you tell them the arguments in this article (which I have, though doubtless less adeptly), they just find a way to insist that it's intentional. Of course the sequence is si

More ›