Hoteis em Paris

Hotels

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

• Oops! Hostel (rooms for 4-6 people), ~750 meters from IRILL;
• Hôtel Manet, 300 m from IRILL;
• Hôtel Ibis, Porte d'Italie (Gentilly), ~2 km from IRILL;
• Jack's Hôtel, ~300 m from IRILL;
• Hôtel Ibis, Italie/Tolbiac, ~500 m from IRILL;
• Hôtel Ibis, avenue d'Italie, next to IRILL;
• Etap Hotel, Porte d'Italie est (Le Kremlin-Bicètre), ~1.7 km from IRILL;
• Etap Hotel, Porte d'Italie ouest (Le Kremlin-Bicètre), ~2 km from IRILL;
• Hôtel Minerve, 2 km from IRILL.
• Hôtel Ibis, la Vilette/Cité des Sciences (farther away)
• Hôtel Ibis, Porte d'Orléans (farther away)

See also http://hostelbookers.com.

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

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

http://www.alexatnet.com/references/server-setup-debian/send-only-mail-server-with-exim Send-only Mail Server with Exim

Sending files as mail attachments
http://www.shelldorado.com/articles/mailattachments.html

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

How to use pgplot in windows with intel fortran.

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 

LaTeX is More Powerful than you Think - Computing the Fibonacci Numbers and Turing Completeness

http://blog.scribtex.com/latex-is-turing-complete-51805

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)

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

Instalação Debian Wheezy

Instalação do Debian 7 (Wheezy) no HP 430 do IFC. Esta versão ainda está na fase testig, mas entrou em congelamento doa 30/06/2012, significa que não são incluidos novos pacotes, apenas depurados antes do lançamento oficial previsto para 2013. O problema detalhe do Debian a partir da versão 6 é que não inclui firmwares não livres. É preciso instalar a parte.
Para tanto segui os seguintes passos:

• Download do NetInst da versão 7
• Como não reconheceu a placa de rede por não ter o firmware, foi instalado apenas o sistema básico
• download do pacote de firmware a parte num pendrive e feito a instalação na linha de comando com dpkg
• configurado a rede manualmente para obter IP por DHCP
• terminado a instalação via rede com tasksel

Outra opção é obter a imagem iso com firmware incluso

Links Uteis
Página de Release, com informações da versão testing
http://www.debian.org/releases/testing/

Debian-Installer, onde peguei o link de download do firmware
http://www.debian.org/devel/debian-installer/

download do Firmware
http://cdimage.debian.org/cdimage/unofficial/non-free/firmware/

consulta a Debian Maníaco
Sources.list para o Debian Wheezy
http://debianmaniaco.blogspot.com.br/2012_04_01_archive.html

Debian Sources List Generator
http://debgen.simplylinux.ch/

Referências Debian, usado na configuração da rede manualmente
http://www.debian.org/doc/manuals/debian-reference/