octo_t

40 ms·

331.
by octo_t 13y ago
Garbage collectors are incredible things, the ideas are really simple but then the tricks used to optimise them (removing stop-the-world etc) are pretty magical. When they interplay with JITs, everything gets even more complex and fascinati
332.
by octo_t 13y ago
16MB runtime is really painful. Having to pack a huge amount of the standard library (List is backed by a lot of other traits for example) into the js is going to be very difficult to reduce.
333.
by octo_t 13y ago
provides intelligence agencies with information about bugs in its popular software before it *publicly* releases a fix emphasis mine.
334.
by octo_t 13y ago
Well, I don't think this is as bad as you make it out to be. This is fairly standard practice for firms, releasing the knowledge of security holes to customers, especially if a patch isn't prepared. See the entire Heroku/Po
335.
by octo_t 13y ago
Read this paper: http://pdf.aminer.org/000/055/177/static_tokens_using_datafl... If you want more: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=145814... http://w
336.
by octo_t 13y ago
I think that the big usage for out-of-box graphics cards isnt for things like gaming etc, its for massively bulk dataprocessing, CUDA/OpenCL stuff. (Although two graphics cards built in is already pretty decently powered)
337.
by octo_t 13y ago
If you're interested, "Programming Language Syntax and Semantics" by D. A. Watt, and "Syntax of Programming Languages: Theory and Practice" by R. C. Backhouse is probably useful in answering some of those questions.
338.
by octo_t 13y ago
There is interesting stuff about notation (in my opinion to do with parsing but perhaps thats my bias speaking), but people being "picky" about notation is theoretically dull.
339.
by octo_t 13y ago
I was looking for Featherweight Java[1] on that list before I decided it would have been vein for him to include a paper by himself on the list. [1] http://web.eecs.umich.edu/~bchandra/courses/papers/Igarashi_
340.
by octo_t 13y ago
It can certainly be interesting, but most of the interesting research being done is related to the intersection of languages and security. There do exist formalisations, but they are derivative works based on the GREAT papers. Notation is
341.
by octo_t 13y ago
Are you serious? SPJ's work has been incredibly instrumental in bringing functional features (such as LINQ) to C# See: http://www.infoq.com/interviews/simon-peyton-jones-about-mai... http://research.mic
342.
by octo_t 13y ago
Microsofts driver development tool uses something called SLAM[1] to verify device drivers (which are the primary cause of system crashes), which uses Z3 as an SMT[2] solver. SLAM basically models the NT kernel and the Win32 API and checks f
343.
by octo_t 13y ago
I can't seem to reproduce, but I've got two monitors (VGA + HDMI)
344.
by octo_t 13y ago
Programmers in the past couldn't handle memory management either.
345.
by octo_t 13y ago
This close after the leak? Surely give it some time before snatching him, this is such a hot story right now that people are going to draw this conclusion... (Although obviously China etc might also want him for a few "questions")
346.
by octo_t 13y ago
Welp he's dead. Edit: (Sarcasm, I can't imagine the US being this obvious/idiotic)
347.
by octo_t 13y ago
JVM crypto (i.e. using encryption libraries) can be faster than native because of function inlining (whereas in C/C++ you don't inline across libraries at link time because an update to the crypto library would require a recompile
348.
by octo_t 13y ago
I'm surprised the compiler goes straight to assembly, rather than targeting LLVM (most native programming languages) or C- (what GHC does/did)
349.
by octo_t 13y ago
He really doesn't care: http://erlang.org/pipermail/erlang-questions/2013-January/07... "Today there is an unhealthy concentration on language and efficiency and NOT on how things fit together and protocols - teach protocols and
350.
by octo_t 13y ago
this comment incorrectly thinks it is in anyway important or the writer anything other than an irritating pedant.
351.
by octo_t 13y ago
hugs is a different interpreter for haskell, but doesn't have anywhere close to the features of GHCI
352.
Rundown of the newest features in C++11 [pdf](dl.dropboxusercontent.com)
67 points by octo_t 13y ago|36 comments
353.
by octo_t 13y ago
> Git manages the size of the repository more efficiently; while the Mercurial repository has been approaching 50M in size, the Git repository is only 17M. 17MB vs 50MB - almost a third of the size. That is definitely quite impressive.
354.
by octo_t 13y ago
I absolutely love programming in Prolog. I've never needed to write anything large in it at all (which is where most prolog interpreters fail), but when it comes together so beautifully at the end, its quite amazing. I thoroughly recommend
355.
by octo_t 13y ago
Consider Fortress'[1] syntax, its designed to completely typeset and look amazingly readable. [2] has a pretty nice rundown of the syntax, with [3] being a talk at ScalaDays 2012 on what Fortress and Scala can learn from each other syntacti
356.
by octo_t 13y ago
they've even got commits in the Linux kernel!
357.
by octo_t 13y ago
We do: Automatic detection of child pornography using color visual words - http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=60... Automatic detection of child pornography - http://ro.ecu.edu.au/adf/60/
358.
by octo_t 13y ago
Much more relevant is Wat[1], a lisp-like JSON based language by Manuel Simoni, with continuations, dynamic binding, macros and all the other lisp goodies. [1] - https://github.com/manuel/wat-js
359.
by octo_t 13y ago
Seems like a less type-safe version of Scala's implicit value classes, but I might be wrong?
360.
by octo_t 13y ago
Fought and quite literally died for it.

More ›