Last year was rough for you humans. Congratz on not giving up. :)

This is a collection of Credo checks that I use for code reviews.

It is my effort to automate my pull request checklist.

This is a Contract Net implemented in Elixir that I did for my Multi Agent Systems class.

Paper from Mads Rosendahl about using supercompilation to optimize time-bound programs generated by his automatic complexity analysis tool.

He demonstrates that with optimizations generated from supercompilation and some heuristics, it is possible to obtain closed-forms complexity bounds from open time-bound programs.

Supervisioned compilation is a form of metacompilation - as partial evaluation.

It evaluates programs in a limited runtime and uses results from this runtime to extract conclusions from the program behavior. It is a program transformation technique and may be as a program analysis tool and as a program optimization tool.

Beware of `%` injected into LIKE clauses.

Blog em português sobre a BEAM, com conteúdo fantástico.

Mastodon but written in Elixir.

A compiled list of programming wisdom.

A tour around functional programming jargon town.

A programming rollercoaster.

Article from the Beautiful Code book about software transactional memory (in Haskell).

"You must be this tall to use threads."
- someone who I wish was my friend once said.

Concurrency and paralelism are great powers that come with great responsabilities.

I do not agree with the style of this text - putting writing good software as something holy only possible to be archived by years of training.

But Norvig is a genius and there is much learn from this article, specially the SICP and HTDP recommendations. :P