@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)

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.
切腹最中 | 御菓子司 新正堂

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

御菓子司 新正堂

台湾で日本時代おばじゃんとおじじゃんのデートのお勧め

https://www.youtube.com/watch?v=luK7S32OYQw&t=5m37s (男性にお勧め)
女性の年齡を聞くなよ

https://www.youtube.com/watch?v=luK7S32OYQw&t=5m37s (女性にお勧め)
ゲンキンすぎだめ

人気のデートの場所 - 神社

#練習

日本時代的戀愛秘笈寫了什麼?自由戀愛有多潮?|臺語歌|曲盤|唱片|王佐榮|老照片

YouTube

After several years, this is still the simplest imo, and the best explanation about what is monad.

https://www.adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html

Monad imo is just a wrapper (in the context) that acts on behalf of you in handling the operations accordingly by obeying some laws.

#monad #fp

Functors, Applicatives, And Monads In Pictures - adit.io

Aditya Bhargava's personal blog.