← All posts tagged quotes

Computable and constructive mathematics is like the Matrix. Do you remember the film Matrix? Computable mathematics is the Matrix, a world built by intelligent computers to keep people from seeing the world as it really is. The realizers are the little green characters that keep falling down the screens. They seem infinitely more boring and less comprehensible than the Matrix. However, when Neo, the hero who saves humankind, reaches a higher level of awareness he sees the Matrix as it really is – made of little green characters. Intuitionistic logic and category theory are the Architect and the Oracle, but I am not telling which is which.
Andre Bauer (2005) "Realizability as the Connection between Computable and Constructive Mathematics", p. 33

[16:04]<Байтокот> Я не котоеб
[16:04]<Байтокот> У меня прекрасная девушка с прекрасным эльфийским именем Элетродрель. Не нужны мне эти ваши ляхи.

P.S. Кстати, если кто ещё не догадался, то тег bytecat можно заBL'ить

разделение на /bin и /usr/bin в основном было сделано для этапа ранней загрузки системы — минимальный набор загрузочных файлов находится в /. Но это давно не работает, и соответствующая опция убрана из инсталлятора anaconda. Более того, размещение /usr на отдельной файловой системе вызывает проблемы при загрузе посредством systemd;Поздравляю счастливых пользователей этого дерьма с фрагментацией рута.

[19:46]<bytecat> Давай ставки делать.
[19:46]<bytecat> 60% за едро.
[19:46]<bytecat> Допуск 5%.
[19:47]<elemir> Экзит-полы говорят, что победил КПРФ
[19:47]<elemir> Но мы все понимаем
[19:47]<bytecat> В этой безумной стране возможно что угодно.
[19:48]<bytecat> Только не оптимизм.
[19:48]<elemir> Даже Элемир-президент?
[19:48]<bytecat> Даже элемир-канцлер ингрии.

sl0: Создавая "его" автор хотел избавиться от каких-либо черт антропоморфности. И совсем случайно вышло так, что на родном языке автора "он" — женского рода, а на многих других (в том числе и на русском) — мужского. Назовите его самого или одного из его исследователей.
NEKT: Бозон Хиггса?
sl0: 0_о Но вариант мне нравится.