チェシャ猫

@y_taka_23

著名ねこみみエンジニア。Kubernetes、Haskell、形式手法あたりが守備範囲、特にコンテナのスケジューリングとモデル検査器 Alloy がチョットデキル。 承ります。 【登壇】 【ブログ】

現在地付近
Vrijeme pridruživanja: kolovoz 2011.

Tweetovi

Blokirali ste korisnika/cu @y_taka_23

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @y_taka_23

  1. Prikvačeni tweet
    7. pro 2019.

    本日 July Tech Festa 2019 の登壇資料です。 分散システムの本質は、従来のテストが苦手とする「未知への対処」です。「未知」に立ち向かうための武器として、定理証明器 とフレームワーク Verdi を紹介します。 テスト駆動開発から証明駆動開発へ

    Poništi
  2. prije 3 sata

    「現在困っていることはありますか?:分からないところが分からない」

    Poništi
  3. prije 14 sati

    倍額提示されたらよほど胡散臭いところじゃない限りはまあ即決かなという気はする。

    Poništi
  4. prije 18 sati

    左のメールで会いたくなる人間が存在するというのがまず想像の埒外だった。

    Poništi
  5. prije 18 sati

    TUF、難しすぎる。

    Poništi
  6. proslijedio/la je Tweet
    3. velj

    プログラムを状態の遷移に落とし込めば、帰納法での証明がやりやすくなるんだろうな、とザックリ解釈。 テスト駆動開発から証明駆動開発へ / July Tech Festa 2019 - Speaker Deck

    Poništi
  7. 3. velj

    電子書籍、ページ戻ったりするとレイアウトごと変わるので「あの辺に書いてあった」という連想がはたらかなくて記憶の定着率が悪い、気がする。

    Poništi
  8. 2. velj

    プログラムがバイナリでしか手に入らない状況で処理系側をデバッグする作業、思ったより辛い。

    Poništi
  9. 2. velj

    何もわからない。

    Poništi
  10. proslijedio/la je Tweet
    23. sij

    チェシャ猫さんの資料分かりやすすぎる

    Poništi
  11. 2. velj

    生きてる間にベテルギウスの最期を目撃できるだろうか。

    Poništi
  12. 2. velj

    どっかで座標の変換を間違えてるらしく表示が裏向きになってる。

    Poništi
  13. 2. velj

    KubeCon EU、今日が Standard 価格の締切日か…。

    Poništi
  14. 1. velj

    Elm でちょっと複雑な状態の操作をやろうとして、気づいたら State モナドを再実装してた回。ご存知の通り Elm には do 記法がないのでさほど嬉しくはない。

    Poništi
  15. 1. velj

    エアブリしてる。

    Poništi
  16. 31. sij

    今回の件とは逆方向だけど、プレゼンしたときに Twitter の反応が耳オンリーだと微妙な気分になるので、よかったら技術的な内容にも触れてやって…。

    Poništi
  17. proslijedio/la je Tweet
    30. sij

    デッドロック発見器(イベント同期を基本相互作用とする並行合成器)をつくるセミナーは明日土曜日開催です.いまのところ再演の予定はないので興味がある人はできればこの機会にどうぞ.

    Poništi
  18. 30. sij

    なんだこれ、めっちゃ具体的で参考になるぞ?

    Poništi
  19. proslijedio/la je Tweet
    29. sij

    I'm excited to speak at + Europe 2020. Thank you for all the awesome advice you have given me, and

    Poništi
  20. proslijedio/la je Tweet

    KubeCon EU、日本からも登壇者がたくさん行くようでとても良い。やる気スイッチを押してもらった感じする。

    Poništi
  21. 30. sij

    勝手にコラテラルダメージを受けてしまった。

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·