Evgeniy M
Contacts:
https://t.me/evgeniiml
https://vk.com/public198740007
https://odysee.com/@evgeniiml:c
Buy me a coffee - https://www.buymeacoffee.com/EvgeniyMalov
Yandex money:
410014557804280
https://money.yandex.ru/to/410014557804280
Webmoney:
R348962076583
Support as a refferal on best crypto exchanges:
https://www.binance.com/ru/register?ref=12580828
https://www.okex.com/join/6758541
https://www.bitfinex.com/?refcode=8lRfGpZhk
https://www.gate.io/ref/680337
https://www.kucoin.com/ucenter/signup?rcode=7P7fay
computer science, algorithms, mathematics, haskell, python
Email: [email protected]
MCP - ускорь разработку в 10 раз!
hackerrank B'day Gift problem (solved in haskell)
hackerrank random number generator problem (solved with haskell)
Чем совершеннее объект тем больше в нем информации и меньше материи
Связь мышления и реальности, энтропия не свойство системы, а наше свойство.
ДНК риса и пшеницы сложнее чем у человека, как растения защищаются от травоядных
Почему растет энтропия, неотделимость информации от сознания (материализм\идеализм).
Инвариантность времени - сохранение энергии, инвариантность пространства - сохранения импульса.
Отличие термодинамики от механики
Weak head normal form WHNF
church numerals multipliaction
Add church numerals
church numerals
Are we information? is instincts just programs? is information alive?
Pairs with lambda calculus
factorial in lambda calculus (in terms of primitive recursion)
normal form and normalization property (abstract rewriting)
referential transparency
Newman's lemma
lazy evaluation in lambda calculus
lambda calculus reduction strategies
Reduction strategy
what is Mathematical object (and some thougts about AI)
Word problem (mathematics)
What is term in math logic?
Church–Rosser property and theorem
Abstract rewriting system
Confluence of rewriting systems
Rewriting in mathematics
Factorial with lambda calculus