mikevm

45 ms·

1. 391.▲
   by mikevm 12y ago

   When I took Logic for CS we were taught the Natural Deduction proof calculus, which mirrors the kind of proofs we do in maths. We had an exercise during the course to write out which ND inference rules were used in every step of some natura
2. 392.▲
   by mikevm 12y ago

   So how do you get into the physics of sound? I don't think I'll be building speakers anytime soon though, but I'm still very much interested in the details of psychoacoustics and sound reproduction.
3. 393.▲
   The AI boss that deploys Hong Kong's subway engineers(newscientist.com)

   10 points by mikevm 12y ago|0 comments
4. 394.▲
   U.S. grounds entire F-35 fleet pending engine inspections(reuters.com)

   2 points by mikevm 12y ago|0 comments
5. 395.▲
   Fast and Robust Neural Network Joint Models for Statistical Machine Translation [pdf](acl2014.org)

   7 points by mikevm 12y ago|0 comments
6. 396.▲
   by mikevm 12y ago

   I agree. Plus these keyboards are terribly overpriced. I've been using the Logitech K750[0] which is wireless and a pleasure to type on (very soft). It also gets charged from any light source, so you don't have to think about repl
7. 397.▲
   Software Engineering: An Idea Whose Time Has Come and Gone? (2009) [pdf](www2.computer.org)

   2 points by mikevm 12y ago|0 comments
8. 398.▲
   Ayahuasca: A Strong Cup of Tea(nytimes.com)

   1 points by mikevm 12y ago|0 comments
9. 399.▲
   Good sleep, good learning, good life(super-memory.com)

   1 points by mikevm 12y ago|0 comments
10. 400.▲
    Building Science: On the architecture of modern science(arachnoid.com)

    1 points by mikevm 12y ago|0 comments
11. 401.▲
    by mikevm 12y ago

    Reading how hard it was for Boris to pass Landau's theoretical minimum makes me feel ashamed when I realize how much we students used to whine when a professor gave a slightly more difficult ("unfair") exam. I wonder how test
12. 402.▲
    Physics, Topology, Logic and Computation: A Rosetta Stone (2009)(arxiv.org)

    99 points by mikevm 12y ago|9 comments
13. 403.▲
    Landau's Theoretical Minimum (2002)(arxiv.org)

    41 points by mikevm 12y ago|2 comments
14. 404.▲
    Faulty Circuits (2010) [pdf](psychiatry.unimelb.edu.au)

    2 points by mikevm 12y ago|0 comments
15. 405.▲
    by mikevm 12y ago

    I am not sure why you are being downvoted, as the author himself first says: The best research in social psychology is as well-supported as anything in physics or biology, and much more intuitively comprehensible. And then he follows it u
16. 406.▲
    by mikevm 12y ago

    > This is written before any scientist can confirm it. Thats not interpretation, its a clearly stated fact, "circle". And he points out if other religion gets it wrong. The Earth was considered to be a flat disc, so there'
17. 407.▲
    by mikevm 12y ago

    You might have this paper interesting: http://pages.cs.wisc.edu/~kadav/app/pdfs/diffraid-hs09.pdf RAID-5, for example, is a disaster for SSDs.
18. 408.▲
    by mikevm 12y ago

    What else would you be focusing on when you're working on a product?
19. 409.▲
    by mikevm 12y ago

    Why is the code so verbose? let result = CFURLCreateStringByAddingPercentEscapes(kCFAllocatorDefault, self.bridgeToObjectiveC(), charactersToLeaveUnescaped, charactersToBeEscaped, CFStringConvertNSStringEncodingToEncoding(encoding))
20. 410.▲
    by mikevm 12y ago

    > What's interesting is that Wellburtrin is dopamine reuptake inhibitor while Ritalin and Adderall stimulate (or mimic; I can't find a decent reference right now) the production of dopamine. Both Ritalin and Adderall are dopami
21. 411.▲
    by mikevm 12y ago

    The study found that even those that "outgrew" ADHD still had one thing in common with those that still do have ADHD, and that's impairment in executive function. The thing is, ADHD seems to be a catch-all diagnosis for peopl
22. 412.▲
    Inside the adult ADHD brain(newsoffice.mit.edu)

    90 points by mikevm 12y ago|93 comments
23. 413.▲
    by mikevm 12y ago

    There's Guake for GNOME (and Unity): https://github.com/Guake/guake/
24. 414.▲
    by mikevm 12y ago

    > There are plenty of alternative search engines, e-mail services, video hosting sites, mobile operating systems and browsers. Really? And who knows about all those alternatives? I realized how big Google was when I was reading a book an
25. 415.▲
    by mikevm 12y ago

    The EPUB won't open in Adobe Digital Editions (on Windows). I opened it as a ZIP file instead, and it seems like it is probably meant for iBooks only.
26. 416.▲
    by mikevm 12y ago

    I believe that SSDs fail differently, in some respects. If your SSDs "wears out", you may not be able to reprogram it (write to it), but you may still be able to read from it. Edit: Apparently this is wrong. Read comments below
27. 417.▲
    by mikevm 12y ago

    I think the only people who access IEEE Xplore are though who have library subscriptions. Otherwise these per-chapter prices don't make any sense.
28. 418.▲
    by mikevm 12y ago

    > I also recommend "Linux Device Drivers" from O'Reilly. http://lwn.net/Kernel/LDD3/ That book is a little out of date nowdays. They're working on LDD4: http://www.amazon.com&#x2F
29. 419.▲
    by mikevm 12y ago

    Browser plugins are basically dead anyway. Flash is the only major holdout. Mozilla's not going to bother replacing NPAPI as it's working on an asm.js replacement for Flash: http://mozilla.github.io/shumway/
30. 420.▲
    by mikevm 12y ago

    I don't think 16:9 is good on anything, not even for movies. Heck, movies are usually shot in a much wider format anyway. On tablets and small devices it's even worse. There's a reason why Apple used 4:3 on the iPod -- it&#x2