55

Haskell sucks! Why you MUST choose imperative language for you project! REAL MOTIVATION! :)

Evgeniy Malov

Shared 09/02/2024

45

Add the REAL POWER of FP in you python REPL in one second! :)

Evgeniy Malov

Shared 09/02/2024

20

prettify your ghci repl with lambda

Evgeniy Malov

Shared 09/02/2024

28:21

factorial in lambda calculus (in terms of primitive recursion)

Evgeniy Malov

Shared 24/01/2024

53:04

normal form and normalization property (abstract rewriting)

Evgeniy Malov

Shared 16/01/2024

11:57

referential transparency

Evgeniy Malov

Shared 15/01/2024

05:19

Newman's lemma

Evgeniy Malov

Shared 14/01/2024

04:02

lazy evaluation in lambda calculus

Evgeniy Malov

Shared 13/01/2024

09:43

lambda calculus reduction strategies

Evgeniy Malov

Shared 12/01/2024

06:55

Reduction strategy

Evgeniy Malov

Shared 11/01/2024

13:54

what is Mathematical object (and some thougts about AI)

Evgeniy Malov

Shared 10/01/2024

14:58

Word problem (mathematics)

Evgeniy Malov

Shared 09/01/2024

11:48

What is term in math logic?

Evgeniy Malov

Shared 09/01/2024

12:17

Church–Rosser property and theorem

Evgeniy Malov

Shared 03/01/2024

08:57

Abstract rewriting system

Evgeniy Malov

Shared 03/01/2024

19:49

Confluence of rewriting systems

Evgeniy Malov

Shared 03/01/2024

06:37

Rewriting in mathematics

Evgeniy Malov

Shared 03/01/2024

13:47

Factorial with lambda calculus

Evgeniy Malov

Shared 02/01/2024

03:16

Lambda Calculus Calculator

Evgeniy Malov

Shared 02/01/2024

06:31

What is Fixed point

Evgeniy Malov

Shared 28/12/2023

11:58

Y combinator and recursion in haskell (implement fib without recursion)

Evgeniy Malov

Shared 28/12/2023

04:09

Fixed-point theorem and Y combinator in lambda calculus

Evgeniy Malov

Shared 27/12/2023

09:12

lambda cube

Evgeniy Malov

Shared 27/12/2023

13:14

lambda calculus review

Evgeniy Malov

Shared 27/12/2023

05:38

Soundness and completeness of formal system

Evgeniy Malov

Shared 26/12/2023

02:39

Semantics of formal language

Evgeniy Malov

Shared 26/12/2023

34:03

Formal and deductive systems properties

Evgeniy Malov

Shared 26/12/2023

06:46

What is formal system?

Evgeniy Malov

Shared 26/12/2023

02:15

formal language semantics

Evgeniy Malov

Shared 26/12/2023

08:49

What is modeling

Evgeniy Malov

Shared 25/12/2023

05:29

Model theory

Evgeniy Malov

Shared 25/12/2023

02:31

Mathematical structure

Evgeniy Malov

Shared 24/12/2023