johnbender

10 ms·

91.
by johnbender 12y ago
IIRC, Traceur compiles to es5 which is not supported in IE 8. [edit] It's not clear to me that this project compiles to es3, but that was my assumption when reading "JavaScript that will work today".
92.
by johnbender 12y ago
It's important to realize that common sense is never a replacement for a proof or emperical result. That is, common sense is not sufficient to refute the claims made by the original paper. The power of science is that it often defies r
93.
by johnbender 12y ago
It's not clear if this directly addresses your complaint ("programming education" vs "computer science education") but there is a specific special interest group for computer science education that's been holdi
94.
by johnbender 12y ago
I'm not sure if this fits all your needs but there seems to be at least some meaningful overlap: http://developmentseed.org/blog/2012/june/25/prose-a-content...
95.
by johnbender 13y ago
Possibly more interesting is a machine checked implementation. http://www.mitls.org/wsgi
96.
by johnbender 13y ago
I'm not sure that's necessarily the case. See my comment above about sequential consistency.
97.
by johnbender 13y ago
Isn't it often the case that the optimizations throw out sequential consistency guarantees? That would introduce non-determinism in concurrent executions that might have nothing to do with the semantics of the program. For example, I&#
98.
What is a Type System for?(michaelrbernste.in)
11 points by johnbender 13y ago|0 comments
99.
by johnbender 13y ago
I'm curious if anyone can comment on how sequential consistency guarantees fit into this? There's been some work done in my group at UCLA to show the slowdown incurred by making SC guarantees might be tenable. http://dl
100.
by johnbender 13y ago
For anyone who comes across this thread and is genuinely interested in educating themselves about how programming languages can be constructed in a principled way (what I would call sane) you can consult Pierce's Types and Programming
101.
by johnbender 13y ago
Sorry I thought I was being clear when I mentioned operational semantics but in retrospect that may have been totally unclear. I recommend Pierce's Types and Programming Languages. It has everything you need to learn about operational
102.
by johnbender 13y ago
This was my primary frustration with the article. It notes that the "bulk" of the work in building a programming language is in defining the semantics but devotes absolutely no space to the process, tools, and tradition. A program
103.
by johnbender 13y ago
Kay and his research team at VPRI have been studying significant reductions in complexity through DSLs and meta-languages [1]. You can get a nice overview of the work from his talk at Qualcomm [2]. [1] http://www.vpri.org/vp
104.
Computer Science Theory in Practice(cstheory.stackexchange.com)
1 points by johnbender 13y ago|0 comments
105.
by johnbender 13y ago
The difficulty with type errors partly arises out of inference. The program assumes NOTHING about the type of the expressions and instead collects constraints as it descends into sub-expressions. Once it has finished collecting constraints
106.
A Better SQL, Part 1(johnbender.us)
2 points by johnbender 13y ago|0 comments
107.
by johnbender 13y ago
While this doesn't help you decide on the topic, if you have even a vague sense for what you want to read about, most people just use Google Scholar. Nearly all CS papers are posted by the authors on personal pages in PDF form. Once yo
108.
by johnbender 13y ago
"Everything as an expression" is concept that exists entirely separate from LISP as a programming language. Eg, in the untyped lambda calculus everything is indeed an expression and it obviously predates LISP. The thing that makes
109.
by johnbender 13y ago
I didn't cover this at all, but I am very excited about the education and the process. For most people though some stronger reasoning is necessary and my understanding is that the research is really the point of PhD, the education is
110.
Why I'm Getting a PhD(johnbender.us)
137 points by johnbender 13y ago|124 comments
111.
by johnbender 13y ago
It looks like you can sign up for information updates on the new HP and Acer Chromebooks on the devices page: http://www.google.com/intl/en/chrome/devices/chromebooks.htm...
112.
Web Based Haskell IDE/App Server from FP Complete(fpcomplete.com)
51 points by johnbender 13y ago|17 comments
113.
by johnbender 13y ago
"the mistake of thinking paying customers give a crap about how easy it is to [write|deploy|test|debug] your app" In general I agree but if those things have a material effect on how good the app is (e.g. "focused" funct
114.
by johnbender 13y ago
I'm not familiar with ansible so I won't attempt to compare the two but I can offer you a short list of benefits that Vagrant provides over building VMs manually with Virtualbox, VMWare, etc. 1. Single command setup across virtual
115.
by johnbender 13y ago
Why is it so hard to imagine building this with web technologies. The app is simple enough and then many more platforms would be supported by default My argument is that there simply isn't any reason to make this a native app and by do
116.
by johnbender 13y ago
This is silly. Built with web technologies you'd get most of those for free. This isn't facebook, the app is simple enough that the web is viable platform for delivery.
117.
by johnbender 13y ago
The app is simple enough that it seems within the realm of possibility that it would take less time to build it using the web thereby getting support for many more operating systems for free.
118.
by johnbender 13y ago
I'm not sure about obtaining location information (ie, I don't know about geo api support) but "maps on the web" are extremely robust.
119.
by johnbender 13y ago
Accessibility, by definition, is about accommodating as many users as possible be they impaired or otherwise.
120.
by johnbender 13y ago
Lets start with something simple here: I'm not contending in any way that anyone owes me anything. I'm asking whether it wouldn't be better to spend the money on building a simple web application instead of focusing on these

More ›