Ulisses Costa Blog

Home
About

5 anos :)

26 07 2009

Comments : 1 Comment »
Tags: pepa, photos, Português
Categories : Uncategorized

Feed

Books

Open source software development is a community-driven methodology to develop products, from the design and development stages to distribution:

Finalmente pode aprender DB2 com a segunda edião de "Começar com DB2" totalmente em Português. Obtenha já a sua cópia grátis:

Archive

Recent Posts

From LALR(1) to LL(k)
Permutations in pure functional ActionScript
Amazing TEDtalks
Correct sorting with Frama-C and some thoughts on Formal Methdos
Lines of Code and related lines-oriented-statistics with Perl
A* search algorithm
Memory Leak detector
About people: Linux haters
Getting Started With Open Source – IBM ebook
Jeff Hawkins: Brain science is about to fundamentally change computing
Americanices
Merry Christmas
Vamos ajudar a Carmenzita
Halloween
5 anos :)

Blogroll

Favorite Sites

CAOS
Don Stewart
Good Math, Bad Math
hpaste
HWN
LambdaCats

Friends

Adriano Martins
André Gomes
Bichos da Parede
Diskoballs
Errorstream
Hélder Pereira
João Moura
Miguel Regedor
Nuno Job
Nuno Lebreiro
Nuno Veloso
Sikhote-Alin
SIm Senhor
Tiago Carvalho
Tiago Sá
Tiago Thedim
Tira o Dedo do Cú

algorithm anamorphism attack beamer book c calculator caos catamorphism cd cesium charts Christmas cipher code comics comprehension list corruption cryptography Cryptol db2 db2oncampus eduroam English foldr formal methods functions GADT hacking haskell honeyd honeynet honeypot howto http humor humour hylomorphism ibm inspiration internet LaTeX linux mathematics microsoft mp1 msc music non-recursive parser perl pointfree Português programming recursion research scanner scanners security software spam ssh static sérgio godinho TEDtalks Theoretical fundations theory types uminho unix video windows wkipedia xml yacc

del.icio.us

Planet Haskell

POPL Paperâ€”Algebraic Effects Meet Hoare Logic in Cubical Agda
48: José Nuno Oliveira
The right words in the right place
The Haskell Unfolder Episode 24: generic (un)folds
Hawat! Hawat! Hawat! A million deaths are not enough for Hawat!
Rod R. Blagojevich will you please go now?
GHC 9.10.1-rc1 is now available
Re-implementing the Nix protocol in Rust
Improvements to the ghc-debug terminal interface
Well, I guess I believe everything now!

Free Hit Counter

Blog at WordPress.com.

Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy

Subscribe Subscribed
- Ulisses Costa Blog
- Already have a WordPress.com account? Log in now.