Kauê HB

@bakaq
16 Followers
72 Following
284 Posts

Physicist and programmer.

I love logic programming, formal methods, category theory, music, linguistics and sleeping.

Fluent in Portuguese and English. ~N3 in Japanese. ~low A2 in toki pona and Esperanto. Beginner in German and Mandarin.

Sitebakaq.net
Pronounsany/all
CountryBrazil 🇧🇷
Kauê HB3d ago
At work, I'm liking writing POSIX shell more than I'm liking writing Clojure. Should I be concerned?
Kauê HB4d ago
K. Reid Wightman  🌻  4d ago
Kauê HB5d ago
Friendship ended with netcat, socat is my new best friend.
Kauê HBMar 19

Sick of having to memorize 128-bit IPv6 addresses?

Try using UUIDv1 (still 128-bit) for addressing!

You certainly won't regret using UUIDv1 for addressing.

Kauê HBMar 18
I implemented a QOI encoder in ~160 lines of very pedantic and paranoid Zig code (many assertions). It's indeed quite ok.
Kauê HBMar 16
terms of service Mar 16
can't sleep? got responsibilities in the morning?

introducing: 50 minute deep dive into a specific episode of a tv show you've never watched.

you certainly won't regret 50 minute deep dive into a specific episode of a tv show you've never watched
Kauê HBMar 13
dx �Mar 12

w-what are you supposed to do here. do i need to include a sample of richard stallman saying that the song is provided "as is" without warranty of any kind?

serious question btw.

Kauê HBMar 13
Show threadAndy WingoMar 13
"cannot tail-call: other reasons" this energy is sending meeeeee, the compiler has determined that it is friday
Kauê HBMar 12
Kauê HBSep 7, 2025
With the axiom of choice, no topological space is cringe.
Kauê HBMar 4
digital_star.sys 💾⭐Mar 3