Skip to content

Instantly share code, notes, and snippets.

@gabizinha12

gabizinha12/livros.md

Created April 26, 2021 18:45
Show Gist options
  • Save gabizinha12/2b9162abf0e049daf7e95a47ae0e8d27 to your computer and use it in GitHub Desktop.
Save gabizinha12/2b9162abf0e049daf7e95a47ae0e8d27 to your computer and use it in GitHub Desktop.
Download ZIP
livros.md
Raw
livros.md

Meus livro 2018

Este ano nao estou lendo nada portanto criei esse markdown pra organizar e voltar meu habito de leitura e parar de me tornar uma acumuladora igual eu fui em 2017

Done

  • O ciclo da procrastinacao
  • Apologia de socrátes - Platão
  • Biblia satanica
  • A cidade da luz - Asano Inio
  • Kafka a beira mar - Haruki Murakami
  • Adventure Time Encyclopaedia
  • Os 7 hábitos das pessoas altamente eficazes - Stephen R. Covey
  • OCaml - Programação Funcional na Prática - Casa do Código
  • Comunicação não violenta - Marshall B. Rosenberg
  • O essencial da Psicologia - Psicologia aplicada ao cotidiano
  • Elixir: Do zero á concorrencia

In Progress (Ordenado por prioridade de leitura)

  • Crepusculo dos idolos (Lendo & relendo partes especificas)
  • Do que eu falo quando eu falo de corrida - Haruki Murakami - (74%)
  • Como fazer amigos & influenciar pessoas - Dale Carnege (26%)
  • Structure And Interpretation Of Computer Programs - (Parei nos exercicios do 2 cap)
  • Functional Programming in Javascript - Luis Atencio (22%)
    • Certamente utilizar como referencia p/ coisas
  • Clojure For the Brave and True (40%)
  • Good Math - (50%)
    • Melhor livro de matematica p/ programadores
  • Metodo Metalux - Vandi Dogado (46%)
  • Haskell Programming - Chris Allen and Julie Moronuki
    • Esse livro eh real oficial mto grande & denso pode ler tranquila
  • Bartosz Milewski's -Category Theory for Programmers
    • Li uns caps, dps precisei reler, dps precisei de novo. Enfim, pode ler tranquila tbm

Livros fisicos p/ ler (Ordenado por prioridade de leitura)

  • The Little Schemer
  • Fundamentos da Programação Lógica e Funcional - Mauricio Ayala-Rincon e Flávio Leonardo Cavalcanti de Moura
  • Nicolau Maquiavel - O principe
  • Do contrato social - Jean Jacques Roussoau
  • Aquele la dos simbolos - Jung
  • Livrinhos fofos do Freud e Jung

Livros no Kindle p/ ler (Ordenado por prioridade de leitura)

  • How to Design Programs https://htdp.org/2018-01-06/Book/
  • Software Foundations https://softwarefoundations.cis.upenn.edu/
  • The Trial - Franz Kafka (25%)
  • Type Theory Functional Programming (5%)
  • Abstract Algebra: Theory and Applications (5%)
  • Clojure High Performance Programming
  • Learn you some Erlang for great good!
  • Learn you some Haskell for great good!
  • Erlang In Anger
  • Land of Lisp
  • Less than Nothing - Hegel - Slavoj Zizek
  • Materialismo dialetico historico
  • Norwegian Wood - Haruki Murakami
  • Mrs Dalloway - Virginia Woolf
  • A montanha Mágica - Thomas Mann (N lembro onde eu parei ate pq o livro eh grande d++++)
  • Fragmento sobre Zola - Thomas Mann
  • Caminho do Adepto - Franz Bardon (Recomeçar um dia)
  • Living Clojure (Humble bundle)
  • Introducing Elixir (Humble bundle)
  • Learning Scala (Humble bundle)
  • Introducing Erlang (Humble bundle)
  • Encyclopedia of eletronics components (Humble bundle)
  • Getting started with soldering (Humble bundle)
  • Eletricity for young makers (Humble bundle)
  • Becoming functional (Humble bundle)

Tem que por no kindle

  • Guerra das coreias
  • ego is the enemy
  • antifragil
  • o mito de sísifo
  • Learned optimism
  • Less then nothing
  • The Brain That Changes Itself
  • Sociedade do cansaço
  • As portas da percepcao
  • Breve história de quase tudo
  • O Livro da Lei. Liber Al Vel Legis

A comprar / Tenho interesse

  • the Principles of Product Development Flow
  • Programming Language Foundations in Agda https://plfa.github.io/
  • Anatomia da destrutividade
  • Computer Languages, Systems and Structures
  • The little typer
  • Atenção plena
  • Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
  • Types and Programming Languages - By Benjamin C. Pierce
  • Functional and Reactive Domain Modeling - Debasish Ghosh
  • Lambda-Calculus and Combinators: An Introduction - J. Roger Hindley
  • Type Theory and Formal Proof: An Introduction - Rob Nederpelt
  • The Beam Book - The Erlang Runtime System
  • Concrete Math - Knuth https://www.csie.ntu.edu.tw/~r97002/temp/Concrete%20Mathematics%202e.pdf
  • Homotopy Type Theory
  • Discurso da razão kent
  • Purely Functional Data Structures - Chris Okasaki

Recomendaçoes Zicas

  • Logicomix

  • healthy programmer

  • pragmatic programmer

  • Aristoteles P/ Todos - Mortimer J. Adler

  • Como pensar sobre as grandes ideias - Mortimer J. Adler

  • Obras completas - Aristoteles

  • Filosofia da matematica

  • O poder do pensamento matematico

  • Numeros no mentem como a matemtica pode ser usada para enganar

  • Uma breve historia do tempo - Stephen Hawking

  • O universo numa casca de noz - Stephen Hawking

  • Computer Science - An interdisciplinary Approach

  • Linguagens de programacao - Principios e paradigmas

  • Contos Edgar Allan Poe

  • Leviata - Thomas Hobbes

  • Dostoevsky - Crime and Punishment

  • O Mito da Liberdade, do Skinner

  • Aldous Huxley - Island

  • Aldous Huxley - As portas da percepcao

  • Papel de parede amarelo da Charlotte Perkins (Curtinho)

  • Por um fio do Drauzio Varella (Curtinho)

  • The Beginning of Infinity: Explanations That Transform the World

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment