Codeminer42's Engineering Blog
Intermediate

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 uncharted territories, which remain unexplored…
Lean4: Crafting in an Uncharted Territory
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 API for a simple specification.…
Enhancing User Experience with Dynamic iFrame Height
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 a video, displaying a map,…
Implementing high-performance multiple sort-rules query in SQL
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 according to the index. In…
LocalStorage and Cookies under the hoodies
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 without knowing what is happening…