Blog Detail

Ulisses Costa Blog

http://ulissesaraujo.wordpress.com

A blog about mathematics, compter science, haskell and security. Everything about what I'm doing.

• Added on: May 21st, 2009
• Country: Portugal
• Language: English

• Author: Ulisses Costa
• Listed in: Programming Science
• Tags: programming Security code c mathematics haskell

Recent Posts

• Merry Christmas

  Posted on Thursday December 24th, 2009 at 03:00 in comics, humour, english, christmas, português

  via Tagged: Christmas, comics, English, humour, Português ...

• Vamos ajudar a Carmenzita

  Posted on Saturday November 28th, 2009 at 12:01 in português, sangue, ajuda, medula, dador

  A Carmenzita é uma menina de 4 anos que precisa de um dador compatível de medula óssea. Se já estiver inscrito como dador já está a ajudar, mas se não estiver pode fazê-lo aqui: C.H. do Norte – tlf. 225573470 ou o site: http://www.chnorte.m...

• Halloween

  Posted on Saturday October 31st, 2009 at 04:00 in comics, humour, english, halloween, português

  via Tagged: comics, English, Halloween, humour, Português ...

• 5 anos :)

  Posted on Saturday July 25th, 2009 at 18:08 in photos, português, pepa

  Posted in Uncategorized Tagged: pepa, photos, Português ...

• Splint the static C code checker

  Posted on Sunday May 3rd, 2009 at 18:39 in Software, programming, english, research, code, safety, c, checking, static, annotations, splint, formal methods

  Splint is this great tool to statically analyze C code. Splint is an evolution of Lint. Lint makes analysis of C code and verifies unused declarations, type inconsistencies, use before definitions, unreachable code, ignored return values, execution p...

• Deborah Gordon: How do ants know what to do?

  Posted on Saturday May 2nd, 2009 at 05:57 in video, inspiration, english, ants, tedtalks

  Deborah Gordon is a biologist. She digs up ant colonies in the Arizona desert in search of keys to understanding complex systems. Tagged: ants, English, inspiration, TEDtalks, video ...

Comments & Reviews

There is no rating for this blog because there are no comments yet.

Post A Comment/Review

* Your IP is being logged.
* Your e-mail address is used only for verification purposes only and will not be sold, or shown publicly.
* No HTML tags allowed
* DO NOT use the Comments/Reviews to promote your own site.