P
Size: a a a
2020 October 08
b
чего удалил)))
KR
функциональному программированию нет места в космосе
FORMALLY VERIFIED PURE FUNCTIONAL PROGRAMMING
@
X-RAYS FLIPPING HARDWARE BITS
@
X-RAYS FLIPPING HARDWARE BITS
b
Pure functional programming: formal methods
X–rays: make brrrrrr...
X–rays: make brrrrrr...
b
b
нет ну эта проблема вроде решена кстати
b
есть ECC RAM я так понимаю
b
я их конечно не встречал в природе, но как я понимаю везде где надо RAM в космосе, используют коды рида–соломона
p
FORMALLY VERIFIED PURE FUNCTIONAL PROGRAMMING
@
X-RAYS FLIPPING HARDWARE BITS
@
X-RAYS FLIPPING HARDWARE BITS
FORMALLY VERIFIED PURE TOTAL FUNCTIONAL PROGRAMMER 15 y.o.
b
мне кажется это скоро выйдет из моды и чуваки начнут просто писать что–то типа
b
15 y.o. fundamental mathematics researcher
H
сделай ken thompson hack
не возбудил
KR
FORMALLY VERIFIED PURE TOTAL FUNCTIONAL PROGRAMMER 15 y.o.
ти шо! посадят!
b
не возбудил
серьезно? как по мне, KTH это самое сексуальное за последение 50 лет computer science
r
И вообще https://xkcd.com/538/
KR
Не во всех универах преподают криптоанализ, и ещё в меньшем числе преподают его термо-ректальный раздел.
SP
так парни внимание. no_panic не работает с асинком
SP
и типа интернету похуй
VB
так парни внимание. no_panic не работает с асинком
А што это?
SP
макрос которым оборачивается функция который ругается если она паникует