jonsterling

15 ms·

1. 91.▲
   by jonsterling 11y ago

   "sumeria"? think it's called "sumer" I translated this recipe back while I was in school! Lots of fun.
2. 92.▲
   by jonsterling 11y ago

   I agree that each ML falls short in some ways--I think SML and OCaml are probably the best programming languages ever made, but there's definitely room for improvement. I dream of the "Next Great ML"; 1ML definitely looks int
3. 93.▲
   by jonsterling 11y ago

   I agree. OCaml is really cool in many respects, and I like it a lot—but the only thing SML really needs is a modern Basis library that is applicable to today's standard use-cases. I use SML for the JonPRL proof assistant, and I couldn&
4. 94.▲
   by jonsterling 11y ago

   elephants scale after all
5. 95.▲
   by jonsterling 11y ago

   I rely heavily on tig. highly recommended
6. 96.▲
   by jonsterling 11y ago

   If I share with somebody that I have an issue about something, I want to be sure that people will not conflate my legitimate complaint with my "mood". It's a really nice way to gas-light folks into submission: "The team
7. 97.▲
   by jonsterling 11y ago

   This sounds downright dehumanizing. fuck
8. 98.▲
   by jonsterling 11y ago

   I am very (twice) familiar with getting screwed because founders don't want employees to bolt while there is still a chance of recovery. The good thing was that they had the good sense to let me go before all the money totally ran ou
9. 99.▲
   by jonsterling 11y ago

   I don't think this is even legal; I'm sorry for your situation, but you must see that if this sort of thing were allowed, it would pave the way for slavery.
10. 100.▲
    by jonsterling 11y ago

    Very little of research in programming languages is anything like “We tried it out on a bunch of developers and the data support our conclusion that ...”. PL is not an empirical science in that sense, it's more like mathematics. So y
11. 101.▲
    by jonsterling 11y ago

    I assume by "academic" the other poster meant "informed by academic research". Swift is evidently more so than Objective-C.
12. 102.▲
    by jonsterling 11y ago

    I worry about my company going out of business more than I worry about getting fired...
13. 103.▲
    by jonsterling 11y ago

    In bob's setting, the computation system is not determined or fixed. It is open-ended... In intuitionistic mathematics, we of course accept that there is no Turing computable halting oracle, but we do not rule out the possibility tha
14. 104.▲
    by jonsterling 11y ago

    Bob is coming from the perspective of Brouwerian Intuitionism, and so he is not really that interested in a closed "formal system". So, "proofs" in the setting that Bob cares about are not derivations in a formal system,
15. 105.▲
    by jonsterling 11y ago

    You do not in general decide whether two types are equivalent. You prove it...
16. 106.▲
    JonPRL Tutorial – Proof Assistant for Computational Type Theory(jozefg.bitbucket.org)

    2 points by jonsterling 11y ago|0 comments
17. 107.▲
    by jonsterling 11y ago

    Bizarre that this fellow grimaces at "type erasure". That's the correct way to polymorphism!
18. 108.▲
    by jonsterling 11y ago

    Do you really not see the power dynamic at play here?
19. 109.▲
    by jonsterling 11y ago

    can't tell if this is brilliant sarcasm
20. 110.▲
    by jonsterling 11y ago

    Wow, a weekend hackathon where employees worked all night ( https://www.airbnb.com/careers/departments/engineering ). Capital is getting smarter every year! Now you can make workers think that they were the ones w
21. 111.▲
    by jonsterling 11y ago

    Location: Portland, OR Remote: Yes (nine months successful remote experience) Willing to relocate: no Technologies: Haskell, Standard ML, OCaml, Objective-C Résumé: http://www.jonmsterling.com/pdfs/sterling-cv.pdf Emai
22. 112.▲
    by jonsterling 11y ago

    Sorry, my comment was poorly worded—I mean that I am experiencing schadenfreude, not criticizing people who are also experiencing it. Cheers!
23. 113.▲
    by jonsterling 11y ago

    Oh my goodness, people are misinterpreting my comment, I am so sorry. I mean that I am experiencing so much schadenfreude . I am not criticizing anyone else who is sharing in it.
24. 114.▲
    by jonsterling 11y ago

    GOD, so much schadenfreude here...
25. 115.▲
    by jonsterling 11y ago

    Glad somebody said it...
26. 116.▲
    by jonsterling 11y ago

    That it's a huge mistake to use a BaaS for anything but a demo. I think it's good to abstract out certain details that don't pertain to your application logic, and that's precisely what something like Heroku does. In my
27. 117.▲
    by jonsterling 11y ago

    Cool that they used FP to develop this, but haven't we already learned the lesson about the BaaS stuff?
28. 118.▲
    by jonsterling 11y ago

    Called it.
29. 119.▲
    by jonsterling 11y ago

    I make a huge difference wherever I have worked; you may ask any of my employers. However, my interest and my soul are my own; they do not belong to my employer. I do not even rent them to my employer. But honestly, I couldn't imagine
30. 120.▲
    by jonsterling 11y ago

    @luckydude If anyone ever says, “I like what you are doing, I want to help”, they are probably just blowing smoke up your ass. We're workers. We want to get paid in return for labor. It's not like choosing which non-profit you wan