Build Your Own Compass: Stop Renting Your Taste My new blog post, check it out here: blog.rastrian.dev/post/build-y... “A mentor’s success metric is simple: the student becomes harder to manipulate.”
Luis Vaz // Rastrian
@rastrian.dev
3 digit IQ master race (132, antifa), polygloth. Ethereal audio engineer (mix/master/design) & software menace engineer, compilers screams at me & autist. #bolhadev #bolhasec #bolhatech Github: github.com/Rastrian Telegram: t.me/Rastrian
Spore is a minimal TCP tunnel implemented in Elixir/OTP. It forwards a local TCP port to a remote server, similar to Bore. Protocol and behavior follow the Rust original so clients and servers can interoperate when configured the same. github.com/Rastrian/Spore Inspiration: bore.pub
GitHub - Rastrian/Spore: Spore is a simple CLI tool for tunneling local TCP ports to a remote server.
Spore is a simple CLI tool for tunneling local TCP ports to a remote server. - Rastrian/Spore
github.com
Why Reliability Demands Functional Programming: ADTs, Safety, and Critical Infrastructure new blog post here: blog.rastrian.dev/post/why-rel...
Why Reliability Demands Functional Programming: ADTs, Safety, and Critical Infrastructure
> In banking, telecom, and payments, reliability is not a nice to have. It is table stakes. The most reliable systems I have worked on reduce entire classes of bugs before the code even runs. Function...
blog.rastrian.dev
Notícia da BleepingComputer "Hands on with Windows 11 Notepad's new markdown support" #bolhasec
Hands on with Windows 11 Notepad's new markdown support
Notepad now lets you use markdown text formatting on Windows 11, which means you can write in Notepad just like you could in WordPad.
bleepingcomputer.com
Beyond the NAT: CGNAT, Bandwidth, and Practical Tunneling new blog post here: blog.rastrian.dev/post/beyond-...
Beyond the NAT: CGNAT, Bandwidth, and Practical Tunneling
## Introduction Home internet in the 90s felt simple. You plugged into [Ethernet](https://en.wikipedia.org/wiki/Ethernet), got an [IPv4](https://en.wikipedia.org/wiki/IPv4) address, and you could expo...
blog.rastrian.dev
Beyond the NAT: CGNAT, Bandwidth, and Practical Tunneling new blog post here: blog.rastrian.dev/post/beyond-...
Beyond the NAT: CGNAT, Bandwidth, and Practical Tunneling
## Introduction Home internet in the 90s felt simple. You plugged into [Ethernet](https://en.wikipedia.org/wiki/Ethernet), got an [IPv4](https://en.wikipedia.org/wiki/IPv4) address, and you could expo...
blog.rastrian.dev
Opening the Gate: My first blog post OSS 🐫 (OCaml) blog with RSS + GH Issues management blog.rastrian.dev/post/opening...
Opening the Gate: My first blog post
This blog is meant to be a place for discussion. Most posts will circle around technology, **software engineering, DevOps, networking, tunneling, programming languages, and AI/LLMs**, but the scope is...
blog.rastrian.dev
Lean FRO Year 3 Roadmap www.youtube.com/watch?v=xIHG...
Lean FRO Year 3 Roadmap
YouTube video by Elixir, Erlang, the BEAM (and Lean)
youtube.com
We're excited to share the Lean FRO Year 3 Roadmap today! It builds on work completed in the first two years of Lean FRO operations and will guide all #LeanLang development through July 2026. ➡️ Read the roadmap at lean-lang.org/fro/ #LeanProver #FormalMathematics #FormalVerification
The best time to start learning OCaml was 10 years ago, the second best time is now
Prender em casa ainda não é suficiente. Quero esse bandido no sistema prisional. Chorando numa cela.
Sem querer ser agressivo com o amigo, acho esse um péssimo take. Não, você não tem que virar (merd)engenheiro de prompt, mas também não vai te fazer mal algum conhecer a ferramentas e ter a capacidade de usar elas. Usar de fato ou não, aí é escolha sua.
Lembrete diário: Não usem IA no seu trabalho. Você está se alienando e vai estar cada vez mais perto do caminho de ser substituível. Usar IA não aumenta sua produtividade, usar IA cria provas que você não é necessário na empresa.
Não usem ferramentas, como um martelo, faça tudo na mão. Diversas empresas vão exigir o uso minimamente so ferramental, e a grande questão é justamente saber quando usar e o que tirar de benefício, se você nunca testar a ferramenta nunca vai saber o impacto. Ela só não pode ditar seu aprendizado.
Lembrete diário: Não usem IA no seu trabalho. Você está se alienando e vai estar cada vez mais perto do caminho de ser substituível. Usar IA não aumenta sua produtividade, usar IA cria provas que você não é necessário na empresa.
Mixed Feelings. 1) Algumas empresas vão requerer o uso de AI 2)Vão dizer que se não tá usando AI direito o erro é seu, aprenda context engineering 3) Vão colocar no seu lugar alguém que saiba usar a AI para ser mais produtivo Sabe o que resolveria isso? ESTADO FORTE! SINDICALIZAÇÃO etc.. etc...
Lembrete diário: Não usem IA no seu trabalho. Você está se alienando e vai estar cada vez mais perto do caminho de ser substituível. Usar IA não aumenta sua produtividade, usar IA cria provas que você não é necessário na empresa.
Por que não estamos violando o elo de confiança com a Fundação Cacique Cobra Coral.
Tsunami pode chegar ao Brasil? Entenda por que não
Vocês sabem quem no seu dia mais fraco e com mais tesão...
Sure, sex is cool, but, have you ever refactored your NixOS config?
Sure, sex is cool, but, have you ever refactored your NixOS config?
qdo vc é xóvem td é map qdo vc é adulto as vezes vc só quer tacar um reducer mesmo e ja era
Vcs gastam tempo demais criando intriga e menos sendo produtivos e usando seus dotes pra algo útil