I'm Lorenzo Battistela Software Developer and Researcher at @HigherOrderCO

---

• § Symbolic Regression with Superposition on HVM3

  Understanding HVM superpositions

  12/6/2024, 6:00:57 PM

• § Interaction Nets and Combinators

  Describing Inets model of computation and interaction combinators

  5/22/2024, 3:05:39 PM

• § Type Theory 101

  Basics of TT

  5/21/2024, 4:27:43 PM

• § Compilers

  Compilers Unveiled, a Brief Introduction

  5/21/2024, 4:14:01 PM

• § The Fundamental Theorem of Calculus

  From Derivatives to Integrals: A Journey Through the Fundamental Theorem of Calculus

  5/21/2024, 11:59:26 AM

• § Demystifying Taylor Series

  Understanding what are Taylor Series and how to use them

  5/21/2024, 11:50:19 AM

• § The imitation game

  Discussing Turing's computer intelligence

  5/20/2024, 10:37:03 AM

• § Understanding Different types of Regression

  A guide to understanding different types of regression algorithms

  5/20/2024, 7:12:23 AM

• § What is K-Nearest-Neighbors classification?

  KNN classification algorithm

  5/19/2024, 8:32:10 AM

• § The beauty of linear algebra

  Linear algebra concepts but visually

  5/18/2024, 9:00:15 AM

• § Understanding multiple linear regression

  Multiple linear regression. What it is and its uses.

  5/17/2024, 5:56:45 PM

• § Understanding Linear Regression

  Understanding linear regression principles and math.

  5/16/2024, 4:48:56 PM