realpar.blogspot.com realpar.blogspot.com

realpar.blogspot.com

Realidades Paralelas

Friday, December 07, 2007. First contact with Coq. I've started to look a bit into Coq. Beginning with Coq in a Hurry. But that's ok, I'm sure I'll understand it better later. There's the Coq Tutorial. And a bit more of material to get into. Then I'll post about it later, if I don't get lazy. It's bound to be truly exciting stuff about the Calculus of Inductive Constructions and dependent type theory. Great subject to draw upon for chitchat at cocktail parties. Posted by tautologico at 8:11 PM. Is intere...

http://realpar.blogspot.com/

WEBSITE DETAILS
SEO
PAGES
SIMILAR SITES

TRAFFIC RANK FOR REALPAR.BLOGSPOT.COM

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

June

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Friday

TRAFFIC BY CITY

CUSTOMER REVIEWS

Average Rating: 3.5 out of 5 with 11 reviews
5 star
2
4 star
6
3 star
1
2 star
0
1 star
2

Hey there! Start your review of realpar.blogspot.com

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

Desktop Preview Tablet Preview Mobile Preview

LOAD TIME

0.2 seconds

FAVICON PREVIEW

  • realpar.blogspot.com

    16x16

  • realpar.blogspot.com

    32x32

  • realpar.blogspot.com

    64x64

  • realpar.blogspot.com

    128x128

CONTACTS AT REALPAR.BLOGSPOT.COM

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

SCORE

6.2

PAGE TITLE
Realidades Paralelas | realpar.blogspot.com Reviews
<META>
DESCRIPTION
Friday, December 07, 2007. First contact with Coq. I've started to look a bit into Coq. Beginning with Coq in a Hurry. But that's ok, I'm sure I'll understand it better later. There's the Coq Tutorial. And a bit more of material to get into. Then I'll post about it later, if I don't get lazy. It's bound to be truly exciting stuff about the Calculus of Inductive Constructions and dependent type theory. Great subject to draw upon for chitchat at cocktail parties. Posted by tautologico at 8:11 PM. Is intere...
<META>
KEYWORDS
1 realidades paralelas
2 labels coq
3 theorem provers
4 1 comments
5 labels tools
6 0 comments
7 labels lists
8 papers
9 another new acquisition
10 labels books
CONTENT
Page content here
KEYWORDS ON
PAGE
realidades paralelas,labels coq,theorem provers,1 comments,labels tools,0 comments,labels lists,papers,another new acquisition,labels books,a selection,labels functional,squiggol,código funcional,para f#,labels meta,teias de aranha,about me,name,links
SERVER
GSE
CONTENT-TYPE
utf-8
GOOGLE PREVIEW

Realidades Paralelas | realpar.blogspot.com Reviews

https://realpar.blogspot.com

Friday, December 07, 2007. First contact with Coq. I've started to look a bit into Coq. Beginning with Coq in a Hurry. But that's ok, I'm sure I'll understand it better later. There's the Coq Tutorial. And a bit more of material to get into. Then I'll post about it later, if I don't get lazy. It's bound to be truly exciting stuff about the Calculus of Inductive Constructions and dependent type theory. Great subject to draw upon for chitchat at cocktail parties. Posted by tautologico at 8:11 PM. Is intere...

INTERNAL PAGES

realpar.blogspot.com realpar.blogspot.com
1

Realidades Paralelas: Classic Texts in Computer Science

http://realpar.blogspot.com/2007/02/classic-texts-in-computer-science.html

Saturday, February 24, 2007. Classic Texts in Computer Science. Of classic texts in the discipline, by Babar K. Zafar, with links to electronic versions of each one. Choosing which texts are classic can certainly be controversial, although in this case I think only texts with electronic versions available were considered. Even so, there are many good things in there, some of which I have already read, some I plan to read soon. Posted by tautologico at 9:59 PM. View my complete profile.

2

Realidades Paralelas: October 2004

http://realpar.blogspot.com/2004_10_01_archive.html

Saturday, October 30, 2004. Finalmente, o cluster. Fui apresentado ao cluster menor que deve ser minha plataforma de testes; apenas 16 máquinas. Infelizmente, algumas máquinas estão mal configuradas ou nem dando boot (kernel panic). E as que funcionam estão com RedHat 8, então o primeiro passo vai ser instalar Debian em todas. Pena o Debian estar tão desatualizado, mas para essa aplicação, não será problema. A parte mais interessante. Posted by tautologico at 7:16 AM. Thursday, October 21, 2004. Concepts...

