TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #2467 635
Гарри Поттер и Методы Математического Мышления

Книга 1. Гарри Поттер и Неорганический Интеллект.

Глава 11. Контракт с реальностью

— Хорошо, — сказала Гермиона, поднимая голову. — Допустим. Как это применить к реальной магии? У нас нет λ-исчисления в чистом виде. У нас есть палочка, намерение и примитивы: человек, свет, тьма, замок, объект...

Драко взял мел и написал на доске:
S (S (K (S (K S) K)) (S (K (S (K (S K)) K)) I)) (S (K (S (K S) K)) (S (K (S (K S)) I)))
Гарри присвистнул.
— Это работает, — сказал он, изучая строку...

Это безумие, — сказал Невилл. — Нельзя в бою конструировать заклинания с нуля...

...Неорганические не поймут. У них нет тела, нет интуиции, нет чувства эквивалентности. Они видят только последовательности символов. А мы строим структуру.
  • ❤ 31
  • ✍ 8
  • 😁 5
  • 👍 1
More from @lambda_brain
  1. Sep 28, 2026. Облако драгоценностей за неделю. Дипломный проект разросся уже так, что расширил его до…
  2. Sep 27, 2026GELU (Gaussian Error Linear Unit) -- базовая фича архитектуры трансформеров, да и вообще в…
  3. Sep 27, 2026Продолжение сериала "Совершенно не удивлён, и дальше будет только хуже" (с) На этой неделе…
  4. Sep 26, 2026А вы разве не работаете сейчас (на себя, а не на дядю)?? Потребность в программистах уже в…
  5. Sep 25, 2026Гарри Поттер и Методы Математического Мышления Книга 1. Гарри Поттер и Неорганический Инте…
  6. Sep 25, 2026Свежее от ребят (и девчат). ...Так же было собеседование в Сбере, каким то чудом прошел их…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →