#Unisala universe
For the longest time, Unisala operated without proper project management tools like jira. This was not only area where we faltered. It was just one of many spin
Given an unsorted array of integers nums, return the length of the longest consecutive elements sequence.You must write an algorithm that runs in 
Lessons from Analytics and Performance ChallengesFor a long period of time analytics was overlooked. This is where we were doomed. I once asked a senior, who is
Church numerals are a way of representing natural numbers using lambda calculus. a foundational framework in mathematical logic and computer science. In essence
Redex is a deducible expression. It is a lambda abstraction applied to an argumentReduction replaces a redex with the result of applying the function.Beta Reduc
A formal system used to study functions, variables & how they interact through application & abstraction. It's a foundational mathematical framework tha
A type environment (T) maps variables names to theirs types. For example:+ is mapped to the type , Int -> Int -> Int y is mapped to the type Int Lambda E
In type theory, sub typing denoted by (<:) is a relation that describes when one type can be used in place of another type. It's more like flexible version o
Solve each of the following constraints. Let's first understand the tools to solve it:Constraint Solving in type inference involves finding a way to make d
How to solve it?Let's learn.A type environment (T) maps variables names to theirs types. For example:+ is mapped to the type , Int -> Int -> Int y is map
Static TypingDefinition: In statically typed languages, type checking is done at compile time. This means that the types of all variables must be known before t
To explain the concepts of soundness and completeness, particularly in the context of type checking and type inference, we can use analogies to make them easier
1. Ad-hoc Polymorphism Function or operator overloading based on different typesint add(int a, int b) { return a + b; } double add(double a, d
As we read that data modeling is done for:Reduce data redundancyData integritySupport efficient queryingNormalisation is an essential part of database design th
Data modeling is a process of designing a structure for your database to ensure Data integrity.Reduce RedundancySupport efficient queryingKey Components of Data
The Evolution of Unisala: A 4 year journey:The first chapter of the Unisala story began 4 years ago (2020-2021). I was in my senior year of undergraduate, the f
What is Rust?Rust is a system programming language that focuses on speed, memory safety, and parallelism. It was developed by Mozilla and has been gaining popul
Findings from the study on borrow patterns within Rust's open-source ecosystem.The purpose of the study:This study aims to analyse how the borrow checker is uti
Let's look at how memory is managed in multiple languages first.Imagine you're renting bikes from a shop:C/C++: Manual Memory ManagementYou have to manually pi
In this coding challenge, we have a bunch of coders taking part in a competition; each coder has a certain skill level represented as skill[i]. To make the
Linked List: A sequential data structure where each element (node) points to the next, forming a chain.Array: A collection of elements, usually of the sa
REST is the most common communication standard between computers over internet.What is it? Why is this so popular?Api stands for application programming interfa
In this note, we will develop an intuition on some of the common latency numbers. Which are very crucial for system design.It's not critical to know the exact n
DNS is internet directory, which translates human readable domain names such as unisala.com to a machine readable ip address. This is the reason why when you ty