3

Realidades Paralelas: An Axiomatic Basis for Computer Programming

http://realpar.blogspot.com/2004/09/axiomatic-basis-for-computer.html

Wednesday, September 29, 2004. An Axiomatic Basis for Computer Programming. Clássico de C. A. R. Hoare, datado de 1969. Esse artigo lançou as bases para provas axiomáticas de corretude de programas e para a semântica axiomática. A seção 5 discute provas de corretude para programas; a idéia, já antiga, de que erros de programação custam caro e que testes nunca podem provar completamente que um programa está correto. Um trecho é interessante:. The practice of supplying proofs for nontrivial programs will n...

4

Realidades Paralelas: January 2005

http://realpar.blogspot.com/2005_01_01_archive.html

Tuesday, January 25, 2005. Eu comecei lendo comentários no LtU. Sobre a nova "arquitetura celular" que o trio Toshiba/IBM/Sony está desenvolvendo para uso no Playstation 3. Daí segui para a análise. Desta proposta (mas lendo as observações. No ars technica). Então surgiu um link para um artigo. Sobre o conceito da ISA (Instruction Set Architecture) e suas tendências atuais. Tudo muito interessante; e juntando com o advento dos processadores de múltiplos núcleos ( multicore. Sunday, January 09, 2005.

5

Realidades Paralelas: Sua linguagem pode fazer isso?

http://realpar.blogspot.com/2006/08/sua-linguagem-pode-fazer-isso.html

Tuesday, August 01, 2006. Sua linguagem pode fazer isso? De Joel Spolsky sobre as limitações de um programador que só aprende Java. Posted by tautologico at 6:10 PM. Diário de pesquisa e planos. Revisões bibliográficas, elucubrações e outras viagens, em português, inglês ou qualquer outra língua. View my complete profile. LtU Getting Started Thread. Cyclone: primeiras impressões. Um pouco de crítica. Velozes e Furiosas. aliás, Rápidas e Curtas. Tony Hoare, um rapaz simples, um homem do povo.

UPGRADE TO PREMIUM TO VIEW 15 MORE

TOTAL PAGES IN THIS WEBSITE

20

LINKS TO THIS WEBSITE

evaluated.blogspot.com evaluated.blogspot.com

Σνaluatioη: 2006/05

http://evaluated.blogspot.com/2006_05_01_archive.html

KDE Plasma e keyboard jockeys. No sétimo FISL, assisti uma palestra. Do pessoal do KDE para revolucionar o desktop. Os conceitos apresentados lá foram muito interessantes, comparando o desktop atual. No Linux com uma simples cópia do primeiro desktop, lançado há 22 anos pela Apple, com poucos detalhes a mais. O que é um fato visível. O Ratpoison e o wmii. As idéias destes já evoluíram por um bom tempo, e apresentam até certa maturidade: janelas non-overlapping. Em vez de simples workspaces. De teclado; s...

evaluated.blogspot.com evaluated.blogspot.com

Σνaluatioη: 2006/04

http://evaluated.blogspot.com/2006_04_01_archive.html

Programação moderna para as massas. O FISL deste ano me deu uma idéia interessante. Observando todos aqueles programadores de Perl, PHP, Java fazendo palestras, e os programadores de Python, orgulhosos por o serem, citando a beleza. Do código da linguagem como uma das principais vantagens, pensei submeter um artigo para palestrar no próximo fórum: programação funcional e/ou lógico-funcional, e as ferramentas SL disponíveis para utilizar esta técnica. Posted by Leonardo L. @ 20:21. Links to this post.

evaluated.blogspot.com evaluated.blogspot.com

Σνaluatioη: 2006/09

http://evaluated.blogspot.com/2006_09_01_archive.html

Sacodindo a poeira do blog: encontrei uma entrevista. Com o criador da STL, falando sobre como concebeu a mesma, sobre paradigmas de programação, e sobre linguagens de programação em si. Adiantando, as melhores partes são quando ele fala que:. A) concebeu a STL durante uma infecção bacteriana;. B) a orientação a objetos é um hoax;. C) de todas as linguagens que ele aprendeu, Java é uma das poucas que não acrescentou nada de novo ao que ele já sabia. Ou seja: leitura altamente recomendada.

