The Axis of Eval

Manuel Simoni's blog about programming (languages).

Friday, December 31, 2010

Nice quotations

›
Although I'm not sure I get most of them - Tim Chevalier's Quotations File : [Satanism and Wicca] are to world religions what JavaSc...
1 comment:
Wednesday, December 29, 2010

PL Predictions for 2011

›
JSON will be the default format for new internet APIs. As more people use JSON, we'll see a XML renaissance , as we - for the first ...
1 comment:
Sunday, December 19, 2010

Quick, what does this machine do?

›
From Dieter Rams, ten principles for good design . HXA just published A comment adding to Dijkstra on natural language programming : Softwar...
1 comment:
Thursday, December 16, 2010

On Git

›
Giles Thomas commenting on A Guide to GIT using spatial analogies : A much simpler view IMO is to consider the Git repositories as narrati...
Tuesday, December 14, 2010

HTTP request visualization

›
You can clearly see the handshake, slow-start ramp-up and full bandwidth phases. Packet Flight: HTTP request @ 40X from Carlos Bueno on Vi...
Saturday, December 4, 2010

objectophilia alert!

›
Here is our latest minicluster design. (Ron Minnich on 9fans (hat tip to Chris )) Plan 9 is in the works. This is a nice test and developme...
Wednesday, December 1, 2010

User space? Almost certainly not.

›
> Should this kind of thing be done in user space? Almost certainly not. First off, user-space is a fragmented mess. Just from a "le...

Ghosts of Unix Past

›
One of the most awesome collection of articles on software design is Neil Brown's Ghosts of Unix Past: a historical search for design p...

Nulla Salus Extra Ecclesiam

›
There is always a well-known solution to every human problem - neat, plausible, and wrong. — H. L. Mencken In software design, there often ...
6 comments:
Tuesday, November 30, 2010

Wow

›
A Turing Machine in the classic style : Here's the awesome video: ( via LtU )
1 comment:

Systems programmers relax, most advice isn't for you

›
I'm an incredibly slow programmer (in the hobby projects I do for the love of it, that is). My ratio of thinking to typing must be aroun...
8 comments:

That looks like one fine book

›
( via proggit )
Thursday, November 18, 2010

Numbers Everybody Should Know

›
Julian Hyde graciously transcribed the following table from Jeff Dean's Stanford talk : L1 cache reference 0.5 ns Branch mispredict ...
7 comments:

Foundations for Structured Programming with GADTs

›
Makes me wish I understood category theory: Foundations for Structured Programming with GADTs ( neelk's LtU post ) by Patricia Johann ...
Wednesday, November 17, 2010

Boltzmann Samplers for the Random Generation of Combinatorial Structures

›
To create complex random data objects and shapes like these, use Boltzmann sampling. From the paper Boltzmann Samplers for the Random Genera...
1 comment:

Why are objects so unintuitive

›
In the LtU permathread Why are objects so unintuitive? , Jonathan Shapiro adds another piece to the puzzle : All of the mappings we have so...
3 comments:
Thursday, November 11, 2010

Dependent types linkdump

›
This dependent typing thing has me. For the first time in years I find I'm actually learning something about programming. There is life...
Sunday, October 31, 2010

Concurrency as Basis for Scalable Parallelism

›
David Barbour's Concurrency as basis for Scalable Parallelism may change the way you think about programming: It has been observed th...
1 comment:
Monday, October 25, 2010

Notes on Dependent Types

›
Since discovering Ωmega , I've been drawn into the fantastic world of dependent typing. Dependent types allow the expression of static i...
2 comments:
Wednesday, October 20, 2010

Keeping up with the GNUses

›
Just wanted to mention that for keeping up with GNU/Linux progress, the following two sources are very good: Michael Kerrisk's Linux man...
Tuesday, October 19, 2010

Split stacks!

›
This could be big - in the October 2010 GNU Toolchain Update (subscribe!), Nick Clifton reports that split stacks have been added to GCC. ...
2 comments:
Monday, October 11, 2010

al-Khwārizmī

›
I think that's a great statue showing the act of algorithm design.
3 comments:
Monday, September 27, 2010

Program Your Size

›
When programming, I often find myself striving for minimalism. Trying to make the program as succinct as possible, sweating over details lik...
1 comment:
‹
›
Home
View web version
Powered by Blogger.