Guilherme's Avatar

Guilherme

@noghartt.dev

22y senior swe @ fireflies.ai blog: noghartt.dev github: github.com/noghartt

507
Followers
148
Following
224
Posts
01.07.2023
Joined
Posts Following

Latest posts by Guilherme @noghartt.dev

Trampoline (computing) - Wikipedia

รฉ meio que um termo ja antigo, na real

en.wikipedia.org/wiki/Trampol...

19.01.2025 23:05 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
Implementing Simple Paxos Consensus Algorithm With Rust | Noghartt's garden

eu jรก implementei o simple paxos

noghartt.dev/blog/paxos-m...

20.11.2024 02:02 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

lido como um livro pelo @enrichthesoil.bsky.social

18.11.2024 18:44 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Numa escala de 0 (@noghartt.dev) atรฉ 10 (Fรกbio Akita) qual o seu grau de Fรกbio Akita?

18.11.2024 15:57 ๐Ÿ‘ 5 ๐Ÿ” 2 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 1

SDFGUIHISDFGUIHSDFGHUIDFS POR CURIOSIDADE

PQ EU SOU O ZERO?

18.11.2024 18:01 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

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

24.10.2024 22:07 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
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

fiz isso tantas vezes q acabei documentando o processo todo, me orgulho do setup final

gist.github.com/noghartt/838...

24.10.2024 17:54 ๐Ÿ‘ 6 ๐Ÿ” 0 ๐Ÿ’ฌ 3 ๐Ÿ“Œ 0

amigao, tem uns 3 anos q te conheรงo, tem 3 anos q vc tรก fazendo esse TCC

KKKKKKKKKKKKKKKKKKKKKKKKK

22.10.2024 00:13 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Post image Post image Post image Post image

Build 19/10

Board: Corne CHOC ( Wireless )
Switches: CHOC Red Pro (35gf, linear)
Keycaps: LDSA blank
Case: Carbon Grey

Quanto tempo dura a bateria?
Numa build LP, o ideal รฉ usar uma bateria pequena, que nรฃo aumente a altura.
A bateria costuma durar entre 1 a duas semanas.

19.10.2024 16:55 ๐Ÿ‘ 13 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

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".

18.10.2024 19:11 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

muita coisa pra estudar e tรฃo pouco tempo

18.10.2024 17:16 ๐Ÿ‘ 32 ๐Ÿ” 12 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 3

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"

18.10.2024 17:16 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Preguiรงa interminรกvel do gรชnero de humor "kkk olha sรณ, uma pessoa que gosta do que faz e faz isso bem sem tentar tirar proveito dos outros, que otรกrio!" propagado por vรกrios streamers da bolhadev

17.10.2024 22:34 ๐Ÿ‘ 19 ๐Ÿ” 3 ๐Ÿ’ฌ 3 ๐Ÿ“Œ 0

sim, usam bastante

(inclusive, essa รฉ uma screenshot do TaPL, nao?)

17.10.2024 21:47 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

vc consegue recuperar do reflog

15.10.2024 12:40 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Utilidade pรบblica:

"Ter um artigo dizendo algo" nรฃo prova nada. Em primeiro lugar porque em geral um artigo nรฃo "prova" nada. Ele diz "tivemos um resultado", e sim, pode ter outros com resultado contrรกrio mesmo que a conclusรฃo do artigo esteja errada (ou certa!)

13.10.2024 18:19 ๐Ÿ‘ 48 ๐Ÿ” 7 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 1

Hoje sextou demais (pรกlpebra tremendo)

11.10.2024 17:30 ๐Ÿ‘ 5 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

por favor faรงam blogs. tem horas que 300 caracteres รฉ pouco

isso de fazer um fio de texto รฉ coisa que inventaram sรณ pra engajar, porque c e r t a s p l a t a f o r m a s derrubam alcance de links

criem blogs, usem rss. vamos pegar a internet de volta que ela รฉ nossa por direito

11.10.2024 12:34 ๐Ÿ‘ 771 ๐Ÿ” 171 ๐Ÿ’ฌ 31 ๐Ÿ“Œ 64

ja mandei o meu uma vez, mas ta na mao

noghartt.dev

11.10.2024 18:06 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
An Illustrated Proof of the CAP Theorem


mwhittaker.github.io/blog/an_illu...

09.10.2024 14:44 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

irmรฃo, vc n sabe o quanto eu to feliz por vc, vc รฉ pica e merece dms <3

09.10.2024 00:19 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
Rabbit hole: stumbling across two Portuguese punched cards Look, here's the thing, I don't like mysteries that involve technology. I think I hate them because I know that some other human created the...

blog.jgc.org/2024/10/rabb...

08.10.2024 19:00 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
GitHub - noghartt/blog: My personal blog My personal blog. Contribute to noghartt/blog development by creating an account on GitHub.

yep, eu tenho o meu open source, se quiser, fica a vontade pra forkar

github.com/noghartt/blog

eu hospedo no gh pages

08.10.2024 15:30 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Pessoas teimosas sรฃo valiosas - e subvalorizadas, ao meu ver.

No geral a cultura brasileira รฉ muito orientada ao coletivo. As pessoas cedem muito facilmente (ao meu ver) nas coisas pra agradar a maioria.

Ter pessoas que se recusam a ceder em fazer a coisa certa รฉ raro e importante por aqui.

08.10.2024 13:25 ๐Ÿ‘ 50 ๐Ÿ” 5 ๐Ÿ’ฌ 10 ๐Ÿ“Œ 3
Preview
DEV Community A constructive and inclusive social network for software developers. With you every step of your journey.

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

08.10.2024 14:30 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Rubber-Hose Cryptanalysis - Schneier on Security

www.schneier.com/blog/archive...

08.10.2024 02:15 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Working Turing Machine What is a Turing machine?Depending on who you ask, it's either an abstract model of an algorithmic machine or an esoteric programming language. It's ...

ideas.lego.com/projects/10a...

07.10.2024 18:01 ๐Ÿ‘ 3 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
The Writings of Leslie Lamport

lamport.azurewebsites.net/pubs/pubs.html

07.10.2024 00:48 ๐Ÿ‘ 2 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

bom, eu jรก aceitei que a grande maioria dos projetos eu n vou terminar

acho que eu prefiro mais aproveitar o processo msm de aprender algo novo e tal, pelo menos pra mim tem funcionado

tenho uma porrada de projeto wip SDFUHGUISDFH

06.10.2024 23:53 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

eu sou mt de fazer as paradas sobre demanda, se estou empolgado com algum tema, eu geralmente vou fazendo atรฉ onde der

mas as vezes bate uma leve ansiedade de estar fazendo "pouco"

06.10.2024 16:44 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0