z

111 posts

z banner
z

z

@axthurspida

Katılım Kasım 2021
233 Takip Edilen247 Takipçiler
z retweetledi
Borelli
Borelli@BorelliLuan·
Conheci recentemente uma estudante de PhD em Filosofia por Princeton. A moça, que fala nada mais nada menos que seis idiomas e especializa-se em Filosofia Oriental Antiga, está visitando Berkeley e, neste exato momento, estudando para obter uma certificação em Machine Learning. Enquanto isto, no Brasil, a nossa turminha universitária humanista segue batendo pé para aprender a somar 2+2, porque pensa que matemática não tem utilidade em humanidades.
Português
73
135
2.7K
490.8K
z
z@axthurspida·
@mmarccs Até acho que seria mais fácil ir para uma universidade da Inglaterra, como Warwick, que provavelmente não perderia nada em qualidade, mas o país pesa muito França >>> Inglaterra
Português
0
0
0
44
z
z@axthurspida·
Quão difícil é, para um brasileiro, conseguir fazer mestrado na École Polytechnique?
Português
1
0
3
342
z retweetledi
Taelin
Taelin@VictorTaelin·
Introducing LamBench . . . You asked me to make a benchmark, so I made it. It is a simple, old style Q&A consisting of 120 fresh λ-calculus programming questions. Some are easy, like "implement add for λ-encoded nats". Some are harder, like "derive a generic fold for arbitrary λ-encodings". It measures: - intelligence (% tasks completed) - elegance (BLC-length of solutions) - speed (completion time) Basically what I care about, other than long context. I made it today because I was excited about GPT 5.5. It didn't do too well ): (My first-day impression is that I can't tell the difference between GPT 5.5 and GPT 5.4. I would be lying if I said otherwise. I'd not be able to distinguish in a blind test. I need more time. It is much faster though.) This is a new, simple bench, so expect be bugs. Specially on OpenRouter models. I'll retest soon. Also, it was born saturated. V2 will be harder... ↓ Link and more charts below ↓
Taelin tweet media
English
57
50
898
49.9K
z
z@axthurspida·
@VictorTaelin depressed too but more because look like anything that im in right now will be useless in 2 yr or any big AI company will do it in 3 months with supermodels that they hidden/gatekeep
English
0
0
0
782
Taelin
Taelin@VictorTaelin·
actually quite depressed about the mythos stuff grinding my way through, I'll do it with or without them
English
38
6
1.4K
222.6K
z
z@axthurspida·
@mmarccs depende mais do jeito que voce estuda
Português
1
0
1
465
Matheus Marc Guichard
Matheus Marc Guichard@mmarccs·
Eu devo estar ficando para trás, pois eu não gosto de usar IA para estudar. Para mim parece que dá mais trabalho fazer um prompt do que ler, maturar e demonstrar o que eu li por uns minutos
Português
21
3
76
7K
z
z@axthurspida·
there is a high chance of anything that you are building rn will be totally useless in 2 years
English
0
0
0
74
Francielle Dellamora
Francielle Dellamora@francidellamora·
I started this dumb 10k steps a day thing two weeks ago and now I’m totally addicted to walking it doesn’t even matter if I’ve already hit 10k 15k or 20k I still want to keep walking all the time I’ve come to enjoy walking so much that it’s annoying
English
2
0
19
1.1K
z
z@axthurspida·
@luksamuk se nao for benchmaxxing é assustador
Português
1
0
1
257
Lucas
Lucas@luksamuk·
Mais uma última coisa sobre esse Mythos: Talk is cheap, show me the code.
Português
5
1
26
2.5K
z
z@axthurspida·
@adolfont Opa, consegui aqui. Muito obrigado! :)
Português
0
0
1
40
z
z@axthurspida·
@VictorTaelin so after bend2....🥲 retirement
English
1
0
1
3.6K
Taelin
Taelin@VictorTaelin·
I think Flowers is right and I don't see any point in building anything at all if we're having AGI soon. I regret spending so much time working, when I could be just living. I'm glad Bend2 is nearing its conclusion but I definitely won't work 15 hours a day after launch anymore
Flowers ☾@flowersslop

"now is the perfect time to start a company" is pure cope. just enjoy life while the old world is still here. no one will need your software in an AGI world. dont waste your time. live. make memories. AGI will crush everything. live for yourself. nobody will care in 5 years

English
65
20
672
97.1K
z
z@axthurspida·
@devcelio o que voce ta estudando atualmente?
Português
1
0
1
1.5K
Celio 💻
Celio 💻@devcelio·
tenho que aprender system design urgente, vou comprar o curso do galego quando o salario cair
Português
13
6
504
33.1K
z
z@axthurspida·
@dionisiodev Fundamentos da Matematica Elementar (livro) depois disso voce ta com os pre-requisitos prontos pra estudar qualquer coisa. nao precisa fazer todas as questoes uns 30% ja eh suficiente.
Português
0
0
6
510
Dionisio 🍷 💻
Dionisio 🍷 💻@dionisiodev·
Agora eu só paro quando eu souber TUDO de matemática kkkk
Dionisio 🍷 💻 tweet media
Português
67
93
4.6K
554.1K
z
z@axthurspida·
CMU 15411
el hombre pulpo@coproduto

Então tu quer aprender sobre COMPILADORES? Minhas recomendações GRATUITAS pra quem tem curiosidade de saber como que uma linguagem é executada (em inglês): 1. Começa pelo craftinginterpreters.com/contents.html. Esse é um livro completo que vai te ensinar como um interpretador é construído, desde parsing até representação de bytecode. Muitos dos fundamentos de um interpretador são os mesmos de um compilador, então isso vai te dar uma base bem versátil. 2. Depois do Crafting Interpreters, ou se você já tiver uma noção de interpretadores, eu recomendo muito o "Introduction to Compilers and Language Design". Esse é um livro-texto universitário gratuito: dthain.github.io/books/compiler/ e ele lida com toda a parte de compilar uma linguagem C-like pra assemblies x86 e ARM. 3. Outro recurso excelente sobre geração de código é o tutorial do LLVM, que consiste em construir uma mini-linguagem chamada Kaleidoscope e compilá-la pra LLVM IR - aí o LLVM cuida de transformar a IR no Assembly de sua preferência: llvm.org/docs/tutorial/ 4. O "Architecture of Open-Source Applications" - um livro gratuito que, honestamente, eu recomendo ler inteiro - tem um capítulo só sobre a arquitetura do LLVM e os tradeoffs que ele faz. Vale demais a leitura: aosabook.org/en/v1/llvm.html Deixei passar algum recurso? Se tiverem outras recomendações é só deixar nas respostas.

0
0
1
209
z
z@axthurspida·
tell me what it takes to be number one
English
0
0
0
136
z
z@axthurspida·
@TheEduardoRFS quantos remedios, ta tudo bem?
Português
1
0
0
443
z
z@axthurspida·
@DonVianna por que
Español
1
0
0
1.9K
danielhe4rt.php
danielhe4rt.php@danielhe4rt·
preciso aprender sobre crypto me deem dicas, artigos e coisas que seria bacana de saber já de cara (RT’s apreciados)
Português
15
9
117
8.7K