evaluated.blogspot.com evaluated.blogspot.com

Σνaluatioη

http://evaluated.blogspot.com/2007_04_01_archive.html

This is my personal weblog about CS, talking about researches, readings, works, abstracts, daily geek stuff, and so on. Este é o meu blog pessoal sobre informática, tratando de pesquisas, leituras, trabalhos, opiniões, abstracts. Unionville, Ontario, Canada. Visualizar meu perfil completo. Ring buffers and anonymous functions. Momento pós-faculdade - SML turn. Programação (funcional) moderna. Pattern-matching e o visitor pattern. KDE Plasma e keyboard jockeys.

evaluated.blogspot.com evaluated.blogspot.com

Σνaluatioη: 2006/08

http://evaluated.blogspot.com/2006_08_01_archive.html

Faz algum tempo comecei este post, mas não tinha tido a inspiração para terminar. O post anterior, sobre a comparação entre recursos de linguagens "funcionais" modernas e de linguagens orientadas a objeto serviu como estopim para terminar de escrever. Para quem trabalha com programação usando variantes de ML e/ou Miranda, a fatídica pergunta "que linguagem(ns) você usa? Costuma ser um tiro no escuro. A resposta dificilmente é conhecida, na maioria dos casos: O'Caml. Inferência de tipos, type classes.

evaluated.blogspot.com evaluated.blogspot.com

Σνaluatioη: 2006/11

http://evaluated.blogspot.com/2006_11_01_archive.html

I am deeply thinking about starting to post in English here. It's not very rewarding to open up this page every day and see little (or no) feedback. So, from now on, I will bring some posts translated into English, in an attempt to check if it's worth the effort. Some portuguese posts might still appear in a near future, but that's far from clear right now. Viewers are welcome to leave comments. Posted by Leonardo L. @ 01:37. Links to this post. Momento pós-faculdade - SML turn. E por enquanto, é isso.

evaluated.blogspot.com evaluated.blogspot.com

Σνaluatioη: 2008/02

http://evaluated.blogspot.com/2008_02_01_archive.html

While reading about RMS leaving Emacs administration. I found some comments which came to my attention - specially the ones which talked about him using vi. One thing I've never understood, and which I still find everywhere, was this 'emacs x vi' cold war, in which there is a lot of regilious arguments for defending or atacking each text editor. And the battle automatically exclude any other text editor, using readly made phrases like "your text editor cannot erase interlaced lines! Links to this post.

evaluated.blogspot.com evaluated.blogspot.com

Σνaluatioη: 2007/02

http://evaluated.blogspot.com/2007_02_01_archive.html

Ring buffers and anonymous functions. Yesterday I was working on o project I've started sometime ago, for sending and receiving GSM audio over a socket (a client/server skype. I was implementing a ring buffer, to be used by the encoder/decoder, the audio library ( PortAudio. And the socket reading/writing function, when I started to wonder how could I make it really concurrent, and easy to understand. The functions ending with 'ptr(.)' have a special meaning attached: they do not copy buffers, but re...

evaluated.blogspot.com evaluated.blogspot.com

Σνaluatioη: 2006/03

http://evaluated.blogspot.com/2006_03_01_archive.html

Estive navegando pelo Google buscando scripts. Quando me deparei com um gerenciador chamado wmii. Comecei a ler sobre o funcionamento deste, em dois. Disponíveis na página, me interessei: ele condensa idéias de vários outros gerenciadores for experts. Resolvi baixá-lo e testar. A partir daqui, tenho duas experiências para relatar; a primeira é com a versão 2.5.2, a última estável, e a segunda, é com a versão do CVS (20060316):. A versão 2, estável. Do Mac OS X, chamado pager. Que atribui teclas de atalho...

UPGRADE TO PREMIUM TO VIEW 8 MORE

TOTAL LINKS TO THIS WEBSITE

17

OTHER SITES

realpaperpk.com realpaperpk.com

.:Welcome to Realpaper:.

