Random Bits and Pieces :: http://www.foldr.org/~michaelw/log Michael Weber en Fri, 11 Dec 2009 02:03:00 GMT blosxom ver.2.0 Academic December http://www.foldr.org/~michaelw/log/fun/academic-december http://www.foldr.org/~michaelw/log/fun/academic-december http://www.foldr.org/~michaelw/log/fun/ Fri, 11 Dec 2009 02:03:00 GMT It is downright scary how accurately PhD comics keep documenting my life:

PhD comic 120909

(I am on holidays all of December to play with my Little One, during the day. Which effectively means that I work from home and at night four days per week, and only go one day per week to university... Oh well. Did I mention the guy in the comic is named Mike?)

UPDATE 2010-01-14: Two More...

PhD comic 011110

PhD comic 011310

]]> http://www.foldr.org/~michaelw/log/fun/academic-december#writeback LTSmin 1.5 Released http://www.foldr.org/~michaelw/log/science/ltsmin-1-5 http://www.foldr.org/~michaelw/log/science/ltsmin-1-5 http://www.foldr.org/~michaelw/log/science/ Wed, 02 Dec 2009 22:09:38 GMT We have released version 1.5 of LTSmin. The following improvements have been implemented:

  • New frontend DVE (requires DiVinE-cluster)
  • Bignum support for state counts in spec-reach tools
    (Jeroen Ketema)
  • spec-reach clean-up
  • 'tree' vector set implementation based on AtermDD

The source code, installation instructions and manuals are available online:

http://fmt.cs.utwente.nl/tools/ltsmin/

LTSmin is currently being developed by the Formal Methods and Tools group at the University of Twente, The Netherlands.

The previous release was LTSmin 1.4.

]]> http://www.foldr.org/~michaelw/log/science/ltsmin-1-5#writeback Cocoa Apis http://www.foldr.org/~michaelw/log/programming/lisp/cocoa-apis http://www.foldr.org/~michaelw/log/programming/lisp/cocoa-apis http://www.foldr.org/~michaelw/log/programming/lisp/ Sun, 01 Nov 2009 11:30:00 GMT

Mikel Evins has released Apis, a sample Common Lisp Cocoa application using CCL's Cocoa bridge. Obligatory screenshot:

Apis screenshot

For what it's worth, Mikel also provides Atta, which is a similar project but based on Gambit Scheme.

]]> http://www.foldr.org/~michaelw/log/programming/lisp/cocoa-apis#writeback LTSmin 1.4 Released http://www.foldr.org/~michaelw/log/science/ltsmin-1-4 http://www.foldr.org/~michaelw/log/science/ltsmin-1-4 http://www.foldr.org/~michaelw/log/science/ Fri, 02 Oct 2009 21:56:04 GMT We have released version 1.4 of LTSmin. The following improvements have been implemented:

  • New tool ce-mpi for distributed cycle elimination (Simona Orzan)
  • New tool ltsmin-tracepp for pretty-printing traces to deadlock states
  • TorX support factored out into separate tools {lpo,lps,nips}2torx
  • Enumerative DFS support
  • Enumerative deadlock detection and trace output
  • Reworked ETF support (non-backwards compatible)
  • bash completion for LTSmin tools (see contrib/bash-completion/)

The source code, installation instructions and manuals are available online:

http://fmt.cs.utwente.nl/tools/ltsmin/

LTSmin is currently being developed by the Formal Methods and Tools group at the University of Twente, The Netherlands.

The previous release was LTSmin 1.3.

]]> http://www.foldr.org/~michaelw/log/science/ltsmin-1-4#writeback Vanessa Nicole Weber http://www.foldr.org/~michaelw/log/events/vanessa-nicole-weber http://www.foldr.org/~michaelw/log/events/vanessa-nicole-weber http://www.foldr.org/~michaelw/log/events/ Tue, 25 Aug 2009 18:22:00 GMT Vanessa

Finally, here she is! Both, baby and mama are fine.

Happy 0th Birthday, Vanessa!

]]> http://www.foldr.org/~michaelw/log/events/vanessa-nicole-weber#writeback