Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Raphael_Amiard
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
16 ms
·
91.
▲
by
Raphael_Amiard
14y ago
Yes let's see, losers like Louis Armstrong, Thelonious Monk, Victor Hugo, Jack London, Rabelais, Bill Gates, etc ..
92.
▲
by
Raphael_Amiard
14y ago
It is absolutely gorgeous, but it is also looking a lot more like a traditional text editor from what i can gather. I'll download and play with it a bit anyway, to see what i get from it.
93.
▲
by
Raphael_Amiard
14y ago
Am i the only one seeing this as a high-end computer with : - Linux drivers working out of the box - Amazing screens - Very easy to transform into a full fledged Linux development machine I hope it can fit the bill, certainly looks promisin
94.
▲
by
Raphael_Amiard
14y ago
> it will make life a lot better for CUDA programming too Well having done quite a bit of CUDA programming under Windows and Linux, i'm interested in knowing what you find lacking on Linux ? Performance wise i can report CUDA is just as
95.
▲
by
Raphael_Amiard
14y ago
Ok thanks !
96.
▲
by
Raphael_Amiard
14y ago
> Also I don't understand why you say that the students graduating from grandes écoles are technically incompetent. I believe that this is a false statement regarding the domains of physics, mathematics, or general engineering, but i th
97.
▲
by
Raphael_Amiard
14y ago
> You obviously don't know anything about the French academic system and grandes écoles. Or you are being hypocritical. Well i obviously know some, i've done two master degrees in French university, one in Computer Science and one in So
98.
▲
by
Raphael_Amiard
14y ago
I did a quick check of the implementation, am I wrong in thinking every primitive type is boxed ? If it is the case, i expect the performance to be pretty abysmal. Do you have some data on that ?
99.
▲
by
Raphael_Amiard
14y ago
Just one point : > C++ doesn't have this [Tools for writing IDEs quickly] Well indeed it does, libclang does exactly that, and quite well. As a result, you have plugins for Vim, Sublime Text and others providing autocompletion and in ed
100.
▲
Sublime-Typescript - A TypeScript plugin for Sublime Text
(github.com)
1 points
by
Raphael_Amiard
14y ago
|
0 comments
101.
▲
by
Raphael_Amiard
14y ago
Except they have, in search
102.
▲
by
Raphael_Amiard
14y ago
> In programming language terms, I seem to be doing some kind of just-in-time compilation Seems a lot more like abstract interpretation to me ! Would be a lot more logical too :)
103.
▲
The Global Village Construction Set - Open Source Ecology
(vimeo.com)
1 points
by
Raphael_Amiard
14y ago
|
0 comments
104.
▲
by
Raphael_Amiard
14y ago
Ok, duly noted
105.
▲
by
Raphael_Amiard
14y ago
I'm not :) I'm just providing some context. This project has more fundamental issues in my opinion if you want to consider it as a real replacement for ocamlopt, as i explained here http://news.ycombinator.com/item?id=4798320 . It is not,
106.
▲
by
Raphael_Amiard
14y ago
Ok brace yourself, this is gonna be a long answer :) Go down for the TLDR if you don't want to read everything. It really depends on your approach. This project isn't well suited for performance, because it treats OCaml's bytecode , which
107.
▲
by
Raphael_Amiard
14y ago
Well the use of C++ instead of OCaml allowed us a certain number of things : - Most notably reading OCaml's header files, and hence using the correct, macro declared data types in LLVM code generation. This could have been done with an hybr
108.
▲
by
Raphael_Amiard
14y ago
I wasn't aware of that. The Z3 name was imposed as part of the university project this started with. It was supposed to be part of the VMKit suite of compilers, J3 being the Java bytecode compiler and N3 being the .Net compiler. I'd be happ
109.
▲
Z3 : An LLVM backed runtime for OCaml
(raph-amiard.github.com)
61 points
by
Raphael_Amiard
14y ago
|
19 comments
110.
▲
by
Raphael_Amiard
14y ago
This made me think about stevey's google platform rant, when he talks about internal API's being the key to amazon success. link : https://plus.google.com/112678702228711889851/posts/eVeouesv... Very good article by the way. Not very thor
111.
▲
by
Raphael_Amiard
14y ago
> Dustin Curtis never said that people weren't important Of course he didn't, and i think even original commenter wouldn't think he would. The way i understood it, OP position is that even spending that much time on objects is taking to
112.
▲
by
Raphael_Amiard
14y ago
> I know Dustin sometimes alienates people, but it makes me sad to see such a mean comment in reply to a thoughtful essay I agree that the comment has a mean tone, but i think the gist of it is quite thoughtful. > In fact I'll coin
113.
▲
by
Raphael_Amiard
14y ago
Heh, thanks :) But i'm not :/ Anyway, it was already a good deal in the first place, i'm not gonna complain.
114.
▲
by
Raphael_Amiard
14y ago
Thank you Google, for making the Nexus 7 16gb 199$ 1 week after i bought mine .. I love this tablet, but the one thing i really wish is i had the 16gb version, but couldn't afford it at the time.
115.
▲
by
Raphael_Amiard
14y ago
> I didn't mean to imply that they don't have the right to anonymity, just that I don't think that Google is any less right for refusing to provide it. It is their platform, and those who feel they require anonymity are free to choose a
116.
▲
by
Raphael_Amiard
14y ago
> Where were you during Apple's presentations? This has absolutely no relevance, i hope one is still allowed to be critical of something without simultaneously pointing out all similar flaws in the universe. > For example, if I were
117.
▲
by
Raphael_Amiard
14y ago
It gave me warm fuzzy feelings to see two members of the IE team with Firefox sweaters ! That's what you can call healthy competition i guess.
118.
▲
by
Raphael_Amiard
14y ago
> In the case of the developers of Go, we are talking about people who I believe to be smarter than the vast majority of programming language researchers Why would you have such an opinion ? I can turn the problem in my head a thousand
119.
▲
by
Raphael_Amiard
14y ago
I think Simon Peyton Jones says it best about Haskell : http://www.youtube.com/watch?v=iSmkqocn0oQ He says Haskell is useless. Without even debating that (it can certainly be useful for certain classes of programming problems), you can se
120.
▲
by
Raphael_Amiard
14y ago
> Second, performance is as good or better than pretty much anything else that is not optimized C or C++ You are kind of overlooking the JVM here. Also Mono is kind of portable, and .Net on windows is fast, but you can't really have b
More ›