Show more

ZとかNとかを整数・自然数の集合と定義すべきか否かみたいなツイートを見た

INRIAくん機械学習も強いしなんでもありやな

カップルの横でHHKBカチャカチャ言わせるためにマクドに来たけどカップルおらんかった

Javaの今すぐダウンロー
ド、治ってしもたんやなぁ

F*くんへ

カッコが足りないparse errorのときに内部のassertで死ぬのをやめろ

鮟鱇より

まじでF*とZ3のバージョンまで合わせないと再現性がないコードを書いていそう

assertを適当に放り込んでZ3を誘導するの、絶対バッドノウハウだと思うんだけど、通っちゃうので仕方がない

ここで五十嵐研に映ることで進捗が生えるHack

艮 鮟鱇 boosted
艮 鮟鱇 boosted

あーしたーはたーのしーいみーてぃーんぐー
しんちょくわー ぜろ!

F*のhints生成を後ろでずっと回しつつEmacsで開発してるけど、あんまり検証が早くなってない気がする。これさては一番最初に掴んだhintsを離さへんのかな

Show more
わくわく鮟鱇ランド

わくわく鮟鱇ランドは、住民が皆わくわくしているマストドンです。登録は艮鮟鱇の身内に制限されています。