Exploring the Lean4 Language
Last Updated on April 11, 2024 As a tech enthusiast, I’ve always been interested in new concepts that new programming languages can provide us. My …
The Path of Open Source: What I learned
Last Updated on April 11, 2024 I began my career as a trainee software developer at Codeminer 42. Throughout a three-month period, I studied web …
Lean4: Crafting in an Uncharted Territory
Overcoming Challenges and Innovating
Last Updated on April 11, 2024 Armed with an unknown weapon called Lean4, I ventured into an arena known as ‘Rinha de Backends‘, a challenge …
Ruby and the State of Artificial Intelligence
Investigating the Tools and Resources for Artificial Intelligence and Machine Learning around the Ruby Ecosystem
Last Updated on October 17, 2023 Hello, fellow readers! It’s been a while since I showed up here, and today, we’ll talk about a hot …
Exploring the ChatGPT API
An Introductory Guide on Empowering Applications through AI
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 Forms
How to provide a great user experience and validate forms on the frontend.
Last Updated on March 14, 2024 Imagine you just got paid and can finally buy the laptop you have been dreaming about for months. Since …
Modeling data with DynamoDB
Last Updated on October 17, 2023 In this article, we will perform the modeling and queries of a simple e-commerce domain using the NoSQL database, …
Be cool. Don’t use float/double for storing monetary values
A tour on how hardware deals with numbers and math
Last Updated on December 26, 2023 What you’re looking for You saw that joke telling that JavaScript doesn’t know math because of the expression below. …
Enhancing User Experience with Dynamic iFrame Height
Creating a cohesive user experience without visible indications of external sourcing.
Last Updated on April 11, 2024 In the realm of web development, iframes have long been an essential tool for integrating content from one website …
Understanding Front End Under the Hood
Unraveling the intricacies of web development, DOM manipulation, and JavaScript interactivity.
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 …