exdsq

45 ms·

1. 511.▲
   by exdsq 5y ago

   There was a homeless guy peering in. As a group you noticed his attention to detail, a skill important to a good lawyer. You unanimously agreed to invite him in and offer him a job as a corporate lawyer. He's now the CEO. His name? J
2. 512.▲
   by exdsq 5y ago

   They said it was impossible... But you can't spell impossible without POSSIBLE. #Influencer #Leader Article to my free e-book on being a social media ninja in the comments :rocket:
3. 513.▲
   by exdsq 5y ago

   LinkedIn probably has a net benefit for your career by keeping up to date and checking the messages once a week, but I cannot get over the awkwardness of seeing total BS stories and thousands of replies saying "YES! AMEN!". "
4. 514.▲
   by exdsq 5y ago

   That'd be really cool. I tried Stadia when I moved countries and before I had a TV or Xbox and was completely shocked at how good it was.
5. 515.▲
   by exdsq 5y ago

   "Free to play" == FOMO on skins. I wish games went back to a $60 one-time purchase with maybe a DLC bundle if it's successful, like Dark Souls or Skyrim.
6. 516.▲
   by exdsq 5y ago

   Is this comment meant for this article? I can't for the life of me grok what you mean!
7. 517.▲
   by exdsq 5y ago

   It'd be nice if TDD started to mean 'Type-Driven Development' in the world of software correctness. I believe it's a much better way of writing, such that a project leveraging the type system in that way would be of bett
8. 518.▲
   by exdsq 5y ago

   I don’t think they are from my somewhat limited exposure to them through events
9. 519.▲
   by exdsq 5y ago

   I was skeptical when someone explained Ethereum to me in 2015, and a friend told me to invest in crypto in 2014 when Bitcoin dropped from $1,000 to $300. I looked at it again in 2017 and found cross-border payments an attractive proposition
10. 520.▲
    by exdsq 5y ago

    I’ve been saying this for months but the easiest way to get front page HN is to repeat this argument. Those who are interested in the space defend it (including me), those who aren’t interested in the space attack it, and that activity push
11. 521.▲
    by exdsq 5y ago

    Easily programmable if someone wants to add that!
12. 522.▲
    by exdsq 5y ago

    Yes, this is a risk. Exploiters will be running legit nodes with software analyzing the mempool for profitable transactions to abuse, they will be running nodes using the GitHub branches looking for changes in advance of merges so they can
13. 523.▲
    by exdsq 5y ago

    https://en.wikipedia.org/wiki/Shinichi_Mochizuki It's a fun rabbit hole to go down :)
14. 524.▲
    by exdsq 5y ago

    I'd love to work on this sort of stuff. I'm really passionate about correct software. Can I ask how you got into the field?
15. 525.▲
    by exdsq 5y ago

    Thank you, I will do!
16. 526.▲
    by exdsq 5y ago

    Totally forgot about those, fair play!
17. 527.▲
    by exdsq 5y ago

    I haven’t met anyone who started with Lisp, only those graybeard types who ended with Lisp after 20 years. Where do people work with Lisp at an entry level? I can imagine that code base would be a shitshow unless they have a ridiculously co
18. 528.▲
    by exdsq 5y ago

    You should see some Haskell I've written in production and you'll change your mind quick enough ;)
19. 529.▲
    by exdsq 5y ago

    Every couple months I get this huge urge to dive into Common Lisp and use it for work/study it/become a Lisper, but something comes up. I see this, have the same urge, and need to constrain myself from buying all the textbooks.
20. 530.▲
    by exdsq 5y ago

    Why not?
21. 531.▲
    by exdsq 5y ago

    I stopped drinking 180 days ago (to the day) as I was overweight and worried about the possible health issues it could be causing (I am from the Uk and pub binging with friends a few nights a week became a very common hobby). I’ve already d
22. 532.▲
    by exdsq 5y ago

    Cool! Thanks for your response. So would you suggest Lispworks as a good development environment for new Lisp hobbyists who aren't keen on Emacs?
23. 533.▲
    by exdsq 5y ago

    > this is an unnecessarily negative comment I'd argue this is simply an unnecessary comment altogether.
24. 534.▲
    by exdsq 5y ago

    Blockchain - two repos with specs are: * https://github.com/input-output-hk/cardano-ledger * https://github.com/input-output-hk/plutus There's quite a few recent Isabelle repos such as https
25. 535.▲
    by exdsq 5y ago

    Combination of Agda, Isabelle, Coq, and TLA+ depending on the team - I mostly interacted with TLA+ and the compiled Haskell from Agda specs :)
26. 536.▲
    by exdsq 5y ago

    It’s probably solved in ~3.4 guesses and 4 at worse - there was a proof shared recently on HN
27. 537.▲
    by exdsq 5y ago

    I've worked on commercial Haskell projects and it was actually quite nice! Tooling was a pain, libraries may be lacking, but describing a complex domain as a state machine in the type system with automatically generated tests (via prop
28. 538.▲
    by exdsq 5y ago

    Okay cool, I guess my question is how heavily do third party libraries feature in Lisp Works such that you’re then tied to their ecosystem?
29. 539.▲
    by exdsq 5y ago

    No I appreciate that - my point is you can get better engineers that you might deserve at your startup by using a language like Clojure to entice them. I know people who work for a good discount if it’s on a tech stack they enjoy and is fai
30. 540.▲
    by exdsq 5y ago

    On the other hand you attract a certain kind of developer with those roles than generic languages.