SWEET SHAKE!!、fhána感あるよな(?)

わざわざパース定規まで持ち出して何を描いてるんだろうぼくは

:neso_dayo: すき

YURUSHITE

まあ原版買えという話ではある

ただ翻訳がハズレということがまれにあるのでそれは気をつけたほうがいい

(教わるという語を広義的にとらえた場合)

教わらないプログラミング言語は自分で設計したものだけでしょ

言うてCake3はそんなひどくないやろ

Carnot……

クリーンおなら :erait:

最適化難しそう

あーIdrisって戦略的にはNimっぽい言語なのか……

コンパイル速度が爆発する(Boost.Spirit)

まぁコンパイル速度と実行時コストが爆発しなけりゃなんでもいい

というかアレなんじゃない、依存型のチェックが実行時にもあるとかじゃないの(適当)

むしろPython程度の(比較的単純な)型システムなら雑に推論できるだろみたいな立場っぽそう

誰かが依存型なのはいいが遅すぎるみたいなこと言ってた気がする

2018-12-25 21:19:21 ちゃーしゅーねこ님의 게시물 charsiuCat@social.mikutter.hachune.net

This account is not set to public on notestock.

Rustは関数を境にして推論が切れるんだっけ

Idris、速度の問題さえ解決すれば最強でしょ

推論されるけどシグネチャは書いとけみたいな文化なんだっけHaskellは

ggyのgy

gypはガイプでしょ

まあタイプヒンティングがあるだけマシというのがつらいね

→Mercurial

いまどき2.7なんてまさかなwww

F#を書くべきっぽい

そのhintingを書きたくないって話でしょ

この発言cannorinに怒られるな

HM型推論な関数型書け

太鼓の達人のタツジン、連打の捌き方が異常なんだよな

乙姫
誕生日:8月22日
年齢:10015歳

DSliteとDS-Liteも似てるよね

Synthesizer Vすげえという動画

諸葛亮と諸葛孔明が同じアドレスを指すのは最近知った

2018-12-25 19:05:20 わお님의 게시물 nao@mstdn.maud.io

This account is not set to public on notestock.

えあい実は大食い系か

下腹部ものさしシリーズっぽい

2018-12-23 16:07:24 ナスマスター님의 게시물 natuki_n@pawoo.net

This account is not set to public on notestock.

あのレーザー現実でも試験段階まで来てるのか……

虹六からmaestroプレゼントされた

〆 定期的に聴きたくなるな

訴訟問題じゃん

面白い恋人

東京/ソラ.+/多すぎ問題

これはあれだな、あとは僕がインターネット声優になって添い寝ボイス販売すれば末代の三大欲求担当になるわけか

そぎぎ

このパイをしこしこしながら食べればいいんですか?

今回はね、ジャム完全に全部自分で作ったので

うまい!

🍎 :pie_alt: できた

あまり

@ikr7 なにがしかしだ

@ikr7 ?????

あとは焼くだけ

焼きリンゴとべっこうあめ混ぜたような味がするな

ちょっと砂糖入れすぎた

煮ます

切りました

右利き

カオスカード使おうとしたら地獄の手前で$150失って虚無になった

💡 ご存知ですか……
休職です。
[次へ] [閉じる]
✅ 次回から表示しない

ココアちゃんでいっぱい出たのでパイチャレンジします

node_modulesとvendorとかtargetが.gitignoreに入れるの忘れられてると出がち

「たとえそれが、ドキュメント化していない明示的に保証されているわけではない昔のカーネルの暗黙の挙動であれ、その挙動に依存している既存のユーザースペースのコードがあるのであれば、その挙動を壊すのはカーネルのバグであって、ユーザースペースのバグではない。」
なるほどなあ

本の虫: Linus Torvalds様、ユーザースペースの互換性を壊した開発者に強い態度をお示しになる
cpplover.blogspot.com/2018/12/

Linus Torvalds様、ユーザースペースの互換性を壊した開発者に強い態度をお示しになる

いっぱいでた