home.social

#xor — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #xor, aggregated by home.social.

  1. wacoca.com/media/632423/ King Gnu『AIZO』MV|一線級のアーティストたちがガチンコで競い合って、極上のカオスを創出! | VFXアナトミー #3dsMax #AIZO #Blender #Houdini #Khaki #KingGnu #music #PERIMETRON #THISMAN #XOR #潮杏二 #音楽

  2. Архитектура «Обратного Хэша»: Нейросети без умножения

    Современный Deep Learning уперся в производительность вычислений с плавающей точкой (float) и пропускную способность памяти. Мы предлагаем архитектуру «Обратного Хэша» , где нейрон — это не сумма произведений, а битовая функция. Ноль умножений. Ноль сложений. Только логика (XOR), статистика и скорость света. Let the bitwise revolution begin.

    habr.com/ru/articles/996268/

    #нейросети #deep_learning #оптимизация #алгоритмы #xor #битовые_операции #machine_learning #искусственный_интеллект #FPGA #BNN

  3. Logic Syllabus • Discussion 1
    inquiryintoinquiry.com/2023/06

    Re: Logic Syllabus ( inquiryintoinquiry.com/logic-s )
    Re: Laws of Form ( groups.io/g/lawsofform/topic/l )
    Re: John Mingers ( groups.io/g/lawsofform/message )

    JM: ❝In a previous post you mentioned the minimal negation operator. Is there also the converse of this, i.e. an operator which is true when exactly one of its arguments is true? Or is this just XOR?❞

    Yes, the “just one true” operator is a very handy tool. We discussed it earlier under the headings of “genus and species relations” or “radio button logic”. Viewed in the form of a venn diagram it describes a partition of the universe of discourse into mutually exclusive and exhaustive regions.

    Reading \(\texttt{(} x_1 \texttt{,} \ldots \texttt{,} x_m \texttt{)}\) to mean just one of \(x_1, \ldots, x_m\) is false, the form \(\texttt{((} x_1 \texttt{),} \ldots \texttt{,(} x_m \texttt{))}\) means just one of \(x_1, \ldots, x_m\) is true.

    For two logical variables, though, the cases “condense” or “degenerate” and saying “just one true” is the same thing as saying “just one false”.

    \[\texttt{((} x_1 \texttt{),(} x_2 \texttt{))} = \texttt{(} x_1 \texttt{,} x_2 \texttt{)} = x_1 + x_2 = \mathrm{xor} (x_1, x_2).\]

    There's more information on the following pages.

    Minimal Negation Operators
    oeis.org/wiki/Minimal_negation

    Related Truth Tables
    oeis.org/wiki/Minimal_negation

    Genus, Species, Pie Charts, Radio Buttons
    inquiryintoinquiry.com/2021/11

    Related Discussions
    inquiryintoinquiry.com/?s=Radi

    #Logic #LogicSyllabus #BooleanDomain #BooleanFunction #BooleanValuedFunction
    #Peirce #LogicalGraph #MinimalNegationOperator #ExclusiveDisjunction #XOR
    #CactusLanguage #PropositionalCalculus #RadioButtonLogic #TruthTable

  4. Logic Syllabus • Discussion 1
    inquiryintoinquiry.com/2023/06

    Re: Logic Syllabus ( inquiryintoinquiry.com/logic-s )
    Re: Laws of Form ( groups.io/g/lawsofform/topic/l )
    Re: John Mingers ( groups.io/g/lawsofform/message )

    JM: ❝In a previous post you mentioned the minimal negation operator. Is there also the converse of this, i.e. an operator which is true when exactly one of its arguments is true? Or is this just XOR?❞

    Yes, the “just one true” operator is a very handy tool. We discussed it earlier under the headings of “genus and species relations” or “radio button logic”. Viewed in the form of a venn diagram it describes a partition of the universe of discourse into mutually exclusive and exhaustive regions.

    Reading \(\texttt{(} x_1 \texttt{,} \ldots \texttt{,} x_m \texttt{)}\) to mean just one of \(x_1, \ldots, x_m\) is false, the form \(\texttt{((} x_1 \texttt{),} \ldots \texttt{,(} x_m \texttt{))}\) means just one of \(x_1, \ldots, x_m\) is true.

    For two logical variables, though, the cases “condense” or “degenerate” and saying “just one true” is the same thing as saying “just one false”.

    \[\texttt{((} x_1 \texttt{),(} x_2 \texttt{))} = \texttt{(} x_1 \texttt{,} x_2 \texttt{)} = x_1 + x_2 = \mathrm{xor} (x_1, x_2).\]

    There's more information on the following pages.

    Minimal Negation Operators
    oeis.org/wiki/Minimal_negation

    Related Truth Tables
    oeis.org/wiki/Minimal_negation

    Genus, Species, Pie Charts, Radio Buttons
    inquiryintoinquiry.com/2021/11

    Related Discussions
    inquiryintoinquiry.com/?s=Radi

    #Logic #LogicSyllabus #BooleanDomain #BooleanFunction #BooleanValuedFunction
    #Peirce #LogicalGraph #MinimalNegationOperator #ExclusiveDisjunction #XOR
    #CactusLanguage #PropositionalCalculus #RadioButtonLogic #TruthTable