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…
Category
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…
Hello, fellow readers! It's been a while since I showed up here, and today, we'll talk about a hot topic: Artificial Intelligence (AI) and Machine Learning (ML) in…
A Generative Pre-trained Transformer, or simply, GPT, is one specific model of a kind known as Large Language Models (LLMs). LLMs are a subset of Deep Learning, which…
Imagine you just got paid and can finally buy the laptop you have been dreaming about for months. Since it is expensive (and you are smart), it's better…
In this article, we will perform the modeling and queries of a simple e-commerce domain using the NoSQL database, DynamoDB, and address its main concepts. And before we…
What you're looking for You saw that joke telling that JavaScript doesn't know math because of the expression below. 0.1 + 0.2 === 0.3 This expression will result…