Exploring the Lean4 Language
by 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 …
Category: Posts
The Path of Open Source: What I learned
by I began my career as a trainee software developer at Codeminer 42. Throughout a three-month period, I studied web development, specifically focusing on Ruby on …
Lean4: Crafting in an Uncharted TerritoryOvercoming Challenges and Innovating
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 …
Ruby and the State of Artificial IntelligenceInvestigating the Tools and Resources for Artificial Intelligence and Machine Learning around the Ruby Ecosystem
by 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 …
Exploring the ChatGPT APIAn Introductory Guide on Empowering Applications through AI
by 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 …
The Right Form of Forming FormsHow to provide a great user experience and validate forms on the frontend.
by 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 …
Modeling data with DynamoDB
by 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. …
Be cool. Don’t use float/double for storing monetary valuesA tour on how hardware deals with numbers and math
by 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 …
Enhancing User Experience with Dynamic iFrame HeightCreating a cohesive user experience without visible indications of external sourcing.
by 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 …
Understanding Front End Under the HoodUnraveling the intricacies of web development, DOM manipulation, and JavaScript interactivity.
by In web development, we typically have two main goals: displaying the desired content to users and enabling them to interact with it by modifying the …