mneary

6 ms·

1.
by mneary 8y ago
atomic bomb?
2.
Monads and Breakthroughs(blog.mattneary.com)
2 points by mneary 11y ago|0 comments
3.
Innovation against Assumptions(blog.mattneary.com)
1 points by mneary 11y ago|0 comments
4.
Idea Filters(blog.mattneary.com)
1 points by mneary 11y ago|0 comments
5.
by mneary 12y ago
Reading this reminded of a fun quote: "Google uses Bayesian filtering the way Microsoft uses the if statement" [1]. I imagine that having probabilistic values as first class primitives is a step in this direction. [1]: http:&#x2F
6.
by mneary 12y ago
Function composition is a single, special case of a function accepting functional arguments. You could define the compose operator as below: compose : (a -> b) -> (b -> c) -> (a -> c) a `compose` b = \x -> b(a(x)
7.
by mneary 12y ago
Function composition is very different from passing one function into another and the latter is definitely a concept that most Algebra 2 students would not be able to grok.
8.
by mneary 12y ago
My first thought when I read this title was that there should be a site like Hoogle for mathematical proofs, where one could search by type signature for existing proofs. I'm not sure if people often think of proofs in terms of their t
9.
by mneary 12y ago
That's really quite impressive! I hadn't realized that you meant that an endpoint can be referenced "in the abstract" without explicit parameters, which makes for much easier integration. For some reason, though, I feel
10.
by mneary 12y ago
Yeah, I realized the same thing; this aspect really makes it harder to keep the system simple, naturally. I've thought about different ways of approaching this, considering chained requests as a possibility.
11.
by mneary 12y ago
Thanks, I will definitely look into that.
12.
by mneary 12y ago
I had a similar goal, and built a simple shell script[1] that would enable its user to write tests as curl requests. [1]: http://mattneary.com/Quizzical/
13.
Learning Quickly and Breaking Things(blog.mattneary.com)
1 points by mneary 12y ago|0 comments
14.
by mneary 12y ago
I think that this can be improved by removing the All and Any operators and instead letting segmentations be nested. So for example: All a = b Any All c = d d = f c = e would be a = b c = d
15.
Get Accepted by a Top School(blog.mattneary.com)
5 points by mneary 12y ago|0 comments
16.
How the Economy Works(blog.mattneary.com)
2 points by mneary 13y ago|0 comments
17.
by mneary 13y ago
Considering the idea of a programming language a fundamental innovation derived from FORTRAN disregards earlier concepts, like Gödel numbering from the year 1931, which exhibit language interpretation. I guess what I'm trying to say is
18.
by mneary 13y ago
I think being a valedictorian has a lot more to do with saying goodbye (vale) than it does being validated, but I do think you might be right about Google's bias toward those who seek validation.
19.
by mneary 13y ago
A for-loop might be a basic programming construct, but it shouldn't be. Mutation and a control flow construct makes for a much worse outlook to the problem than does recursive application of a function.
20.
by mneary 13y ago
A far cleaner solution: console.log(process.argv.slice(2).reduce(function(a, x) { return a + parseFloat(x) }, 0));
21.
by mneary 13y ago
This is generally the case; however, for those truly gifted at math, high-school math, and for the most part college math, is fully understandable by intuition alone.
22.
by mneary 13y ago
There are plenty of worthwhile subjects in Math which have no concrete application to the real world. One needs to be able to understand these abstract ideas for what they are, not merely formality surrounding a simple real life phenomenon.
23.
by mneary 13y ago
I went back and forth with that. I think I went with postfix because there exists another syntax which looks prefix: T([Number, Number])(function(x) { return x; }) For this method, a function type is defined and then serves as a co
24.
by mneary 13y ago
With Typical[1], I took a different approach enforcing types on the functions. [1]: https://github.com/mattneary/Typical
25.
by mneary 13y ago
I do not see how anyone could possibly believe the author is exhibiting misogyny. Perhaps you are confused by the meaning of the word: Misogyny /mɪˈsɒdʒɪni/ is the hatred or dislike of women or girls.
26.
by mneary 13y ago
Just under 3 minutes!
27.
by mneary 13y ago
I think you are making quite a few generalizations. I've on multiple occasions coded for over 12 hours straight. With regard to all-nighters, I've had them stretch to noon.
28.
by mneary 13y ago
Although I know these are intended for nav-bars, a nice pattern I remember seeing for body links was use of a diamond prefix, and underline upon hover. It was nicely subtle, yet distinguishable and overall great for bodies of text.
29.
by mneary 13y ago
Prisoner's Dilemma by William Poundstone traces his development of game theory.
30.
by mneary 13y ago
Anyone else catch the Gauss reference[1] in the for loop section? [1] http://en.wikipedia.org/wiki/Carl_Friedrich_Gauss#Anecdotes

More ›