Gabrielle Oliveira
@io_gabx
Followers
3K
Following
9K
Media
98
Statuses
2K
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 ️💕
Brazil
Joined May 2018
Hello, welcome to my profile, I made this thread to group all my articles into one place on my twitter:
4
2
35
PESSOAS, a querida Ana Bastos está buscando um trampo novo! Ela mexe com TS, Elixir, Clojure, já trabalhou com Clojure no Nubank, e muitas outras coisas. Ela é bem ativa na comunidade, é MC na @gambiconf, e merece nosso apoio. Se puder dar uma força compartilhando, agradeço 🙏
16
69
702
A GambiConf 2025 será especial e diferente 🎉 Estaremos em 3 locais diferentes de SP. Não importa onde você more, teremos um dia mais perto de você!
2
5
17
The greatest trick Rust ever pulled was turning all of my functional programmer homies into systems programmers.
Mostly working in Rust but keeping a curious eye on Zig - it's always interesting to compare the techniques offered by the two. That reflects a lot on the philosophy of language design that they embrace .. Here are four ways to model “interfaces” in Zig (and they compare to
6
13
364
people larp as autistic to cope with the fact that theyre low iq chem spayed docile cattle with no impulse control or real identity
194
2K
23K
Hello everyone. A friend told me that I shouldn't post this message because it made me and other PhD students look bad. But I actually think it's important to show how PhD students (especially foreign ones) have to deal not only with research-related difficulties, but also with
gofundme.com
Hello everyone. A friend told me that I shouldn't post this message… Mathieu Alain needs your support for Help me resuming my PhD studies after sick leave
44
245
1K
Head-tracked “Window Mode.” Your front camera finds your head. The view reprojects in real time so the screen feels like a window into the 3D scene. True3D, no glasses.
1K
3K
56K
Entertainment being shallow and always a click away feels like a bad thing. This seems like an "old person complaint" - back in the day we had nothing to do but stare at the wall yadda yadda - but I don't think it's that the boredom is good. It's that it's too easy to be nothing
1
1
7
One thing I wish I could beat into the heads of all the CS majors that follow me is that the Silicon Valley old guard stayed up late coding on weekends not so they could get rich enough to never code again but to buy more time staying up late coding on weekends in their 50s
my weekend project to learn about bluetooth mesh networks, relays and store and forward models, message encryption models, and a few other things. bitchat: bluetooth mesh chat...IRC vibes. TestFlight: https://t.co/P5zRRX0TB3 GitHub: https://t.co/Yphb3Izm0P
68
507
10K
📣 We're excited to share the new https://t.co/2jeqAXEKgJ! Relaunching our website was a key deliverable in our Year 2 roadmap to provide "improved navigation and access to valuable content, resources, and tools." We hope you like it! #LeanLang #LeanProver
14
99
507
twitter -> autism instagram -> bpd linkedin -> npd facebook -> schizophrenia
13
1
37
why is change so scary someone should fix that they should invent a change that feels cosy and familiar
6
5
48
A major misconception is that PLT people know how to implement a practical programming language. They don't, it's rare for a PLT person to have that kind of knowledge. PLT people know how to create a theory. They may also know how to implement a few specific features. But for
10
16
201
how likely is it that the sun is conscious? (please reply with why you picked the % you did)
83
1
76
Tava refletindo aqui como a molecada de hj é 20 mil vezes mais machista que a pirralhada do meu tempo. Bicho, esses pirralho de hj falam umas paradas que na minha época vc jamais ouviria nem do tiozão da barbearia termos agressivos MERMO. E pirralhos q as vezes nunca namoraram
304
2K
34K
Durante o meetup do Clojure BR, a @io_gabx convidou a galera a participar da GambiConf! Obrigado pela ajuda em espalhar a palavra da gambiarra 🎉
0
2
9
i feel like aesthetics are an underrated aspect of truth seeking not because beauty = truth but precisely because it doesn't, and if you don't get your fix of beauty somewhere, you will keep falling for things that are wrong but beautiful
6
15
103