Are you over 18 and want to see adult content?
More Annotations
A complete backup of bestofneworleans.com
Are you over 18 and want to see adult content?
A complete backup of liannelahavas.com
Are you over 18 and want to see adult content?
A complete backup of dunwelldoughnuts.com
Are you over 18 and want to see adult content?
Favourite Annotations
A complete backup of endhomelessness.org
Are you over 18 and want to see adult content?
A complete backup of ourlifetastesgood.com
Are you over 18 and want to see adult content?
A complete backup of questions2vie.com
Are you over 18 and want to see adult content?
Text
SOIMORT.ORG
“Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations. MORT’S SMALL TRACES A lifelong project to do my study notes on Math / Computer Science systematically and spirally. It is still woefully incomplete, but it shouldn’t always be. RECOVERING FROM A CORRUPTED ARCH LINUX UPGRADE (Probably unimportant) Backstory: It’s been a while since the last full-system upgrade of my Arch Linux laptop – It sat well with me for a span of months’ uptime. When I finally got the time to run a pacman -Syu (so well as to dare any potential issues due to Arch’s infamous instability) earlier today, weird things did happen: Something other than pacman was eating up my CPU. UNDERSTANDING COLORS Colors are everywhere. They are an inherent division of human perception, affecting how we see, interpret and interact with the world. Artists, physicists, chemists and biologists have been studying colors over the centuries, for greatly varying interests and profits. BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s THE ANATOMY OF IMPERMANENCE As I was sitting in this becomingly heated room on a late autumn night, wrapping myself in a bath towel and enjoying the best port wine I ever had, with an erotic gravure poster of my favorite idols ahead, I wondered why I would be writing this up – I ought to be learning math and computer programming for the sake of my future career, or brainlessly entertaining myself with movies and WHEN GNOME SHELL FREEZES (BUT YOU HAVE UNSAVED STUFF THERE) In the past few months, I was running into the mysterious bug that GNOME Shell crashes with a segfault in libgjs.so.0.0.0, leaving me an unresponsive desktop:. kernel FORTY-EIGHT TALESTRANSLATE THIS PAGE 愛+$+砂糖=アイドル. vogue girl「私らしく輝ける居場所を求めて。宮脇咲良が見つめる、挑戦の先にある新しい景色。 KONO MUNE NO BARCODETRANSLATE THIS PAGE Thu 13 May, 2021. #松岡菜摘. #Natsumi Matsuoka. #Matsuoka Natsumi. #HKT48. Natsumi Matsuoka - Instagram - Tue 11 May 2021. ツインテールしたよ🥰. I got twin-tails🥰.鈴木優香
鈴木優香 - Instagram - Mon 22 Feb 2021 “ #猫の日 何か載せたかったけど猫の写真がなかった( i _ i ) #メイド服 #メイド #ツインテール #アイドル #Cat Day I wanted to post something but I don’t have any photos of cats( i _ i ) #メイド服 #メイド #ツインテールSOIMORT.ORG
“Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations. MORT’S SMALL TRACES A lifelong project to do my study notes on Math / Computer Science systematically and spirally. It is still woefully incomplete, but it shouldn’t always be. RECOVERING FROM A CORRUPTED ARCH LINUX UPGRADE (Probably unimportant) Backstory: It’s been a while since the last full-system upgrade of my Arch Linux laptop – It sat well with me for a span of months’ uptime. When I finally got the time to run a pacman -Syu (so well as to dare any potential issues due to Arch’s infamous instability) earlier today, weird things did happen: Something other than pacman was eating up my CPU. UNDERSTANDING COLORS Colors are everywhere. They are an inherent division of human perception, affecting how we see, interpret and interact with the world. Artists, physicists, chemists and biologists have been studying colors over the centuries, for greatly varying interests and profits. BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s THE ANATOMY OF IMPERMANENCE As I was sitting in this becomingly heated room on a late autumn night, wrapping myself in a bath towel and enjoying the best port wine I ever had, with an erotic gravure poster of my favorite idols ahead, I wondered why I would be writing this up – I ought to be learning math and computer programming for the sake of my future career, or brainlessly entertaining myself with movies and WHEN GNOME SHELL FREEZES (BUT YOU HAVE UNSAVED STUFF THERE) In the past few months, I was running into the mysterious bug that GNOME Shell crashes with a segfault in libgjs.so.0.0.0, leaving me an unresponsive desktop:. kernel FORTY-EIGHT TALESTRANSLATE THIS PAGE 愛+$+砂糖=アイドル. vogue girl「私らしく輝ける居場所を求めて。宮脇咲良が見つめる、挑戦の先にある新しい景色。 KONO MUNE NO BARCODETRANSLATE THIS PAGE Thu 13 May, 2021. #松岡菜摘. #Natsumi Matsuoka. #Matsuoka Natsumi. #HKT48. Natsumi Matsuoka - Instagram - Tue 11 May 2021. ツインテールしたよ🥰. I got twin-tails🥰.鈴木優香
鈴木優香 - Instagram - Mon 22 Feb 2021 “ #猫の日 何か載せたかったけど猫の写真がなかった( i _ i ) #メイド服 #メイド #ツインテール #アイドル #Cat Day I wanted to post something but I don’t have any photos of cats( i _ i ) #メイド服 #メイド #ツインテール THE ADVERSARIAL COMPUTATION Theory of computation (computability and complexity) forms the basis for modern cryptography:. What is an algorithm?. An algorithm is a computational method for solving an abstract problem.; An algorithm takes as input a set \(I\) of problem instances, and outputs a solution from the set \(S\) of problem solutions.; An algorithm is represented in a well-defined formal language. PYTHON-ROMKAN BY SOIMORT python-romkan is a Romaji/Kana conversion library for Python, which is used to convert a Japanese Romaji (ローマ字) string to a Japanese Kana (仮名) string or vice versa. It is the Pythonic port of Ruby/Romkan, originally authored by Satoru Takabayashi and ported by Masato Hagiwara. python-romkan works on Python 2 and Python 3 (fullyTHE REFERENTIAL USE
On quotation. In the following text, we will utilize English quotation marks intensively. Quoted text is used as a literal mention of things whatever they enclose. THE LOGICAL IMPLICATION Prologue. This is the summary of a set of notes I took in KU’s Introduction to Mathematical Logic course, that I should have finished months ago but somehow procrastinated until recently. I basically followed Enderton’s A Mathematical Introduction to Logic book (with all its conventions of mathematical notations). A few issues toaddress in advance:
THE SEMANTIC TRUTH
On truth-bearers. A truth-bearer is something of what we can talk about the truth-value: a statement, a sentence, a proposition, etc.We will use the three aforementioned notions indistinguishably, but avoid the use of subjective notions such like assertion, belief, intuition and judgment as truth-bearers. (These words however, can occur with their originally intended meanings.)UNDERRATED GEMS (1)
One may find it intuitive to notice that, whether \(\text{True}(\sigma)\) is true or not, it has nothing to do with the existence of God or whatever other claims of real interest. Indeed, instead of restricting our language as we do here, we could as well devise a restrictive set of inference rules for an alternative logic (e.g., relevance logic) so that explosions can be expelled.↩ BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s THE FUNDAMENTAL JUSTIFICATION I don’t have much to write about this week. My plan was to finish the sections on statistics and machine learning in my wiki before I can move on to more rigorous mathematics and logic, but that turned out to be an impossible task (shortly after the exam week a new, incredibly tenser semester is right under the nose). I wanted to write more about cryptography and information theory as a AN INTUITIVE EXPOSITION OF PROOF BY CONTRADICTION VS (Inspired by A “proof by contradiction” is not a proof that ends with a contradiction by Robert Harper.). There seem to be some common misconceptions about “proof by contradiction”. Recently I came across Robert’s blog post on this issue, and couldn’t help reviewing it in my own way. I prefer a more formal treatment, nevertheless, without sacrificing its intuitive comprehensibility. MY RANDOM THOUGHTS ON YUKARUN My random thoughts on Yukarun Her name is Sasaki Yukari. Once upon a time, she was nobody but an illusion to me. A perfect illusion with the highest attention among all 48-group members, even AcchanSOIMORT.ORG
“Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations.ABOUT ME
About Me. About Me. Mort Yao. 2018-10-22. THIS PAGE INTENTIONALLY LEFTBLANK.
MORT’S SMALL TRACES A lifelong project to do my study notes on Math / Computer Science systematically and spirally. It is still woefully incomplete, but it shouldn’t always be. RECOVERING FROM A CORRUPTED ARCH LINUX UPGRADE (Probably unimportant) Backstory: It’s been a while since the last full-system upgrade of my Arch Linux laptop – It sat well with me for a span of months’ uptime. When I finally got the time to run a pacman -Syu (so well as to dare any potential issues due to Arch’s infamous instability) earlier today, weird things did happen: Something other than pacman was eating up my CPU. UNDERSTANDING COLORS Colors are everywhere. They are an inherent division of human perception, affecting how we see, interpret and interact with the world. Artists, physicists, chemists and biologists have been studying colors over the centuries, for greatly varying interests and profits. BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s THE ANATOMY OF IMPERMANENCE As I was sitting in this becomingly heated room on a late autumn night, wrapping myself in a bath towel and enjoying the best port wine I ever had, with an erotic gravure poster of my favorite idols ahead, I wondered why I would be writing this up – I ought to be learning math and computer programming for the sake of my future career, or brainlessly entertaining myself with movies and FORTY-EIGHT TALESTRANSLATE THIS PAGE 愛+$+砂糖=アイドル. vogue girl「私らしく輝ける居場所を求めて。宮脇咲良が見つめる、挑戦の先にある新しい景色。栗原紗英
栗原紗英 - Twitter - Thu 08 Apr 2021. ソフトバンクホークス×HKT48⚾️ Softbank Hawks×HKT48⚾️ コラボ生写真はこちら https://ec.hkt48.jp鈴木優香
鈴木優香 - Instagram - Mon 22 Feb 2021 “ #猫の日 何か載せたかったけど猫の写真がなかった( i _ i ) #メイド服 #メイド #ツインテール #アイドル #Cat Day I wanted to post something but I don’t have any photos of cats( i _ i ) #メイド服 #メイド #ツインテールSOIMORT.ORG
“Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations.ABOUT ME
About Me. About Me. Mort Yao. 2018-10-22. THIS PAGE INTENTIONALLY LEFTBLANK.
MORT’S SMALL TRACES A lifelong project to do my study notes on Math / Computer Science systematically and spirally. It is still woefully incomplete, but it shouldn’t always be. RECOVERING FROM A CORRUPTED ARCH LINUX UPGRADE (Probably unimportant) Backstory: It’s been a while since the last full-system upgrade of my Arch Linux laptop – It sat well with me for a span of months’ uptime. When I finally got the time to run a pacman -Syu (so well as to dare any potential issues due to Arch’s infamous instability) earlier today, weird things did happen: Something other than pacman was eating up my CPU. UNDERSTANDING COLORS Colors are everywhere. They are an inherent division of human perception, affecting how we see, interpret and interact with the world. Artists, physicists, chemists and biologists have been studying colors over the centuries, for greatly varying interests and profits. BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s THE ANATOMY OF IMPERMANENCE As I was sitting in this becomingly heated room on a late autumn night, wrapping myself in a bath towel and enjoying the best port wine I ever had, with an erotic gravure poster of my favorite idols ahead, I wondered why I would be writing this up – I ought to be learning math and computer programming for the sake of my future career, or brainlessly entertaining myself with movies and FORTY-EIGHT TALESTRANSLATE THIS PAGE 愛+$+砂糖=アイドル. vogue girl「私らしく輝ける居場所を求めて。宮脇咲良が見つめる、挑戦の先にある新しい景色。栗原紗英
栗原紗英 - Twitter - Thu 08 Apr 2021. ソフトバンクホークス×HKT48⚾️ Softbank Hawks×HKT48⚾️ コラボ生写真はこちら https://ec.hkt48.jp鈴木優香
鈴木優香 - Instagram - Mon 22 Feb 2021 “ #猫の日 何か載せたかったけど猫の写真がなかった( i _ i ) #メイド服 #メイド #ツインテール #アイドル #Cat Day I wanted to post something but I don’t have any photos of cats( i _ i ) #メイド服 #メイド #ツインテール THE STATEFUL AUTOMATA What is a formal language? (review of Mst. #1) . An alphabet \(\Sigma\) is a well-defined set of symbols. A string is a sequence of symbols.; A language \(L\) over alphabet \(\Sigma\) is a set of strings, where each string \(w \in \Sigma^*\).; We can define a class of languages (which is a set of languages with some common properties).; Operations on languages (as sets): union, intersection PYTHON-ROMKAN BY SOIMORT python-romkan is a Romaji/Kana conversion library for Python, which is used to convert a Japanese Romaji (ローマ字) string to a Japanese Kana (仮名) string or vice versa. It is the Pythonic port of Ruby/Romkan, originally authored by Satoru Takabayashi and ported by Masato Hagiwara. python-romkan works on Python 2 and Python 3 (fullyTHE REFERENTIAL USE
On quotation. In the following text, we will utilize English quotation marks intensively. Quoted text is used as a literal mention of things whatever they enclose. THE PROBABLE OUTCOME The price should be made equal to the expected value that a gambler wins the stake, which is \. If a rational gambler pays for entering a game if and only if its average payoff is larger than its price, then he would pay any price to enter this game (since theUNDERRATED GEMS (1)
One may find it intuitive to notice that, whether \(\text{True}(\sigma)\) is true or not, it has nothing to do with the existence of God or whatever other claims of real interest. Indeed, instead of restricting our language as we do here, we could as well devise a restrictive set of inference rules for an alternative logic (e.g., relevance logic) so that explosions can be expelled.↩ AN INTUITIVE EXPOSITION OF PROOF BY CONTRADICTION VS (Inspired by A “proof by contradiction” is not a proof that ends with a contradiction by Robert Harper.). There seem to be some common misconceptions about “proof by contradiction”. Recently I came across Robert’s blog post on this issue, and couldn’t help reviewing it in my own way. I prefer a more formal treatment, nevertheless, without sacrificing its intuitive comprehensibility. WHAT I WISH I KNEW WHEN LEARNING BOOLEAN CIRCUITS The quantum counterpart of \(\textsf{XOR}_\textsf{reversible}\) is a controlled NOT gate (also CNOT), which is essential to the construction of quantum computers.Furthermore, as quantum circuits work in a probabilistic way, in contract to deterministic Boolean circuits, we are inspired to rethink of computation with an alternative mindset: From quantum circuits to finite automata, thenquantum
WHEN GNOME SHELL FREEZES (BUT YOU HAVE UNSAVED STUFF THERE) In the past few months, I was running into the mysterious bug that GNOME Shell crashes with a segfault in libgjs.so.0.0.0, leaving me an unresponsive desktop:. kernelPERFECT SECRECY
Definition 1. (Perfect secrecy) An encryption scheme \(\Pi=(\mathsf{Gen},\mathsf{Enc},\mathsf{Dec})\) with message space \(\mathcal{M}\) is said to be perfectlyREDUCIBILITY
Reducibility. In computability theory and computational complexity theory, a reduction is an algorithm for transforming one problem into another problem. Intuitively, a problem A A is reducible to another problem B B if an algorithm for solving problem B B efficiently (if it existed) could also be used as a subroutine to solve problem A ASOIMORT.ORG
“Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations.ABOUT ME
About Me. About Me. Mort Yao. 2018-10-22. THIS PAGE INTENTIONALLY LEFTBLANK.
MORT’S SMALL TRACES A lifelong project to do my study notes on Math / Computer Science systematically and spirally. It is still woefully incomplete, but it shouldn’t always be.TRANS(1) 0.9.6.12
TRANS(1) 0.9.6.12; NAME. trans - Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc. SYNOPSIS. trans : . DESCRIPTION. This tool translates text into any language from the command-line, using a translation engine such as Google Translate, Bing Translator and Yandex.Translate. RECOVERING FROM A CORRUPTED ARCH LINUX UPGRADE (Probably unimportant) Backstory: It’s been a while since the last full-system upgrade of my Arch Linux laptop – It sat well with me for a span of months’ uptime. When I finally got the time to run a pacman -Syu (so well as to dare any potential issues due to Arch’s infamous instability) earlier today, weird things did happen: Something other than pacman was eating up my CPU. UNDERSTANDING COLORS Colors are everywhere. They are an inherent division of human perception, affecting how we see, interpret and interact with the world. Artists, physicists, chemists and biologists have been studying colors over the centuries, for greatly varying interests and profits. BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s THE ANATOMY OF IMPERMANENCE As I was sitting in this becomingly heated room on a late autumn night, wrapping myself in a bath towel and enjoying the best port wine I ever had, with an erotic gravure poster of my favorite idols ahead, I wondered why I would be writing this up – I ought to be learning math and computer programming for the sake of my future career, or brainlessly entertaining myself with movies and栗原紗英
栗原紗英 - Twitter - Thu 08 Apr 2021. ソフトバンクホークス×HKT48⚾️ Softbank Hawks×HKT48⚾️ コラボ生写真はこちら https://ec.hkt48.jp鈴木優香
鈴木優香 - Instagram - Mon 22 Feb 2021 “ #猫の日 何か載せたかったけど猫の写真がなかった( i _ i ) #メイド服 #メイド #ツインテール #アイドル #Cat Day I wanted to post something but I don’t have any photos of cats( i _ i ) #メイド服 #メイド #ツインテールSOIMORT.ORG
“Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations.ABOUT ME
About Me. About Me. Mort Yao. 2018-10-22. THIS PAGE INTENTIONALLY LEFTBLANK.
MORT’S SMALL TRACES A lifelong project to do my study notes on Math / Computer Science systematically and spirally. It is still woefully incomplete, but it shouldn’t always be.TRANS(1) 0.9.6.12
TRANS(1) 0.9.6.12; NAME. trans - Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc. SYNOPSIS. trans : . DESCRIPTION. This tool translates text into any language from the command-line, using a translation engine such as Google Translate, Bing Translator and Yandex.Translate. RECOVERING FROM A CORRUPTED ARCH LINUX UPGRADE (Probably unimportant) Backstory: It’s been a while since the last full-system upgrade of my Arch Linux laptop – It sat well with me for a span of months’ uptime. When I finally got the time to run a pacman -Syu (so well as to dare any potential issues due to Arch’s infamous instability) earlier today, weird things did happen: Something other than pacman was eating up my CPU. UNDERSTANDING COLORS Colors are everywhere. They are an inherent division of human perception, affecting how we see, interpret and interact with the world. Artists, physicists, chemists and biologists have been studying colors over the centuries, for greatly varying interests and profits. BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s THE ANATOMY OF IMPERMANENCE As I was sitting in this becomingly heated room on a late autumn night, wrapping myself in a bath towel and enjoying the best port wine I ever had, with an erotic gravure poster of my favorite idols ahead, I wondered why I would be writing this up – I ought to be learning math and computer programming for the sake of my future career, or brainlessly entertaining myself with movies and栗原紗英
栗原紗英 - Twitter - Thu 08 Apr 2021. ソフトバンクホークス×HKT48⚾️ Softbank Hawks×HKT48⚾️ コラボ生写真はこちら https://ec.hkt48.jp鈴木優香
鈴木優香 - Instagram - Mon 22 Feb 2021 “ #猫の日 何か載せたかったけど猫の写真がなかった( i _ i ) #メイド服 #メイド #ツインテール #アイドル #Cat Day I wanted to post something but I don’t have any photos of cats( i _ i ) #メイド服 #メイド #ツインテール THE STATEFUL AUTOMATA What is a formal language? (review of Mst. #1) . An alphabet \(\Sigma\) is a well-defined set of symbols. A string is a sequence of symbols.; A language \(L\) over alphabet \(\Sigma\) is a set of strings, where each string \(w \in \Sigma^*\).; We can define a class of languages (which is a set of languages with some common properties).; Operations on languages (as sets): union, intersection THE LOGICAL IMPLICATION Prologue. This is the summary of a set of notes I took in KU’s Introduction to Mathematical Logic course, that I should have finished months ago but somehow procrastinated until recently. I basically followed Enderton’s A Mathematical Introduction to Logic book (with all its conventions of mathematical notations). A few issues toaddress in advance:
THE SEMANTIC TRUTH
On truth-bearers. A truth-bearer is something of what we can talk about the truth-value: a statement, a sentence, a proposition, etc.We will use the three aforementioned notions indistinguishably, but avoid the use of subjective notions such like assertion, belief, intuition and judgment as truth-bearers. (These words however, can occur with their originally intended meanings.) BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s AN INTUITIVE EXPOSITION OF PROOF BY CONTRADICTION VS (Inspired by A “proof by contradiction” is not a proof that ends with a contradiction by Robert Harper.). There seem to be some common misconceptions about “proof by contradiction”. Recently I came across Robert’s blog post on this issue, and couldn’t help reviewing it in my own way. I prefer a more formal treatment, nevertheless, without sacrificing its intuitive comprehensibility. KONO MUNE NO BARCODE Kono Mune no Barcode. Tue 1 Jun, 2021. #和田海佑. #Miyu Wada. #Wada Miyu. #NMB48. 和田海佑 ( NMB48 ) - Twitter - Mon 31 May 2021. GIRLS-PEDIA 2021 SPRING. WHEN GNOME SHELL FREEZES (BUT YOU HAVE UNSAVED STUFF THERE) In the past few months, I was running into the mysterious bug that GNOME Shell crashes with a segfault in libgjs.so.0.0.0, leaving me an unresponsive desktop:. kernel WHAT I WISH I KNEW WHEN LEARNING BOOLEAN CIRCUITS The quantum counterpart of \(\textsf{XOR}_\textsf{reversible}\) is a controlled NOT gate (also CNOT), which is essential to the construction of quantum computers.Furthermore, as quantum circuits work in a probabilistic way, in contract to deterministic Boolean circuits, we are inspired to rethink of computation with an alternative mindset: From quantum circuits to finite automata, thenquantum
PERFECT SECRECY
Definition 1. (Perfect secrecy) An encryption scheme \(\Pi=(\mathsf{Gen},\mathsf{Enc},\mathsf{Dec})\) with message space \(\mathcal{M}\) is said to be perfectly栗原紗英
栗原紗英 - Twitter - Thu 08 Apr 2021. ソフトバンクホークス×HKT48⚾️ Softbank Hawks×HKT48⚾️ コラボ生写真はこちら https://ec.hkt48.jpSOIMORT.ORG
“Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations.ABOUT ME
About Me. About Me. Mort Yao. 2018-10-22. THIS PAGE INTENTIONALLY LEFTBLANK.
TRANS(1) 0.9.6.12
TRANS(1) 0.9.6.12; NAME. trans - Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc. SYNOPSIS. trans : . DESCRIPTION. This tool translates text into any language from the command-line, using a translation engine such as Google Translate, Bing Translator and Yandex.Translate. MORT’S SMALL TRACES A lifelong project to do my study notes on Math / Computer Science systematically and spirally. It is still woefully incomplete, but it shouldn’t always be. RECOVERING FROM A CORRUPTED ARCH LINUX UPGRADE (Probably unimportant) Backstory: It’s been a while since the last full-system upgrade of my Arch Linux laptop – It sat well with me for a span of months’ uptime. When I finally got the time to run a pacman -Syu (so well as to dare any potential issues due to Arch’s infamous instability) earlier today, weird things did happen: Something other than pacman was eating up my CPU. BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s KONO MUNE NO BARCODE Kono Mune no Barcode. Tue 1 Jun, 2021. #和田海佑. #Miyu Wada. #Wada Miyu. #NMB48. 和田海佑 ( NMB48 ) - Twitter - Mon 31 May 2021. GIRLS-PEDIA 2021 SPRING. THE ANATOMY OF IMPERMANENCE As I was sitting in this becomingly heated room on a late autumn night, wrapping myself in a bath towel and enjoying the best port wine I ever had, with an erotic gravure poster of my favorite idols ahead, I wondered why I would be writing this up – I ought to be learning math and computer programming for the sake of my future career, or brainlessly entertaining myself with movies and FORTY-EIGHT TALESTRANSLATE THIS PAGE 愛+$+砂糖=アイドル. vogue girl「私らしく輝ける居場所を求めて。宮脇咲良が見つめる、挑戦の先にある新しい景色。鈴木優香
鈴木優香 - Instagram - Mon 22 Feb 2021 “ #猫の日 何か載せたかったけど猫の写真がなかった( i _ i ) #メイド服 #メイド #ツインテール #アイドル #Cat Day I wanted to post something but I don’t have any photos of cats( i _ i ) #メイド服 #メイド #ツインテールSOIMORT.ORG
“Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations.ABOUT ME
About Me. About Me. Mort Yao. 2018-10-22. THIS PAGE INTENTIONALLY LEFTBLANK.
TRANS(1) 0.9.6.12
TRANS(1) 0.9.6.12; NAME. trans - Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc. SYNOPSIS. trans : . DESCRIPTION. This tool translates text into any language from the command-line, using a translation engine such as Google Translate, Bing Translator and Yandex.Translate. MORT’S SMALL TRACES A lifelong project to do my study notes on Math / Computer Science systematically and spirally. It is still woefully incomplete, but it shouldn’t always be. RECOVERING FROM A CORRUPTED ARCH LINUX UPGRADE (Probably unimportant) Backstory: It’s been a while since the last full-system upgrade of my Arch Linux laptop – It sat well with me for a span of months’ uptime. When I finally got the time to run a pacman -Syu (so well as to dare any potential issues due to Arch’s infamous instability) earlier today, weird things did happen: Something other than pacman was eating up my CPU. BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s KONO MUNE NO BARCODE Kono Mune no Barcode. Tue 1 Jun, 2021. #和田海佑. #Miyu Wada. #Wada Miyu. #NMB48. 和田海佑 ( NMB48 ) - Twitter - Mon 31 May 2021. GIRLS-PEDIA 2021 SPRING. THE ANATOMY OF IMPERMANENCE As I was sitting in this becomingly heated room on a late autumn night, wrapping myself in a bath towel and enjoying the best port wine I ever had, with an erotic gravure poster of my favorite idols ahead, I wondered why I would be writing this up – I ought to be learning math and computer programming for the sake of my future career, or brainlessly entertaining myself with movies and FORTY-EIGHT TALESTRANSLATE THIS PAGE 愛+$+砂糖=アイドル. vogue girl「私らしく輝ける居場所を求めて。宮脇咲良が見つめる、挑戦の先にある新しい景色。鈴木優香
鈴木優香 - Instagram - Mon 22 Feb 2021 “ #猫の日 何か載せたかったけど猫の写真がなかった( i _ i ) #メイド服 #メイド #ツインテール #アイドル #Cat Day I wanted to post something but I don’t have any photos of cats( i _ i ) #メイド服 #メイド #ツインテールABOUT ME
About Me. About Me. Mort Yao. 2018-10-22. THIS PAGE INTENTIONALLY LEFTBLANK.
THE STATEFUL AUTOMATA What is a formal language? (review of Mst. #1) . An alphabet \(\Sigma\) is a well-defined set of symbols. A string is a sequence of symbols.; A language \(L\) over alphabet \(\Sigma\) is a set of strings, where each string \(w \in \Sigma^*\).; We can define a class of languages (which is a set of languages with some common properties).; Operations on languages (as sets): union, intersection THE LOGICAL IMPLICATION Prologue. This is the summary of a set of notes I took in KU’s Introduction to Mathematical Logic course, that I should have finished months ago but somehow procrastinated until recently. I basically followed Enderton’s A Mathematical Introduction to Logic book (with all its conventions of mathematical notations). A few issues toaddress in advance:
BASIC INFORMATION THEORY Definition 1. (Information entropy; Shannon entropy) Let \(p(x)\) be the probability distribution of a discrete random variable \(X\) taking values from \(\mathcal{X}\).The entropy of random variable \(X\) is defined as \ where \(0 \log 0\) is taken to be \(0\).. When the logarithms in the formula are taken to the base 2, theTHE SEMANTIC TRUTH
On truth-bearers. A truth-bearer is something of what we can talk about the truth-value: a statement, a sentence, a proposition, etc.We will use the three aforementioned notions indistinguishably, but avoid the use of subjective notions such like assertion, belief, intuition and judgment as truth-bearers. (These words however, can occur with their originally intended meanings.) BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s AN INTUITIVE EXPOSITION OF PROOF BY CONTRADICTION VS (Inspired by A “proof by contradiction” is not a proof that ends with a contradiction by Robert Harper.). There seem to be some common misconceptions about “proof by contradiction”. Recently I came across Robert’s blog post on this issue, and couldn’t help reviewing it in my own way. I prefer a more formal treatment, nevertheless, without sacrificing its intuitive comprehensibility. WHAT I WISH I KNEW WHEN LEARNING BOOLEAN CIRCUITS The quantum counterpart of \(\textsf{XOR}_\textsf{reversible}\) is a controlled NOT gate (also CNOT), which is essential to the construction of quantum computers.Furthermore, as quantum circuits work in a probabilistic way, in contract to deterministic Boolean circuits, we are inspired to rethink of computation with an alternative mindset: From quantum circuits to finite automata, thenquantum
PERFECT SECRECY
Definition 1. (Perfect secrecy) An encryption scheme \(\Pi=(\mathsf{Gen},\mathsf{Enc},\mathsf{Dec})\) with message space \(\mathcal{M}\) is said to be perfectly栗原紗英
栗原紗英 - Twitter - Thu 08 Apr 2021. ソフトバンクホークス×HKT48⚾️ Softbank Hawks×HKT48⚾️ コラボ生写真はこちら https://ec.hkt48.jpSOIMORT.ORG
“Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations. THE STATEFUL AUTOMATA What is a formal language? (review of Mst. #1) . An alphabet \(\Sigma\) is a well-defined set of symbols. A string is a sequence of symbols.; A language \(L\) over alphabet \(\Sigma\) is a set of strings, where each string \(w \in \Sigma^*\).; We can define a class of languages (which is a set of languages with some common properties).; Operations on languages (as sets): union, intersectionABOUT ME
About Me Mort Yao 2018-10-22. THIS PAGE INTENTIONALLY LEFT BLANK. THE PROBABLE OUTCOME The price should be made equal to the expected value that a gambler wins the stake, which is \. If a rational gambler pays for entering a game if and only if its average payoff is larger than its price, then he would pay any price to enter this game (since theTRANSLATE SHELL
MORT’S SMALL TRACES A lifelong project to do my study notes on Math / Computer Science systematically and spirally. It is still woefully incomplete, but it shouldn’t always be.TRANS(1) 0.9.6.12
TRANS(1) 0.9.6.12; NAME. trans - Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc. SYNOPSIS. trans : . DESCRIPTION. This tool translates text into any language from the command-line, using a translation engine such as Google Translate, Bing Translator and Yandex.Translate. RECOVERING FROM A CORRUPTED ARCH LINUX UPGRADE (Probably unimportant) Backstory: It’s been a while since the last full-system upgrade of my Arch Linux laptop – It sat well with me for a span of months’ uptime. When I finally got the time to run a pacman -Syu (so well as to dare any potential issues due to Arch’s infamous instability) earlier today, weird things did happen: Something other than pacman was eating up my CPU. BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s UNDERSTANDING COLORS Colors are everywhere. They are an inherent division of human perception, affecting how we see, interpret and interact with the world. Artists, physicists, chemists and biologists have been studying colors over the centuries, for greatly varying interests and profits.SOIMORT.ORG
“Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations. THE STATEFUL AUTOMATA What is a formal language? (review of Mst. #1) . An alphabet \(\Sigma\) is a well-defined set of symbols. A string is a sequence of symbols.; A language \(L\) over alphabet \(\Sigma\) is a set of strings, where each string \(w \in \Sigma^*\).; We can define a class of languages (which is a set of languages with some common properties).; Operations on languages (as sets): union, intersectionABOUT ME
About Me. About Me. Mort Yao. 2018-10-22. THIS PAGE INTENTIONALLY LEFTBLANK.
MORT’S SMALL TRACES A lifelong project to do my study notes on Math / Computer Science systematically and spirally. It is still woefully incomplete, but it shouldn’t always be. THE PROBABLE OUTCOME The price should be made equal to the expected value that a gambler wins the stake, which is \. If a rational gambler pays for entering a game if and only if its average payoff is larger than its price, then he would pay any price to enter this game (since theTRANSLATE SHELL
TRANS(1) 0.9.6.12
TRANS(1) 0.9.6.12; NAME. trans - Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc. SYNOPSIS. trans : . DESCRIPTION. This tool translates text into any language from the command-line, using a translation engine such as Google Translate, Bing Translator and Yandex.Translate. RECOVERING FROM A CORRUPTED ARCH LINUX UPGRADE (Probably unimportant) Backstory: It’s been a while since the last full-system upgrade of my Arch Linux laptop – It sat well with me for a span of months’ uptime. When I finally got the time to run a pacman -Syu (so well as to dare any potential issues due to Arch’s infamous instability) earlier today, weird things did happen: Something other than pacman was eating up my CPU. BOILERPLATING PANDOC FOR ACADEMIC WRITING Unfortunately, this won’t work (until Issue #2139 is resolved) since Pandoc parses the header-includes metadata field as Markdown, and the bracketed is misinterpreted as literals rather than a part of LaTeX control sequence. So the workaround is: Instead of embedding header-includes as a metadata field in YAML, we should separate it into another file for this dedicated purpose (it’s UNDERSTANDING COLORS Colors are everywhere. They are an inherent division of human perception, affecting how we see, interpret and interact with the world. Artists, physicists, chemists and biologists have been studying colors over the centuries, for greatly varying interests and profits. THE STATEFUL AUTOMATA What is a formal language? (review of Mst. #1) . An alphabet \(\Sigma\) is a well-defined set of symbols. A string is a sequence of symbols.; A language \(L\) over alphabet \(\Sigma\) is a set of strings, where each string \(w \in \Sigma^*\).; We can define a class of languages (which is a set of languages with some common properties).; Operations on languages (as sets): union, intersectionTHE SEMANTIC TRUTH
On truth-bearers. A truth-bearer is something of what we can talk about the truth-value: a statement, a sentence, a proposition, etc.We will use the three aforementioned notions indistinguishably, but avoid the use of subjective notions such like assertion, belief, intuition and judgment as truth-bearers. (These words however, can occur with their originally intended meanings.) THE ADVERSARIAL COMPUTATION Theory of computation (computability and complexity) forms the basis for modern cryptography:. What is an algorithm?. An algorithm is a computational method for solving an abstract problem.; An algorithm takes as input a set \(I\) of problem instances, and outputs a solution from the set \(S\) of problem solutions.; An algorithm is represented in a well-defined formal language.THE REFERENTIAL USE
On quotation. In the following text, we will utilize English quotation marks intensively. Quoted text is used as a literal mention of things whatever they enclose. PYTHON-ROMKAN BY SOIMORT python-romkan is a Romaji/Kana conversion library for Python, which is used to convert a Japanese Romaji (ローマ字) string to a Japanese Kana (仮名) string or vice versa. It is the Pythonic port of Ruby/Romkan, originally authored by Satoru Takabayashi and ported by Masato Hagiwara. python-romkan works on Python 2 and Python 3 (fully A PANDOC FILTER FOR TYPESETTING OPERATIONAL SEMANTICS For simplicity, we require that all such transformations are regular, i.e., “lazybones’ syntax” may be translated into plain TeX code using merely substitutions of regular expressions.. As a basic example, let’s consider angle brackets, for which we desire to type in simply “” instead of “\langle” and “\rangle”.To avoid any ambiguity (with normal less-than or AN INTUITIVE EXPOSITION OF PROOF BY CONTRADICTION VS (Inspired by A “proof by contradiction” is not a proof that ends with a contradiction by Robert Harper.). There seem to be some common misconceptions about “proof by contradiction”. Recently I came across Robert’s blog post on this issue, and couldn’t help reviewing it in my own way. I prefer a more formal treatment, nevertheless, without sacrificing its intuitive comprehensibility.FORTY-EIGHT TALES
「Forty-Eight Times 2021年5月号」 奈良未遥 (Source:twitter.com)
KONO MUNE NO BARCODE Kono Mune no Barcode. Tue 1 Jun, 2021. #和田海佑. #Miyu Wada. #Wada Miyu. #NMB48. 和田海佑 ( NMB48 ) - Twitter - Mon 31 May 2021. GIRLS-PEDIA 2021 SPRING. WHEN GNOME SHELL FREEZES (BUT YOU HAVE UNSAVED STUFF THERE) In the past few months, I was running into the mysterious bug that GNOME Shell crashes with a segfault in libgjs.so.0.0.0, leaving me an unresponsive desktop:. kernel TO TYPE A MOCKINGBIRD**
> _“Coleridge observes that all men are born Aristotelians or > Platonists. The latter feel that classes, orders, and genres are > realities; the former, that they are generalizations. _For the > latter, language is nothing but an approximative set of symbols; for > the former, it is the map of the universe.” – Jorge Luis Borges STUDY TRACES / NOTES__ My Wiki
* The Semantic Truth _#philosophy #logic_ * The Referential Use _#philosophy #logic_ * The Logical Implication _#logic_ * The Stateful Automata _#formal languages #automata#computability_
* The Fundamental Justification _#philosophy_ * The Measurable Entropy _#information theory #statistics_ * The Adversarial Computation _#cryptography_ * The Probable Outcome _#probability theory_ * The Decisional Hardness _#algorithms #complexity_MIND DUMPS / NOTES
* Underrated Gems (1) – Tarski’s Undefinability Theorem_#logic_
* An Intuitive Exposition of “Proof by Contradiction vs. Proof of Negation” _#logic_ * Bloom Filters in Adversarial Environments (Reading Report)_#cryptography_
------------------------- __ Subscribe | __ About me MORT __ soi@mort.ninja | __ 07DA00CB78203251 @SOIMORT on __ GitHub | __ Twitter__ __
__
__ __
:█
JK
Details
Copyright © 2024 ArchiveBay.com. All rights reserved. Terms of Use | Privacy Policy | DMCA | 2021 | Feedback | Advertising | RSS 2.0