Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @y_taka_23
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @y_taka_23
-
Prikvačeni tweet
本日 July Tech Festa 2019 の登壇資料です。
#JTF2019#JTF2019_A 分散システムの本質は、従来のテストが苦手とする「未知への対処」です。「未知」に立ち向かうための武器として、定理証明器#Coq とフレームワーク Verdi を紹介します。 テスト駆動開発から証明駆動開発へhttps://speakerdeck.com/ytaka23/july-tech-festa-2019 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
「現在困っていることはありますか?:分からないところが分からない」
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
倍額提示されたらよほど胡散臭いところじゃない限りはまあ即決かなという気はする。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
左のメールで会いたくなる人間が存在するというのがまず想像の埒外だった。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
TUF、難しすぎる。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
チェシャ猫 proslijedio/la je Tweet
プログラムを状態の遷移に落とし込めば、帰納法での証明がやりやすくなるんだろうな、とザックリ解釈。 テスト駆動開発から証明駆動開発へ
#JTF2019 / July Tech Festa 2019 - Speaker Deckhttps://speakerdeck.com/ytaka23/july-tech-festa-2019 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
電子書籍、ページ戻ったりするとレイアウトごと変わるので「あの辺に書いてあった」という連想がはたらかなくて記憶の定着率が悪い、気がする。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
プログラムがバイナリでしか手に入らない状況で処理系側をデバッグする作業、思ったより辛い。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
何もわからない。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
チェシャ猫 proslijedio/la je Tweet
チェシャ猫さんの資料分かりやすすぎる
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
生きてる間にベテルギウスの最期を目撃できるだろうか。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
どっかで座標の変換を間違えてるらしく表示が裏向きになってる。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
KubeCon EU、今日が Standard 価格の締切日か…。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Elm でちょっと複雑な状態の操作をやろうとして、気づいたら State モナドを再実装してた回。ご存知の通り Elm には do 記法がないのでさほど嬉しくはない。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
エアブリしてる。
#エアリプ#burikaigiHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
今回の件とは逆方向だけど、プレゼンしたときに Twitter の反応が耳オンリーだと微妙な気分になるので、よかったら技術的な内容にも触れてやって…。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
チェシャ猫 proslijedio/la je Tweet
デッドロック発見器(イベント同期を基本相互作用とする並行合成器)をつくるセミナーは明日土曜日開催です.いまのところ再演の予定はないので興味がある人はできればこの機会にどうぞ.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
チェシャ猫 proslijedio/la je Tweet
I'm excited to speak at
#KubeCon +#CloudNativeCon Europe 2020. Thank you for all the awesome advice you have given me,@lizrice and@itaysk https://kccnceu20.sched.com/event/0f83a44e3cec69cc69cd4d1657cd6855 …@schedHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
チェシャ猫 proslijedio/la je Tweet
KubeCon EU、日本からも登壇者がたくさん行くようでとても良い。やる気スイッチを押してもらった感じする。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
勝手にコラテラルダメージを受けてしまった。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.