Рубрика «нестандартный анализ»

TL;DR

Когда вы пишете loss.backward(), ваш autograd делает то, что 200 лет считалось математической ересью: оперирует бесконечно малыми как настоящими числами. В 1960 году Абрахам Робинсон формализовал эту «ересь» в виде нестандартного анализа. Forward-mode автодифференцирование, на котором держатся JAX, PyTorch и пол-индустрии — это его обрезанная версия. В этой статье разберём гиперреалы и монады, реализуем дуальные числа в коде.

Проблема, о которой не говорят

Откройте любой учебник термодинамики. Найдите там первое начало:

dU=δQ−δA

Один значок прямой, другой — кривой. Спросите автора учебника, чем δQЧитать полностью »

В 2004 году, играя в Half-Life 2 в легендарной озвучке от Буки, многие из нас слышали странную фразу доктора Кляйнера: "...соотношение гесферочисленно". Большинство посчитало это забавным ляпом переводчиков (искажением "geodesic/spherical"). Но в "Конструкторском Бюро" MagnaVerse мы не верим в случайности.

Спустя 20 лет мы взяли этот "неологизм" и превратили его в Гесферочисленность (Gesphéricité) — фундаментальную математическую структуру, которая официально прошла валидацию и встроена в ядро нашего движка.

Что такое "Гесферочисленно" на языке C++23?

Читать полностью »


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js