Live data from Hacker News

Viewing profile — gdp

gdp

HN member
Joined
Thu, Aug 06, 2009, 11:42 PM UTC
HN karma
848
Public activity
327 items

About gdp

Programming languages and formal methods geek.

http://plsadventures.blogspot.com/

Recent public activity

  1. comment
    Comment #5086542

    Could be useful for some things. I feel like it's a missed opportunity to employ somethings like session types, given the existence of a quasi-typed human-readable "schema" definit…

  2. comment
    Comment #4739730

    So go learn something. Either you listen to advice or you don't.

  3. comment
    Comment #4725491

    Consistent with the complaint leveled against my previous comment, I should think that this is really consistent with the DBMS syntax of the Opa language

  4. comment
    Comment #4725487

    You're quite right. I think my complaint was that it reduces the definition of "database" to "anything that is used to store data", rather than the database being the json file(s) …

  5. comment
    Comment #4723365

    It seems rather generous to call this a database. It's files on a filesystem. The lack of any kind of transactional consistency guarantees (Dropbox is notoriously awful at this), a…

  6. comment
    Comment #4720291

    There are many complex issues here, but here's a simple strategy: Don't accept less money for the next job than you accepted for the last one. If you keep doing this, you will find…

  7. comment
    Comment #4707519

    Or we could question whether attempting to come up with problems to solve in order to create a business is a good idea at all. Perhaps we should build businesses because that's the…

  8. comment
  9. comment
    Comment #4316641

    Look out for my new series: "Why link bait will end up on HN?"

  10. comment
    Comment #4096094

    Breaking news: Companies attempt to maximise profit and charge for perceived value, not direct cost incurred. More news at 10.

  11. comment
    Comment #4095080

    Makes a fairly interesting point that seems obvious once you've read it, but which we actually don't have embedded as an assumption - that the level of user trust placed in us as d…

  12. comment
    Comment #4029800

    The advantage of any programming language, framework, or library is that you know it already and it allows you to achieve things. I wouldn't personally advocate learning PHP today,…

  13. comment
    Comment #4003587

    A curious value proposition. Is it for encrypted communications between people who know about encryption? Why not then just use encrypted email through pre-established trust mechan…

  14. comment
    Comment #3728382

    Genuinely good advice, but the prose wrapped around it is tedious and over-wrought. I think a lot of people will tl;dr this, so (spoiler alert!) the advice is basically to use Twit…

  15. comment
    Comment #3561923

    Makes me a little nervous with respect to software patents, but best of luck to you ;)

  16. comment
    Comment #3561873

    I see. There's an interesting claim in the footer - "soon to be patented". Is there IP here that is patentable?

  17. comment
    Comment #3561850

    Seems like a neat platform. How has the uptake been?

  18. comment
    Comment #3222835

    In fact, having re-read my own post from 2 years ago and found myself still agreeing with it, I find myself wanting to travel back in time to paste that link to the author of the l…

  19. comment
    Comment #3222806

    I'm sure many have tried, but language comparisons actually devolve into uselessness very quickly, because the things we can quantitatively measure and compare about languages are …

  20. comment
    Comment #3221836

    I feel like this is what would happen if you took every language under the sun and asked people who had never used them to offer commentary. It's just full of strange gaps and clai…

  21. comment
    Comment #3221824

    This feels like something that belongs in a bug report rather than HN.

  22. comment
    Comment #3221820

    Possibly also of interest in this context: * http://www.smlserver.org/smltojs/ - SML to Javascript * http://ocsigen.org/js_of_ocaml/manual/ - OCaml to Javascript

  23. comment
    Comment #2945101

    Succeeds in being content-free whilst simultaneously being an insulting transparent ad for a particular unit-testing product.

  24. comment
    Comment #2930319

    "Man with life-threatening health problems looks ill in photos. More news at 10".

  25. comment
    Comment #2930315

    OK, so I went back and re-read that paragraph twice more. I'm not sure if the claim is about abstract interpretation, model checking, or the particular problem domain, but I'm quit…