Sign in

Luis Vaz // Rastrian

@rastrian.dev
1.4K followers 765 following 930 posts

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

PostsRepliesMedia
Luis Vaz // Rastrian @rastrian.dev · 24/02/2026
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.”
120
Luis Vaz // Rastrian @rastrian.dev · 27/12/2025
👋👋👋👋
000
Luis Vaz // Rastrian @rastrian.dev · 02/12/2025
well, 25 days to a important date
000
Luis Vaz // Rastrian @rastrian.dev · 22/09/2025
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.com
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
030
Luis Vaz // Rastrian @rastrian.dev · 16/09/2025
Why Reliability Demands Functional Programming: ADTs, Safety, and Critical Infrastructure new blog post here: blog.rastrian.dev/post/why-rel...
blog.rastrian.dev
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...
041
Reposted by Luis Vaz // Rastrian
BolhaSec @bolhasec.com · 31/08/2025
Notícia da BleepingComputer "Hands on with Windows 11 Notepad's new markdown support" #bolhasec
bleepingcomputer.com
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.
012
Reposted by Luis Vaz // Rastrian
Luis Vaz // Rastrian @rastrian.dev · 28/08/2025
Beyond the NAT: CGNAT, Bandwidth, and Practical Tunneling new blog post here: blog.rastrian.dev/post/beyond-...
blog.rastrian.dev
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...
174
Reposted by Luis Vaz // Rastrian
OCaml @ocaml.org · 31/08/2025
#OCaml #OCamlPlanet
dlvr.it
Improve the deployment time for opam2web
The opam2web image for opam.ocaml.org is huge weighing in at more than 25 GB. The bulk of this data is opam archives, which are updated and copied into a stock caddy image. There are two archives, ocaml/opam.ocaml.org-legacy, which hasn’t changed for 5 years and holds the cache for opam 1.x and ocaml/opam:archive, which is updated weekly. The current Dockerfile copies these files into a new layer each time opam2web builds. FROM --platform=linux/amd64 ocaml/opam:archive as opam-archive FROM ocaml/opam.ocaml.org-legacy as opam-legacy FROM alpine:3.20 as opam2web ... COPY --from=opam-legacy . /www ... RUN --mount=type=bind,target=/cache,from=opam-archive rsync -aH /cache/cache/ /www/cache/ ... And later, the entire /www structure is copied into a caddy:2.8.4 image. FROM caddy:2.8.4 WORKDIR /srv COPY --from=opam2web /www /usr/share/caddy COPY Caddyfile /etc/caddy/Caddyfile ENTRYPOINT ["caddy", "run", "--config", "/etc/caddy/Caddyfile", "--adapter", "caddyfile"] This method is considered “best practice” when creating Docker images, but in this case, it produces a very large image, which takes a long time to deploy. For Docker to use an existing layer, we need the final FROM ... to be the layer we want to use as the base. In the above snippet, the caddy:2.8.4 layer will be the base layer and will be reused. The archive, ocaml/opam:archive, is created by this Dockerfile, which ultimately uses alpine:latest. FROM ocaml/opam:archive AS opam-archive FROM ocurrent/opam-staging@sha256:f921cd51dda91f61a52a2c26a8a188f8618a2838e521d3e4afa3ca1da637903e AS archive WORKDIR /home/opam/opam-repository RUN --mount=type=bind,target=/cache,from=opam-archive rsync -aH /cache/cache/ /home/opam/opam-repository/cache/ RUN opam admin cache --link=/home/opam/opam-repository/cache FROM alpine:latest COPY --chown=0:0 --from=archive [ "/home/opam/opam-repository/cache", "/cache" ] In our opam2web build, we could use FROM ocaml/opam:archive and then apk add caddy, which would reuse the entire 15GB layer and add the few megabytes for caddy. ocaml/opam.ocaml.org-legacy is another 8GB. This legacy data could be integrated by adding it to ocaml/opam:archive in a different directory to ensure compatibility with anyone else using this image. This is PR#324 let install_package_archive opam_image = let open Dockerfile in + from ~alias:"opam-legacy" "ocaml/opam.ocaml.org-legacy" @@ from ~alias:"opam-archive" "ocaml/opam:archive" @@ from ~alias:"archive" opam_image @@ workdir "/home/opam/opam-repository" @@ run ~mounts:[mount_bind ~target:"/cache" ~from:"opam-archive" ()] "rsync -aH /cache/cache/ /home/opam/opam-repository/cache/" @@ run "opam admin cache --link=/home/opam/opam-repository/cache" @@ from "alpine:latest" @@ + copy ~chown:"0:0" ~from:"opam-legacy" ~src:["/"] ~dst:"/legacy" () @@ copy ~chown:"0:0" ~from:"archive" ~src:["/home/opam/opam-repository/cache"] ~dst:"/cache" () Finally, we need to update opam2web to use ocaml/opam:archive as the base layer rather than caddy:2.8.4, resulting in the final part of the Dockerfile looking like this. FROM ocaml/opam:archive RUN apk add --update git curl rsync libstdc++ rdfind caddy COPY --from=build-opam2web /opt/opam2web /usr/local COPY --from=build-opam-doc /usr/bin/opam-dev /usr/local/bin/opam COPY --from=build-opam-doc /opt/opam/doc /usr/local/share/opam2web/content/doc COPY ext/key/opam-dev-team.pgp /www/opam-dev-pubkey.pgp ADD bin/opam-web.sh /usr/local/bin ARG DOMAIN=opam.ocaml.org ARG OPAM_REPO_GIT_SHA=master ARG BLOG_GIT_SHA=master RUN echo ${OPAM_REPO_GIT_SHA} >> /www/opam_git_sha RUN echo ${BLOG_GIT_SHA} >> /www/blog_git_sha RUN /usr/local/bin/opam-web.sh ${DOMAIN} ${OPAM_REPO_GIT_SHA} ${BLOG_GIT_SHA} WORKDIR /srv COPY Caddyfile /etc/caddy/Caddyfile ENTRYPOINT ["caddy", "run", "--config", "/etc/caddy/Caddyfile", "--adapter", "caddyfile"] I acknowledge that this final image now contains some extra unneeded packages such as git, curl, etc, but this seems a minor inconvenience. The Caddyfile can be adjusted to make everything still appear to be in the same place: :80 { redir /install.sh https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh redir /install.ps1 https://raw.githubusercontent.com/ocaml/opam/master/shell/install.ps1 @version_paths path /1.1/* /1.2.0/* /1.2.2/* handle @version_paths { root * /legacy file_server } handle /cache/* { root * / file_server } handle { root * /www file_server } } In this configuration, the Docker push is only 650MB rather than 25GB. The changes to opam2web are in PR#245 Test with some external URLs: * https://staging.opam.ocaml.org/index.tar.gz * https://staging.opam.ocaml.org/archives/0install.2.18/0install-2.18.tbz * https://staging.opam.ocaml.org/cache/0install.2.18/0install-2.18.tbz * https://staging.opam.ocaml.org/1.2.2/archives/0install.2.12.3+opam.tar.gz * https://staging.opam.ocaml.org/1.2.0/archives/0install.2.12.1+opam.tar.gz * https://staging.opam.ocaml.org/1.1/archives/0install.2.10+opam.tar.gz * https://staging.opam.ocaml.org/opam_git_sha * https://staging.opam.ocaml.org/blog_git_sha * https://staging.opam.ocaml.org/opam-dev-pubkey.pgp
001
Luis Vaz // Rastrian @rastrian.dev · 28/08/2025
Beyond the NAT: CGNAT, Bandwidth, and Practical Tunneling new blog post here: blog.rastrian.dev/post/beyond-...
blog.rastrian.dev
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...
174
Luis Vaz // Rastrian @rastrian.dev · 27/08/2025
Opening the Gate: My first blog post OSS 🐫 (OCaml) blog with RSS + GH Issues management blog.rastrian.dev/post/opening...
blog.rastrian.dev
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...
174
Luis Vaz // Rastrian @rastrian.dev · 05/08/2025
afterburnout.co/p/ai-promise...
afterburnout.co
AI promised efficiency. Instead, it’s making us work harder.
AI tools were supposed to free up our time—but they’re increasing our cognitive load and making us less productive. Here’s what’s really happening (and how to use them without burning out).
022
Reposted by Luis Vaz // Rastrian
TechCrunch @techcrunch.com · 05/08/2025
For the first time, OpenAI models are available on AWS
techcrunch.com
For the first time, OpenAI models are available on AWS | TechCrunch
This is a juicy competitive move for both companies after AWS faced an onslaught of criticism over its progress with AI.
1205
Reposted by Luis Vaz // Rastrian
Adolfo Neto @adolfoneto.elixiremfoco.com · 05/08/2025
Lean FRO Year 3 Roadmap www.youtube.com/watch?v=xIHG...
youtube.com
Lean FRO Year 3 Roadmap
YouTube video by Elixir, Erlang, the BEAM (and Lean)
011
Reposted by Luis Vaz // Rastrian
Papai do Anthony Gabriel 👶🏼 @laranjadinho.deichator.ar · 05/08/2025
alchebra linear
2287
Reposted by Luis Vaz // Rastrian
Andy LeClair @andyleclair.dev · 05/08/2025
The best time to start learning OCaml was 10 years ago, the second best time is now
0105
Reposted by Luis Vaz // Rastrian
Diogo Viana 🇧🇷🇩🇪 @diogo.dev · 04/08/2025
Prender em casa ainda não é suficiente. Quero esse bandido no sistema prisional. Chorando numa cela.
1708
Reposted by Luis Vaz // Rastrian
Lucas @qfoiluks.bsky.social · 05/08/2025
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.
092
Luis Vaz // Rastrian @rastrian.dev · 05/08/2025
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.
100
Reposted by Luis Vaz // Rastrian
Bruno Cesar Rocha ★ - rochacbruno @bruno.rocha.social · 05/08/2025
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...
2133
Reposted by Luis Vaz // Rastrian
Yuri Albuquerque @yurialbuquerque.dev · 05/08/2025
Quadrinho com a legenda "THE AUDIENCE", um boneco palito segurando um garfo e uma faca olhando para dois bolos, um bonito e um ok, enquanto exclama "Holy shit! Two cakes!"
04113
Reposted by Luis Vaz // Rastrian
sexta blueskier mais rápida do mundo @panwannabe.bsky.social · 05/08/2025
corte de tirinha mostra um meteoro pequeno com braços e pernas andando numa estrada de terra usando chapéu de palha e cumprimentando uma pessoa dizendo "bão"

