Tasty » Adam Sampson's research bookmarks

Gérard Boudol's Home Page edit / delete

Some concurrency-related papers, including "Non-interference for concurrent programs".

to concurrency papers research ... on 03 November 2007

Gregory's Guest House edit / delete

Run by friends of Jon's.

to cosmos research ... on 02 November 2007

The Debian GNU/Linux AMD64 HOW-TO edit / delete

This talks in particular about schroot, which is a very neat tool.

to debian linux research x86-64 ... on 29 October 2007

Porting UNIX/Linux Applications to Mac OS X: Open Directory and the dscl Tool edit / delete

Adding users to a Mac without using the GUI.

to admin mac research software ... on 29 October 2007

Boids (Flocks, Herds, and Schools: a Distributed Behavioral Model) edit / delete

The original Boids (including Lisp source) and lots of references about it.

to alife boids cosmos lisp research ... on 24 October 2007

Boids Pseudocode edit / delete

Not quite the real Boids algorithm, but it seems to demonstrate flocking behaviour nicely. This is what Paul and I used for occoids.

to alife cosmos research ... on 24 October 2007

Transputers, Helios, and more fun edit / delete

Mostly about the Atari Abaq Transputer-based workstation and HeliOS.

to os research retrocomputing transputer ... on 26 September 2007

The Quetzalcoatl C/UPL Compiler Homepage Version 2.1.0 BETA edit / delete

A 6502 Tiny C compiler.

to 6502 compiler research retrocomputing ... on 30 July 2007

Neil Mitchell - Catch: Case Totality Checker for Haskell edit / delete

Unfortunately this uses Yhc, and I doubt somewhat that Yhc can compile Tock yet (given that GHC barely manages it)...

to haskell research static ... on 23 July 2007

Alex edit / delete

Lexer generator for Haskell. May be worth using for Tock, with a follower pass that applies the line ending rules.

to compiler haskell lexer research ... on 23 July 2007