Hawry

In Haskell: everything is isomorph to [] Word8
In C: everything **might** be isomorph to int

If your code compiles in Idris, go back to that hole you left and fill it

I had the weirdest dream, some girl was writing and speaking loud some demonstration with true math variables, I could see equation lines being written, and when she finished the last line she said "Therefore, I despise you and all your actions. I hate you"

Exceptions aren't that big monster except when they slow down execution

Guess the database

Once upon a time, a young kid asked his grandfather why does he keep repeating same mathematics proofs since he was 35. The old man replied: "Don't bother me again fucking retarded"

The kid got surprised, but then he continued: "Fucking retarded is the name of this other proof, don't worry"

Oh my wedge

List with flat map, the monad that made its way through to mainstream programming

Im a simple man, I just neetfish until some random girl appears in my life

I just wrote proof two types "f a" and "f b" are equal if a and b are equal in Idris, can someone give me an award for this

Fedida.

Type oriented paradigm >>>>

Is the adjunction here with you in this room?

Shout out to programs not available/crash only in Windows, they have a special spot in my heart

Any romantic music suggestions?

Wassup again

Ninja yoneda lemma feels like "I would find the hom-set over the biggest chungus bungus morphism which is actually an alias for another complex logic but I would never ever ever ever just apply the functor directly"

San Andreas segmentation fault

Created locally a todo-app-rs using Gtk4 and man... having a single rust file creating UI feels like magic

I still have to try Qt, X11 and whatever LXDE uses

Visual proof it is possible to build a isomorphism of hom-sets from adjunction

Xfce is my favorite DE

I love being man and having to prove my value by struggling and achieving intelligence

I will ascend the day I get used to category theory laws and substitution

Haskallero tralala

Por que vc age assim, feito um viadinho fofinho?

Day 5 of advent of code (5/12)

Today was fun, described how ranges of numbers intersect and can be "merged" (only if they intersect)

Repo: github.com/leandroalveswork/rust-aoc-2025

Day 2 of advent of code (2/12)

Solved using log and math messing

Repo: github.com/leandroalveswork/rust-aoc-2025

Source-code in an editor

First day of advent of code (1/12)

Repo: github.com/leandroalves...