URLs from /dev/urandom

Specifying Systems

urandomurl — Tue, 22 Sep 2009 17:18:49 +0000

Specifying Systems by Leslie Lamport.

Chaitin’s books online

urandomurl — Mon, 24 Aug 2009 00:37:58 +0000

A list of on-line available books by Chaitin.

Recommended Math/Informatics Olympiads literature (unofficial)

urandomurl — Fri, 24 Apr 2009 17:12:06 +0000

Henry Baker’s Archive of Research Papers

urandomurl — Thu, 09 Apr 2009 10:08:50 +0000

Henry Baker’s Archive of Research Papers

From Creationism to Evolutionism in Computer Programming

urandomurl — Thu, 26 Feb 2009 17:03:40 +0000

From Creationism to Evolutionism in Computer Programming (presentation slides) by François-René Rideau

Nils M Holm’s programming text books

urandomurl — Tue, 24 Feb 2009 19:34:09 +0000

Programming Textbooks by Nils M Holm

Algorithms and Genetic programming

urandomurl — Tue, 20 Jan 2009 01:42:07 +0000

A Field Guide to Genetic Programming pdf

GP is a systematic, domain-independent method for getting computers to solve problems automatically starting from a high-level statement of what needs to be done. Using ideas from natural evolution, GP starts from an ooze of random computer programs, and progressively refines them through processes of mutation and sexual recombination, until solutions emerge.

Algorithms by Sanjoy Dasgupta, Christos Papadimitriou, Umesh Vazirani

Playing with bits

urandomurl — Sun, 14 Dec 2008 07:08:41 +0000

Bit Twiddling Hacks By Sean Eron Anderson

Fundamental Practices for Secure Software Development

urandomurl — Sat, 15 Nov 2008 13:15:42 +0000

Based on an analysis of the individual software assurance efforts of SAFECode members, the paper outlines a core set of secure development practices that can be applied across diverse development environments to improve software security.

pdf

Parallel programming patterns

urandomurl — Mon, 13 Oct 2008 22:00:19 +0000

Resources on Parallel Patterns

Parallel Programming Patterns References