teaching
meta
tech
- Trigonometry animation (19 April 2010, 16:32)
- About this site (18 May 2011, 16:03)
- Comments enabled (18 April 2010, 11:42)
- Network server programming with OCaml (07 January 2012, 20:49)
- Why Object-Oriented Languages Need Tail Calls (01 October 2011, 15:29)
- Oakley Groups 2 and 14 with OpenSSL (16 August 2011, 14:19)
- Signs of an ill-factored system (19 July 2011, 10:48)
- Desiderata for a Personal Computing System (21 May 2011, 17:08)
- What's a fairer way of high-speed trading? (20 May 2011, 12:48)
- Source Code Repositories (18 May 2011, 16:09)
- The Origins of Flow Control and Acknowledgements (15 May 2011, 15:15)
- Prex 0.9.0 suffers from a serious bug in its exception handling code (17 March 2011, 10:02)
- Make it work, make it right, make it fast (26 November 2010, 20:02)
- The State of the Art in User Interfaces (07 June 2010, 16:17)
- Notes on "Xoc, an Extension-Oriented Compiler for Systems Programming" (07 March 2010, 13:12)
- "Git from the bottom up", by John Wiegley (22 February 2010, 05:06)
- Messaging without time: modeless user-interfaces for programs (21 February 2010, 16:31)
- FIB in PowerPC assembly and in JONESFORTH (10 October 2007, 07:15)
- Reflection on floats (01 May 2007, 11:18)
- 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
rabbitmq
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)
- Tasks within Transactions using RabbitMQ (18 December 2011, 13:55)
- AMQP 1.0's "Timestamp" definition is bogus (22 July 2011, 13:38)
- The 0MQ Transport Layer Specification (30 April 2011, 10:32)
- Rube Goldberg contraptions with RabbitMQ (24 May 2010, 21:36)
- 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)
- Equality, Hashing and Canonicalization (22 November 2011, 13:15)
- Fexprs remain inscrutable (29 September 2011, 19:49)
- Constructing Kernel's $if (16 August 2011, 20:17)
- I've been cited! (In a way ...) (07 March 2010, 19:38)
- The scheme-reports-wg1 Google Group is hard to read (07 March 2010, 14:46)
- 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)
- Building GNU Smalltalk on Mac OS X Snow Leopard (26 September 2011, 14:52)
- The Code Pane is a command line, not a text editor (11 September 2011, 10:37)
- Why isn't Smalltalk taught? (20 May 2011, 12:37)
- Announcers are Networks (11 May 2011, 08:38)
- The Weaknesses of Smalltalk are the Strengths of Erlang (08 May 2011, 16:53)
- Declarative Laziness in Smalltalk (28 April 2011, 09:40)
- 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)