Arquivo de Outubro de 2007

Indexando com CL

Quarta, 31 de Outubro de 2007 - Lucindo

Inspirado pelo post do Gleicon que usa Ferret (Ruby e C) para indexar o kernel do linux, resolvi fazer o mesmo em CL.
Esse código usa Montezuma, que é uma tradução do Ferret para Common Lisp (é 100% CL):

(eval-when (:compile-toplevel :load-toplevel :execute)
(require :montezuma))

(defpackage :montezuma-test
(:use :cl)
(:export #:add-dir-to-index #:search-index))

(in-package :montezuma-test)

;; maybe this […]

Quando eu acho que estou entendendo alguma coisa…

Segunda, 29 de Outubro de 2007 - Lucindo

… vem o Herrmann e manda:
Herrmann (5:49):
Cara, minha revelação do dia: me liguei que o axioma K (L(p>q)>(Lp>Lq)) de lógica modal é isomórfico ao operador de aplicação de mônadas (ap :: Monad m => m (a -> b) -> m a -> m b), de acordo com o isomorfismo de Curry-Howard
Herrmann (5:50):
Acho que rola usar […]

Última aula de Randy Pausch

Segunda, 22 de Outubro de 2007 - Lucindo

Mais:

Randy Pausch home page
Resumo de sua luta contra o cancer
Últimas notícias

Server lisp no unix

Sábado, 20 de Outubro de 2007 - Lucindo

Uma maneira fácil de rodar o seu server feito em lisp (talvez uma aplicação web usando Hunchentoot) é com o Detachtty.
No Ubuntu ou Debian basta apenas: apt-get install detachtty
Vamos supor que sua aplicação pode ser carregada com o arquivo web-app.lisp e iniciada com (web-app:start). No linux, com SBCL pode fazer o seguinte script:

#!/bin/bash

detachtty \
[…]

Inovação tecnológica

Domingo, 14 de Outubro de 2007 - Lucindo

Everyone always wants new things. Everybody likes new inventions, new technology. People will never be replaced by machines. In the end, life and business are about human connections, and computers are about trying to murder you in a lake. And to me, the choice is easy.
Michael Scott

Para colocar de cada lado do monitor

Sexta, 12 de Outubro de 2007 - Lucindo

Créditos: Zach Beane

(blog ‘lucindo) | http://blog.lucindo.com.br