Codeminer42's Engineering Blog

The Miners

  • Exploring the Lean4 Language

    · 13 min read · by Sofia Rodrigues

    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…

  • The Path of Open Source: What I learned

    · 11 min read · by Daniel Brasil

    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 guidance and…

  • Lean4: Crafting in an Uncharted Territory

    · 15 min read · by Sofia Rodrigues

    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.…

  • Ruby and the State of Artificial Intelligence

    · 15 min read · by Luan Gonçalves

    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 the Ruby…

  • Exploring the ChatGPT API

    · 14 min read · by Leonardo Santiago

    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 is part…