jaen

16 ms·

181.
by jaen 15y ago
A project similar to the one you described: http://code.google.com/p/hotwire-shell/
182.
by jaen 16y ago
Previous discussion about the (awesome) GC: http://news.ycombinator.com/item?id=2022723
183.
by jaen 16y ago
Each CUDA "core" is actually a lane in a 16-wide SIMD processor, so it has 20 CPUs in the traditional sense. (Intel CPUs have 4-way SIMD with SSE) Only one "program" (kernel) could run on the older GPUs in parallel, on newer GPUs you can ha
184.
by jaen 16y ago
You can use ElementTree's iterparse() function (also available for lxml) to do incremental parsing while still having XPath-like functionality available for the elements you like (manually calling the .clear() method to release memory). ht
185.
by jaen 16y ago
Buddhism figured this out a long time ago - instead of "self-discipline" there is "mindfulness", a permanent understanding of what is going on with you and around you. Focusing not on the self but on the truth will avoid many of the faults
186.
by jaen 16y ago
That's what DHT's like Kademlia were invented for, used by P2P systems such as ed2k (eMule), BitTorrent decentralized tracking, and "web-scale" software such as memcached and friends.
187.
by jaen 16y ago
Does not work in latest Chrome?
188.
by jaen 16y ago
Dropbox uses Amazon S3 for their storage. Google and Microsoft have their own cloud storage backends - if they did acquire Dropbox, they would probably throw away most of the technology, making an acquisition somewhat less likely.
189.
by jaen 16y ago
The benchmark for theorem provers is the CADE theorem proving competition [1]. For SMT provers there's SMT-COMP [2]. Z3 last participated in 2008 [3], with decent results, but "world's fastest" seems a bit too generous. [1] http://www.cs
190.
by jaen 16y ago
In the server markets, you look at performance per watt and performance per rack unit and ease of setup - for general purpose computation, Intel still dominates those metrics. (with some exceptions [1]). Being ahead in fab technology, it ca
191.
by jaen 16y ago
Awesome. How about using the gathered knowledge to write free firmware for the network card?
192.
by jaen 16y ago
By modern hardware I assume you do not mean x86? Self-modifying code (without flushing the I-cache) is still allowed even on the latest processors. Modern OSes indeed do not mark all pages read/execute by default, but that takes a 1-line mp
193.
by jaen 16y ago
"By early in 1997, Ensemble will be an outstanding environment for building Java-based groupware applications that do multimedia conferencing on the Web." Oh boy, sure brings back memories...
194.
by jaen 16y ago
A lot of research has not made its way into any language yet. In particular, the data models and optimizers of current languages are woefully inadequate. Most mainstream programming languages are still in their infancy, being nothing more t
195.
by jaen 16y ago
HTML5 allows you to position elements on top of the drawing canvas and use a transparent canvas so the background of the page would show through the drawing. Flash does not, unless you add wmode=transparent to the parameters.
196.
by jaen 16y ago
Flash defaults to "non-web-friendly" (windowed) flags by default, HTML5 defaults to "web-friendly" flags. As a commenter said, you can also make the canvas tag opaque by using a special browser-specific style. If you remove the windowless f
197.
by jaen 16y ago
HTML5 does all of that out of the box without any flags, so it's a fair comparison.
198.
by jaen 16y ago
Wow - the site freezes my Chromium (nightly) tab for it. Never had that happen before for websites - only plugin-related issues. Guess that is what you get for using spankin' new features!
199.
by jaen 16y ago
That's one side of the story... the other side is that OpenOffice was stagnating, in terms of commits and added developers, the current developers were not happy with how the community was managed by Sun/Oracle, and eventually decided to ta
200.
by jaen 16y ago
Exactly, with Clang/LLVM it would be possible to have the same thing with a modern, cross-platform frontend/backend!
201.
by jaen 16y ago
Cool but somewhat unpractical option: soon it might be possible to boot an optimized kernel from source, like http://bellard.org/tcc/tccboot.html
202.
by jaen 16y ago
"Any software problem can be solved by adding another layer of indirection." -Steven M. Bellovin
203.
by jaen 16y ago
Psyco is unmaintained, the developer of it (Armin Rigo) is working on PyPy (a Python compiler written in Python) instead: http://codespeak.net/pypy/dist/pypy/doc/ They are already seeing quite nice results for computation-heavy benchmarks
204.
by jaen 16y ago
At first sight, this looks like a major improvement over C++ and even more powerful than D with less ad-hoc features. Interesting language features, as far as I can tell: * Type inference * First-class functions/closures (interesting compar
205.
by jaen 16y ago
Select parts: [on an assertion by the expert witness of SAS] That evidence was capable of seriously misleading a non-technical judge. [judge doing fact checking from Wikipedia] In my judgment the SAS Language is a programming language. I am
206.
by jaen 16y ago
People from Mozilla, including Brendan Eich, creator of JavaScript, are working on a new language called Rust. The compiler is written in OCaml. http://lambda-the-ultimate.org/node/4009
207.
by jaen 16y ago
Yeah, adding shared memory byte arrays to web workers would be really great for data-intensive tasks such as this. Anyone up for massaging the spec group? ;)
208.
by jaen 16y ago
needs web workers for some multicore sweetness!
209.
by jaen 16y ago
Generics requiring type casts and a common base class is Java type-erasure braindeadness. CLR (.NET) generics compile separate code for each value type parameter, so you can have eg. vectors of structs, with the same performance as in C++.