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…
Posts
- Beginner
The Path of Open Source: What I learned
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 Rails, while receiving…
- Intermediate
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…
- Beginner
Ruby and the State of Artificial Intelligence
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…
- Beginner
Exploring the ChatGPT API
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…
- Beginner
The Right Form of Forming Forms
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…