It is the mission of Real Paper to provide complete import/export services to the wholesales, retailers, suppliers including all type of packaging and Paper Product. The company will concentrate on special imports from Europe, American, Canada, Middle East, Brazil and Africa. Real Paper Imports is be a limited liability Sole Proprietor registered in Pakistan for tax. Purposes. Its founder is Mr. Naeem Ahmed Siddiqui has incepted this company in 1995. Rooms and office spaces.

realpaperproduction.com realpaperproduction.com

Real Paper Production

Mdash; About Us. Mdash; What We Do. Mdash; Tony Mix. Mdash; Tony Mix. Real Paper production Inc. Was Founded in Montreal in 2007. Initially we promoted and produced many musical events and parties. Over the years The Company has grown into a full service production company and we now promote and organize large events and parties, as well as managing many artists. Real Paper Production now represents many different artist/s from across Canada, the United States, and The Caribbean.

realpapers.com realpapers.com

research papers and term papers - helping real college students writing papers

Welcome To Realpapers.com. The Internet's premier term paper assistance service with more than 50,000. LOWEST PRICES ON THE INTERNET FOR THESE PAPERS- GUARANTEED! Term Papers Keeping You Up Late? Can't define your thesis? Don't understand the importance of topic sentences? Lost trying to figure out how to properly cite journal articles. Using the APA and MLA styles? Struggling to find some last minute research articles, studies, and ideas to cite in your own term paper? You can download and read TODAY!

realpapertiger.com realpapertiger.com

Autovee Assist : Roadside Car Assistance Bahrain

Autovee Roadassist is a specialized roadside assistance. Service provider in the Arabian Gulf that helps. Motorist get back on the road with just a call. Our extensive fleet of patrols are on duty 24 hours and 365 days so that when you run into trouble, we'll be there. Whether you have locked your keys in your car, got a flat tyre, have a flat battery, run out of fuel or just simply broken down, you can count on us to be your guaranteed friend.

realpaprika.com realpaprika.com

Real Paprika

For Franchisee Inquiry Click Here. Shop # 1, GF, Center One,Nr. Wockhardt Hospital, Kalawad Road. Rajkot. Mob No: 91 8460770977. Outlet No: 91 9978668097. For Franchisee Inquiry Click Here. Design by: ACCURATE INFOCOM.

realpar.blogspot.com realpar.blogspot.com

Realidades Paralelas

Friday, December 07, 2007. First contact with Coq. I've started to look a bit into Coq. Beginning with Coq in a Hurry. But that's ok, I'm sure I'll understand it better later. There's the Coq Tutorial. And a bit more of material to get into. Then I'll post about it later, if I don't get lazy. It's bound to be truly exciting stuff about the Calculus of Inductive Constructions and dependent type theory. Great subject to draw upon for chitchat at cocktail parties. Posted by tautologico at 8:11 PM. Is intere...

realparables.blogspot.com realparables.blogspot.com

Real Parables

A collection of stories that are in no way related to the absurdities of the actual world we live in. Saturday, 4 April 2009. Not so long ago, there was a big country called Guy-Yah where the people were divided into two classes: the Bankers and the Peasants. The Bankers didn't all work in banks; they could be accountants, insurance agents, financial consultants or economists. Still, they were called the Bankers because they knew each other and were fabulously rich. The Bankers, in an attempt to outdo ea...

realparabrisas.net realparabrisas.net

Página não Encontrada - S4 "Internet Controlada"

O link para a página não funcionou ou você digitou um endereço que não existe. Verifique se você digitou corretamente o endereço e tente novamente.

realparadis.com realparadis.com

Real Paradis -レアル・パラディ- Official Website

realparadise.blog.cz realparadise.blog.cz

About life,about me.

Tired of fake friends. Včera v 19:20 C. Diary. Jsem unavená.unevená ze všech lidí, kteří si hrají na přátelé, i když jimi v žádném případě nejsou. Z lidí, kteří mají potřebu někoho neustále řešit a rozšiřovat o něm všechny možné nesmysly. V podstatě je známe všichni. Jsou to lidi, kteří na nás hrají, že je vše v pořádku, opak je ale pravdou. No neřekli byste že to je nefalšovaná kráva? V tom případě před Vámi smekám, za Vaši klidnou povahu. Já bych slečně vyškrábala oči. Proč někoho baví řešit náš život.

realparadise.com realparadise.com

Account Suspended

This Account Has Been Suspended.