Tasty » Adam Sampson's programming bookmarks

Sage: A Programming Language with Hybrid Type-Checking edit / delete

A functional language with a type system that lets you say things like "X is a balanced tree". Might be worth borrowing some ideas from for concurrency safety checks using a type system.

to concurrency design language programming research types ... on 07 June 2006

Bluish Coder: Narrative Javascript edit / delete

Process-oriented code using continuations. It'd be interesting to implement an occam-style environment on top of this.

to concurrency continuations javascript programming research ... on 30 May 2006

Web continuations - RIFE - Confluence edit / delete

Another continuations library for Java; this one supports something more along the lines of generators/mobile processes.

to concurrency continuations java programming research web ... on 23 May 2006

Gameboy Advance development page by Avelino Herrera Morales edit / delete

MIDI output from the GBA's serial port. Pretty neat.

to electronics gba midi programming ... on 23 May 2006

Commons Javaflow - Overview edit / delete

Jakarta's bytecode-fiddling implementation of continuations in Java.

to concurrency continuations java programming research ... on 23 May 2006

Advanced Control Flow - Continuations edit / delete

Sample "we can't do this, but..." process-oriented web code from the Cocoon manual.

to concurrency continuations programming research web ... on 23 May 2006

Peter Klausler's home page edit / delete

Cray engineer and IOCCC entrant. Has some worthwhile stuff about vector processing and bit-op tricks.

to bit-twiddling obfuscated parallel programming research vector ... on 20 May 2006

Bluish Coder: Lightweight threads in the browser edit / delete

Erlang-style concurrency for Javascript (messaging between processes -- which seems hideously limited to me from an occam perspective, but does appear to work pretty well in many systems).

to concurrency javascript programming research web ... on 20 May 2006

Computational Theology : Weblog edit / delete

The more interesting question, I feel, is whether it'd be possible to use a process-oriented approach for building web apps, where you have channels to and from the user, and your code to interact with a single user is a process. Something to play with in

to concurrency continuations design language programming research web ... on 20 May 2006

Pnuts User's Guide edit / delete

A scripting language for the Java VM. Apparently very fast.

to design java language programming research ... on 10 March 2006