PIP News: Isabelle is Up!

Before my fall I launched a PIP (Perpetual Impossible Project).  PIPs are long-range risky undertakings that cannot be finished. PIPs contradict and subvert the very notion of tightly controlled corporate style projects: hence their manifest appeal to recusants like myself. I won't go into details about my particular PIP. Let's just say it captures every delusional notion I have ever entertained. Part of … Continue reading PIP News: Isabelle is Up!

Open Source Hilbert for the Kindle

David Hilbert While searching for free Kindle books I found Project Gutenberg. Project Gutenberg offers free Kindle books but they also have something better! Would you believe LaTeX source code for some mathematical classics. The best book I've found so far is an English translation of David Hilbert's Foundations of Geometry. Hilbert's Foundations exposed some … Continue reading Open Source Hilbert for the Kindle

J 7.01 Now Playing in your Browser

Big changes are afoot for J programmers.  With the release of J 7.01 JSOFTWARE has taken the risky step of deprecating two well established user IDE’s and replacing them with brand new GTK and Web browser-based interfaces.  As we all know new software is not necessarily better software, (remember that risky bit), but in this … Continue reading J 7.01 Now Playing in your Browser