You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
設計だってテストしたい! 【本書の内容】 本書は Hillel Wayne, "Practical TLA+", Apress, 2018 の邦訳版です。 複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。 本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。 設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用
写真:水谷隼(木下グループ)/撮影:伊藤圭 卓球×インタビュー 「全盛期の7割あれば十分」 水谷隼、最後の大舞台へ懸ける思い 2020.04.03 「男子選手の団体候補選手は水谷隼」――。1月6日の卓球日本代表候補発表会見の席上、倉嶋洋介監督が静かに口を開いた。その様子を水谷は自身のスマートフォン越しに眺めていた。「よっしゃ!」。思わずつぶやく。周りにいた大島祐哉や田添兄弟が祝福の声を掛ける。少し遅めの昼食を取りながらのことだった。 同日、水谷はTwitterにこんな投稿をした。 「東京オリンピックの代表に選出されました 自分を選んだこと後悔させません ロンドン、リオと団体戦無敗なのでそのまま東京でも全勝して自ら引退の花道を飾ります こんな自分ですがもう少しだけお付き合いください」 日本の卓球界を牽引してきた男が最後の大舞台に臨む。覚悟が滲んだ97文字だった。 (取材:川嶋弘文・ラリーズ編
Linda_ppさんが開発したactionlintというコマンドラインツールがあります。 これは GitHub Actions のワークフローファイルを静的に解析して、事前にわかる問題を指摘してくれるツールです。詳細については開発者である Linda_pp さんが書いたブログ記事を読むことをおすすめします。 私は GitHub Actions をよく使います。しかし、ワークフローファイルの記述を誤ってしまい、実際に動かしてから些細なミスに気がつくことがよくあります。これには非常にストレスを感じていました。 actionlint はこの問題を見事に解決してくれました。コマンドラインからactionlintと入力すれば、適切に問題を指摘してくれます。 作ったもの 課題 私は普段 Node.js を使って様々なものを開発しています。actionlint は Go で書かれており、Node.js
Privacy Sandbox for the Web Privacy Sandbox for the Web will phase out third-party cookies Third-party cookies A "cookie" is a small piece of data stored in the browser when a user visits a website. Third-party cookies are stored by a service that operates across multiple sites. For example, an ad platform might store a cookie when you visit a news site. First-party cookies are stored by a website
「えぇーッ!?」である。 先日とある機会があって、お仕事現場の20代の若手社員さんとお話する機会があったのだが、何かの折に、このnoteのタイトルにある発言が出てきた。 「ホント、可能な限り僕らは社内での存在価値?みたいのを低くしておきたいんですよ」 思わず真顔で聞いてしまった。 「な、なんで…??」 存在価値を低くしておきたい理由ここで誤解しておいてほしくないのは、 僕は基本的に仕事に望む姿勢とかスタンスとか、あるいは何を仕事に求めるか?というモチベーションの部分は人それぞれ自由だと思ってる派だ。 お金のために仕事をしてる人がいてもいいし、 自分の価値を高めるために仕事をしてる人がいてもいい、 その業界に憧れがある、とか理由は何だっていい。 ただ、自分から率先して 『社内における自分の価値を低くしておきたい』 と言い出す人にはこれまで会ったことがなかったので少なからず驚いた。 だってあな
Run a static scan on every JavaScript files and sort out warnings (unsafe-regex, unsafe-import etc) and the complete list of required expr and statements (files, node.js module, etc.). Return complete composition for each packages (extensions, files, tarball size, etc). Packages metadata from the npm registry API (number of releases, last publish date, maintainers etc). Search for licenses files i
Meet the IBM Plex® typeface, our corporate typeface family. It’s global, it’s versatile and it’s distinctly IBM. We designed the IBM Plex typeface carefully to both meet our needs as a global tech company and express who we are as IBMers. It took two years and a lot of work to get here, but today we have a signature typeface we’re proud and excited to share with the world. Discover more about our
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く