This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<scheme name="Darcula" version="142" parent_scheme="Darcula"> | |
<metaInfo> | |
<property name="created">2023-08-17T19:28:17</property> | |
<property name="ide">AndroidStudio</property> | |
<property name="ideVersion">2022.3.1.18</property> | |
<property name="modified">2023-08-17T19:28:31</property> | |
<property name="originalScheme">_@user_Darcula</property> | |
</metaInfo> | |
<attributes> | |
<option name="DART_CONSTRUCTOR"> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<scheme name="Dark" version="142" parent_scheme="Darcula"> | |
<metaInfo> | |
<property name="created">2024-01-25T19:45:16</property> | |
<property name="ide">PyCharmCore</property> | |
<property name="ideVersion">2023.3.2.0.0</property> | |
<property name="modified">2024-01-25T19:45:21</property> | |
</metaInfo> | |
<colors> | |
<option name="ADDED_LINES_COLOR" value="549159" /> | |
<option name="ANNOTATIONS_COLOR" value="8d9199" /> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<scheme name="Aesa_IntelliJ_ColorScheme" version="142" parent_scheme="Darcula"> | |
<option name="FONT_SCALE" value="1.0" /> | |
<metaInfo> | |
<property name="created">2023-06-12T15:23:03</property> | |
<property name="ide">Idea</property> | |
<property name="ideVersion">2022.3.2.0.0</property> | |
<property name="modified">2023-06-12T15:23:33</property> | |
<property name="originalScheme">Darcula copy4</property> | |
</metaInfo> | |
<option name="CONSOLE_FONT_NAME" value="Hasklig" /> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
sealed trait TransferOp | |
case object `l->m` extends TransferOp | |
case object `l->r` extends TransferOp | |
case object `m->l` extends TransferOp | |
case object `m->r` extends TransferOp | |
case object `r->l` extends TransferOp | |
case object `r->m` extends TransferOp | |
final case class Canister(max: Int, level: Int) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
def urlses(cl: ClassLoader): Array[java.net.URL] = cl match { | |
case null => Array() | |
case u: java.net.URLClassLoader => u.getURLs() ++ urlses(cl.getParent) | |
case _ => urlses(cl.getParent) | |
} | |
val urls = urlses(getClass.getClassLoader) | |
println(urls.filterNot(_.toString.contains("ivy")).mkString("\n")) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
https://tikzcd.yichuanshen.de/#eyJub2RlcyI6W3sicG9zaXRpb24iOlswLDBdLCJ2YWx1ZSI6IkIifSx7InBvc2l0aW9uIjpbMSwwXSwidmFsdWUiOiJSIn0seyJwb3NpdGlvbiI6WzIsMF0sInZhbHVlIjoiQSJ9LHsicG9zaXRpb24iOlswLDFdLCJ2YWx1ZSI6IkZCIn0seyJwb3NpdGlvbiI6WzEsMV0sInZhbHVlIjoiRlIifSx7InBvc2l0aW9uIjpbMiwxXSwidmFsdWUiOiJGQSJ9XSwiZWRnZXMiOlt7ImZyb20iOjQsInRvIjoxLCJiZW5kIjozMCwibGluZSI6InNvbGlkIiwibGFiZWxQb3NpdGlvbiI6ImxlZnQiLCJ2YWx1ZSI6ImluIn0seyJmcm9tIjoxLCJ0byI6NCwiYmVuZCI6MzAsImxhYmVsUG9zaXRpb24iOiJsZWZ0IiwidmFsdWUiOiJvdXQifSx7ImZyb20iOjEsInRvIjowLCJ2YWx1ZSI6ImNhdGEiLCJsYWJlbFBvc2l0aW9uIjoicmlnaHQiLCJiZW5kIjotMzB9LHsiZnJvbSI6MiwidG8iOjEsImJlbmQiOi0zMCwidmFsdWUiOiJhbmEiLCJsYWJlbFBvc2l0aW9uIjoicmlnaHQifSx7ImZyb20iOjIsInRvIjowLCJiZW5kIjotNDksImxhYmVsUG9zaXRpb24iOiJyaWdodCIsInZhbHVlIjoiaHlsbyJ9LHsiZnJvbSI6MywidG8iOjAsImJlbmQiOjMwLCJsYWJlbFBvc2l0aW9uIjoibGVmdCIsInZhbHVlIjoiYWxnIn0seyJmcm9tIjo0LCJ0byI6MywiYmVuZCI6MzAsInZhbHVlIjoibWFwILcgY2F0YSIsImxhYmVsUG9zaXRpb24iOiJyaWdodCJ9LHsiZnJvbSI6NSwidG8iOjQsInZhbHVlIjoibWFwILcgYW5hIiwiYmVuZCI6MzAsImxhY |