z @_lazarusm
São Paulo, Brazil Joined February 2023-
Tweets53
-
Followers16
-
Following41
-
Likes265
RELEASE DAY After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world! Bend compiles modern programming features, including: -…
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.
Live rolando! Quem quiser acompanhar para ver o lançamento do novo currículo e ficar por dentro do andamento da Rinha... Vem no link... 🔗 twitch.tv/universidade_l…
Vo stremar eu trabalhando galera :) Quem tiver curiosidade sobre blockchain e etc tamo ai!!! twitch.tv/sofialgebra
não acredito que a taylor só canta uma música de speak now no filme
Pessoal, continuo na busca por job. Se alguém tiver alguma recomendação eu agradeço! Tenho experiência desde coding hands-on a liderança de times, já trabalhei com várias stacks e arquitetura de software. Meu linked-in: linkedin.com/in/scarletrose/
Há algumas semanas eu questionei sobre o interesse das pessoas aqui de aprender OCaml, e hoje eu trouxe esse artigo com alguns argumentos pessoais sobre linguagem, aculumados nos meus últimos dois anos de experiência com OCaml. dev.to/renatoalencar/…
Outro artigo meu ai :) dessa vez é sobre explorar Lean4 e conceitos divertidos que eu fui aprendendo durante a minha jornada com linguagens funcionais. blog.codeminer42.com/exploring-lean…
Lançamento da disciplina "CR6.100B - Introdução à Ciência da Computação", baseada e adaptada da Harvard CS50, para os alunos brasileiros. É um projeto em andamento, mas você já pode acompanhar em: computacaoraiz.com.br/cr6100b
After almost 10 years of exhaustive research, nights without sleep, I've finally completed my ultimate work and can now reveal my real motives. With you... A Lock-Free Interaction Combinator Evaluator... To Fix League of Legends' Client Performance github.com/HigherOrderCO/…
Hey, are you interested in crypto? @danhines09 and I are working on a marketplace and a payment system with crypto. So let's discuss a bit, show some OCaml code, write some CSS, you know, all the good stuff. RT's are appreciated
Hey, are you interested in crypto? @danhines09 and I are working on a marketplace and a payment system with crypto. So let's discuss a bit, show some OCaml code, write some CSS, you know, all the good stuff. RT's are appreciated
CodingVikings @CodingVikings
870 Followers 7K Following Software content , apps, dev tools, Crypto Blockchain , investments, Business information on youtube and SUBSCRIBE @ https://t.co/kUybyOGTqo
Bonatto @fiBonatto
1K Followers 1K Following Software engineer building @AgorizBot. Focused on formal methods and functional programming. Opinions are mine.
Fesessys @fesessys92109
29 Followers 2K Following
Adolfo Neto @adolfont
9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
Renato Alencar @cajuinaoverflow
2K Followers 2K Following Smashing the stacks for fun and profit. Mostly into OCaml and Clojure these days, hacking stuff together until it works.
jeff fofo coder CEO @JeffQuesado
4K Followers 3K Following here be shitpost == @htmx_org CEO || não gosto de cenoura || https://t.co/VNVVXNiXh2
Nathanael Ribeiro @gatosepudins
212 Followers 755 Following *Looking for a job* OCaml, ReScript, F#, JavaScript, and a love for programming languages and tooling Member of https://t.co/DpViH8vW5a
Emila_vtuber567 @EVtuber567
178 Followers 2K Following Professional graphic designer| Illustrator Dm me for paid vtuber all models Logo,Banners,Overlays,Emotes And Sub Badges and Animations
Kewerson Hugo @KewersonHugo
698 Followers 2K Following Jack of all trades, master of none. Piadas ruins. Memes. Coisas aleatórias. As vezes falo sobre programação. BlueSky: https://t.co/kmhRJCF267
Koreyoshi @koreyoshi_lg
273 Followers 2K Following The old man said that meeting is a blessing, not meeting is also.
camilo.bend @ocamilodev
5K Followers 3K Following 28 y. | 👨💻 DEV. working with Clojure and ClojureScript ADM na @UBLivre ORG na @gambiconf
Sofia @algebraic_dev
4K Followers 856 Following 🏳️⚧️ uuh I try to code cool stuff, working as a Researcher Software Engineer :)
José Valim @josevalim
53K Followers 74 Following Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.
leo @leocooout
8K Followers 292 Following iOS Engineer Arch & Infra no @tiktok_us as vezes tech as vezes viagem
lorenzo @Lorenzoowb
539 Followers 455 Following
Bonatto @fiBonatto
1K Followers 1K Following Software engineer building @AgorizBot. Focused on formal methods and functional programming. Opinions are mine.
Adolfo Neto @adolfont
9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
Gabrielle Oliveira @io_gabx
3K Followers 417 Following Hi, I'm a 19 yo individual who likes OCaml and Rust. I also like logic, dependent types, math & formal proofs o/ https://t.co/l9voJmuQ8w ️💕
Prophet @welltypedwitch
3K Followers 543 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/p6LXXU7dGH
jeff fofo coder CEO @JeffQuesado
4K Followers 3K Following here be shitpost == @htmx_org CEO || não gosto de cenoura || https://t.co/VNVVXNiXh2
Nathanael Ribeiro @gatosepudins
212 Followers 755 Following *Looking for a job* OCaml, ReScript, F#, JavaScript, and a love for programming languages and tooling Member of https://t.co/DpViH8vW5a
George Hotz 🌑 @realGeorgeHotz
300K Followers 204 Following President @comma_ai. Founder @__tinygrad__
Felipe O. Carvalho @_Felipe
4K Followers 2K Following @ApacheArrow / Databases / Compilers. SWE @dbt_labs. (past @SDFLabs, VoDa, @Spotify). Rust/C++/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADI
Mr. Early Morning @masoxi22
939 Followers 448 Following Desenvolvedor Web. Fullstack. GH: https://t.co/6rEBCbflmg LinkedIn: https://t.co/ieaDU8Mmsj
Pedro @henriqdrope
417 Followers 713 Following Físico e Engenheiro de Dados mas também flamenguista e torcedor do Lakers
Antonio Monteiro @_anmonteiro
3K Followers 243 Following Eng @recallai, building the universal API for meeting recording. Making @melange_re
David Sancho @davesnx
3K Followers 1K Following Building the tools behind user interfaces at @ahrefs with OCaml and open-source, mostly reason-react, server-reason-react, styled-ppx, Melange and Reason.
daniloab @daniloab_
4K Followers 506 Following Senior Full-Stack Software Engineer | Tech Lead | Product Builder https://t.co/8FngymR4hR https://t.co/Kj6gtKKhiU
Grande @grande0_
1K Followers 3K Following Software Engineer | Go | TypeScript https://t.co/oqW5cSZY8G
Lincoli ➜ gonomadz.... @lincolixavier
11K Followers 577 Following Nômade Digital, Webmaster, Builder, Fotógrafo, Skydiver e muito falante 📍Podgorica 🇲🇪 🌎 24% ➜ https://t.co/VK8MJoUOo4
Kewerson Hugo @KewersonHugo
698 Followers 2K Following Jack of all trades, master of none. Piadas ruins. Memes. Coisas aleatórias. As vezes falo sobre programação. BlueSky: https://t.co/kmhRJCF267
ThePrimeagen @ThePrimeagen
300K Followers 1K Following skill issues: 🟩⬛️⬛️⬛️⬛️⬛️(69/420) https://t.co/qWJnB6p4EP https://t.co/IwY3FTx1ZE https://t.co/TYJ6aSpwYs
teej dv 🔭 @teej_dv
77K Followers 1K Following open source code | @neovim core | @terminaldotshop btw | ✝️ father of 3, dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG
Тsфdiиg @tsoding
93K Followers 285 Following Recreational Programming - https://t.co/cPjxUvz266 - https://t.co/EilSXwJsXC - https://t.co/0cNzC7z24Y ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
Sofia @algebraic_dev
4K Followers 856 Following 🏳️⚧️ uuh I try to code cool stuff, working as a Researcher Software Engineer :)
camilo.bend @ocamilodev
5K Followers 3K Following 28 y. | 👨💻 DEV. working with Clojure and ClojureScript ADM na @UBLivre ORG na @gambiconf
Universidade Brasilei... @UBLivre
6K Followers 234 Following A Universidade Brasileira Livre é um projeto sem fins lucrativos que organiza o conteúdo online em pt-BR para aumentar o acesso de Brasileiros a educação! 📚
Renato Alencar @cajuinaoverflow
2K Followers 2K Following Smashing the stacks for fun and profit. Mostly into OCaml and Clojure these days, hacking stuff together until it works.
/dev/null @wrongbyte
810 Followers 719 Following Trying to code and failing miserably since 2021. I love books, mathematics and a bit of chaos. I also write (bad) Rust 🦀
He4rt Developers @He4rtDevs
21K Followers 169 Following O melhor grupo de estudos para programadores totalmente sem fins lucrativos que você vai conhecer. Da comunidade para a comunidade💜
The Investor @leiatheinvestor
310K Followers 814 Following Truth is like poetry. And most people f*cking hate poetry.
Fabio Makita @AkitaOnRails
83K Followers 422 Following CONTA PESSOAL E FECHADA. SE NÃO CONCORDA COM ALGO, SÓ NÃO SEGUIR. anti-woke. anti-commies. anti-SJW 🦅
danielhe4rt.php @danielhe4rt
41K Followers 2K Following 🇧🇷 26 yo doing useless code since 2011 php and laravel is the way
EduardoRFS.tei @TheEduardoRFS
9K Followers 2K Following 26yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.
Trends for United States
You might like
