Skip to content
The Miners

The Miners

Codeminer42’s Engineering Blog

  • #6982 (no title)
  • #6982 (no title)

Author: Sofia Rodrigues

Exploring the Lean4 Language

Exploring the Lean4 Language

Sofia Rodriguesby Sofia RodriguesOctober 11, 2023April 11, 2024

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 …

Lean4: Crafting in an Uncharted Territory Overcoming Challenges and Innovating

Lean4: Crafting in an Uncharted Territory

Overcoming Challenges and Innovating

Sofia Rodriguesby Sofia RodriguesSeptember 27, 2023April 11, 2024

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 …

Content type

Beginner Intermediate Advanced

Recent Posts

  • Codeminer42 Dev Weekly #59
  • Async Code Demystified: Promises, Fetch, and useEffect
  • Codeminer42 Dev Weekly #58
  • What’s New in Node.JS 24
  • Introduction to Relational Databases and SQL

Tags

Android API Artificial Intelligence Authentication Best Practices C Computer Science CSS Database Dependency Injection Design Patterns DevOps Docker Elixir Frontend Functional Programming Git Golang HTML Information Security Infrastructure Java JavaScript NextJS Node.js open-source Performance PostgreSQL Programming Rails React Ruby Ruby on Rails Rust Software Architecture Software Development SQL Testing Tutorial TypeScript UI User Experience UX Vue.js Web Development
Creative Commons License 2025 Codeminer42 | Privacy Policy | Cookie Policy | Powered by WordPress and Bam.