sinkasapa

12 ms·

61.
by sinkasapa 8y ago
It seems like if you want the expressiveness of the simply typed lambda calculus, higher order functions are more than just syntactic sugar.
62.
by sinkasapa 10y ago
Windows 10 with Unity: you've got two problems now.
63.
by sinkasapa 12y ago
I've really enjoyed the "It's All Text" extension that allows you to use whatever editor you like to edit text fields. https://addons.mozilla.org/en-US/firefox/addon/its-all-text/
64.
by sinkasapa 12y ago
The best explanation I ever had was, "It is just a type class." In other words, don't worry about some deep metaphor. A Monad will have a type constructor, bind and the badly named return. There are laws that say how they&#x2
65.
by sinkasapa 12y ago
I was hoping.
66.
by sinkasapa 12y ago
One cool feature that isn't listed here is that you can use emacs org-mode files instead of markdown to document your project.
67.
by sinkasapa 12y ago
I found the lack of citations in this article to be both disappointing and suspicious. When you conclude "we will need a vastly different approach to science in order to understand the higher-order, emergent capabilities of nature’s se
68.
by sinkasapa 12y ago
This is something I like about hacker news. There are people here who recognize that a thesis stands on the accuracy of its arguments.
69.
by sinkasapa 12y ago
Why would you need to do this for a unit test? Can't you just test the properties of the return value of the outer function like you would for any other value? If the function returned an object, how would that be different?
70.
by sinkasapa 12y ago
It sounds like the testing frameworks in Python must be very limited if this is true.
71.
by sinkasapa 12y ago
I don't see how these problems from the object oriented paradigm necessarily translate to this tool. It assumes a lot about how one plans to use their REST API.
72.
Antidotes to the Imitation Game(wadler.blogspot.com)
2 points by sinkasapa 12y ago|0 comments
73.
Scientific Computing on the Erlang VM(blog.lfe.io)
61 points by sinkasapa 12y ago|13 comments
74.
by sinkasapa 12y ago
I think one fundamental flaw in this study is that Word is a text editor and LaTeX is a markup format. It is just strange to compare a markup format to an editor. For LaTeX they list that at least "TeXnicCenter, LaTeX Editor, Kile, or
75.
by sinkasapa 12y ago
Don't forget financial reasons.
76.
by sinkasapa 12y ago
Look at his sources. This is where he is drawing evidence for his claims. This is why it is important for people with credentials to vouch for each other. It is a web of trust. One can sound reasonable while spouting lunacy if the broader p
77.
by sinkasapa 12y ago
I think that it is a sign of crankwork to imply that the Inca sites were produced by ancient Greeks using stone softening.
78.
by sinkasapa 12y ago
I think I'd take this with a couple of bags of salt without some sign of peer review. Edit: look at his sources.
79.
by sinkasapa 12y ago
Here is a map of suicide rates by state. http://www.nimh.nih.gov/statistics/4NAT_MAP.shtml A dark but humorous interpretation is that the unhappy people in some of these states simply aren't living long enough to
80.
by sinkasapa 12y ago
😭
81.
Fluid Construction Grammar – Video Tutorial Series(fcg-net.org)
2 points by sinkasapa 12y ago|0 comments
82.
by sinkasapa 12y ago
I think it is a great name. It says this is reliable, old school and deep -- not questionable fad marketing fluff. But maybe it would help to do something like: * eOTP * iOTP * openOTP * OTPly * bitOTP * OTP2000 * Margay * Marvelous Margay
83.
by sinkasapa 12y ago
One of my favorite open source tools of this kind is unison. It works great. I set it up to go and I don't even notice it is there. It is quick, seems to have been around for a while and is packaged for most Linux distros. It has a GUI
84.
by sinkasapa 12y ago
Some of the go developers are also acme users so they get both. The Plan9 philosophy, I guess.
85.
by sinkasapa 12y ago
So they'll probably be one of the first to build this coaster. It's inevitable. :-)
86.
by sinkasapa 12y ago
As a general rule of thumb can we all just agree that 90% of all human organizations -- at the very least -- are mediocre? A good resume should be part of escaping these types of places and living a more successful happy life! :-)
87.
by sinkasapa 12y ago
That is funny. I once had someone tell me that. I told them I didn't want to work for a software company that couldn't figure out how to open a PDF document. They called me for an interview anyway, which I declined. It seemed like
88.
by sinkasapa 13y ago
These days what do you need other than a web browser, terminal emulator and text editor? Gnome is similar in usability to TWM and so it works. ;-)
89.
by sinkasapa 13y ago
I like Tanya Khovanova’s perspective: "I started my life wanting to be a mathematician. At some point I had to quit academia in order to feed my children. And so I went to work in industry for ten years. Now that my children have grown
90.
Industry vs Academia(blog.tanyakhovanova.com)
3 points by sinkasapa 13y ago|0 comments

More ›