ionfish

23 ms·

181.
GHC 7 I/O manager status update(serpentine.com)
31 points by ionfish 16y ago|0 comments
182.
PhDMeatMarket.com, or, Favoritism and Intrigue Mechanized [2004](cscs.umich.edu)
3 points by ionfish 16y ago|1 comments
183.
by ionfish 16y ago
From a PL perspective, you can't beat Benjamin Pierce's Types and Programming Languages . http://www.cis.upenn.edu/~bcpierce/tapl/
184.
by ionfish 16y ago
Clearly he should have read the SEP entry on this very subject, 'The Notation in Principia Mathematica '. http://plato.stanford.edu/entries/pm-notation/
185.
by ionfish 16y ago
That's certainly always the way I've heard it, although I did come across an interesting lacuna when I was reading the the SEP article earlier, which is that the effect of the axiom of reducibility was first noticed by Polish logician Leon
186.
by ionfish 16y ago
Whenever anyone mentions NKS I'm always reminded of Cosma Shalizi's brilliant and hilarious review, 'A Rare Blend of Monster Raving Egomania and Utter Batshit Insanity'. http://www.cscs.umich.edu/~crshalizi/reviews/wolfram/
187.
by ionfish 16y ago
Well, the problem is that first-order theories have an infinite number of theorems, so while one can prove as many theorems using a computer as one likes, there is still nothing to say whether they are of any interest or not. Most results a
188.
by ionfish 16y ago
It is a strange comment. The type theories used in programming languages, certainly in those based on the λ-cube, descend from simple type theory (via the simply-typed λ-calculus), which Russell discarded in favour of his ramified theory of
189.
by ionfish 16y ago
There's a Principia Mathematica anniversary symposium at Trinity College, Cambridge this weekend. http://www.srcf.ucam.org/principia/
190.
by ionfish 16y ago
Pandoc [1] does a pretty good job. The issue with HTML is of course that by design it doesn't deal with presentation: that's the job of the presentation layer (i.e. CSS) and the user agent (usually a web browser). PDFs, by contrast, state j
191.
by ionfish 16y ago
This "two cultures" [1] attitude is, sadly, incredibly pervasive. The idea that there are two kinds of people, two kinds of education, and thus two kinds of careers—one in the arts, one in the sciences—is a product of irredeemable stupidity
192.
by ionfish 16y ago
I'm in the middle of making the same move. My motivations were price (a 512 slice costs half as much on Linode) and locality (Linode have a London data centre; Slicehost don't). So far I've been very impressed.
193.
by ionfish 16y ago
'Unix system programming in Objective Caml' sounds like what you were thinking of. http://ocamlunix.forge.ocamlcore.org/
194.
by ionfish 16y ago
Yes, it's a big improvement. The WebKitCSSMatrix implementation is actually compatible with both specifications: it provides getters and setters for elements a-f as well as m11-m44, and serialises to "matrix(a, b, c, d, e, f)" if the matrix
195.
by ionfish 16y ago
The CSS 2D [1] and 3D [2] Transforms Modules specify that browsers should expose an implementation of the CSSMatrix interface; unfortunately, only WebKit does this at the moment. However, since that's also the only browser in which the CSS
196.
by ionfish 16y ago
Relatedly, Scheme in 15 minutes. http://blog.jcoglan.com/2009/05/19/talk-writing-a-language-i... http://vimeo.com/4339116
197.
by ionfish 16y ago
People specialise earlier in the UK, so a PhD in the States requires a longer run-up to get students to the point where they have sufficient background in a particular field to do research in it.
198.
by ionfish 16y ago
Not to nitpick overmuch, but if functional, object-oriented and logic are the other styles of programming language, then surely the correct adjective to describe Fortran is procedural ? Object-oriented languages are also generally imperati
199.
by ionfish 16y ago
I think it may be unfair to say that they don't care, but certainly the incentives weigh against spending their efforts on teaching (against, say, writing a paper or yet another grant application).
200.
by ionfish 16y ago
I wonder whether it's just that programmers who enjoy functional programming are also the sort of people who enjoy Project Euler problems. Since most of the problems are fairly mathematical, they also tend to have clear and concise expressi
201.
by ionfish 16y ago
A few days ago I added the following rule to my Safari stylesheet: * {-webkit-font-smoothing:inherit!important;} Frankly I think the whole idea is dangerous; antialiasing settings are not something that website authors should be ab
202.
by ionfish 16y ago
This is just a nightly build; both Chrome and Safari's public releases lag some way behind the nightlies, for obvious reasons.
203.
by ionfish 16y ago
While we're talking about Git-backed wikis, Gitit has been around for a little while now: http://github.com/jgm/gitit It supports Darcs and Mercurial repositories as well as Git.
204.
by ionfish 16y ago
Most spam I get comes from my provider anyway, and I imagine that even if they did add something along these lines they would make their own messages get through regardless.
205.
An efficient, purely functional algorithm for matching regular expressions(sebfisch.github.com)
4 points by ionfish 16y ago|0 comments
206.
by ionfish 16y ago
∀ is the standard symbol for the universal quantifier: some proposition is true for all elements in the universe being quantified over. This is stated explicitly in the paper: "The type given for runST above is implicitly universally quanti
207.
by ionfish 16y ago
So much good stuff in there. Brian O'Sullivan mentioned his paper on the GHC event manager on his blog: http://www.serpentine.com/blog/2010/06/14/sightings-of-the-g... He also linked a preprint: http://www.serpentine.com/bos/files/ghc-ev
208.
by ionfish 16y ago
Most of the "eye-opening or incredibly interesting" philosophical material that I've read has been in individual articles rather than books. That said, here are a few favourites from various areas. It's a bit heavily weighted towards recent
209.
by ionfish 16y ago
Only implicitly: no threading model is documented in the ECMAScript Language Specification [1], and no widely-used interpreter implements threading. The new Web Workers specification adds something like threading to JavaScript in the contex
210.
by ionfish 16y ago
Node uses Google's V8 virtual machine, which they built for Chrome. JavaScript is single-threaded, so yes, unless you spawn a child process it'll be limited to a single core.

More ›