Home
Gustavo Lacerda

> recent entries
> calendar
> friends
> My Website
> profile

Thursday, May 22nd, 2008
10:23a - Lisp in Eclipse
from http://bitfauna.com/projects/cusp/ :
"Cusp is a development environment for Lisp built on top of the Eclipse platform. It runs SBCL and hooks into the Swank half of Slime. It provides a repl, project manager, an outline of your code for simple navigation, code editor, syntax highlighting, auto-indentation, parenthesis matching, auto-completion, library management, and more."

Sounds pretty sweet. But what about call hierarchy?

(1 comment |comment on this)

6:22p - The Halting Problem is decidable on a set of asymptotic probability one
This sounds quite remarkable:
Hankins, Miasnikov - The halting problem is decidable on a set of asymptotic probability one

(comment on this)

<< previous day [calendar] next day >>
> top of page
LiveJournal.com