io_gabx Profile Banner
Gabrielle Oliveira Profile
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
Don't wanna be here? Send us removal request.
@io_gabx
Gabrielle Oliveira
3 years
Hello, welcome to my profile, I made this thread to group all my articles into one place on my twitter:
4
2
35
@bmacabeus
macabeus
12 days
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
@gambiconf
GambiConf
2 months
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
@rickasaurus
Rick
2 months
The greatest trick Rust ever pulled was turning all of my functional programmer homies into systems programmers.
@debasishg
Debasish (দেবাশিস্) Ghosh 🇮🇳
2 months
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
@nameforgetter4
nameforgetter
2 months
people larp as autistic to cope with the fact that theyre low iq chem spayed docile cattle with no impulse control or real identity
@NoNonsenseND
No Nonsense Neurodivergent
2 months
194
2K
23K
@miniapeur
Mathieu
2 months
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
Tweet card summary image
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
@K1ZUDARAKE
빵건이
2 months
0
21
249
@aravemen24
Aravemen24
2 months
3
33
519
@DannyHabibs
daniel habib
3 months
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
@the_octobro
octo
3 months
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
@Nexuist
andi (twocents.money)
5 months
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
@jack
jack
5 months
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
@leanprover
Lean
5 months
📣 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
@Aron_Adler
aron
5 months
twitter -> autism instagram -> bpd linkedin -> npd facebook -> schizophrenia
13
1
37
@Aron_Adler
aron
6 months
why is change so scary someone should fix that they should invent a change that feels cosy and familiar
6
5
48
@effectfully
effectfully
6 months
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
@Aron_Adler
aron
6 months
how likely is it that the sun is conscious? (please reply with why you picked the % you did)
83
1
76
@izzynobre
💾 Izzy Nobre🐁
6 months
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
@gambiconf
GambiConf
7 months
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
@coproduto
el hombre pulpo
1 year
Os papos que eu tenho com meus amigos
5
4
35
@meaning_enjoyer
nihilism disrespecter
1 year
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