GitLabへのインポートが普段の10倍に急増、GitHubの買収報道で
GitHubがマイクロソフトに買収されるのではないかと報道されています。Publickeyでは6月2日にBusiness InsiderとCNBCの報道を紹介しました。 マイクロソフトがGitHubの買収交渉、複数メディアが報じる － Publickey 6月4日付けのBloombergの報道ではすでに両社が買収に合意しており、今日にでも発表される予定だとしています。 Microsoft Will Acquire Coding Site GitHub - Bloomberg 追記：正式にマイクロソフトによるGitHubの買収が発表されました。 （2018/6/4 22:50） ［速報］GitHub、マイクロソフトによる買収を正式発表 － Publickey 普段の10倍以上のインポートがGitLabへ そうしたなかで、GitHubと同様にGit対応のコードリポジトリサービスを提供しているG
日持ちする直列化のためのライブラリ「winery」 - モナドとわたしとコモナド
人類は、酒と共に発展してきたと言っても過言ではない。穀物や果実などを酒に変換することにより、糖を除く栄養を保ったまま、高い保存性を持たせることができる。酒は人々の喉を潤し、時に薬として使われた。 プログラミングにおいても、終了したら消えてしまうデータを、保存性の高いバイト列に変えたい場面がよくある。そのような操作を直列化(シリアライズ)と呼び、いくつかのアプローチが存在する。 コード生成タイプ Protocol Buffers、cap'n'protoなど データの構造を記述する言語(スキーマ)から、データ構造およびシリアライザ・デシリアライザをコードごと生成する。幅広い言語で使える一方、作れる構造が限られており、定義済みの構造にも使えないので、Haskellのような言語とは相性があまりよくない。 互換性を保つ機能が充実していることが多い。 汎用フォーマットタイプ CBOR、MessageP
私と型システムとポエム
最近巷では俄に型システムについての言及が増え、型システムポエマーが増えてる気がするので自分もその時流に乗りたい。 完全にポエムだけどなんかあったら随時指摘ください。直します。 TL;DR 言いたいことはまとめると次 型システムは程度問題なのでちょうどいいところを探すべき 型は万能でも強さが正義でもない(だから未だに研究されてる) よく知りもしないくせに計算機科学を侮辱するのはやめろ 予防線 あくまでポエムですので中身はないです 私は型理論専攻で学位はとったものの研究者ではないのであまり信用しすぎないように 型システムの過去 型システムは大まかに次のような利点があるとされてきた(個人的主観) 「異常」なプログラムを検出する仕組み 静的解析による分かりやすいエラーメッセージ 型そのもののドキュメント性 IDEでのcompletionに貢献 最適化に貢献 (数学に正しく裏打ちされたsemanti
Congratulations GitHub on the acquisition by Microsoft
Congratulations GitHub on the acquisition by Microsoft The acquisition of GitHub by Microsoft is validation of the growing influence of software developers in the world. Congratulations to GitHub on their acquisition by Microsoft! This is validation of the growing influence of software developers in the world, and the importance of modern DevOps. The software community owes a lot to GitHub, and th
Bloomberg - Are you a robot?
We've detected unusual activity from your computer network To continue, please click the box below to let us know you're not a robot. Why did this happen? Please make sure your browser supports JavaScript and cookies and that you are not blocking them from loading. For more information you can review our Terms of Service and Cookie Policy. Need Help? For inquiries related to this message please co
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
自由現代社への怒り爆発の記録
