Γ ⊢ Arthur Xavier

@arthurxavierx

PLs, type systems, category theory, web dev, graphics, Vim, languages. Proud Lusophone. Haskell & PureScript . he/him. I learn languages .

Belo Horizonte - Brazil
Vrijeme pridruživanja: veljača 2013.

Tweetovi

Blokirali ste korisnika/cu @arthurxavierx

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @arthurxavierx

  1. Prikvačeni tweet

    Finally finished the second part of my bachelor thesis, featuring a "real-world application", an RSS feed reader built with as UI components. A Real-World Application with a Comonadic User Interface

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    prije 12 sati

    Going to do something off brand: this is my relationship advice thread. 😳 What I wish knew when I was 20.

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    prije 10 sati

    Normalisation, how to do it fast for the untyped lambda-calculus by means of evaluation, and why we care (together with some of the required type theory/PLT background): first of a series, hopefully. Feel free to yell at me in replies about mistakes etc!

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    prije 13 sati

    ⚠ If your main (or only) source of income in life is related to typing on computers, take special care of your wrists. This thread has a lot of tips. Take precautions before your thirties.

    Poništi
  5. proslijedio/la je Tweet
    2. velj

    Não tem essa de dizer que tal grupo "não precisa de educação" Todo mundo precisa de educação Todo mundo deveria ir pra faculdade A faculdade é um lugar para ampliar a sua maneira de ver o mundo e a vida Não é só um lugar pra moldar gente pro mercado Caguei pro mercado

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    prije 24 sata
    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    2. velj

    Despite making up over half of the Amazon Basin, a new study shows that indigenous and protected lands have levels of deforestation five times lower than unprotected areas, writes

    Poništi
  8. proslijedio/la je Tweet
    1. velj

    This video cured my depression in 33 seconds.

    Poništi
  9. proslijedio/la je Tweet
    31. sij

    A nomeação de um missionário ligado a Missão Novas Tribos do Brasil para a Coordenação de Isolados da Funai é um passo decisivo do governo Bolsonaro para a pretensão indisfarçável de roubar terras indígenas e cometer integração de povos, que é o mesmo que genocídio.

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    31. sij
    Ovo je potencijalno osjetljiv multimedijski sadržaj. Saznajte više
    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    31. sij

    Anytime a rich person donates money, this is how you should report it.

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    30. sij
    Poništi
  13. 30. sij

    geez, this category theory thing keeps following me everywhere…

    Poništi
  14. proslijedio/la je Tweet
    29. sij

    “Beagá foi construída sobre seus córregos e ribeirões, retificados e cobertos para receber carros por cima e esgoto por baixo. Diante da emergência climática, urge reverter este modelo indiferente ao caminho das águas e à vida dos rios, se quisermos evitar maiores tragédias”:

    Poništi
  15. proslijedio/la je Tweet
    29. sij

    Galera, sobre maneiras de ajudar os afetados pela chuva aqui em MG: A organização aonde eu faço trabalho voluntário construindo moradias emergenciais está com uma campanha de arrecadação pra atender famílias desabrigadas com essa chuva nas comunidades em que atuamos

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    29. sij

    The improba-wall is messing with my head

    Ovo je potencijalno osjetljiv multimedijski sadržaj. Saznajte više
    Poništi
  17. proslijedio/la je Tweet
    28. sij

    some of you may have noticed my bio says 'IEEE 754 advocate'. well it's time for some IEEE 754 advocacy! 1. floating point is actually a pretty good trade off for lots of use cases, particularly science!

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    29. sij

    Pra quem não é de BH: Belo Horizonte é uma cidade repleta de rios. Mas nós não vemos eles. Não vemos porque a cidade é regida por uma lógica urbanista completamente suicida, que entende que é necessário "civilizar" a cidade e torná-la mais atraente para carros e prédios.

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    29. sij

    Eu não sei se vocês que não são de BH estão entendendo o que tá rolando aqui. Eu não tenho certeza, e acho que só teremos amanhã quando tivermos uma análise mais completa dos canos, mas me parece que estamos vivendo o maior desastre ambiental da história da cidade.

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    29. sij

    No capitalismo, tudo é calculado até a última vírgula na ponta da caneta com uma meta: maximizar os lucros, reduzir os prejuízos. Cada empreiteira que já fez obra nessa Belo Horizonte SABIA do que tava fazendo. Laudos sempre estiveram aí. Urbanistas alertam há décadas.

    Prikaži ovu nit
    Poništi
  21. proslijedio/la je Tweet
    27. sij

    Putting together some high quality slides on PureScript

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·