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]
Number of elements for a segment tree proof (array init)
Full binary tree leafs and internal nodes relation I = L -1 proof
Number of nodes in perfect binary tree with N=2^k leafs. f(N) = 2*N+1 proof by induction
Master Netfilter in Minutes: Chains, Tables, Rules Explained Intuitively
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