iiinova — where your digital self keeps evolving

Guilherme @noghartt.dev · 19/01/2025

é meio que um termo ja antigo, na real en.wikipedia.org/wiki/Trampol...

en.wikipedia.org

Trampoline (computing) - Wikipedia

130

Reposted by Guilherme

96 @gboncoffee.dev.br · 18/11/2024

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

152

Guilherme @noghartt.dev · 18/11/2024

SDFGUIHISDFGUIHSDFGHUIDFS POR CURIOSIDADE PQ EU SOU O ZERO?

130

Guilherme @noghartt.dev · 24/10/2024

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

010

Guilherme @noghartt.dev · 22/10/2024

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

100

Reposted by Guilherme

Felipe ou Tupinikeebs @tupinikeebs.bsky.social · 19/10/2024

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.

1131

Guilherme @noghartt.dev · 18/10/2024

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

030

Reposted by Guilherme

Hecate @ohmygoedel.bsky.social · 18/10/2024

muita coisa pra estudar e tão pouco tempo

13212

Guilherme @noghartt.dev · 18/10/2024

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"

120

Reposted by Guilherme

polvo @coprodu.to · 17/10/2024

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

3193

Guilherme @noghartt.dev · 17/10/2024

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

120

Guilherme @noghartt.dev · 15/10/2024

vc consegue recuperar do reflog

120

Reposted by Guilherme

polvo @coprodu.to · 13/10/2024

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

2487

Reposted by Guilherme

Anão Gigante @gserrano.dev · 11/10/2024

Hoje sextou demais (pálpebra tremendo)

051

Reposted by Guilherme

Joselito @joseli.to · 11/10/2024

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

31764167

Guilherme @noghartt.dev · 11/10/2024

ja mandei o meu uma vez, mas ta na mao noghartt.dev

120

Guilherme @noghartt.dev · 09/10/2024

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

110

Guilherme @noghartt.dev · 08/10/2024

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

GitHub - noghartt/blog: My personal blog

My personal blog. Contribute to noghartt/blog development by creating an account on GitHub.

120

Reposted by Guilherme

polvo @coprodu.to · 08/10/2024

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.

10505

Guilherme @noghartt.dev · 08/10/2024

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

dev.to

DEV Community

A constructive and inclusive social network for software developers. With you every step of your journey.

120

Reposted by Guilherme

ponzi @handle.invalid · 07/10/2024

lamport.azurewebsites.net/pubs/pubs.html

lamport.azurewebsites.net

The Writings of Leslie Lamport

021

Guilherme @noghartt.dev · 07/10/2024

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

000

Guilherme @noghartt.dev · 06/10/2024

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"

140

Guilherme @noghartt.dev · 06/10/2024

bom blog post sobre CRDTs josephg.com/blog/crdts-g...

josephg.com

CRDTs go brrr

000

Reposted by Guilherme

Maurício @samambaia.dev · 06/10/2024

Eu começaria por aqui medium.com/honeycombio/... E iria lendo o medium da honeycomb. Esse do SigNoz é maravilhoso tb signoz.io/blog/opentel... Pq o SigNz é OSS e vc pode instalar na sua máquina e usar De teoria vc pode ler o livro da Google sre.google/workbook/tab...

medium.com

Observability 101: Terminology and Concepts — Honeycomb

When I first started following Charity on Twitter back in early 2019, I was quickly overwhelmed by the new words and concepts she was…

032

Reposted by Guilherme

Pavel @spavel.bsky.social · 05/10/2024

Wine pairings up in here

Oreilly designing data intensive applications book with a picture of a boar on it, and a bottle of wine with exactly the same illustration

544859546

Reposted by Guilherme

David Buchanan @retr0.id · 05/10/2024

Now with Linux kernel LPE to pop a root shell:

713530

Guilherme @noghartt.dev · 04/10/2024

essas são as inferences rules do STLC, nao? eu acho super elegante

120

Guilherme @noghartt.dev · 03/10/2024

todos os artigos que li e favoritei relacionado a sistemas distribuídos noghartt.dev/bookmarks/ta... cc @jessilyneh.bsky.social @samsantosb.bsky.social

noghartt.dev

Noghartt's garden

A place where I put all my thoughts

1193

Guilherme @noghartt.dev · 03/10/2024

quais são os melhores recursos, blogs, artigos, etc, sobre observabilidade? de um ponto de vista teórico? sugestões? cc @leandronsp.com @samsantosb.bsky.social @samambaia.dev

2113

Guilherme @noghartt.dev · 03/10/2024

tu diz the emptiness machine? ou eles lançaram alguma musica nova agora?

110

Guilherme @noghartt.dev · 03/10/2024

é o dominio do meu blog AHASUHAU noghartt.dev

120

Guilherme @noghartt.dev · 01/10/2024

SIIM, machine logic é um dos meus blogs preferidos, são ótimos temas num geral

110

Guilherme @noghartt.dev · 01/10/2024

bom artigo introdutório explicando um pouco sobre os conceitos de lambda calculus lawrencecpaulson.github.io//2024/09/30/... cc @samsantosb.bsky.social

lawrencecpaulson.github.io

Introduction to the λ-calculus

1104

Reposted by Guilherme