é meio que um termo ja antigo, na real

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

Implementing Simple Paxos Consensus Algorithm With Rust | Noghartt's garden

eu já implementei o simple paxos

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

lido como um livro pelo @enrichthesoil.bsky.social

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

SDFGUIHISDFGUIHSDFGHUIDFS POR CURIOSIDADE

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

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

amigao, tem uns 3 anos q te conheço, tem 3 anos q vc tá fazendo esse TCC

KKKKKKKKKKKKKKKKKKKKKKKKK

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.

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

muita coisa pra estudar e tão pouco tempo

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"

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

sim, usam bastante

(inclusive, essa é uma screenshot do TaPL, nao?)

vc consegue recuperar do reflog

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!)

Hoje sextou demais (pálpebra tremendo)

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

ja mandei o meu uma vez, mas ta na mao

noghartt.dev

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

irmão, vc n sabe o quanto eu to feliz por vc, vc é pica e merece dms <3

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

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

github.com/noghartt/blog

eu hospedo no gh pages

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.

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

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

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

lamport.azurewebsites.net/pubs/pubs.html

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

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"