Lorenzo Battistela
Software Developer and Researcher at @HigherOrderCO
Posts
Elementary Affine Logic
Understanding EAL and typechecking it
2025-02-22Symbolic Regression with Superposition on HVM3
Understanding HVM superpositions
2024-12-06Interaction Nets and Combinators
Describing Inets model of computation and interaction combinators
2024-05-22Type Theory 101
Basics of TT
2024-05-21Demystifying Taylor Series
Understanding what are Taylor Series and how to use them
2024-05-21The Fundamental Theorem of Calculus
From Derivatives to Integrals: A Journey Through the Fundamental Theorem of Calculus
2024-05-21Compilers
Compilers Unveiled, a Brief Introduction
2024-05-21The imitation game
Discussing Turing's computer intelligence
2024-05-20Understanding Different types of Regression
A guide to understanding different types of regression algorithms
2024-05-20What is K-Nearest-Neighbors classification?
KNN classification algorithm
2024-05-19The beauty of linear algebra
Linear algebra concepts but visually
2024-05-18Understanding multiple linear regression
Multiple linear regression. What it is and its uses.
2024-05-17Understanding Linear Regression
Understanding linear regression principles and math.
2024-05-16