こんにちは。SmartHR のエンジニアの @meganemura です。 SmartHR はひとつの Rails アプリのリポジトリで開発が進められており、GitHub への Pull Request 作成などを契機に CircleCI でテストの実行や静的解析によるコード品質のチェックを継続的に実施しています。 しかし、プロダクトの成長と共に CI の実行時間が増え、またエンジニアの増加につれ CI のキュー待ちの時間も増え、実行完了までの時間が日々増え続けています。 その状況に対して、 Buildkite という CI サービスを利用して CI 環境の速度を改善した取り組みについて紹介します。 背景 以前にこのテックブログの CircleCI 2.0 の利用 の記事を公開した時点で全体のテスト実行が 40 分弱程度になっていたのですが、現在 50 分弱から 60 分程度にまで増加して

AWSにおける形式手法の記事（https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf）を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能である アマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた 7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる 以下は、読んでいる途中で書きだした要点。 AWSでは2011年以降形式仕様とモデル検査を使用している 複雑な分散システムを検証するにあたって、従来の手法 ― 設計レビュー、コードレビュー、静的解析、ストレス

こんにちは、id:hitode909です。今日から、はてなで働くエンジニアの生態を紹介する新シリーズを始めてみることにしました。 初回は、私も所属するマンガチームのテックリードのid:KGAにお話を聞いてみます。 前職でも現職でもBtoBでクライアントのいるアプリケーションを作られていて、そのこだわりなどを聞ければと思います。 id:KGAにアンケート はてなidとその由来を教えてください いつどんなきっかけで入社されましたか? 現在の仕事を教えてください チーム内の立ち位置を教えてください 今日一日の流れを教えてください 最近うまくいったことは何ですか? 最近うまくいってないことは何ですか? ふだん大切にしていることは何ですか? はてなはどんな会社ですか? おわりに id:KGAにアンケート はてなidとその由来を教えてください こんにちは id:KGA です。はてなidを取得した当時応

TLDR; this is the last edition of The Morning Paper for now. Plus: one strand of research you won’t want to miss! I was listening to a BBC Radio 4 podcast recently (More or Less: Behind the Stats - Ants and Algorithms) in which the host Tim Harford is interviewing David Sumpter about his recent ... Continue Reading An overview of end-to-end entity resolution for big data, Christophides et al., ACM

Webサイトやスマホアプリのどの部分にでもフォームに入力された値を検証するバリデーションを簡単に実装できる、わずか2.29kBの超軽量ライブラリを紹介します。 バリデーションでよく使用されるルールもデフォルトで30個以上用意されており、ルールをカスタマイズして利用するのも簡単です。 v8n -GitHub v8nの特徴 v8nのドキュメント v8nの使い方 v8nの特徴 v8nの名称は、「validation」の「v」と「n」の間に正確に8文字あるという意味です。 流暢でチェーン化可能なAPI チェーン化可能なAPIを使用して、フォームの検証を簡単に作成できます。 有用な標準検証ルール フォームの検証でよく使用される30個以上のルールが用意されています。 カスタマイズ性 フォームの検証用ルールは、簡単にカスタマイズできます。 非同期検証をサポート バックエンドでの検証のように時間のかかるル

Focalsの目標は、スマートフォンからユーザーを解放し、前を向いて世界を見ることであるため、表示する情報は必要最低限だ。（ARヘッドセットのように）「壁からモンスターが飛び出してきたりはしないが、巨大なヘッドセットではなく、美しく、日常使いが可能なメガネ」にしたという。 Northは、かつて腕輪型ジェスチャー端末「Myo」を手掛けたカナダThalmic Labsが社名変更した企業。創業者でCEOのスティーブン・レイク氏はMediumで12日、Myoの販売終了と“開発中のヘッドアップディスプレイ”のプロジェクトを予告していた。 3年前にFocalsのプロジェクトを立ち上げた際、サプライヤーに相談するとどこもが「それは無理だ」と取り合わなかったので、開発ラボからメガネ製造工場、販売店舗まですべて自前で用意したという。「われわれはシリコンバレーのエコーチャンバーの外にある、ここワーテルローです

Climate Change Climate change presents an existential threat to humanity. We are already seeing the effects and they are showing up faster and stronger than anticipated. A report by United Nations' scientific panel on climate change released this month expects the atmosphere-on our current trajectory-to warm up by 1.5 degrees Celsius by 2040. Even the effects of a 0.5 degrees increase will have fa

もう人生で何個目かわからない markdown エディタ作った。が、今回のは結構気に入っている。 https://markdown-buffer.netlify.com/ で遊べる。 用途としては、GitHub か Qiita か はてなブログかわからないが、なにか書こうと思ったときに、どのサービスも中途半端に重いので、とりあえずのバッファが必要、という感じで作った。なので速度重視。 ブラウザのストレージで永続化してる。オフラインで動く。できるだけエディタとしてはスコープを大きくせず、単に編集バッファ(textarea)でしかない、というのを意識している。 結構頑張って作り込んでしまった https://nedi.app が色々肥大化してしまっていて入力時にラグを感じるので、編集体験を見つめ直す自戒もある。 機能 数式対応 コードハイライト対応 バックグラウンドで自動保存 改行を br に

機密性の高いインターネット接続を提供するVPNサービスは、公衆のWi-Fiを使う時に管理者からインターネットの履歴を見られたくないといった場合に有用です。Mozillaによって開発されているブラウザのFirefoxが、VPN事業者の「ProtonVPN」と提携してVPNサービスを提供する試験を開始したと発表しました。 Testing new ways to keep you safe online - Future Releases https://blog.mozilla.org/futurereleases/2018/10/22/testing-new-ways-to-keep-you-safe-online/ We're partnering with Mozilla to bring online privacy to more people - ProtonVPN Blog ht

Table of Contents はじめに 経緯 二週間前にRustでツールを作り始めた記事を書きました。 本文にもある通り、シングルバイナリを作成できどこでも実行できると思ったのが理由の1つです。 しかし世の中はそう甘くありませんでした。 何が起きたかは次章で説明します。 筆者の環境 WindowsをホストOSとして、VMで16.04.5 LTS (Xenial Xerus)を使っています。 Rustのコンパイルも上記VMのUbuntu上で行っています。 筆者のスペック 先の記事にある通り、C系やローレイヤーの知識に疎いです。 そのおかげで随分と苦戦しました。 対象ツール 今回対象としたのは以下のツールです。 Miroirをお使いでなければ利用価値は全く無いと思いますので参考程度に.. 普通にビルドしてはどこでも実行できない 有識者の方なら当たり前の話なのですが、私の中ではシングルバイ