Jens'

Die Toolchain ist grade cooler geworden: Eddie - A command line tool for running haskell functions over text files.

Dieser Codeschnipsel steht auf stackoverflow:

do x <- [1,2]
  y <- [3,4]
  return [x,y]

Schade das Haskell so schnell den Bach runter gehen muß.

Webbadges für das cms werc.

Computeralgebrasysteme zum in Auge behalten:

• Epigram 2
• Axiom — geforkt zu
  • OpenAxiom
  • FriCAS
• Aldor

Theoremprovers

• The E Equational Theorem Prover
• prover9
• Isabelle
• haskabelle: Haskell ⇒ Isabelle/HOL

lish — literate shell scripting, darauf hat die Welt gewartet.

1994 war das Jahr in dem die Mathematik vor der Medizin das Feld räumen musste:

In Tai's Model, the total area under a curve is computed by dividing the area under the curve between two designated values on the X-axis (abscissas) into small segments (rectangles and triangles) whose areas can be accurately calculated from their respective geometrical formulas. The total sum of these individual areas thus represents the total area under the curve. Validity of the model is established by comparing total areas obtained from this model to these same areas obtained from graphic method (less than ± 0.4%).

Hier sind noch ein paar Zeiger auf ein paar hübsche Kommandozeilenwerkzeuge.

• root-tail zeigt Dateien inkl. Updates im root-Fenster an.

  Super für eine QnD-Lösung, z.B. remind im root-Fenster anzuzeigen.

• dzen Ein "highlevel wrapper" für X – Fenster, Menüs und Statusbar im Eigenbau.
• sed1line.txt Einzeiler für sed
• grml – kein Werkzeug an sich, aber trotzdem.
• pimp my shell Wie kann das Leben im Textmodus so angenehm wie möglich gestaltet werden?
• chruetertee Stärker als Kaffee.
• plod das Personal LOgging Device.
• todo ein komplexes todo-Programm mit Zeiterfassung.
• todo eine einfache textbasierte todo-Liste.
• remind ein echt krasser Kalender.

Aus den Foren von unix.com kommt diese Perle – ein crontab-Eintrag, der am letzten Tag eines Monats job ausführt.

00 23 27-31 * * [[ $(date +'%d') -eq $(cal | awk '!/^$/{ print $NF }' | tail -1) ]] && job 1>/dev/null 2>&1