eighty-twenty news

top

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)

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)

RabbitHub Status, May 2012 (15 May 2012, 11:41)
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)

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)

Fame, of a sort (07 March 2012, 11:25)
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)

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)