I am adding a type system to RCL, my configuration language. In part 4, we look at how the typechecker is implemented in Rust, and at how it is able to generate good error messages. (more…)

Meet Quickwit 0.1! A super cost-efficient search engine is born! (more…)

Renato Athaydes' Personal Website. Computer Science, programming and all that stuff. (more…)

I am largely in debt of quality documentation, regular project updates, a project website and so on. I mostly prioritize development work, because I want things to be better faster. But… Here goes one well overdue project update on Polars. (more…)

I show how to implement event listeners and dependency injection using Rust's type system to avoid common errors in stringly-typed versions of these extensible architectures. (more…)