@chl501

3 Followers
34 Following
60 Posts
random thoughts, note taking
In the public network, a key to cope against cognitive warfare is not to identify individual account, but to classify a group of same kind which takes malicious sentiment based on their historical conversation.
Android and iPhone are some of the worst invented tech.

Mapping a functor's 2 types **simultaneous**ly e.g. Foo[A, B] -> Foo[C, D] is `bimap`.

https://blog.ploeh.dk/2018/12/24/bifunctors/#c8062c28a0ed471a8995bee180d14aa6

#bifunctor #fp

Bifunctors

Bifunctors are like functors, only they vary in two dimensions instead of one. An article for object-oriented programmers.

Alec Stapp (@AlecStapp) on X

Still laughing about the time a computer scientist who had his bike stolen tried to explain binary search to a cop

X (formerly Twitter)
@TaiwaninMchrome Any chances to give a brief desc if possible? That helps me understand the background or the context of the pic, because navigating to the original link, I don't see any information there.
@TaiwaninMchrome 博覽會的時候嗎?

P = {p, q, ...}

σ ∈ S = K →(V × N), where K is the key; V the value; and N the version number.

σ(k) = (v, n) denotes a key k maps to a set of a value associated with a version number. And initially all keys of the participants map to the lowest element i.e. σ(k) = (⊥, ⊥).

https://www.cs.cornell.edu/home/rvr/papers/flowgossip.pdf

#p2p #Anti-Entropy #gossip

・a(x).P - Wait for reading x on the channel a, then having received the value, behave as P.

・ā<x>.P - Wait to send the value along with the channel a then, after x is accepted by some processes, behavior like P

https://www.cs.cmu.edu/~wing/publications/Wing02a.pdf

#picalculus

Instead of giving a binary result, perpahs it's more useful to present a list of associated information for the topic/thread being discussed.
切腹最中 | 御菓子司 新正堂

当店が「忠臣蔵」の起こりとなった浅野内匠頭がお預けになり切腹された田村屋敷跡にあり「忠臣蔵」にまつわる数々の語りぐさがこの菓子を通じて、皆様の口の端にのぼればという思いを込めた商品です。 たっぷりあんは、結晶の大きな純度の高い砂糖を使用し、求肥(ギュウヒ)入りの、甘さをおさえたさっぱりした味です。

御菓子司 新正堂