acima, o texto diz "hoje vive tranquilo"
81556396
Reposted by Luis Vaz // Rastrian
Cris @crisvector.com · 30/07/2025
Por que não estamos violando o elo de confiança com a Fundação Cacique Cobra Coral.
141357269
Reposted by Luis Vaz // Rastrian
Jeff Silksong Coelho @jeffquesado.ulivre.dev · 30/07/2025
Vocês sabem quem no seu dia mais fraco e com mais tesão...
2101
Reposted by Luis Vaz // Rastrian
João @kimjoaoun.bsky.social · 30/07/2025
atualização dos gatinhos
1102
Luis Vaz // Rastrian @rastrian.dev · 31/07/2025
000
Reposted by Luis Vaz // Rastrian
Anaboth 🇵🇸 @anaboth.lgbt · 30/07/2025
Sure, sex is cool, but, have you ever refactored your NixOS config?
45616
Reposted by Luis Vaz // Rastrian
♪ ( ( (d~‿~b) ) ) ♫ @djquestforlife.bsky.social · 09/06/2025
qdo vc é xóvem td é map qdo vc é adulto as vezes vc só quer tacar um reducer mesmo e ja era
131
Reposted by Luis Vaz // Rastrian
Not An Anagram @vertigoem.bsky.social · 09/06/2025
Always remember:
Old tweet from Jon Stone which reads "One reason people insist that you use the proper channels to change things is because they have control of the proper channels and they’re confident it won’t work"
2966631864
Luis Vaz // Rastrian @rastrian.dev · 09/06/2025
020
Luis Vaz // Rastrian @rastrian.dev · 08/06/2025
Vcs gastam tempo demais criando intriga e menos sendo produtivos e usando seus dotes pra algo útil
030
Reposted by Luis Vaz // Rastrian
Papai do Anthony Gabriel 👶🏼 @laranjadinho.deichator.ar · 03/06/2025
você pode me levar mais alto para um lugar os os cegos podem ver?
2408
Reposted by Luis Vaz // Rastrian
BolhaSec @bolhasec.com · 03/06/2025
Notícia da BleepingComputer "US lab testing provider exposed health data of 1.6 million people" #bolhasec
bleepingcomputer.com
US lab testing provider exposed health data of 1.6 million people
Laboratory Services Cooperative (LSC) has released a statement informing it suffered a data breach where hackers stole sensitive information of roughly 1.6 million people from its systems.
012
Reposted by Luis Vaz // Rastrian
Cadu @flipbit03.com · 28/05/2025
hard skill não adianta nada se não souber conversar e interagir. é um erro só investir em um aspecto do teu 'char' no RPG da vida enquanto deixa o resto abandonado
2114
Reposted by Luis Vaz // Rastrian
Yaron Minsky @yminsky.bsky.social · 04/04/2025
One thing I really like about this talk is that it talks both about what kind of language OCaml is now, and also what are the design goals for the kind of language we want to turn it into. youtu.be/g3qd4zpm1LA?...
youtu.be
Making OCaml Safe for Performance Engineering
YouTube video by Jane Street
1237
Reposted by Luis Vaz // Rastrian
Carl T. Bergstrom @carlbergstrom.com · 03/04/2025
And this, my friends, is the logic behind the new tariff policy of the United States of America. Zero trade balance with *each* trading partner.

