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:
Blogroll
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!
Ulisses Costa Blog 