Live data from Hacker News

Viewing profile — thirsteh

thirsteh

HN member
Joined
Mon, Jun 21, 2010, 1:58 PM UTC
HN karma
3,544
Public activity
878 items

About thirsteh

I spend a lot of my day hours XORing things together, and I'm particularly interested in PL research/high-assurance software development (Haskell, Agda, Coq, etc., but also how to make software in any language more secure and reliable.)

I'm always happy to continue a discussion in private through email: my username at google's mail.

Recent public activity

  1. comment
    Comment #37219280

    For everything to become incredibly amazing. 5G was more pumped than AI, especially in Europe. For some reason people kept mentioning robo-surgery as a use case...

  2. comment
    Comment #27979003

    wow went to package manager, installed Half-Life Uplink, and it's playable.. and a Windows 95 emulator! lol

  3. comment
    Comment #27850959

    Great talk by deech on Pharo: https://www.youtube.com/watch?v=baxtyeFVn3w

  4. comment
    Comment #27606606

    "Glorified auto mechanic" is exactly how I'd describe how software development is viewed in Europe. There is a much bigger emphasis on "just" buying software from Microsoft and SAP…

  5. comment
    Comment #27411139

    Picking up other hobbies got me back into software side projects but not as an end in themselves as they used to be (and I'm pretty tired of "learning" new tech at this point -- it…

  6. comment
    Comment #27399626

    Yeah, there are not many moving parts now. It messed with read heads in HDDs as well as CRT monitors. I still get nervous if there are magnets around cause I don't know how they wo…

  7. comment
    Comment #27359158

    Serious question: Has PE M&A ever led to an improved product? (Maybe that's just a stupid rather than a serious question)

  8. comment
    Comment #27350751

    This is for signing a document with a "hand" signature, not cryptographically signing it with a cryptographic signature. Besides, if you don't trust in-browser JS then you shouldn'…

  9. comment
    Comment #27338424

    This battle has been lost my friend. The new cyber and crypto are here to stay :)

  10. comment
    Comment #27338386

    Yield farming carries a similar or greater risk to investing in stocks and sector ETFs, and that is certainly not what retail banks do with customer funds (that was outlawed by the…

  11. comment
  12. comment
    Comment #26438524

    I suppose it makes sense if you're issuing semantically versioned releases of each module and you want the GitHub releases to match, but the trend of turning everything into its ow…

  13. comment
    Comment #9678761

    It's not even technically accurate. At the very least it's a draw :)

  14. comment
    Comment #9609332

    https://godoc.org/golang.org/x/tools/cmd/present

  15. comment
    Comment #9594735

    https://youtu.be/6NcDVERzMGw?t=165

  16. comment
    Comment #9589144

    You must not have gotten the memo: Google exposed some of their corporate systems to everyone, therefore VPNs are now useless and have always been useless. :)

  17. comment
    Comment #9577022

    So how do you like the PayPal campus? ;)

  18. comment
    Comment #9524865

    Generally, there's a good chance that most of these kinds of "Wtf?" logic errors are on the part of the journalist, not the person being interviewed. In the U.S, journalists don't …

  19. comment
    Comment #9517055

    Chipotle's "No more GMO food" announcement was the worst "great news" I'd heard in a long time. It was clearly just for PR and nothing else. It's good to see some sanity--this obse…

  20. comment
    Comment #9489730

    Why use Gitmo as an example when there are plenty of other areas where you can bash Obama, like continuing many of the Executive Order programs? At least he genuinely tried to shut…

  21. comment
    Comment #9484594

    It turns out a lot of the processing is offloaded to proprietary drivers on the EdgeRouter board. It's great for running their stock firmware, but not so great running OpenBSD. End…

  22. comment
    Comment #9465726

    All of them, if you want to do it right. Biggest reason inactive mixed content is allowed at all is that blocking it would break too much.

  23. comment
    Comment #9465376

    Do you guys know you're actually describing the Surface 3 in detail? ;)

  24. comment
  25. comment
    Comment #9440031

    In fact, Either/Maybe can function like safer versions of both paradigms: Functors allow you to build a program of many functions that will terminate with 'Nothing' or 'Either l' a…