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

  • Tool or Agent? The impact of AI in your code and in your wallet
  • Mastering Zod Validation
  • Codeminer42 Dev Weekly #81
  • The Road To JVM: The JVM Specification
  • Four talks in four weeks

Tags

AI API Artificial Intelligence Authentication Backend Best Practices C Computer Science CSS Database Debugging 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 Security Software Architecture Software Development SQL Testing TypeScript UI UX Vue.js Web Development
Creative Commons License 2025 Codeminer42 | Privacy Policy | Cookie Policy | Powered by WordPress and Bam.