tech
- FIB in PowerPC assembly and in JONESFORTH (10 October 2007, 07:15)
- Reflection on floats (01 May 2007, 11:18)
- Source Code Repositories (30 March 2006, 16:24)
- Chicken Cairo update (17 November 2005, 11:56)
- The things we do (24 September 2005, 21:50)
- Mac Powerbook 12" repaired, finally! (13 June 2005, 23:50)
- Mac Powerbook 12" hard-disk surgery (06 April 2005, 14:23)
- Unrolling Recursion, the Golden Ratio, and Partial Evaluation (09 January 2005, 23:39)
- A Little Language Shootout (30 October 2004, 21:59)
concur2004
systems-biology
scheme
smalltalk
- Summary of my Concur '04 experience (06 September 2004, 23:53)
bioconcur
avocs
releases
- Protein Folding Simulation in CCP (30 August 2004, 18:01)
- Multiple Biological Model Classification:
From System Biology to Synthetic Biology (30 August 2004, 17:06)
- SBML - Systems Biology Markup Language (30 August 2004, 16:27)
- Gene Regulation in the Pi Calculus: Simulating
Cooperativity at the Lambda Switch (30 August 2004, 16:26)
- Modelling the influence of RKIP on the ERK signaling pathway
using the stochastic process algebra PEPA (30 August 2004, 16:04)
- Concur 2004 (30 August 2004, 11:21)
- An Approach towards Stochastic Ambients (04 September 2004, 17:52)
- Model Checking Functional and Performability
Properties of Stochastic Fluid Models (04 September 2004, 17:32)
- Towards a unifying CSP approach for hierarchical
verification of asynchronous hardware (04 September 2004, 17:18)
- A generic cost model for concurrent and data-parallel meta-computing (04 September 2004, 15:50)
- Finding symmetry in models of concurrent systems
by static channel diagram analysis (04 September 2004, 15:50)
- Structural Translation from Time Petri Nets to Timed Automata (04 September 2004, 12:46)
- Probabilistic Model Checking of the CSMA/CD
protocol using PRISM and APMC (04 September 2004, 12:23)
- Software Model Checking Based on Game Semantics and CSP (04 September 2004, 10:23)
- Extracting Algorithms From Code (04 September 2004, 09:03)
- Chicken SDL v0.4.51117.0 (17 November 2005, 12:45)
- From TLA to Darcs (30 October 2005, 09:50)
- Chicken Cairo 0.1.2 alpha (13 February 2005, 14:05)
- GNU/Arch archives moved (13 February 2005, 13:09)
- Chicken SDL v0.3p2 (30 December 2004, 14:46)
- Chicken SDL v0.3p1 (01 December 2004, 13:50)
- Chicken SDL and Chicken Cairo (09 November 2004, 13:40)
- StoJ gets a home of its own (14 April 2005, 11:04)
- StoJ, an implementation of Stochastic Join (15 September 2004, 00:02)
- Stochastic Join? (14 September 2004, 22:49)
- scheme-pg port to MacOS X, MzScheme v299.400 (24 September 2005, 19:58)
- Partial Evaluation (13 March 2005, 23:51)
- Syntactic Closures vs. syntax-case (24 February 2005, 10:11)
- Transactional Memory (09 January 2005, 23:53)
- Reflection and Message-Oriented Programming (01 January 2005, 23:39)
- Midnight Inspiration (16 September 2004, 03:23)
thing
zowie
- Submatches vs. Recursion in ThiNG Patterns (22 May 2006, 23:49)
- Partial-evaluation of Monads in Scheme - A New Hope? (21 May 2006, 13:28)
- Monads in Scheme - A Retraction (19 May 2006, 05:11)
- Monads in Scheme - Update (11 May 2006, 17:54)
- Trait Composition in ThiNG (11 May 2006, 15:16)
- Recent spikes in ThiNG (08 May 2006, 18:03)
- The Pure Pattern Calculus, and Extensible Records With Scoped Labels (09 December 2005, 10:12)
- Design Problems in ThiNG (24 November 2005, 21:20)
- ThiNG repository available (03 November 2005, 14:20)
- Second ThiNG spike (17 October 2005, 11:08)
- A Web view for zowie (12 January 2005, 15:04)
- Clipping in Cairo (06 January 2005, 00:47)