◇ Sofia ∘
@algebraic.dev
transfem nada engraçada, i do sillyous business.
This is my personal account that I post mainly in PT/BR
This is my personal account that I post mainly in PT/BR
omg a @nenemmesis.bsky.social ta por aqui omg omg omg
November 24, 2025 at 2:53 PM
omg a @nenemmesis.bsky.social ta por aqui omg omg omg
Reposted by ◇ Sofia ∘
fico triste com a diferença gritante entre um dia bom e um dia normal meu.
October 28, 2025 at 10:44 PM
fico triste com a diferença gritante entre um dia bom e um dia normal meu.
maldita ! n levou a hipnose pernambucana e aí já faz 3 dias que to em transe
October 27, 2025 at 10:52 PM
maldita ! n levou a hipnose pernambucana e aí já faz 3 dias que to em transe
queria mais um show do tangolo mangos
October 10, 2025 at 3:27 PM
queria mais um show do tangolo mangos
Reposted by ◇ Sofia ∘
honestly a little embarrassed about how well todo lists work on me
October 10, 2025 at 8:16 AM
honestly a little embarrassed about how well todo lists work on me
tem dias que eu sinto inveja
e gostaria de ter tudo que os outros têm
mas de tão feio, sentimento tão profano
não postei pra ninguém
e gostaria de ter tudo que os outros têm
mas de tão feio, sentimento tão profano
não postei pra ninguém
October 4, 2025 at 12:44 AM
tem dias que eu sinto inveja
e gostaria de ter tudo que os outros têm
mas de tão feio, sentimento tão profano
não postei pra ninguém
e gostaria de ter tudo que os outros têm
mas de tão feio, sentimento tão profano
não postei pra ninguém
essa musica do Seu Pereira é mt mt boa
October 1, 2025 at 3:53 PM
essa musica do Seu Pereira é mt mt boa
eu amo tenta essa capa desse album, é só mt linda e parece cmg.
October 1, 2025 at 2:25 PM
eu amo tenta essa capa desse album, é só mt linda e parece cmg.
walfredo em busca da simbiose
September 30, 2025 at 10:53 PM
walfredo em busca da simbiose
no olhar da sacada
que excita o desejo de saber
o que eh que a gente precisa fazer
o ceu eh azul
mas quase n deu pra perceber
que excita o desejo de saber
o que eh que a gente precisa fazer
o ceu eh azul
mas quase n deu pra perceber
September 30, 2025 at 1:04 PM
no olhar da sacada
que excita o desejo de saber
o que eh que a gente precisa fazer
o ceu eh azul
mas quase n deu pra perceber
que excita o desejo de saber
o que eh que a gente precisa fazer
o ceu eh azul
mas quase n deu pra perceber
Reposted by ◇ Sofia ∘
Haskell loves you too, little lesbian!
June 3, 2025 at 10:24 AM
Haskell loves you too, little lesbian!
acabei de voltar, essa rede ainda tá viva? como que andam as coisas aqui?
September 26, 2025 at 12:57 PM
acabei de voltar, essa rede ainda tá viva? como que andam as coisas aqui?
Reposted by ◇ Sofia ∘
Esquenta SE4FP - Lean
YouTube video by Fronteiras da Engenharia de Software
youtube.com
June 25, 2025 at 9:18 PM
Reposted by ◇ Sofia ∘
Hi There! I'm Sofia, a Large Language Model, but made of brain cells... btw. How can I help you today?
April 3, 2025 at 3:27 PM
Hi There! I'm Sofia, a Large Language Model, but made of brain cells... btw. How can I help you today?
E se eu só pegar e escutar todos os videos do Victor Osório enquanto eu trabalho, 8h por dia de Victor Osório?
April 3, 2025 at 1:04 PM
E se eu só pegar e escutar todos os videos do Victor Osório enquanto eu trabalho, 8h por dia de Victor Osório?
Reposted by ◇ Sofia ∘
Amo a estética transfem dev com Nix, Lean, Haskell, Rust, rices de linux e coisas do gênero
March 31, 2025 at 9:20 PM
Amo a estética transfem dev com Nix, Lean, Haskell, Rust, rices de linux e coisas do gênero
Ser bloqueada por alguem que eu respeitava é meio triste sinceramente :c
March 26, 2025 at 9:32 PM
Ser bloqueada por alguem que eu respeitava é meio triste sinceramente :c
Reposted by ◇ Sofia ∘
A tosconf.lhc.net.br parece ser uma conferência hacker muito dahora (e muito no espírito @gambiconf.dev)!
Conheci hoje e por isso não vou ter como me planejar para ir, mas quem estiver por Campinas nesse Sábado é uma boa ir lá prestigiar as talks, vai ter:
- @coprodu.to
- @monad.mom
- @vepo.dev
Conheci hoje e por isso não vou ter como me planejar para ir, mas quem estiver por Campinas nesse Sábado é uma boa ir lá prestigiar as talks, vai ter:
- @coprodu.to
- @monad.mom
- @vepo.dev
TOSCONF[5]
A Tosconf é uma desconferência anual organizada pelo Laboratório Hacker de Campinas (LHC). Atualmente em sua sexta edição, o evento celebra a diversidade e criatividade, não impondo restrições aos tem...
tosconf.lhc.net.br
March 19, 2025 at 3:17 PM
A tosconf.lhc.net.br parece ser uma conferência hacker muito dahora (e muito no espírito @gambiconf.dev)!
Conheci hoje e por isso não vou ter como me planejar para ir, mas quem estiver por Campinas nesse Sábado é uma boa ir lá prestigiar as talks, vai ter:
- @coprodu.to
- @monad.mom
- @vepo.dev
Conheci hoje e por isso não vou ter como me planejar para ir, mas quem estiver por Campinas nesse Sábado é uma boa ir lá prestigiar as talks, vai ter:
- @coprodu.to
- @monad.mom
- @vepo.dev
Reposted by ◇ Sofia ∘
We're building a more responsive #LeanLang experience! UI upgrades include better performance, auto-completion and clearer error messages. Backend enhancements bring parallelism for faster builds, reduced latency, and soon a new module system for quicker recompilation times. #leanprover #programming
March 3, 2025 at 2:57 PM
We're building a more responsive #LeanLang experience! UI upgrades include better performance, auto-completion and clearer error messages. Backend enhancements bring parallelism for faster builds, reduced latency, and soon a new module system for quicker recompilation times. #leanprover #programming
A forma que eu me comunico tá cada vez ficando pior. Oq será que tá acontecendo?
February 26, 2025 at 3:26 PM
A forma que eu me comunico tá cada vez ficando pior. Oq será que tá acontecendo?
Reposted by ◇ Sofia ∘
I'm firmly on team "type erasure is good" and most people who don't like type erasure just don't like the way Java did it
February 5, 2025 at 9:18 PM
I'm firmly on team "type erasure is good" and most people who don't like type erasure just don't like the way Java did it
Reposted by ◇ Sofia ∘
beware the type theorist to domme pipeline
February 16, 2025 at 4:15 PM
beware the type theorist to domme pipeline
As vezes existe um limiar bem sutil entre ser babaca e estar confrontando.
February 16, 2025 at 8:32 AM
As vezes existe um limiar bem sutil entre ser babaca e estar confrontando.
i want to be an abstract concept like a monad.
February 12, 2025 at 11:21 PM
i want to be an abstract concept like a monad.