Perl 6登場、"Rakudo Star"
まさか本当にリリースされるとは(ぇ
関連: Perl 6実装「Rakudo Star」リリース
SEC、形式手法の事例やツールをまとめた報告書を公開
「欧州圏などでは、今後、形式手法を適用しないで開発された製品は、通商上の制約を受ける可能性が考えられる」という。
mjk!
Oracle、PostgreSQLビルドサーバを廃止
Sun Microsystemsがこれまで提供してきたSolaris向けPostgreSQLビルドクラスタが何の警告もないままシャットダウンされたと説明がある。
ひでえ.
3次元声色空間で声の変化までを模倣する「ぼかりす2」 鏡音リン疑似Appendの仕組みとは?
すごすぎてなんと言ったらいいか.