Turing Complete FMミートアップ ツイートまとめ 2018/06/25開催 #tcfm

ぬるぽへ @nullpo_head

「Noahのしょぼいやつ」恐れ多いですよ！ #tcfm

ぎゃばん -1.0 @ledsun

#tcfm meetupだいぶ遅れる。はまじさんの発表見たかった。

κeen @blackenedgold

.oなら.soと違って配置がいじれる #tcfm

ぬるぽへ @nullpo_head

はまじさんのOS, LinuxかChrome OSか何かかな #tcfm

methane @methane

#tcfm 着いた。。。

ぬるぽへ @nullpo_head

「カジュアルに実行バイナリやオブジェクトファイルをリンク＆ロードする話をしました」 #tcfm

sksat @sksat_tty

カジュアルにリンク＆ロード #tcfm

hikalium @hikalium

Ruiさんがしゃべるとリアル #tcfm 感がでてくる。

κeen @blackenedgold

nsasaki128さん #tcfm

sksat @sksat_tty

無理数時計の数理 #tcfm

ぬるぽへ @nullpo_head

nsasaki128さん 「前にしゃべってたのがはまじさんで、隣に座ってたのがmatzさんだったからどうしようって」 #tcfm

κeen @blackenedgold

「数学の問題定義するのも面白いよ」 #tcfm

ぬるぽへ @nullpo_head

「数字と言ったら無理数だろう」#tcfm

sksat @sksat_tty

時間→数字→無理数 #tcfm

κeen @blackenedgold

「数字だから無理数だろ」 #tcfm

sksat @sksat_tty

「無理数で時間を作れるんじゃないか」 #tcfm

κeen @blackenedgold

「無理数で時間を表せるのでは」 #tcfm

coord_e @coord_e

かっこい… hyurumi.github.io/MuriSuDokei/ #tcfm

sksat @sksat_tty

4GBのπのファイルをC++でfindしたら遅かった #tcfm

ぬるぽへ @nullpo_head

無理数で時計をつくるw hyurumi.github.io/MuriSuDokei/ #tcfm

sksat @sksat_tty

hyurumi.github.io/MuriSuDokei/ 見ていて面白い #tcfm

κeen @blackenedgold

000000 ~ 235959の全ての時刻が揃うのはどのくらいの長さか？ #tcfm

hikalium @hikalium

無理数時計、動きがかっこよい上に理論的考察がきちんとされていてめっちゃよい。 #tcfm

retrage @retrage

多分次ぐらいの発表です． #tcfm [WIP] Porting LKL to BitVisor speakerdeck.com/retrage/wip-po…

south37/Nao Minami @south37777

無理数時計の話 #tcfm