Liquid Haskell
adjustBound のような関数でバグが無いことを確認するためには何をしたら良いでしょうか？ 型は非常に強力ですが、値について何も教えてくれません。 バグの少ない世界を目指して 僕が Haskell を使う理由は、第一に 楽しい からです。そのため、「勉強しても就職する時に役に立たないでしょ？」などと言われても全く気になりません。(そもそも、就職するために勉強するわけじゃないですよね) また Haskell を使えば、正しいソフトウェアを普通に作ることができます。また、hspec などで単体テストを書いたり、QuichCheck などでランダムテストを書くことで、過去に起こった問題を再発させないようにする努力や、バグを少なくするための取り組みが行われています。 しかしながら、個人的にはどれもまだ不安です。もしかしたら、チェックしてない部分にバグがあるんじゃないの・・・？ そんな心配性の
GitHubに過去最大級のDDoS攻撃 Akamaiの協力により約8分で復旧
ソースコード共有ツールを運営する米GitHubは3月1日（協定世界時）、日本時間の3月1日午前2時21分～午前2時30分にアクセス不能、断続化が発生したことについて謝罪、説明した。原因はDDoS攻撃だったという。サービス上のデータに影響はなかったとしている。 ピーク時には1.35Tbpsのトラフィックが集中した。メモリキャッシュサーバ「memcached」を踏み台にした反射型攻撃で、1秒当たり1億2690万パケットが送られた。米Wiredによると、これは2016年10月の攻撃以来の、過去最大の攻撃という。 GitHubは、着信転送帯域幅が100Gbpsを超えた段階で、DDoS防御サービスを提供する米Akamaiにトラフィックを転送し、Akamaiがトラフィックを吸収し、攻撃を低減した。 同社は、今後ネットワークエッジをさらに強化し、トラフィック監視インフラを使ってDDoS低減プロバイダーの
裁量労働制は本当に「定額働かせ放題」なのか - bonotakeの日記
まー、何ていうかですね。 僕、エンジニアなんで、基本このブログは技術系の話メインで書きたいんです。 ですし、この話はちょいポリティカルな話でもあるんで、余計に書きづらいのもあるんですが。 ただまぁ状況的に、書かざるを得まい。裁量労働に関して、ここ数日の世間の状況はあまりに無残だと思ったので。 とりあえず、以下にちょいちょい、ここ数日の顛末と、あと僕の言いたいことを、ツイートの紹介を交えてまとめていきます。 はじめに 自分の立場を明らかにしておく 裁量労働のメリット フレックスだと代替できないのか 裁量労働は「定額働かせ放題」にならないのか まとめると とはいえ はじめに 27日朝に、以下のツイートをしたら、ものすごい勢いでバズりました。 もうさー、裁量労働がダメなんじゃなくて、いい加減な働かせ方をする雇用者がダメなんだっていい加減気付こうよ。ブラック企業では裁量労働だろうがフレックスだろう
Codableが導く型安全な世界 | try! Swift Tokyo 2018 Day2-11 - niwatakoのはてなブログ
CodableはAPIのレスポンスをマッピングするためだけの機能ではありません。Codableは様々な場面で利用でき、ソースコードを型安全にすることができます。このLTではCodableをフル活用するためのアプローチや、よりアグレッシブなCodableの活用方法をご紹介します。 Codableが導く型安全な世界 データへの変換をプロトコルとCodableで組み合わせる UserDefaultへStructやClassが保存しやすくなる Codableはプロトコルと相性が良いです DictionaryとStructの変換が簡単にできます。 APIパラメータを表現した方をQueryItem配列に変換する URLComponentを使うと完全なURLにできる シンプルですがコード量が多くなります。 コードはこちらに 置いているのでチェックして下さい 型安全の代わりに欠点もあります。そこを補うため
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Hocker, I can't believe it's not docker!
ソフトバンク、米食品宅配「ドアダッシュ」に出資 - 日本経済新聞
止まらぬ日本企業の文書流出 中国サイトに186社分 - 日本経済新聞
慰安婦問題「終わっていない」韓国大統領が演説 日本に特別な対応求めず - 日本経済新聞
