ポスト
#OCaml + #Coq, #Haskell + #Isabel/#HOL で #前者 には #CompCert、#後者 には #seL4 という #キラーソフトウェア があるが、他はぱっとしないよなあ。 #SELinux 級の #MAC #ファイルシステム とか、（#ディスクドライブ最適化 その他 #ドライバ を伴わない）#RDBMS とかで良い感じのが欲しいところ x.com/kmizu/status/1…
メニューを開く返信先:@fjs_kyousosamaなるほど。ちなみに、実際のプロジェクトは想定していませんでしたが、ミスの許容度が低くて、バッチ処理で完結するようなケースではHaskellで型をガチガチに固めるのは実際に有利に働きそうな気はします。
人気ポスト
最近、本当に興味がないバイト先の先輩になぜかイケると思われてるんだけどマジでしつこいからこれを送って全てを終わらせようか迷ってる
何人たりともヘアゴムを付けることは許さない犬
ジャンク理由が草
昨晩お会いしたご夫婦から機会があれば、伝えて欲しいと言われた事。 ”大人猫、外で苦労した大人猫は本当にイイコで性格良くて可愛いです。（ウチで育ったコは性格悪い！我が儘！ｗ）” ”良かったらもっともっと、大人猫を迎えて欲しい。” ウチで育ったコの性格云々は置いておいて。 成猫の譲渡が
さすがにこれぐらいは面接で詰まらず、すずしい顔で答えられるように準備すべきだと思います 🔥🔥面接はまじで準備が命です🔥🔥 話すだけなんだから練習しなくても大丈夫でしょって思ってる人は甘いです、 みんな何度も模擬面接練習、想定質問練習してますよ
ぁぁぁああああああああもうやだぁぁぁぁぁぁぁ！！！！！！！！！！！！！！！！！！！！！！！！
お父さんお母さんごめんなさい 一生懸命育ててもらって大学まで通わせてもらったのに、女の子に擬態するのが楽しくてやめられない子になっちゃった…
←マッチングアプリで約束した人 実際に来た人→
人が怒っている時はどうしてこの人は怒ってるんだろう？と考えている。口に出していることと心の中で本当に思っていることは違っていることが多いから。本当は寂しかったのか、悲しかったのか、虚しかったのか、悔しかったのか、その人の奥にある感情を読み取れるようになりたい。
トレンド14:17更新
- 1
エンタメ
テイラー・スウィフト
- 米大統領選
- ハリス氏支持
- ハリス氏に投票
- 米大統領選挙
- Childless Cat Lady
- Taylor Swift
- ハリス氏を支持
- 子供のいない
- スウィフト
- カマラ・ハリス
- 子なし猫好き
- 猫の写真
- テイラー
- 子なし
- 副大統領
- 大統領選
- インスタグラム
- 大統領選挙
- 2
アニメ・ゲーム
フェリシモ
- 刀剣乱舞
- 2024年
- 3
アニメ・ゲーム
クリストロン
- ハリファイバー
- トリスタロス
- クリストロン魔法
- サルファドール
- スモーガー
- グリオンガンド
- インクルージョン
- 4
スポーツ
ブルボン王朝
- ルーベラ
- ラングレイス
- ルマンド
- ブルボン
- 5
NEWS大集会
- 大集会
- 大阪
- 6
エンタメ
1億回再生
- CFB
- ひーくん
- 佐久間くん
- 7
スポーツ
今永先生
- 13勝目
- 負けが消えた
- オオタニサン
- 勝ち投手
- 大谷さん
- 8
エンタメ
谷口賢志
- 協議離婚
- DV疑惑
- 平野綾
- 警察出動
- トップ声優
- 「光る君へ」
- 週刊文春
- DV
- 9
アニメ・ゲーム
スクリプトエラー
- スクリプト
- 10
スカイストリート
