Exploring the Lean4 Language
As a tech enthusiast, I’ve always been interested in new concepts that new programming languages can provide us. My curiosity has often taken me into …
Codeminer42’s Engineering Blog
As a tech enthusiast, I’ve always been interested in new concepts that new programming languages can provide us. My curiosity has often taken me into …
Armed with an unknown weapon called Lean4, I ventured into an arena known as ‘Rinha de Backends‘, a challenge to determine (for fun) the fastest …
In the realm of web development, iframes have long been an essential tool for integrating content from one website into another. Whether it’s by embedding …
Hello everyone! I will talk about SQL in this article, more precisely on how to have two completely different order rules for your returning records …
It is usual, as developers, to use tools that we don’t entirely understand. Web storage on browsers and cookies are examples of things we use …
We know that performance is one of the biggest factors that drive a system to success. But even using the most optimized algorithms, some tasks …
Remember when you went to the grocery store, and the employees had placed everything in a different layout since your last visit? You’ve just been …
Introduction With each passing day, web applications are becoming more and more reactive. JavaScript front-end frameworks are designed for this particular purpose. However, it is …
Dependency injection is a technique used to remove interdependencies between two components of an application, but for some reason, it’s not commonly used in React …
When we work on big projects a common path is to split it into separate codebases to make management easier. A modern and kind of …