acomar

23 ms·

181.
by acomar 10y ago
Thanks for this, looking through the wikipedia page on Adult ADHD hits a little close to home. Having never been someone prone to hyperactivity, or lacking in attention once it's set to something, I never really thought to look into th
182.
by acomar 10y ago
I doubt we're talking about the same things. I generally don't have any trouble focusing -- long lectures/tests, projects when I find my flow, etc.. I tend to prefer reading entire books in a single sitting, for example. In f
183.
by acomar 10y ago
> Most people would advise you to, calmly, break the task at hand into small tasks/steps. Yea, this seems to be the biggest takeaway from what everyone is saying here. I've tried to do this in the past and found that I don&#x27
184.
by acomar 10y ago
I've gotten much better about that one and making a call about whether it really needs to happen or if it's just not happening. Takes a lot of the pressure off when I'm making an explicit choice. But you're right, that u
185.
by acomar 10y ago
Maybe this is the wrong thread for this comment, but I'm wondering if I'm alone in this. Anyone else find they procrastinate for reasons another than a habitual need to check e.g. reddit/HN? I find for myself, it's very
186.
by acomar 10y ago
No, this is the exact scenario described in the main article. If McMullin wins Utah and the EC is split, then the decision goes to the House. Any negotiation being done will happen there and will hinge on the Senate's decision for the
187.
by acomar 10y ago
Quadratic, not exponential. d/dx(e^x) is e^x. That's actually why e is called the natural log.
188.
by acomar 10y ago
As someone who uses Google Voice, my SMS messages are synced with the desktop client. This is a significant loss of functionality for me.
189.
by acomar 10y ago
forM is a for each loop over anything iterable (Traversable in Haskell) that will execute a given monadic action on each element in the collection. A more traditional for loop is this over a range of integers or whatever else you feel like.
190.
by acomar 12y ago
These are unrelated concepts and the latter is unproven but conjectured. Pi's irrationality is sufficient to show that there is no point after which the digits of pi lapse into cycles. However, it's conjuctured that pi is also a n
191.
by acomar 12y ago
> So to answer your question, nothing (in this context), because the Turing machine is a more useful model for thinking about computation itself. This isn't obvious to me. It seems to me that a TM is more useful for thinking about c
192.
by acomar 12y ago
You're arguing against a straw man. The free software community has stood by using free licenses and selling exceptions and dual licensing. The FSF explicitly sells its code and gives you the source along with it. The community holds t
193.
by acomar 12y ago
You can get them with cyanogenmod as well, but there's a deeper issue. There's been an outstanding series of bugs with 4.4.3 and 4.4.4 that have prevented exchange from actually connecting running. I haven't been able to even
194.
by acomar 12y ago
> 1) The problem this fixes is largely non-existent today. The threat of fast and slow-lanes is one I've yet to experience. Verizon is already throttling Youtube and Netflix traffic because the content providers refuse to pay extra
195.
by acomar 12y ago
What fraction of the words you type are not in the dictionary? Why not revert to tap-typing for just those words and use the faster method for the dictionary words?
196.
by acomar 12y ago
> Of course, having the reverse isomer molecules would be advantageous against predators (who couldn't digest it) and a boon to natural selection. This, of course, doesn't really mean much. Something being advantageous doesn&#x
197.
by acomar 12y ago
The term hologram is more of an analogy than anything else, you shouldn't think of it as a projection produced by light. The idea is that we're living on the edge of a high-dimensional membrane and that our 3 dimensions (+ time) f
198.
by acomar 12y ago
It's generally a three semester to a full two year sequence at most universities. You can of course go faster or slower depending on your own capacity to self-study and learn, but most bright people will probably fall somewhere in that
199.
by acomar 12y ago
You can build a bit of mathematical intuition for the concept now that you get the basic idea. Try and work out from the functor laws why functors preserve shape. The laws are very straightforward: map id c = id c (Mapping the iden
200.
by acomar 12y ago
Open source is about more than a directory listing though, and I think that was the point of the original comment. Knowing what source files are in the repo doesn't really help consumers (and kudos if you can expand this and take custo
201.
by acomar 12y ago
The difference is entirely in the types. A sort function in Haskell has type: Ord a => [a] -> [a] You therefore know that the implementation of the function can only make use of functions provided by Ord, and manipulation of
202.
by acomar 13y ago
It's worse than that -- I've heard stories from friends in government agencies of people who do net-negative work (i.e. they create work for others) and keep their jobs for political/societal/social reasons.
203.
by acomar 13y ago
> I think humans like to do things. Make games, write software, build sandcastles, etc. Removing the need for work would not remove the work. The work would just be what we found to be entertaining to ourselves, instead of a job to eat.
204.
by acomar 13y ago
The keys are effectively public once the conversation ends -- they aren't tied to your identity. So those messages could have been forged by anyone, there's no proof they came from you.
205.
by acomar 13y ago
That's what happens when you try to draw lines in sand...
206.
by acomar 13y ago
The comments in the reddit thread[1] are worth reading, especially those by the author of this library, edwardk. [1] http://www.reddit.com/r/haskell/comments/1o6iqs/why_i_dont_l...
207.
by acomar 13y ago
> Before you scream "bullshit!", bear in mind that this research has been used by NASA to ensure that personality types that don't mix well don't end up as astronauts together in extremely dangerous space missions, an
208.
by acomar 13y ago
In what way is that an answer? That's just restating the question posed in the OP. Why aren't we concerned about fields with "not enough men"?
209.
by acomar 13y ago
Agda and Coq retain inference and decidability by sacrificing Turing completeness. Terminating programs must terminate provably, and non-terminating programs must make concrete progress on every iteration. I'm not familiar enough with
210.
by acomar 13y ago
> Certainly Haskell is said to have the most powerful type system going, Nah, Coq, Agda, Idris and any dependently typed language have Haskell beat -- their type systems are designed to be just as expressive as their value language. Hask

More ›