Skip to content

Instantly share code, notes, and snippets.

View Glavo's full-sized avatar
😇

Glavo Glavo

😇
View GitHub Profile
package tech.glacial.function;
import tech.glacial.ToolClass;
/**
* Created by glavo on 16-12-25.
* Some helper function for Function.
*
* @author Glavo
https://www.luogu.org/problem/show?pid=1000
https://www.luogu.org/problem/show?pid=1001
https://www.luogu.org/problem/show?pid=1002
https://www.luogu.org/problem/show?pid=1003
https://www.luogu.org/problem/show?pid=1004
https://www.luogu.org/problem/show?pid=1005
https://www.luogu.org/problem/show?pid=1006
https://www.luogu.org/problem/show?pid=1007
https://www.luogu.org/problem/show?pid=1008
https://www.luogu.org/problem/show?pid=1009
package org.glavo.oj.ojs
import org.glavo.oj.OJ
import org.glavo.oj.Problem
import org.jsoup.*
import org.jsoup.nodes.Document
import org.jsoup.nodes.Element
import org.jsoup.select.Elements
import java.io.ObjectInputStream
trait Ref[A] {
def get: A
def set(a: A)
}
type *[A, B] = (A, B)
trait Lazy {
type T[A]
def mk[A](f: () => A): T[A]
<ID : [ "\u0041" - "\u005a",
"\u0061" - "\u007a",
"\u00aa" - "\u00aa",
"\u00b5" - "\u00b5",
"\u00ba" - "\u00ba",
"\u00c0" - "\u00d6",
"\u00d8" - "\u00f6",
"\u00f8" - "\u02c1",
"\u02c6" - "\u02d1",
"\u02e0" - "\u02e4",
class C {
def fun23(f: (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int) => Int) = {}
}
object C {
def main(args: Array[String]): Unit = {
classOf[C].getMethod("fun23", classOf[FunctionXXL]).getGenericParameterTypes
}
}
openjdk-jdk9-jdk9/
├── common
│ ├── autoconf
│ │ └── build-aux
│ ├── bin
│ ├── conf
│ ├── doc
│ ├── nb_native
│ │ └── nbproject
│ └── src
@Glavo
Glavo / Scala
Created October 22, 2018 09:47
Type Error
scala> type T = (Int, Char, String)
// defined alias type T = (Int, Char, String)
scala> val get: (t: T, i: Int) => Tuple.Elem[T, i.type] = (t, i) => t(i)
1 |val get: (t: T, i: Int) => Tuple.Elem[T, i.type] = (t, i) => t(i)
| ^^^^
|found: Int(i) match {
| case Int(0) => Int
| case [n1 <: Int] => typelevel.S[n1] => scala.Tuple.Elem[(Char, String), n1]
|}
@Glavo
Glavo / hmcl-exported-logs-2020-07-09T17-16-06.log
Last active July 9, 2020 09:18
hmcl-exported-logs-2020-07-09T17-16-06.log
[17:15:40] [org.jackhuang.hmcl.Launcher.main/INFO] *** HMCL 3.3.172 ***
[17:15:40] [org.jackhuang.hmcl.Launcher.main/INFO] Operating System: Windows 10 10.0
[17:15:40] [org.jackhuang.hmcl.Launcher.main/INFO] Java Version: 1.8.0_252, BellSoft
[17:15:40] [org.jackhuang.hmcl.Launcher.main/INFO] Java VM Version: OpenJDK 64-Bit Server VM (mixed mode), BellSoft
[17:15:40] [org.jackhuang.hmcl.Launcher.main/INFO] Java Home: D:\Downloads\HMCL\jre-x64
[17:15:40] [org.jackhuang.hmcl.Launcher.main/INFO] Current Directory: D:\Downloads\HMCL
[17:15:40] [org.jackhuang.hmcl.Launcher.main/INFO] HMCL Directory: C:\Users\Glavo\AppData\Roaming\.hmcl
[17:15:40] [org.jackhuang.hmcl.Launcher.main/INFO] Memory: 14553MB
[17:15:40] [org.jackhuang.hmcl.Launcher.lambda$main$2/INFO] Metaspace: 8MB
[17:15:40] [org.jackhuang.hmcl.Main.fixLetsEncrypt/INFO] Added Lets Encrypt root certificates as additional trust
@Glavo
Glavo / Clang.asm
Created March 18, 2021 20:44
DfsTest
; ModuleID = 'test2.cpp'
source_filename = "test2.cpp"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"
@_ZL3cnt = internal unnamed_addr global i32 0, align 4
@.str = private unnamed_addr constant [16 x i8] c"%d\0ATime: %ldms\0A\00", align 1
; Function Attrs: nofree nounwind uwtable
define dso_local void @_Z3Dfsiiii(i32 %0, i32 %1, i32 %2, i32 %3) local_unnamed_addr #0 {