Live data from Hacker News

Viewing profile — jeffcoat

jeffcoat

HN member
Joined
Sun, Nov 30, 2008, 11:37 PM UTC
HN karma
353
Public activity
131 items

About jeffcoat

Mathematician turned programmer. jeffcoat@alumni.rice.edu

Recent public activity

  1. comment
    Comment #47991434

    We can only guess about what's going wrong for you specifically . But I like guessing: (extremely mild spoilers:) - A core skill for Nethack is understanding how much danger you're…

  2. comment
    Comment #41294152

    Even switching from magnetic to true is unhelpful close enough to the South pole. All directions are north. We have to switch to "grid" north to make sense of directions there. htt…

  3. comment
    Comment #33760638

    This is amazing. Thank you.

  4. comment
    Comment #25673925

    Probably not. Knowing the speed-of-light round trip time to a network location gives you a bound on how much you can improve the performance of remote operations. For example, I'm …

  5. comment
    Comment #23972641

    MCMLXVII + LXV = MCCCCCCCCCLXVII + LXV (canonicalize) = MCCCCCCCCCLXVIILXV (concatenate) = MCCCCCCCCCLLXXVVII (sort) = MCCCCCCCCCLLXXXII (combine, VV => X) = MCCCCCCCCCCXXXII (... …

  6. comment
    Comment #13606711

    I choose to believe it's a prophecy, foretelling the coming of a Universal search engine that will someday make that joke stop working.

  7. comment
    Comment #13215111

    You're right, thank you.

  8. comment
    Comment #13210316

    You're recalling a different incident: engine-out problems are a routine part of flight training at every level. You're thinking of https://en.wikipedia.org/wiki/United_Airlines_Fl…

  9. comment
    Comment #13178411

    Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/

  10. comment
    Comment #13168839

    You'll also need to know that e^x = sum{0 -> infinity} x^n / n!.

  11. comment
    Comment #11809312

    Not so stupid: Start with the phrase "Hoteling's rule" for a century of academic analysis of that question. If you own an oil field, you have to balance a number of factors: * How …

  12. comment
    Comment #11215587

    I enjoyed it: not a sports fan, knew little of baseball except that the one game pro game I've seen in person was super-boring [to me]. _Moneyball_ isn't about baseball so much as …

  13. comment
    Comment #11120286

    It's because "latitude lines" aren't really lines in this context (except the one at the equator). If you took two points from one of those latitude "lines", you'd always be able t…

  14. comment
    Comment #10562773

    It's obvious that moving oil in space helps, right? You move the resource from a place it's relatively plentiful to a different place where oil is relatively scarce. Say, from the …

  15. comment
    Comment #10320777

    All of this is fine for real-valued inputs and outcomes. It's the number of events (coin flips, measurements, etc) that we're restricting to be countable.

  16. comment
    Comment #9743393

    I think I know what you're getting at, but the problem here is that prosecutors have some discretion. The chain of thought that goes I only prosecute worthy cases => I picked those…

  17. comment
    Comment #9640545

    ABC ran pretty much this same story in 2010: http://abcnews.go.com/Blotter/loaded-gun-slips-past-tsa-scre... According to one report, undercover TSA agents testing security at a Ne…

  18. comment
    Comment #9625395

    The slides are interesting enough that I went looking to see if the actual talk that goes with them was online anywhere; found it at http://chariotsolutions.com/screencast/philly-e…

  19. comment
    Comment #8714447

    It's tough being smart and influential: your [Dijkstra's] successes and mistakes end up going through the same megaphone.

  20. story
  21. comment
    Comment #7676752

    I was in a 1 or 2-person office while I was at IBM. Their policy (at that branch) was a private office for senior developers and up, two to an office otherwise. I'm at Motive right…

  22. comment
    Comment #6855819

    You're probably thinking of Isaac Asimov's story "My Son, the Physicist". http://en.wikipedia.org/wiki/My_Son,_the_Physicist

  23. comment
    Comment #6119623

    Did you see the first line? "That mathematics is thought to be consistent justifies the use of Proof by Contradiction." So the original author agrees with you. You're right too, th…

  24. comment
    Comment #4767331

    Wikipedia presents both origin stories, but the accounting version (black ink) does appear to be a 1980s back-formation trying to put a nicer spin on the name. http://en.wikipedia.…

  25. comment
    Comment #4691036

    Great demo. The last question, where I had to name and spell the part, caught me by surprise -- the difficultly level had, up until then, been increasing very slowly, and that felt…