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 🇧🇷
At work, I'm liking writing POSIX shell more than I'm liking writing Clojure. Should I be concerned?
Friendship ended with netcat, socat is my new best friend.

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.

I implemented a QOI encoder in ~160 lines of very pedantic and paranoid Zig code (many assertions). It's indeed quite ok.
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

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.

"cannot tail-call: other reasons" this energy is sending meeeeee, the compiler has determined that it is friday
With the axiom of choice, no topological space is cringe.