mej10

31 ms·

271.
by mej10 13y ago
Also curious. That would be totally awesome.
272.
by mej10 13y ago
This app looks amazing, great job.
273.
by mej10 13y ago
This is my thought as well.
274.
by mej10 13y ago
On words that have "st" there is a ligature between the s and t. It looks like this: http://typophile.com/files/Letter_st_6439.jpg There is also one on "ct".
275.
by mej10 13y ago
Now the question is, do meditators just hallucinate a feeling that gets processed into a memory of having achieved such a state?
276.
by mej10 13y ago
http://en.wikipedia.org/wiki/Examples_of_vector_spaces
277.
by mej10 13y ago
Why Homotopy Type Theory? It is cutting edge research and it doesn't seem clear to me that it is going to have an impact on functional programming (of the non-mathematical research type) any time soon. Am I mistaken?
278.
by mej10 13y ago
Yep, these are the ones I was referring to. Nothing major, and I do like my setup.
279.
by mej10 13y ago
I agree. I was glad to find that it is easy to upgrade the RAM, it would be awesome if the hard drive was just as easy. I ended up going the external thunderbolt SSD upgrade route, since I didn't really feel comfortable pulling apart m
280.
by mej10 13y ago
This looks awesome! I will be interested to see how well you can make the features fit together. I have been really interested in languages that give you tools for reasoning at multiple levels of abstraction. Have you tried seeing how a ful
281.
by mej10 13y ago
http://en.wikipedia.org/wiki/Ontological_argument There are obvious (and not so obvious) problems with such an argument even when formalized, some of which are discussed on the Wikipedia page.
282.
by mej10 13y ago
This is pretty cool! I think the usability is better than mathbin, and I like the list of easily findable/clickable examples. Could even be useful for learning math formatting with LaTeX.
283.
by mej10 13y ago
I am surprised by this. Will you expand on why you're not making it open source?
284.
by mej10 13y ago
I think this is awesome! I had the thought the other day that perhaps using a VM or the lightweight container technologies (like Jails or Docker) that we should be able to do this. Glad to see someone is already working on it!
285.
by mej10 13y ago
Security-wise it is no different than installing a multitude of software packages onto your computer, which many developers are already comfortable with (whether they should be or not).
286.
by mej10 13y ago
Your statement of the incompleteness theorem isn't right, and the general axiom of choice isn't accepted by constructivist mathematicians. So I think your last statement is true. Some of the greatest mathematicians of the era were
287.
by mej10 13y ago
This is why you should actively abstain instead of staying home if you truly don't like any of the candidates.
288.
by mej10 14y ago
A post on the future of programming languages without mentioning Agda, Coq, or OMeta? I think we are just now getting beyond the "low-hanging fruit" era of programming languages.
289.
by mej10 14y ago
This is a great summary and application of your ideas.
290.
by mej10 14y ago
I agree that they are mostly a platform, but they have had at least one game come out every year (except 2002) since it started. Recent ones: Portal 2 - 2011; Counter-Strike: Global Offensive - 2012; Dota 2 (to be released) - 2013
291.
by mej10 14y ago
I would like to hear more about taking advantage of the "Hospitals always have a hard time filling nursing demand" My wife is a nurse and we are moving to a new city soon. Seems like a good time to optimize her employment if we can. With fr
292.
by mej10 14y ago
Has anyone started work on an Emacs Lisp to ClojureScript compiler? :) Speaking of which, are Emacs keybindings coming any time soon?
293.
by mej10 14y ago
Can you expand on "or what is Haskell, and why there is nothing special in it" ?
294.
by mej10 14y ago
I was surprised by how understandable the concepts are behind this stuff. I second this recommendation. They are really cool algorithms. For real life, there is obviously a huge engineering component, but you can definitely see how the idea
295.
by mej10 14y ago
http://www.paulgraham.com/avg.html
296.
by mej10 14y ago
Why can't you launch them as some guy? I see people giving diet advice all the time, and making money off selling things to go along with it. They all just put standard disclaimers at the bottom of the page saying that it isn't medical advi
297.
by mej10 14y ago
How is rent control like that legal?
298.
by mej10 14y ago
"Autistic Social Software" http://www.danah.org/papers/Supernova2004.html Doesn't talk about FB, as it wasn't yet a dominant force yet.
299.
by mej10 14y ago
Less Wrong: http://lesswrong.com/user/aaronsw/overview/
300.
by mej10 14y ago
This should be the default for all code and data produced by publicly funded research.

More ›