domingo, 15 de dezembro de 2013

Músicas diversas


Mozzart
Clarinet Concerto II
Piano Concerto No 21 "Andante"
Ave Verum Corpus
Piano Concerto No. 20 Mov.2 - Romance


Deep Purple - Bad Attitude

Fastball    The Way
Collective Soul December
Tom Petty     I Won't Back Down 
Wallflowers     One Headlight

jeff beck  drown in my own tears

Rosana - A Fuego Lento

quinta-feira, 8 de agosto de 2013

Hoteis em Paris


Hotels
The prices listed on the IRILL page with information for guests might be slightly out of date.

fonte
http://www.gnu.org/ghm/2013/paris/

segunda-feira, 28 de janeiro de 2013

Enviar email pela linha de comando

Instalar o pacote  mauilutils  para ter acesso ao comando  mail  no Debian

para enviar email com anexo:

# uuencode foto.jpeg | mail -s "titulo" endereço@email.com
Para configurar o debia para envio de email, usando o exim:

Install Exim and mailutils:
# apt-get -y install exim4-daemon-light mailutils

Run configurator:


# dpkg-reconfigure exim4-config

Select the following options:
  • General type of mail configuration: internet site; mail is sent and received directly using SMTP
  • System mail name: playground.localdomain
  • IP-addresses to listen on for incoming SMTP connections: 127.0.0.1 ; ::1
  • Other destinations for which mail is accepted: playground.localdomain; playground; localhost
  • The "Domains to relay mail for:" option is empty.
  • The "Machines to relay mail for:" option is empty.
  • Keep number of DNS-queries minimal (Dial-on-Demand)? 
  • Delivery method for local mail: Maildir format in home directory
  • Split configuration into small files?

Test Exim:

# echo "Testing Exim" | mail -s Test 

If Exim does not deliver your messages, check that your provider does not block outgoing connections to 25 (SMTP) port by executing "telnet somedomain 25". Install the telnet package if it is not installed by executing "apt-get -y install telnet".
On some computers Exim displays Cannot open main log file "/var/log/exim4/mainlog": Permission denied error message when testing email sending. It can be solved by creating /var/log/exim4 folder as follows:

# mkdir -p /var/log/exim4
# chmod 740 /var/log/exim4 
# chown Debian-exim:adm /var/log/exim4
# touch /var/log/exim4/
# chown Debian-exim:adm /var/log/exim4/mainlog
Links
Send-only Mail Server with Exim

domingo, 9 de dezembro de 2012

Coisas do Fortran



Compilar arquivo usando QWin no Fortran Intel  Parallel Studio XE 2011 - no Windows
ifort /libs:qwin teste.f90


Fiz este e funcionou corretamente

Instalado no Linux a biblioteca Pgplot, exemplos compilados com
gfortran -fno-backslash pgdemo15.f -o pgdemo15 -lpgplot -L/usr/X11R6/lib -lX11 -lpng -lz -lm


Migrating from Compaq Visual Fortran
http://software.intel.com/en-us/articles/migrating-from-compaq-visual-fortran
por exemplo a biblioteca gráfica que se chamava DFLIB agora é IFQWIN


[06.05.2016]
Criando makefile para fortran com FoBiS.py
geração de makefile a partir de um projeto fortran. O código fonte seguindo esta estrutura:

.
└── src
    ├── arquivo1.f90             (o principal, deve conter a cláusula program)
    ├── arquivo2.f90
    ├── arquivo3.f90

    ├── arquivo4.f90
    └──
arquivo5.f90
 

em seguida rodar o comando
FoBiS.py build -m makefile   
 
Testado com Intel Fortran XE 2016 

segunda-feira, 19 de novembro de 2012

Configuração Scite


Editado o arquivo .SciTEUser.properties (no diretório home)

# alteração para poder compilar em java no Linux
# antes disso não achava o compilador
command.compile.*.java=/home/marco/programas/jdk1.7.0_06/bin/javac $(FileNameExt)
command.build.*.java=/home/marco/programas/jdk1.7.0_06/bin/javac *.java
command.go.*.java=/home/marco/programas/jdk1.7.0_06/bin/java -cp . $(FileName)

terça-feira, 16 de outubro de 2012

Como eu descobri os Quines



Estava fazendo uma pesquisa sobre alternativas a linguagem Fortran como forma de rodar simulações numéricas de maneira tão eficinetes quanto.

A partir de uma pesquisa no google com o termo "best language for calculus" dentre o vários resultados encontrei o artigo Advanced programming languages  do professor Matt Might, este site contém além deste vários outros artigos sobre ciência da computação. Um que chamou a atenção foi "7 lines of code, 3 minutes: Implement a programming language"

no meio da leitura fui checar a informação de que Alonzo Church foi o orientador de Doutorado de Alan Turing, informação confirmada via Wikipedia. Resolvi então ver quais alunos Alan Turing havia orientado e achei Robin Gandy seu único aluno de doutorado. A partir de Robin Gandy fiz uma pesquisa no Google images, e ví algumas fotos dele, a mais recente de 95 ano de sua morte. Uma das imagens que achei está disponível no site do pesquisador chamado Solomon Feferman que contém fotos de outros matemáticos e cientistas, entre eles:
Alfred Tarski
Oskar Morgenstern
Kurt Gödel
Willard Van Orman Quine
entre outros

Destes eu conhecia de nome alguns entre eles Alfred Tarski (pelo Paradoxo de Banach-Tarski) e Kurt Gödel (tenho sua biografia em livro), esta foto aliás é uma das poucas que conheço que é colorido e com ele sorrindo.

Pesquisei então sobre Oskar Morgenstern e Willard Van Orman Quine. Na Wikipedia ví que Oskar é conhecido por ser o fundador da Teoria dos Jogos, junto com John von Neumann. E por fim ao pesquisar sobre Willard Quine, que agora sei que foi um matemático e lógico estadunidense, tomei conhecimento dos programas chamado Quine. Um Quine é um programa que recebe nenhuma  entrada e imprime seu código fonte na saída. Este tipo de programa surgiu na década de 70 primeiramente como uma forma de entretenimento. Interessante que o termo Quine foi proposto por Douglas Hofstadter em seu famoso livro Godel, Esher, Bach: um entrelaçamento de mentes brilhantes, em honra a Willard Quine. Este livro está esgotado no Brasil e quem tem não vende - na verdade achei ao preço de R$600... em um sebo.

Links
site do professor Matt Might
http://matt.might.net/

Artigos do professor Matt
http://matt.might.net/articles/

Advanced programming languages
http://matt.might.net/articles/best-programming-languages/#ml

7 lines of code, 3 minutes: Implement a programming language
http://matt.might.net/articles/implementing-a-programming-language/

Quine
http://pt.wikipedia.org/wiki/Quine_(informática)

Site de Solomon Feferman e suas fotos
http://math.stanford.edu/~feferman/pics/pic.html