Infrastruttura Email
This note was deleted on 19th september 2026.
Notes
Notes collect my personal notes I took during my university studies. They have a very high variance in terms of quality, and mostly are kept as a bank of information I used to prepare for my exams. Since others might find notes helpful, I share them here on my website.
The Industrial Organization
AI Use Statement This note was fully AI generated as far as I recall, I don't remember which model. I noticed some people found this on the web. So take this with a grain of salt, I usually like to use AI generated summaries for personal study on the vault and don't publish…
Hopfield Networks
Hopfield networks are a type of recurrent neural network that can store and retrieve patterns. They are particularly useful for associative memory tasks, where the network can recall a stored pattern given a noisy or partial input. The Hopfield Network Model # A Hopfield network…
Reflection
What is Reflection? # Reflection enables a program to observe and modify its own structure and behavior. t bridges the gap between the base level (the application logic) and the meta level (objects representing the program itself). Core Concepts # Introspection : The program can…
Initialization in Programming Languages
"I call it my billion-dollar mistake. It was the invention of the null reference in 1965. [...] This has led to innumerable errors, vulnerabilities, and system crashes." ~ Tony Hoare 1 The core problem addressed here is Null Safety and how to properly initialize objects to…
Bytecode Verification
Code in modern days is mobile in the sense that it gets downloaded and executed on the fly very often. In JVM they are usually shipped with: Platform independent code Organized into class files. Class Loaders # The class loader is the part of the JVM that takes the bytecode and…
Typing and Subtyping
We first start with some design goals for the language Language Design Principles # Simplicity Syntax and semantics can easily be understood by users and implementers of the language Expressiveness : Language can (easily) express complex processes and structures, conflicting…
Inheritance
Introduction to Inheritance # Difference between Inheritance and Subtyping # We say that a subclass is inheritance and subtyping. We have studied subtyping in Typing and Subtyping and it entails mainly two things: Liskov Substitution Polymorphism of the types While inheritance…
Teoria dei Tipi
Introduzione alla Teoria dei Tipi # History of Languages Research # The root of languages research are in: in logic and computations (even before computers!). Artificial intelligence (Lisp, constrained solvers, the original logical AI we studied in (Russell & Norvig 2009)…
Classi OOP
Introduzione a OOP # Per la definizione di classe andare a guardare Object Orientation , però lo ripeto in questa occasione, è solamente un modello su cui andare a costruire degli oggetti. Capisaldi # Incapsulazione (con interfaccia, base per la documentazione) Astrazione…