xjia

15 ms·

121.
by xjia 11y ago
I know it is possible. But I wonder what stops us from doing it for most programs we write from day to day. And, if proving correctness is indeed important (I believe so), can we do something / what is the next thing to do to enable
122.
by xjia 11y ago
If program correctness is easy to prove, why we are not doing that when using either C or Haskell?
123.
by xjia 11y ago
http://www0.cs.ucl.ac.uk/staff/p.ohearn/smallfoot/
124.
by xjia 11y ago
What is the underlying theory behind Coverity? Is it based on separation logic as well?
125.
by xjia 11y ago
How does it compare to ML for the Working Programmer ?
126.
by xjia 11y ago
Hmm.. so is there any work done on program verification, or process communication analysis, with Core Erlang?
127.
by xjia 11y ago
sounds good to me, but why people not doing that? ssd price too high?
128.
by xjia 11y ago
From the benchmark results, this is not much faster than Erlang. Also the graphs only cover 12 cores, while it claims that "Applications can run on a virtually infinite processor count and on arbitrarily large clusters". I would
129.
by xjia 11y ago
Any research paper or documentation on "That guarantee is achieved with no runtime cost"?
130.
by xjia 12y ago
Let me rephrase it like this... How do you face death then? It seems really hard for me now
131.
by xjia 12y ago
What if, eventually, you realize it is no longer possible to be immortal?
132.
by xjia 12y ago
Then I actually wonder how people (with lots of interesting things to do) face death...
133.
by xjia 12y ago
It is almost 8 years ago. Do we anything new to learn in this area?
134.
by xjia 12y ago
What if we're using a different compiler, then? The comment that I was replying to sounds like CMake or something has more magic thus power for a future unknown compiler.
135.
by xjia 12y ago
How do they track the dependencies automatically?
136.
by xjia 12y ago
I'd love to see a "related work" section on the homepage.
137.
by xjia 12y ago
Reminds me of those Flash websites ten years ago.
138.
by xjia 12y ago
Off topic: I clicked because I thought it's sth. related to the ML programming language.
139.
by xjia 12y ago
Please, use Dialyzer for Erlang. BTW, I don't know Go, but Erlang has per-process GC, so there won't be a large heap to scan.
140.
by xjia 12y ago
If more people knew how to write compilers, is it likely that programming languages will be better?
141.
by xjia 12y ago
Inaccurately, programming language = syntax + semantics. Do not waste your time on syntax, if you are going to create a new language, rather than a parser. I'm not saying that syntax is not important. But I feel semantics deserves muc
142.
by xjia 12y ago
That's probably due to the lack of resources (as I mentioned, libraries, tutorials, etc.) for programming server-side webapps in C++. However, this could be a chicken and egg problem. People use Java more often so they produce more re
143.
by xjia 12y ago
If server-side (web)apps were written in C++ instead of Ruby/Python/..., I believe they can sustain much more users before they need to consider horizontal scalability seriously, since we can fully utilize the machine in C++. AFA
144.
by xjia 12y ago
> but ultimately isn't this isomorphic to the halting problem? Take a look at http://matt.might.net/articles/intro-static-analysis/
145.
by xjia 12y ago
What is the difference between recently announced Flow and TypeScript? http://www.reddit.com/r/javascript/comments/2mrngf/what_is_t...
146.
Serverize an arbitrary shell program (especially REPLs) into a web interface(github.com)
2 points by xjia 13y ago|0 comments
147.
Functional combinators for JavaScript(github.com)
2 points by xjia 13y ago|0 comments