adultSwim

60 ms·

1. 751.▲
   by adultSwim 13y ago

   For anyone interested in the details: -Reads in real .class files -Uses the JS run-time to implement the Java run-time (e.g. there isn't a garbage collector written in JS, the JS collector is used) -Only implemented part of java.lang a
2. 752.▲
   by adultSwim 13y ago

   ATS
3. 753.▲
   by adultSwim 13y ago

   Synecdoche
4. 754.▲
   by adultSwim 13y ago

   Breaking alert: news organizations love puns
5. 755.▲
   by adultSwim 13y ago

   Quit = didn't log on for a week ::gasp:: Risible!
6. 756.▲
   by adultSwim 13y ago

   This is an excellent line of reasoning. PL research just hasn't had much affect at all on mainstream programming. It's too bad. The PL world has a lot of good ideas. It's unfortunate they try to make them totally inaccessible
7. 757.▲
   by adultSwim 13y ago

   By the way, what's with all the hate on Ben Pierce? Take his Software Foundations book. It opened up Coq in a very practical way. No crazy typing rules or category theory. Just straight programming and simple proofs. That's a worl
8. 758.▲
   by adultSwim 13y ago

   I actually find a lot of arguments he presents compelling. However the general thrust seems to be that programming language should be accessible. Hoon seems to fail that test. I've yet to see how this is better than vanilla ML. I don&#
9. 759.▲
   by adultSwim 13y ago

   Find an actual person to teach you. People teach much better than a book can. I know the feeling with having trouble working through books. Quit trying to pound a square peg into a round hole. Find what works for you (your current approach
10. 760.▲
    by adultSwim 13y ago

    There is a Radiolab that discusses Toxoplasmosis: http://www.radiolab.org/story/91689-parasites/
11. 761.▲
    by adultSwim 13y ago

    www.youtube.com/watch?v=f92ODOjfukM A.O. Scott reviews The Conversation for the NY Times.
12. 762.▲
    by adultSwim 13y ago

    It looks like you can't buy an ad-free version anymore :(
13. 763.▲
    by adultSwim 13y ago

    Buzz market somewhere else please.
14. 764.▲
    by adultSwim 13y ago

    Me != I
15. 765.▲
    by adultSwim 13y ago

    I'm not a coder; i'm an engineer.
16. 766.▲
    by adultSwim 13y ago

    The ending is a bit hyperbolic.
17. 767.▲
    by adultSwim 13y ago

    Yes.
18. 768.▲
    by adultSwim 13y ago

    I thought I had been taking math my whole life until I finally took a math class.
19. 769.▲
    by adultSwim 13y ago

    This is useful for me. I don't really care about the social features etc but the core product seems good. What is the business plan? I don't want it to be advertising or selling information about me. The documentation could be bet
20. 770.▲
    by adultSwim 13y ago

    Oleg is a beast.
21. 771.▲
    by adultSwim 13y ago

    Coq
22. 772.▲
    by adultSwim 13y ago

    People seeing the value of correctness. Proofs >> Tests.
23. 773.▲
    by adultSwim 13y ago

    For decoding types, particularly with function pointers, I recommend learning the right left rule. http://ieng9.ucsd.edu/~cs30x/rt_lt.rule.html