Guilherme
@noghartt.dev
22y
senior swe @ fireflies.ai
blog: noghartt.dev
github: github.com/noghartt
senior swe @ fireflies.ai
blog: noghartt.dev
github: github.com/noghartt
Implementing Simple Paxos Consensus Algorithm With Rust | Noghartt's garden
noghartt.dev
November 20, 2024 at 2:02 AM
lido como um livro pelo @enrichthesoil.bsky.social
November 18, 2024 at 6:44 PM
lido como um livro pelo @enrichthesoil.bsky.social
SDFGUIHISDFGUIHSDFGHUIDFS POR CURIOSIDADE
PQ EU SOU O ZERO?
PQ EU SOU O ZERO?
November 18, 2024 at 6:01 PM
SDFGUIHISDFGUIHSDFGHUIDFS POR CURIOSIDADE
PQ EU SOU O ZERO?
PQ EU SOU O ZERO?
essa config tá relativamente desatualizada, eu mudei algumas coisas e deixei de usar arch há uns 2 anos (mudei pro mac desde então)
mas eu ainda tinha feito algumas trocas, ao invés de systemdboot, troquei pro EFISTUB como bootloader
mas eu ainda tinha feito algumas trocas, ao invés de systemdboot, troquei pro EFISTUB como bootloader
October 24, 2024 at 10:07 PM
essa config tá relativamente desatualizada, eu mudei algumas coisas e deixei de usar arch há uns 2 anos (mudei pro mac desde então)
mas eu ainda tinha feito algumas trocas, ao invés de systemdboot, troquei pro EFISTUB como bootloader
mas eu ainda tinha feito algumas trocas, ao invés de systemdboot, troquei pro EFISTUB como bootloader
fiz isso tantas vezes q acabei documentando o processo todo, me orgulho do setup final
gist.github.com/noghartt/838...
gist.github.com/noghartt/838...
My Arch Linux installation - systemd-boot + LUKS + LVM + Btrfs + swapfile + xmonad
My Arch Linux installation - systemd-boot + LUKS + LVM + Btrfs + swapfile + xmonad - arch-installation.md
gist.github.com
October 24, 2024 at 5:54 PM
fiz isso tantas vezes q acabei documentando o processo todo, me orgulho do setup final
gist.github.com/noghartt/838...
gist.github.com/noghartt/838...
amigao, tem uns 3 anos q te conheço, tem 3 anos q vc tá fazendo esse TCC
KKKKKKKKKKKKKKKKKKKKKKKKK
KKKKKKKKKKKKKKKKKKKKKKKKK
October 22, 2024 at 12:13 AM
amigao, tem uns 3 anos q te conheço, tem 3 anos q vc tá fazendo esse TCC
KKKKKKKKKKKKKKKKKKKKKKKKK
KKKKKKKKKKKKKKKKKKKKKKKKK
A divisão é só uma regra de inferência. Basicamente, se a parte de cima for verdade, assume-se que a parte de baixo também é.
Um "if".
Um "if".
October 18, 2024 at 7:11 PM
A divisão é só uma regra de inferência. Basicamente, se a parte de cima for verdade, assume-se que a parte de baixo também é.
Um "if".
Um "if".
esses símbolos são contextos na realidade, é como se fosse um objeto onde vc mapeia a expressão/valor X pro type T
o ⊢ representa uma chamada de função, onde você fazer algo como:
Γ ⊢ e : int, seria a mesma coisa que dizer que Γ(e) -> int, que implica que "e" no contexto Gamma tem tipo "int"
o ⊢ representa uma chamada de função, onde você fazer algo como:
Γ ⊢ e : int, seria a mesma coisa que dizer que Γ(e) -> int, que implica que "e" no contexto Gamma tem tipo "int"
October 18, 2024 at 5:16 PM
esses símbolos são contextos na realidade, é como se fosse um objeto onde vc mapeia a expressão/valor X pro type T
o ⊢ representa uma chamada de função, onde você fazer algo como:
Γ ⊢ e : int, seria a mesma coisa que dizer que Γ(e) -> int, que implica que "e" no contexto Gamma tem tipo "int"
o ⊢ representa uma chamada de função, onde você fazer algo como:
Γ ⊢ e : int, seria a mesma coisa que dizer que Γ(e) -> int, que implica que "e" no contexto Gamma tem tipo "int"
sim, usam bastante
(inclusive, essa é uma screenshot do TaPL, nao?)
(inclusive, essa é uma screenshot do TaPL, nao?)
October 17, 2024 at 9:47 PM
sim, usam bastante
(inclusive, essa é uma screenshot do TaPL, nao?)
(inclusive, essa é uma screenshot do TaPL, nao?)
vc consegue recuperar do reflog
October 15, 2024 at 12:40 PM
vc consegue recuperar do reflog
October 11, 2024 at 6:06 PM
irmão, vc n sabe o quanto eu to feliz por vc, vc é pica e merece dms <3
October 9, 2024 at 12:19 AM
irmão, vc n sabe o quanto eu to feliz por vc, vc é pica e merece dms <3
yep, eu tenho o meu open source, se quiser, fica a vontade pra forkar
github.com/noghartt/blog
eu hospedo no gh pages
github.com/noghartt/blog
eu hospedo no gh pages
GitHub - noghartt/blog: My personal blog
My personal blog. Contribute to noghartt/blog development by creating an account on GitHub.
github.com
October 8, 2024 at 3:30 PM
yep, eu tenho o meu open source, se quiser, fica a vontade pra forkar
github.com/noghartt/blog
eu hospedo no gh pages
github.com/noghartt/blog
eu hospedo no gh pages
eu prefiro manter tudo num blog pessoal, acho que funciona melhor
mas vc pode colocar num dev.to da vida ou qualquer outra coisa, caso queira tração
mas vc pode colocar num dev.to da vida ou qualquer outra coisa, caso queira tração
DEV Community
A constructive and inclusive social network for software developers. With you every step of your journey.
dev.to
October 8, 2024 at 2:30 PM
eu prefiro manter tudo num blog pessoal, acho que funciona melhor
mas vc pode colocar num dev.to da vida ou qualquer outra coisa, caso queira tração
mas vc pode colocar num dev.to da vida ou qualquer outra coisa, caso queira tração