Skip to content

Instantly share code, notes, and snippets.

lyrical logical lyricallogical

Block or report user

Report or block lyricallogical

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@lyricallogical
lyricallogical / sbt.txt
Created Sep 21, 2016
The sbt is a most common dish in japanese.
View sbt.txt
イベント開催サイトみたいなの使うまでもないのでこれを fork する感じで感じで。
sbt について語りながら sbt を食べる会です。四人くらい集まったら fork で予定日出し合いましょう。
moc aka @lyrical_logical
View anonymous.java
new Runnable() {
@Override
public void run() {
// some processes...
}
};
@lyricallogical
lyricallogical / patmat_bug_extractor_with_skolem.scala
Created Feb 6, 2016
extractor pattern で skolem 型変数の扱いが意味わからんという話。
View patmat_bug_extractor_with_skolem.scala
import scala.language.higherKinds
sealed trait Base[F[_]] { // all compilation is succeeded if F' kind is *
def a: String
}
case class Ctor[F[_]](a: String) extends Base[F]
abstract class Etor[F[_]] extends Base[F] {
def f(q: Base[F]): String = q match {
case Ctor(fa) => fa // NP
case Etor(fa) => fa // error! why???
View recur.hs
walk :: Var -> Subst -> Var
walk var subst = go var subst
where go :: Var -> List Var -> Maybe Var -> Var
go (Unbound k) stack acc =
case (subst k, acc) of
(Nothing, Nothing) -> Unbound k
(Nothing, Just u) -> Cons u v
(Just v, _) -> go v stack acc
go (Cons h t) stack acc = go h (t :: stack) acc
go v [] Nothing = v
@lyricallogical
lyricallogical / exhaustive.diff
Created Jan 9, 2016
scalac -Ypatmat-debug exhaustive0.scala と scalac -Ypatmat-debug exhaustive1.scala の diff
View exhaustive.diff
138c138
< enum class E sealed, subclasses: List(class Cons, trait L, object SNil)
---
> enum class E sealed, subclasses: List(class Cons, object SNil)
140d139
< checkableType(E.L): E.L
142,143c141
View queue.scala
import scala.annotation.tailrec
import scala.language.higherKinds
sealed trait Freer[F[_], A] {
def map[B](f: A => B): Freer[F, B] = flatMap(a => Pure(f(a)))
def flatMap[B](f: A => Freer[F, B]): Freer[F, B] =
this match {
case Pure(a) => f(a)
case Impure(fa, g) => Impure(fa, g :+ f)
}
View freer.scala
import scala.language.higherKinds
import scala.language.existentials
sealed trait Freer[F[_], A] {
def map[B](f: A => B): Freer[F, B] = flatMap(a => Pure(f(a)))
def flatMap[B](f: A => Freer[F, B]): Freer[F, B] =
this match {
case Pure(a) => f(a)
case Impure(fa, g) => Impure(fa, g :+ f)
}
@lyricallogical
lyricallogical / mannmennwomisiteike.txt
Created Sep 15, 2015
マンメンをミしていけ
View mannmennwomisiteike.txt
S になったので、適当に取りとめもなく書く。対象は B くらいの人向けかな。
最後の A+99 までは、S+ S A+ の人と VC ありでタッグマッチしてたら何かあがったという感じなので、養殖じゃんという感じだけれど、まあ soloQ でも今週中には S いってたと思われるので良いだろう…
ホコ絶対に止めるマンとかちゃんとやってたし…あとモズクホコの中央北からの味方の BD に、いわれるでもなく一番に即対応できてたし…いやまあはい養殖ですね。
使っていたブキは、ほぼシューコラ。はじめは普通にスプラシューターだったんだけれど、スペシャルがあんまり弱いのでコラボに変えた。変えたら強かったので使い続けた。
プレイ時間は Wii U の記録によると 200 時間とあるが、結構放置しまくってる(今も放置してる…)ので、150 くらいだと思う。プレイ初めて二十日間ちょっとくらい。無職の力です。
手が悪く 500g もあるゲームパッドを動かすのは大変に辛いので、ジャイロ off 感度 +5 でやっている。チャージャーはあともう数百時間くらいしないと、使えるようにならないだろうなあ…
というかジャイロオフでもしんどいので任天堂は悔い改めて。
FPS 界隈はキルレートが高いほど良い、というような雰囲気があるし、実際そうだと思うのだけれど、このゲームはそこまででもない。勿論キルレートが高いに越したことはない。
View inner.js
var DMM = DMM || {};
var gadgetInfo = {
VIEWER_ID : 11618627,
OWNER_ID : 11618627,
APP_ID : 854854,
URL : "http://osapi.dmm.com/gadgets/ifr?synd=dmm&container=dmm&owner=11618627&viewer=11618627&aid=854854&mid=9342714&country=jp&lang=ja&view=canvas&parent=http%3A%2F%2Fwww.dmm.com%2Fnetgame%2Fsocial%2F&url=http%3A%2F%2F203.104.105.167%2Fgadget.xml&st=5M87Wk1suZNxtt5Ls7WREVUvRTNykqHajI05FuqIFE%2FVep0GgVvb3A980y3FO9FNljWPnnzxN%2F0gFuv16FD1Sj%2FYBuq54G0w6FciJ5v9hIVem6BSL0iKCifwcAyBWnRQr86TFsq90zgZnJWe74rWsaAd%2FGvu0giHnK0bO2EQ42LizLnOf7yRGyX%2FWPLd45%2FNZCB3LQ%2FKt9hq%2BpV2K4V3j9%2FpYQY%3D#rpctoken=2094051057",
FRAME_ID : "game_frame",
ST : "5M87Wk1suZNxtt5Ls7WREVUvRTNykqHajI05FuqIFE/Vep0GgVvb3A980y3FO9FNljWPnnzxN/0gFuv16FD1Sj/YBuq54G0w6FciJ5v9hIVem6BSL0iKCifwcAyBWnRQr86TFsq90zgZnJWe74rWsaAd/Gvu0giHnK0bO2EQ42LizLnOf7yRGyX/WPLd45/NZCB3LQ/Kt9hq+pV2K4V3j9/pYQY=",
TIME : 1391068481};
@lyricallogical
lyricallogical / twitter-autocompletion-disabler.user.js
Created Jan 24, 2014
userscript to disable autocompletion on twitter
View twitter-autocompletion-disabler.user.js
// ==UserScript==
// @name twitter-autocompletion-disabler
// @namespace lyrical.logical
// @description disable autocompletion on twitter
// @match https://twitter.com/
// ==/UserScript==
(function() {
var form = document.getElementsByClassName("tweet-form")[0];
var menu = form.getElementsByClassName("dropdown-menu typeahead")[0];
You can’t perform that action at this time.