Leandro Facchinetti

I write prose, software and music. I am a Ph.D. candidate in Computer Science, at The Programming Languages Laboratory, at the Johns Hopkins University, advised by Dr. Scott Smith. We research a program analysis technique called Demand-Driven Program Analysis. Beyond research, I am interested in education, writing, computer programming, reading, music, typography, mindfulness, minimalism, and veganism. I live in Baltimore, Maryland, United States.

Prose

Software

Services

Racket Packages

Contributions

Archived

Music

My First Robot

Agora Há Algo a Temer

Lyrics
E D B
A D E

Observo à distância
A situação no meu país
E o que eu vejo
Não me deixa feliz

Salgadinhos verde-e-amarelo
Tentando calar o povo
Voltando trinta anos atrás
Precisam aprender de novo

E-B-C#m-A
D E

O medo agora é real
Agora há algo a Temer
O medo agora é real
Agora há algo a Temer

E D B
A D E

Pedem “Ordem e Progresso”
P’ra homens ricos, burros e preconceituosos
Isto às custas do resto
Que passam fome e pagam o pato de borracha

Somos vítimas de um golpe branco
Em todos os sentidos da palavras
Mas cacetetes não silenciam
Nossa música de efeito moral

E-B-C#m-A
D E

O medo agora é real
Agora há algo a Temer
O medo agora é real
Agora há algo a Temer

C#m C#m7+ C#m7 C#m6 B C°

Pela minha mãe
Pela minha filha, que hoje ’tá fazendo aniversário
Pelos torturadores
Por toda a família
Também pelos fieis que vão na minha igreja
E voluntariamente são assaltados
Contra o desarmamento
Pela maçonaria

Eu acho os seus valores
Tão defasados!

E-B-C#m-A
D E

O medo agora é real
Agora há algo a Temer
O medo agora é real
Agora há algo a Temer

O medo agora é real
Agora há algo a Temer
O medo agora é real
Agora há algo a Temer

O Fim da Tempestade

Samples

Criatividade

Lyrics
A minha criatividade
Cria atividade
As minhas criações
Criam ações
A minha criação se reflete
No que minhas crias são
E com a idade
Aumenta a criativadade

A
A minha criatividade
Cria atividade
As minhas criações
Criam ações
A minha criação se reflete
No que minhas crias são
E com a idade
Aumenta a criativadade

F# G A
Sem imaginação
Eu fico sem chão
Sem imaginação
Eu fico sem chão
Sem imaginação
Eu fico sem chão
A criatividade é minha cria

E D

E
Eu me alimento
De conhecimento
Transformo informação
Em inspiração
Via transpiração

O meu argumento
É que não há atalho
A canção
É resultado de trabalho
Não de piração

O meu argumento
É que conhecimento
Cria transformação
E o meu trabalho
Transforma a forma
Reação

A
A minha criatividade
G         D
Cria atividade
A
As minhas criações
F      D
Criam ações
A
A minha criação se reflete
G                   D
No que minhas crias são
A
E com a idade
          F         G
Aumenta a criativadade

E Eb D C# C B Bb A
A forma, em forma, informa o conteúdo
Em forma, se forma, de forma informal
Formula, reforma, transforma a formula
De forma que, então, se torna real

G A

E Eb D C# C B Bb A
A forma, em forma, informa o conteúdo
Em forma, se forma, de forma informal
Formula, reforma, transforma a formula
De forma que, então, se torna real

G A G F# F E D

A
A minha criatividade
G         D
Cria atividade
A
As minhas criações
F      D
Criam ações
A
A minha criação se reflete
G                   D
No que minhas crias são
A
E com a idade
          F         G
Aumenta a criativadade

United

Lyrics
G     D             G
A United bate qualquer preço
G            D         B7
Bate a concorrência também
Em    Em7+            Em7    A7
A United bate em seus clientes. Gente!
C            D        G
Cuidado que ela não bate bem!

G7

      C              F7+/C
O que a United chama de remanejamento
C            G
Eu acho de UFC
      C              F7+/C
O que a United chama de planejamento
G
É esperar acontecer

C             F7+/C
Se eu fosse voar com a United
C                    G
Eu levaria um soco inglês
C                       F7+/C
O moço da segurança nem reclamaria, ele diria:
G
“Boa sorte p’ra vocês”

C           G/B          Am
E quando eu entrasse no avião
  C             G/B            D
E houvesse um passageiro em meu lugar
C      G/B      Am
Eu estaria preparado
     D7  D7/4  D7
P’ra duelar

G     D             G
A United bate qualquer preço
G            D         B7
Bate a concorrência também
Em    Em7+            Em7    A7
A United bate em seus clientes. Gente!
C            D        G
Cuidado que ela não bate bem!

G7

C                  F7+/C
A United precisa encontrar
C             G
Uma solução pacífica
      C                                 F7+/C
A dificuldade que é a maior parte dos seus voos
G
É sobre o Atlântico

C                                  F7+/C
Truco, lutinha de dedo, *Mortal Kombat*,
                    C       G
Jogo de Tazo, um campeonato de Jenga
 C                              F7+/C
São todos jeitos muito mais recomendáveis
G
De resolver esta encrenca

    C           G/B        Am
Porque quando eu entrar no avião
  C           G/B            D
E houver um passageiro em meu lugar
C            G/B      Am
Eu não vou estar preparado
     D7  D7/4  D7
P’ra duelar

G     D             G
A United bate qualquer preço
G            D         B7
Bate a concorrência também
Em    Em7+            Em7    A7
A United bate em seus clientes. Gente!
C            D        G
Cuidado que ela não bate bem!

> SOLO

G     D             G
A United bate qualquer preço
G            D         B7
Bate a concorrência também
Em    Em7+            Em7    A7
A United bate em seus clientes. Gente!
C            D        G
Cuidado que ela não bate bem!
C            D        G
Cuidado que ela não bate bem!

Contact

Personal email me@leafac.com
Work email leandro@jhu.edu

Publications

Service

Reviewer

Education

Ph.D. Candidate in Computer Science · Programming Languages

Johns Hopkins University. 2014-09 – 2019-09 (estimated).

M.S. in Computer Science · Programming Languages

Johns Hopkins University. 2014-09 – 2016-10.

B.S. in Computer Science

Universidade de São Paulo. 2008-02 – 2012-09.

Teaching Experience

Course Assistant / Teaching Assistant

Johns Hopkins University. 2015-09 – 2019-09 (estimated).

Work Experience

Raise Sistemas

Software developer. 2014-02 – 2014-08.

Das Dad

Software Developer. 2013-02 – 2013-12.

Universo Online (UOL)

Junior System Analyst. 2012-03 – 2013-02.

Daitan Group

Intern in Software Development. 2011-07 – 2012-02.

Certifications

Events

Courses

License

Source https://github.com/leafac/www.leafac.com
Prose GNU FDL
Code GNU GPL
Copyright (C) 2018 Leandro Facchinetti

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3
or any later version published by the Free Software Foundation;
with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.

A copy of the license is included in the section entitled "GNU
Free Documentation License".
Copyright (C) 2018 Leandro Facchinetti

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.

Colophon

Page layout Inspired by the works of Matthew Butterick and Edward Rolf Tufte
Serif font Charter
Monospaced font Fira Mono
Color palette Solarized
Static website generator Jekyll
Host GitHub Pages
Text editor Atom
Vector graphics Inkscape