EduardoRFS.tei Profile
EduardoRFS.tei

@TheEduardoRFS

Followers
8,040
Following
1,511
Media
1,980
Statuses
32,753

25yo anti floating point developer. You can almost always find me at , it's the boring side of tech.

São Paulo, Brazil
Joined June 2015
Don't wanna be here? Send us removal request.
Explore trending content on Musk Viewer
@TheEduardoRFS
EduardoRFS.tei
10 months
Essa semana uma treta antiga com @danielhe4rt e @He4rtDevs foi aquecida mais uma vez, eu estou cansado, então vou jogar tudo aqui, isso já escalou para perseguição de pessoas que tem contato comigo e para ameaças de violência.
206
25
679
@TheEduardoRFS
EduardoRFS.tei
2 years
@danielhe4rt É melhor chorar na Lamborghini
4
10
373
@TheEduardoRFS
EduardoRFS.tei
3 months
Sinceramente, já desisti. Tenho 25 anos, nunca beijei nem transei. Assinei o Tinder Premium por 40 reais e não dei um match. Sinto que fracassei, as mulheres têm medo de mim. Minha família pergunta pq eu não namoro, e eu tenho que dar aquele sorriso dizer que não quero
Tweet media one
124
11
325
@TheEduardoRFS
EduardoRFS.tei
3 years
I know enough of C++ to know that I don't know C++.
6
34
295
@TheEduardoRFS
EduardoRFS.tei
3 years
Basicamente eu ficava o dia inteira em chat de hentai, jogava lol + minecraft + dota, codava uns mod e uns bot. E de alguma forma uns anos depois eu estou aqui, casualmente viajando o mundo sendo pago pela empresa. Alguém me explica como isso aconteceu?
15
7
262
@TheEduardoRFS
EduardoRFS.tei
3 years
cara eu nunca achei que php era tão bom acho que vou dedicar umas 15h pra entender as features do php 8.1 pq realmente tá mt foda
17
8
260
@TheEduardoRFS
EduardoRFS.tei
1 year
Com 21 anos, eu estava tirando 9k CLT + benefícios.
@ZattarRafael
Rafael Zattar
1 year
Com 21 anos eu tava me formando na Força Aérea e ganhava na escola de formação 600 reais por mês (próximo a 1.600 reais de hoje). Essa menina é engenheira jr. e tá na parte de cima da pirâmide pra idade. Como vc tava com 21 anos?
Tweet media one
147
5
465
60
8
257
@TheEduardoRFS
EduardoRFS.tei
3 years
Todo desenvolvedor deveria entender: - recursão - árvores e operações básicas nelas - escrever um parser ruim - interpretar o cálculo de lambda E sim, isso é conhecimento útil no dia a dia. Entender como suas ferramentas funcionam se torna incrivelmente mais fácil.
19
15
255
@TheEduardoRFS
EduardoRFS.tei
3 years
Você não vai ficar rico sendo desenvolvedor
26
11
242
@TheEduardoRFS
EduardoRFS.tei
4 years
Imagina não contratar alguém só por que a pessoa não tem um Mac.
18
15
224
@TheEduardoRFS
EduardoRFS.tei
3 years
Hard skill escala mais que soft skill em tech.
28
11
222
@TheEduardoRFS
EduardoRFS.tei
3 years
Caraleo o ego do mano bateu o meu, parabéns.
17
10
219
@TheEduardoRFS
EduardoRFS.tei
11 months
@OficialJoao Minha aposta, maior parte desses caras são culturalmente muito brasileiro. Isso é o fator decisivo.
6
0
213
@TheEduardoRFS
EduardoRFS.tei
3 years
Jamais diminua alguém pelo tipo de trabalho que ela faz. Sério, isso é o minimo. Vale não só para respeitar o pessoal que faz limpeza, suporte e etc... Isso também para desenvolvedor que faz CRUD, front, back, que trabalha em uma empresa pequena, que é estagiário e etc...
0
18
208
@TheEduardoRFS
EduardoRFS.tei
7 months
@kazzkiq Por que somos pobre.
6
0
209
@TheEduardoRFS
EduardoRFS.tei
3 years
Pessoal não entendeu que a vantagem salarial do euro ou dólar não é a força da moeda.
14
8
203
@TheEduardoRFS
EduardoRFS.tei
10 months
Se for para escolher entre eu e o coletivo, eu vou todo dia escolher a mim mesmo. Vocês só não querem assumir responsabilidade individual, eu não coloco a culpa dos meus problemas em ninguém, não coloque a culpa dos seus em mim.
22
10
200
@TheEduardoRFS
EduardoRFS.tei
3 years
Eu já esqueci mais sobre computação do que o moleque vai aprender na vida, Fernando. Eu falo com autoridade pq eu possuo autoridade. O problema é fazer isso cansado depois de um longo vôo intercontinental.
24
9
199
@TheEduardoRFS
EduardoRFS.tei
2 years
Não existe teste que pode provar que um sistema é "100% CONFIÁVEL". QUALQUER teste que você pensar é fácil fazer um contra argumento.
@tracklist
Tracklist
2 years
100% CONFIÁVEL! O TSE concluiu nessa sexta-feira (13) os testes públicos das urnas eletrônicas que serão utilizadas nas eleições de outubro. Nesses testes, não foi possível realizar nenhuma fraude ou mudança de resultado na urna.
90
382
4K
21
15
195
@TheEduardoRFS
EduardoRFS.tei
10 months
Desenvolvedores e médicos geralmente são bem mais inteligentes que a média nacional.
67
15
197
@TheEduardoRFS
EduardoRFS.tei
2 years
Você já apagou a node_modules hoje?
14
11
191
@TheEduardoRFS
EduardoRFS.tei
3 years
Isso mesmo rico é o Elon Musk, eu quero é isenção de imposto de renda.
7
14
190
@TheEduardoRFS
EduardoRFS.tei
1 year
O circulo de celebração a mediocridade está cada dia maior
84
20
192
@TheEduardoRFS
EduardoRFS.tei
3 years
Bom dia para quem acordou em Paris com um céu lindo
Tweet media one
3
1
188
@TheEduardoRFS
EduardoRFS.tei
10 months
@clarionrox @Tiagogreis Sim, é culpa do usuário, o ponto inteiro do sistema é que responsabilidade é individual, se você não quer ser responsável, então delegue para um terceiro, mas dai você está sujeito ao terceiro falhar.
5
0
174
@TheEduardoRFS
EduardoRFS.tei
2 years
I'm officially unemployed, I quit my job to focus on doing a couple projects and hopefully a company.
24
1
182
@TheEduardoRFS
EduardoRFS.tei
3 years
Pauta para próximas tretas, eu larguei o ensino médio. E claramente não tenho faculdade
14
3
184
@TheEduardoRFS
EduardoRFS.tei
4 years
Já que vou contratar, fui lá e comprei computador para meu novo funcionário perfeito > Foi o OCaml que me deu
Tweet media one
Tweet media two
21
2
182
@TheEduardoRFS
EduardoRFS.tei
5 months
@gassara_sara You know, in physics sometimes we say that a cow is a sphere, it is based on reality, we're just abstracting all the annoying details away. I can like a story about even if I see that the author intended to say something that I disagree.
9
4
178
@TheEduardoRFS
EduardoRFS.tei
3 years
Grandes experiencias do meu twitter
Tweet media one
23
3
172
@TheEduardoRFS
EduardoRFS.tei
3 years
Agora que eu estou investindo e conseguiria viver dos meus investimentos, eu posso ser considerado rico?
36
1
175
@TheEduardoRFS
EduardoRFS.tei
6 months
@vitorsalmeida_ Você não espera que uma criança de 6 anos escreva igual um adulto de 30.
1
0
174
@TheEduardoRFS
EduardoRFS.tei
6 months
Então, na live de hoje eu vou estar explicando por que o teste do Taelin não é tão difícil quanto parece, por que ele parece difícil e como resolver ele. Se tudo der certo no final do dia devemos ter o código, mas em Coq, por que Coq > Agda.
Tweet media one
@VictorTaelin
Taelin
6 months
Um candidato me pediu um "desafio muito difícil" valendo vaga. Gosto disso. Segue o desafio: > Implemente um normalizador para o cálculo lambda não tipado afino, usando Agda. Crie um tipo indutivo para termos, assegurando a linearidade das variávies. Crie uma função normalize,
98
23
530
6
12
171
@TheEduardoRFS
EduardoRFS.tei
1 year
Hey I'm looking for cool opportunities. I have experience with web(fullstack), embedded(PoS), compilers, type checkers and developing a blockchain.
5
43
172
@TheEduardoRFS
EduardoRFS.tei
5 years
Can we kill Flutter now? ReasonML Native Revery running on a Android ARMv8 It's dynamic and needs a Xorg, but both things should be "easily" fixed
Tweet media one
Tweet media two
12
29
167
@TheEduardoRFS
EduardoRFS.tei
3 years
Linguagens de programação, é um tópico bem objetivo na prática. Mas o que vocês discutem não é linguagem de programação, é gosto. Eu não gosto de structural subtyping por exemplo, não por isso eu acho TypeScript uma bosta.
6
16
163
@TheEduardoRFS
EduardoRFS.tei
11 months
@opaidooliver @OficialJoao "não se adapta lá fora", vulgo culturalmente muito brasileiro.
2
0
163
@TheEduardoRFS
EduardoRFS.tei
3 years
É isso, comprei a torre Eiffel
Tweet media one
8
1
158
@TheEduardoRFS
EduardoRFS.tei
3 years
Nunca mais eu vou beber
Tweet media one
5
2
156
@TheEduardoRFS
EduardoRFS.tei
2 years
Que aleatório, um mano me parou e falou que ele assiste minhas stream, na rodoviária de Porto Alegre. Parceiro se você ver isso valeu demais e desculpa, mal dormi essa noite.
5
0
154
@TheEduardoRFS
EduardoRFS.tei
2 years
Tweet media one
6
0
154
@TheEduardoRFS
EduardoRFS.tei
3 years
Eu ganho 75k por mês, e meus gastos fixos(pessoais) até o mês passado eram 4000, pq eu divido AP e gasto mto no ifood. E sim eu esqueço de pagar contas.
Tweet media one
Tweet media two
Tweet media three
50
6
144
@TheEduardoRFS
EduardoRFS.tei
1 year
C é provavelmente a pior linguagem para você internalizar algoritmos e estrutura de dados.
10
8
146
@TheEduardoRFS
EduardoRFS.tei
3 years
I don't understand people who fell more productive remotely. I feel like in office there is so much more information floating around that I learn just by existing. Especially learning about my coworkers.
9
6
142
@TheEduardoRFS
EduardoRFS.tei
8 months
You may not like it, but this is what peak developer performance looks like.
Tweet media one
8
7
139
@TheEduardoRFS
EduardoRFS.tei
2 years
Quarto novo
Tweet media one
10
0
141
@TheEduardoRFS
EduardoRFS.tei
1 year
Fun fact, eu nunca sentei em uma sala de aula universitária.
@0xB945FC
G A B E
1 year
C é uma linguagem fácil, e implementar algoritmos em C é fácil também, comentários dizendo que C é difícil ou fazer X, sempre é de gente que só aprendeu a programar pq sentou em sala de aula, nunca vem de um autodidata que é 10x melhor que qualquer universitáriozinho
0
0
12
21
3
139
@TheEduardoRFS
EduardoRFS.tei
3 years
Só faz faculdade quem não se garante com wikipedia
7
18
140
@TheEduardoRFS
EduardoRFS.tei
3 years
Sometimes I want to quit my job, and just start watching animes again all day. Because the job is bad? No, it's great, but being responsible sucks.
6
4
139
@TheEduardoRFS
EduardoRFS.tei
8 months
@vitorsalmeida_ Pensa como buffering, objetivo é reduzir a latência. Outra coisa que aumenta sua chance de ter espaço para bagagem.
2
1
138
@TheEduardoRFS
EduardoRFS.tei
4 years
Oh shit, it seems like I actually got a job
17
1
138
@TheEduardoRFS
EduardoRFS.tei
5 months
@emil_priver JS did that and it is bad
4
1
138
@TheEduardoRFS
EduardoRFS.tei
3 years
Via de regra, linguagem de programação não são escolhidas após olhar para benefícios e downside. Elas são escolhidas majoritariamente pelo domínio do time ou de quem iniciou o projeto.
9
3
135
@TheEduardoRFS
EduardoRFS.tei
3 years
Tweet media one
9
4
136
@TheEduardoRFS
EduardoRFS.tei
5 years
@omago26 @oikarwa "Provavelmente" e "a maioria" é uma boa escolha, o primeiro indica incerteza, mas algum nível de confiança e "a maioria" demonstra que podem existir exceções, mas a regra aparenta ser essa
1
7
130
@TheEduardoRFS
EduardoRFS.tei
1 year
@mikko @Bullunar @Windows It can, for static binaries
8
0
135
@TheEduardoRFS
EduardoRFS.tei
2 years
@amandabrbz Só trabalhar para fora, qualquer vaga pleno razoável vc tira 5k USD. Agora chegar aos 23 anos é complicado.
7
0
131
@TheEduardoRFS
EduardoRFS.tei
2 years
Vale a pena morar em casa grande? Se você morasse em uma casa com 400m² faria o que?
110
1
130
@TheEduardoRFS
EduardoRFS.tei
3 years
Ponto importante no tópico, sintaxe é o menos relevante de uma linguagem de programação para discutir, é quase que estritamente gosto. (tem (gente (que (gosta (de (parenteses)))))
11
6
134
@TheEduardoRFS
EduardoRFS.tei
2 years
When I started working, I already had 10k hours of coding and I liked it. I've been coding full time for 4 years almost every day, likely another 10k hours. Many dimensions are now clear to me, I'm burning my life through code and I'm enjoying it.
7
10
132
@TheEduardoRFS
EduardoRFS.tei
1 year
Sábado é dia de live em português, então bora fazer algo diferente. MADRUGADA EDUCACIONAL Implementando umas estruturas de dados em TypeScript. Depois implementando uma linguagem funcional em TypeScript, incluindo lexer, parser, typer, interpretador e possivelmente um backend.
Tweet media one
6
15
126
@TheEduardoRFS
EduardoRFS.tei
6 months
@RealGalego Se você não escreve código no final de semana, provavelmente você não é bom.
29
4
130
@TheEduardoRFS
EduardoRFS.tei
3 years
Moh feliz
Tweet media one
7
0
126
@TheEduardoRFS
EduardoRFS.tei
1 year
Tweet media one
3
15
122
@TheEduardoRFS
EduardoRFS.tei
3 years
Pensando em fazer um grupo para Discord de linguagens de programação / funcional. Lugar para mostrar que Idris é melhor que Haskell e que OCaml é funcional para pessoas simples.
16
6
126
@TheEduardoRFS
EduardoRFS.tei
3 years
Eu desenhando uma vaga de emprego
Tweet media one
25
7
123
@TheEduardoRFS
EduardoRFS.tei
3 years
Ai, estou preso em casa na ucrania, mas ao menos não estou no brasil
9
2
122
@TheEduardoRFS
EduardoRFS.tei
11 months
@Svixy @CyanideEmber You know that AC can be used for heating right?
6
0
121
@TheEduardoRFS
EduardoRFS.tei
3 years
Ai coisas que me deixam profundamente feliz
Tweet media one
5
2
120
@TheEduardoRFS
EduardoRFS.tei
11 months
Live educacional rara, ajudando a Gabi na rinha de compiladores e fazendo um template em TypeScript. Quem quiser saber sobre o projeto ou precisar de ajuda só aparecer.
Tweet media one
@io_gabx
Gabi
11 months
Gente, a rinha de compiladores está publicada, basicamente, as instruções estarão em . As specs e os requisitos estão lá, ainda terão alguns ajustes futuramente de como rodar e como vai ser automatizado. O prazo é até 23/09. @TheEduardoRFS vai live tbm dps
56
200
1K
1
15
121
@TheEduardoRFS
EduardoRFS.tei
3 years
Tweet media one
11
1
118
@TheEduardoRFS
EduardoRFS.tei
1 year
@henriqdrope Eu diria que pior, o negócio é claramente algebra, só que o pessoal acha que se não está usando "x" de variável não é matemática.
4
2
114
@TheEduardoRFS
EduardoRFS.tei
3 years
Approved
Tweet media one
15
1
117
@TheEduardoRFS
EduardoRFS.tei
3 years
Foda-se, vou voltar para Brasil, fazer as paradas que quero e declarar saida definitiva.
7
3
117
@TheEduardoRFS
EduardoRFS.tei
3 years
Não tenho CNH, motivo? Falar com pessoas. Não tenho plano de saúde, motivo? Falar com pessoas. Não marquei um raio-x importante, motivo? Falar com pessoas. Se eu tenho de ligar para alguém eu desisto.
15
10
111
@TheEduardoRFS
EduardoRFS.tei
3 years
MANDARAM ESSA PARA MIM.
Tweet media one
27
2
113
@TheEduardoRFS
EduardoRFS.tei
3 years
Hoje meu primeiro funcionário começou a trabalhar. É esse o tweet
2
1
111
@TheEduardoRFS
EduardoRFS.tei
2 years
@coproduto Ansiedade, as pessoas não conseguem aceitar que aprender algo pode demorar anos.
4
3
112
@TheEduardoRFS
EduardoRFS.tei
2 years
Tweet media one
4
2
113
@TheEduardoRFS
EduardoRFS.tei
2 years
Caralho eu virei a lenda
@antiviralatismo
Francisco Barros 👑🏆🏆🏆
2 years
@naruteirarabuda Pessoal fala de sênior de 2 anos kkk o cara virou tech lead em menos de 2 anos kkk pediu a conta para programar projetos pessoais a empresa não aceitou e ainda falou pra ele ficar de boas e mantendo o salário kkk agora ele só ta de consultor e trabalha quando quer
1
0
16
10
1
110
@TheEduardoRFS
EduardoRFS.tei
2 years
Não recebo 13°... Que pena... Meu salário de R$ 65.000 como PJ nem dá até o fim do mês... 😰
13
1
113
@TheEduardoRFS
EduardoRFS.tei
4 years
@coproduto eae como é ser pobre fudido?
Tweet media one
27
7
107
@TheEduardoRFS
EduardoRFS.tei
4 years
THAT'S IT GUYS @reveryui
Tweet media one
9
12
108
@TheEduardoRFS
EduardoRFS.tei
3 years
Isso é um bom exemplo de fanatismo politico que me preocupa, pessoas que discordam de você não são mais burras que você.
@aquijuz
aquijuz.bsky.social
3 years
a existência de dev bolsominion/ancap serve para enterrar de vez o mito de que a pessoa tem que ser muito boa em lógica pra programar
12
356
2K
15
6
108
@TheEduardoRFS
EduardoRFS.tei
3 years
OCaml que me deu, estou indo para Ucrânia
7
2
108
@TheEduardoRFS
EduardoRFS.tei
2 years
Venho aqui comunicar a todos que estou solteiro e após uma uma semana, eu não estou chorando no banheiro. Boa noite a todos.
11
0
108
@TheEduardoRFS
EduardoRFS.tei
2 years
THUMB SINISTRA
Tweet media one
6
5
109
@TheEduardoRFS
EduardoRFS.tei
3 years
Ok so here is my secret to be a 10x developer: I quit high school and stayed 3 years eating chicken, playing League of Legends and coding.
4
7
105
@TheEduardoRFS
EduardoRFS.tei
4 years
Seriously this made my day a lot better
Tweet media one
7
3
107
@TheEduardoRFS
EduardoRFS.tei
3 years
@allenholub Nope, it's about "I don't trust the person to write perfect code", in fact I don't trust anyone to do that, even myself. Humans are too good at convincing themselves about anything, this makes them blind even if not intentional.
1
3
106
@TheEduardoRFS
EduardoRFS.tei
2 years
Você até pode gostar da solidão quando você não tem ela, a solidão é um excelente conforto temporário. Porém não queira solidão permanente, depois de um tempo ela começa a te corroer, dado tempo o suficiente você deixa de existir.
7
8
100
@TheEduardoRFS
EduardoRFS.tei
3 years
É disso que estou falando
Tweet media one
11
7
101
@TheEduardoRFS
EduardoRFS.tei
3 years
cursed++
Tweet media one
6
6
103
@TheEduardoRFS
EduardoRFS.tei
3 years
Só compartilhar uma notícia com a plebe, PAI TA RICO.
21
1
103
@TheEduardoRFS
EduardoRFS.tei
3 years
Não importa quão inteligente ou burro você é, com tempo você aprende. O que importa é aprender, eu pessoalmente aprendo bem rápido mas tenho um foco de um gato, então no final do dia aprendi muito, mas nem lembro aonde eu estava.
4
3
97
@TheEduardoRFS
EduardoRFS.tei
1 year
Sério, eu não sou de comprar narrativa, mas isso aqui já está virando putaria. Mas a situação dessa PL já está virando perseguição. Nada do que o Telegram falou é um absurdo, é um posicionamento apenas e é natural organizações terem posicionamentos.
@eixopolitico
Eixo Político
1 year
🇧🇷 URGENTE: Ministro Alexandre de Moraes determina que Telegram envie nova mensagem aos usuários após atacar projeto de lei das Fake News e, se não cumprir, aplicativo será suspenso por 72 horas. A íntegra da mensagem: “Por determinação do SUPREMO TRIBUNAL FEDERAL, a empresa
Tweet media one
Tweet media two
433
710
14K
8
4
101
@TheEduardoRFS
EduardoRFS.tei
3 months
This is why I don't believe in Bend or any current way of massive opt-out parallelism. Translating the Bend code to OCaml, cleaning and adding parallelism, took me while streaming less than an hour and it almost beats the RTX 4090 results.
5
11
98