United States Trade Representative

    Issue Areas

Breadcrumb
Issue Areas Reciprocal Tariff Calculations
Reciprocal Tariff Calculations

Executive Summary

Reciprocal tariffs are calculated as the tariff rate necessary to balance bilateral trade deficits between the U.S. and each of our trading partners. This calculation assumes that persistent trade deficits are due to a combination of tariff and non-tariff factors that prevent trade from balancing. Tariffs work through direct reductions of imports.
3380974
Luis Vaz // Rastrian @rastrian.dev · 31/03/2025
Simplesmente Tool
010
Reposted by Luis Vaz // Rastrian
SwiftOnSecurity @swiftonsecurity.com · 26/03/2025
Famous humorous computer security paper on top-tier threats to targeted individuals vs advice for what consumers actually encounter: "The Mossad/not-Mossad duality is just one of the truths that security researchers try to hide from you." www.usenix.org/system/files...
My point is that security people need to get their priorities
straight. The “threat model” section of a security paper resem-
bles the script for a telenovela that was written by a paranoid
schizophrenic: there are elaborate narratives and grand con-
spiracy theories, and there are heroes and villains with fantas-
tic (yet oddly constrained) powers that necessitate a grinding
battle of emotional and technical attrition. In the real world,
threat models are much simpler (see Figure 1). Basically, you’re
either dealing with Mossad or not-Mossad. If your adversary is
not-Mossad, then you’ll probably be fine if you pick a good pass-
word and don’t respond to emails from ChEaPestPAiNPi11s@
virus-basket.biz.ru. If your adversary is the Mossad, YOU’RE
GONNA DIE AND THERE’S NOTHING THAT YOU CAN DO
ABOUT IT. The Mossad is not intimidated by the fact that you
employ https://. If the Mossad wants your data, they’re going to
use a drone to replace your cellphone with a piece of uranium
that’s shaped like a cellphone, and when you die of tumors filled
with tumors, they’re going to hold a press conference and say
“It wasn’t us” as they wear t-shirts that say “IT WAS DEFI-
NITELY US,” and then they’re going to buy all of your stuff
at your estate sale so that they can directly look at the photos
of your vacation instead of reading your insipid emails about
them. In summary, https:// and two dollars will get you a bus
ticket to nowhere. Also, SANTA CLAUS ISN’T REAL. When it
rains, it pours.
638880
Reposted by Luis Vaz // Rastrian
gabby @fullmoon.id · 25/03/2025
new rule: all stock market graphs must make 0 the baseline
181
Reposted by Luis Vaz // Rastrian
Soren Lorensen @vuintrieri.bsky.social · 26/03/2025
Vassoura anunciando o senhor Waldemar no Flamengo
17131
Reposted by Luis Vaz // Rastrian
Luis Vaz // Rastrian @rastrian.dev · 24/03/2025
Any sufficiently advanced field, when faced with too much popularizing pressure, will gain an antimemetic field: a false and oversimplified version of the field created by edutainers to cater to people who do not have the requisite knowledge and skill to meaningfully engage in it
084
Reposted by Luis Vaz // Rastrian
disgrasa dos infernos @abelhaink.bsky.social · 26/03/2025
Antes de discutir com alguem na internet é importante saber a idade, as vezes vc ta ali na maior frenesi e quem ta do outro lado é um ADOLESCENTE. nao pode dar atenção pra adolescente
0121
Reposted by Luis Vaz // Rastrian
Claudia @claudiaa.bsky.social · 25/03/2025
Trânsito: SP tem recorde de motociclistas mortos Fonte: FSP, edição 24/03/25 Esse anúncio é um escárnio.
0271
Luis Vaz // Rastrian @rastrian.dev · 25/03/2025
Join in Fred’s little crazy stream
010
Reposted by Luis Vaz // Rastrian
Fred Flügel @fredfp.tubgaming.com · 25/03/2025
Aaaaaand here we go again! www.twitch.tv/fredfp Let's learn some science and maths live on stream!
twitch.tv
fredfp - Twitch
TEACHING MATHS AND PHYSICS! Come ask a question
033
Reposted by Luis Vaz // Rastrian
Senator Ron Wyden @wyden.senate.gov · 24/03/2025
This is one of the biggest threats to Americans' personal data in decades. If you're a 23andMe customer, I strongly urge you to delete your data to protect it from whoever the new buyer might be. Here’s how:
oag.ca.gov
Attorney General Bonta Urgently Issues Consumer Alert for 23andMe Customers
Californians have the right to direct the company to delete their genetic data OAKLAND — California Attorney General Rob Bonta today issued a consumer alert to customers of 23andMe, a genetic testing ...
20835861709
Reposted by Luis Vaz // Rastrian
Chupacu da Bela Vista @marcorigobelli.com · 24/03/2025
Por que vocês acham que o Davi trocou o curso de medicina por direito?
48121
Reposted by Luis Vaz // Rastrian
Kelsey Hightower @kelseyhightower.com · 24/03/2025
I'm not against artificial intelligence. I'm for natural intelligence, in all its forms, that has turned ordinary things into wonders since the dawn of time, and continues to produce a data set for us all to learn from, including the machines.
1115514
Reposted by Luis Vaz // Rastrian
Fred Flügel @fredfp.tubgaming.com · 24/03/2025
String theory:
031