TexkLab @TexkLab

@ceksudo We are currently a small new inspiring lab looking for a voluntarily leadership to lead us.

My team is currently looking for volunteers with expertise in compiler, computer architecture and machine learning or artificial intelligence to lead us on a research project on machine learning hardware and deep learning systems algorithm implementation.

Decentralized Finance (DeFi) is a financial infrastructure as an open, permissionless, and highly interoperable protocol stack built on public smart contract platforms. Let understand the theory and application of DeFi from these lecture series. m.youtube.com/channel/UCB67P…

I am Mathematical Reasoning

Hi I love softwares and I'm the language of software. I discovered Lambda calculus which is the building block of functional languages. You must prove me to be either true or false before I can call as a friend with the name theorem. Who I'm i ?

Sometimes we can select the elements of another set that satisfy a given property by using set comprehension. Example {user € Twitter | user has interest in Haskell}, is pronounced "the set of user in Twitter such that user has interest in Haskell"

Let recall our knowledge on Sets: sets are unordered collection of things without duplicates, surrounded by {curly bracket}. Example set A = {1,2,3,4} Element within a set are called set membership. Example 3 € {1,2,3,4} that is 3 is in A or 3 is a member of set A.

Why @Cardano chose Haskell ? Most of the research in cryptography and Blockchain rely heavy on mathematics and Haskell is a better choice for translating the research mathematical function expression into algorithmic computation. medium.com/@cardano.found…

Daily manna in Haskell Haskell chapter 1 vs 2 : In Haskell, functions is the combination of one or more arguments to produce a single output, express in a mathematical like equation form. Code: income_tax income = income * 0.15

Daily manna with Haskell. Haskell chapter 1 vs 1 Haskell is a purely functional programming languages, meaning that functions have no state ( side effects) with a strong static type system featuring polymorphic, overloaded types and type classes in addition with lazy evaluation

ClimateNeutralCardano Twitter Space today at 7 pm UTC. Join, meet CNC SPO's, learn about climate related projects on Cardano, #CardanoForest #SDGs #ESGs #Sustainability #Blockchain x.com/i/spaces/1kvKp…

@CardanoFeed [Ghana 🇬🇭 .. Last African Flag]

Hello my fellow developers & students @TwitterGhana I'm happy to announce that we now have a functional programming community @GhHaskell which focuses on building reliable software system. We invite all experience and new newbie. Let spread the #GoodNews foxhound.systems/blog/why-haske…