見えぬ壁 Невидима стіна|ポイズン雷花

ある日 君が告げた言葉 「愛する人がいるの 遠い国のひと」 その瞬間 時が止まり グラスが滑り落ちる 赤いワインが 白いテーブルクロスを染めていく 名前も聞かず 瞳も見ずに 私の口をつくのは 冷たい「NO」だけ 訳などない 理屈じゃない ただ一つの記号 「外人」という烙印 ああ 言葉の壁など 後からつけた言い訳 ああ 文化の違いなど 並べ立てた虚飾 真っ先に走る戦慄 本能の拒絶 「ダメだ」と叫ぶ声が 私の心を支配する 踊ろう 踊ろう 断絶のタンゴ 愛と恐れが 交差するステップ 汝ら この痛みを何と呼ぶ? 偏見か 守護か それとも古い呪いか 理由はいらない 名前を教えてくれ この胸

note(ノート)
見えぬ壁 Невидима стіна|ポイズン雷花

ある日 君が告げた言葉 「愛する人がいるの 遠い国のひと」 その瞬間 時が止まり グラスが滑り落ちる 赤いワインが 白いテーブルクロスを染めていく 名前も聞かず 瞳も見ずに 私の口をつくのは 冷たい「NO」だけ 訳などない 理屈じゃない ただ一つの記号 「外人」という烙印 ああ 言葉の壁など 後からつけた言い訳 ああ 文化の違いなど 並べ立てた虚飾 真っ先に走る戦慄 本能の拒絶 「ダメだ」と叫ぶ声が 私の心を支配する 踊ろう 踊ろう 断絶のタンゴ 愛と恐れが 交差するステップ 汝ら この痛みを何と呼ぶ? 偏見か 守護か それとも古い呪いか 理由はいらない 名前を教えてくれ この胸

note(ノート)

We are excited to announce that we will be participating in the Cerebral Puzzle Showcase with our games Quadrata, Lovux Netoo and Pight, which will take place from May 28th to June 4th!

@PuzzleShowcase

#gamedev #indiedev #indiegame #logic #minimal #puzzle #puzzlegame #madewithunity

People who have a math degree, in what context were you first taught how to work with first order logic? That is, to interpret mathematical formulas that use quantifiers, to negate them, and to prove them?

I can only give four options, so please discuss especially if your situation was not covered. Maybe you never did learn this!

#math #mathematics #logic

A dedicated course on logic
A course focusing on analysis
A course focusing on algebra
Calculus (without rigorous analysis)
Poll ends at .
Abstract machines for logic programs

Based on conversations with [Rob Simmons. Reader prerequisites: comfortable with inference rules, peano notation, state machines.] The following inference...

turnstile travelogue

Interesting article with connections to mathematical #logic But there is a mistake and an important missing part.

The mistake is the implication that "easy to verify, hard to work out" is the same as NP. The missing part is in the description of the graph coloring procedure: you need some way for the prover to show that she didn't change her colors in some way inconsistent with her chosen coloring. This is called a commitment scheme.

https://www.quantamagazine.org/how-unknowable-math-can-help-hide-secrets-20260511/

#math #encryption #mathematics

How Unknowable Math Can Help Hide Secrets | Quanta Magazine

A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.

Quanta Magazine

#TwoChoicesIndoctrination

1. Evil half

2. Goodness half the time

3. Balance scales of giving Evil half the power, choose Evil 50%

4. Two Party System. Evil HALF THE TIME!

#Logical thinking. Evil normalized by Shitty Clergy teaching.

#Logic of Evil given constant consideration and attention.

Having a blast working on the drum part for my re-recording of Tell Me What She Said. The original hi-hat part was too intense to do with one shots (very similar to Hearts Barracuda), so spent a couple days searching through the grooves in Slate Drums. Found something close then had a blast editing the MIDI parts to create a drum track that’s really kicking ass. #GearSquad #MusicProduction #Recording #SlateDrums #Logic
https://soundcloud.com/guitarsith/03-tell-me-what-she-said
Tell Me What She Said

Recorded in 1981 at Ocean Sound Studios in Vancouver. Written by Robert Alan and Lee Douglas. Musicians that I can remember are Eddie Patterson (synth guitar), Darryl Burgess (drums), Tracey Marks (sy

SoundCloud