EmacsのマルチメディアプレイヤーEmmsが7年ぶりに最新版をリリース | OSDN Magazine
Emacsでマルチメディアコンテンツの再生を可能にする「Emms」開発チームは7月27日、最新安定版「Emms 4.0」をリリースした。7年ぶりのメジャーバージョンとなり、新機能やバグ修正が加わっている。 EmmsはEmacs Multimedia Systemの略で、外部のプレイヤーを利用してEmacsからマルチメディアファイルを再生する軽量のアプリケーション。Emacs Mp3playerに着想を受けたもので、汎用性と簡潔さを強化したという。外部のプレイヤー側がフォーマットをサポートするため、Emacs側は多機能を実現できるとしている。ライセンスはGPLv3。 2007年6月に公開されたEmms 3.0から7年ぶりのメジャーバージョンリリースとなる。Libre.fmなど音楽コミュニティ向けのサイト構築のためのソフトウェア「GNU FM」をサポートし、emms-info-libtagでは
ソフトウェア開発では出来るだけ言葉遣いに気をつけよう。さもなくばマサカリを受けろ。 - うさぎ組
はじめに 言いたい事はわかるんですけど、ふわっと言葉を使っていると間違っていることもあります。 ということで、ほとんど自戒なのですが、今や私も気になる部分は多々あるので、私が思う気を付けたらいいよっていう言葉のリストを以下にあげます。気をつけましょう。 なお、本稿では実際の定義は皆様に調べていただく方向ですので、書いておきません。これ調べたらいいよ的なガイドワードくらいです。 証明する 例えば「このテストによって証明されている」これやばいですね。 テスト界隈からも証明プログラミング界隈からも数学界隈からも目を付けられます。 少なくともそれはなごやに囲まれる事を意味します。 基礎 書籍や記事やイベントで「基礎」とみかけますが、結構な割合で入門と勘違いしているケースがあります。それはよくないです。基礎 と 入門は違います。入門向けな予定なのに、基礎と書いたがために、こわい人たちが大挙した勉強会
豪研究所、カーネルの安全性を数学的に検証する手法を開発
オーストラリアの民間研究機関Information and Communications Technology Centre of Excellence（NICTA）の研究者らは現地時間8月12日、ミッションクリティカルなシステム向けの中核ソフトウェアが安全であることを検証する方法を発表した。 研究者らによると、この方法により、飛行機や自動車におけるシステムの安全性とセキュリティを管理するソフトウェアが、エラーを含む大型クラスを持たないことを数学的に検証できるという。 NICTAは、汎用OSカーネルに対する、マシンチェックによる初のフォーマル検証が完了したと発表した。このカーネルは、「Secure Embedded L4」（seL4）マイクロカーネルと呼ばれる。 ケンブリッジ大学のコンピュータ研究所で演算論理学の教授を務めるLawrence Paulson氏は、英国時間8月13日にZDNe
TypeScriptを魔改造してshowtype演算子を追加する - Qiita
diff --git a/src/compiler/parser.ts b/src/compiler/parser.ts index d3e40a2..cf30c7a 100644 --- a/src/compiler/parser.ts +++ b/src/compiler/parser.ts @@ -1467,6 +1467,7 @@ module ts { case SyntaxKind.TildeToken: case SyntaxKind.ExclamationToken: case SyntaxKind.DeleteKeyword: + case SyntaxKind.ShowtypeKeyword: case SyntaxKind.TypeOfKeyword: case SyntaxKind.VoidKeyword: case SyntaxKind.PlusPlusToken
Is atom-shell intended to be compatible with prebuilt node modules? · Issue #533 · electron/electron
GoogleによるOpenSSLのfork、BoringSSLを試す。 - ぼちぼち日記
1. はじめに、 先日、Chrome で 「Issue 401153002: Switch to BoringSSL. (Closed)」 という変更が行われました。これは、従来の Android向け Chrome では OpenSSL を利用していたのですが、今回これをGoogleがOpenSSLをforkしたBoringSSLに切り替えたことになります。 BoringSSLの発表からわずか1か月ぐらいですが、何回か Revert された末ようやく切り替えが成功したようです。 今回 BoringSSL を試しに少し使ってみましたので、そのレポートしてみたいと思います。 2. BoringSSLとは何か BoreingSSLがどういうもので、なぜOpenSSLをforkしたかは、GoogleのセキュリティExpert agl さんのブログ「ImperialViolet - BoringSS
Placehold.jp
基本 以下の形式で、指定したサイズの画像を作成することができます。 https://placehold.jp/{幅}x{高さ}.png 例) <img src="https://placehold.jp/150x50.png"> 背景・文字の色サイズを変更する https://placehold.jp/{文字色}/150x100.png https://placehold.jp/{背景色}/{文字色}/150x100.png https://placehold.jp/{文字サイズ}/{背景色}/{文字色}/150x100.png ※背景色・文字色はRGBの16進数表記 例) <img src="https://placehold.jp/24/cc9999/993333/150x100.png"> ファイルフォーマットを変更する URL末尾の拡張子で、pngとjpgの2種類が指定可能です。
gistをbl.ocks.org以外で動かす - Qiita
背景 先日Qiitaに投稿されたちょっとしたHTMLはGitHub Gistに置いてbl.ocks.orgで表示するのがお手軽ですという記事をはてブ経由で知りました。 自分はもっと前からbl.ocks.orgを知っていましたが、結構なブクマが付いていたので驚きでした。（ホントは悔しかったｗ。内容は自分にとってもへーって感じですごいなぁ色々調べてるなぁと後からこっそり見て感じましたｗ） ちょうどこれと同時期に@Phiさんがログイン不要! 気軽にプログラミングを始められるWebエディタ『runstant』作りましたを投稿されました。 初めは、この2つは自分の中ではリンクせず、むしろ、gistを使ったbl.ocks.orgだと、gistを編集してから反映されるまでのタイムラグが当時気になり、トライ＆エラーなスタイルでの開発に向かないから、runstant推しって感じでした。 gistをJSONP
Canvas Fingerprintingはクッキーより怖いのか技術的に調べてみた｜TechRacho by BPS株式会社
morimorihogeです。最近忙しくて遠征すらおぼつかない状態です。夏イベント資源足りるのかこれ。 なんかはてブ界隈などでCanvas Fingerprintingの話題が出ていて、Cookieより怖い！とか、Adblockみたいに無効にする方法がないのにユーザトラッキングできて怖い！！といったアオリの記事がぽこぽこ出てきているようです。 でも、ざっと調べた限りの日本語のどの記事を読んでも、具体的にどうやってユーザ個々のトラッキングができるようになるのか、技術的に解説されている記事が見つかりませんでした。 というわけで、エンジニアとしてはここは一つキッチリ理解しておきたいと思い、調べた結果をまとめます。 もし僕の読解がおかしくて変なことを言っている部分があれば、はてブやTwitter、コメント欄などで指摘して頂ければ更新していこうと思いますので、マサカリ上等です ;) Canvas F
| 梅宮アンナ オフィシャルブログ「anna style」Powered by Ameba
梅宮アンナ オフィシャルブログ「anna style」Powered by Ameba 梅宮アンナ オフィシャルブログ「anna style」Powered by Ameba
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
PostgreSQLのログをFluentdで収集する - Tech-Sketch
PostgreSQLの運用管理にログの情報は不可欠ですが、PostgreSQLが出力するログは直接取り扱うのに適した形式とは言えません。ここではFluentdを使って運用管理に活用しやすい形にPostgreSQLのログを加工する方法を紹介します。 PostgreSQLの運用管理とログ データベースの運用管理には 死活監視、リソース監視 性能分析、チューニング バックアップ、リストア といったものが考えられますが、現状を把握しなければ何も対策できないので、まずは必要な監視を正しく行うことが重要です。PostgreSQLで監視に使える機能には稼働統計情報とログがありますが、今回はログに注目してみます。 PostgreSQLのログからわかること PostgreSQLが出力するログからは以下の様なことがわかります。 何らかの異常(エラー)が発生したこと 処理されたSQL チェックポイント、自動VA
javascript - node.js execute system command synchronously - Stack Overflow
I need in node.js function result = execSync('node -v'); that will synchronously execute the given command line and return all stdout'ed by that command text. ps. Sync is wrong. I know. Just for personal use. UPDATE Now we have mgutz's solution which gives us exit code, but not stdout! Still waiting for a more precise answer. UPDATE mgutz updated his answer and the solution is here :) Also, as dgo
Google Chromeの開発者が語るこれからのWebに必要なこと、ちょっとした懸念点とか - ふろしき Blog
ｰｰｰｰ HTML5はネタが出尽くした。あとは、IE8やAndroid2.X標準ブラウザのような、レガシーブラウザがいなくなればいいだけではないか？ 私は最近、そんな言葉を耳にすることがあるのです。しかし、ブラウザ開発者たちは未だに、そんなことを微塵も感じさせないほど働いています。まだまだ進化の速度を、落とすわけにはいかないようです。2014年06月14日に開催された「HTML5 Night」にて、Google Chromeの開発者である及川卓也氏の口から、これからのChrome開発について語られました。 本記事では、及川氏の講演のダイジェストをお届けします。 今のChromeには何が不足しているのか？ Chromeは2013年の4月に大事な出来事がありました。Appleと一緒に開発していた、「WebKit」をフォークしました。それが、Chroniumと同様なオープンソースのレンダリングエ
Dockerを利用して自前のマークアップバリデーターを数分で立ち上げる
WCAG 2.0の達成基準 4.1.1を満たしている事を確認するためにも、ウェブページをバリデートすることは重要な作業の一つと考えています。 ただ、HTML5でマークアップを行いDreamweaverやHTML Validator for Firefox and Mozillaなどでバリデートすると、作業中のソースがW3Cのオンラインサービスに送信されるので、特に未公開コンテンツの場合はちょっと...となってしまうかもしれません。また、テストサーバーにIP制限をかけていたり、会社からThe W3C Markup Validation Serviceを利用する事ができない（なぜ？）、といったこともあります。 以前W3C Markup ValidatorとValidator.nuをローカル環境（Mac）にインストールという記事も書きましたが、これも慣れていないと結構敷居の高い作業です。また、僕
鳴かず飛ばずのエントリを増田が改変した結果ｗｗｗ - UXエンジニアになりたい人のブログ
昨日、 自分のエントリと同じ内容を増田に投稿した結果ｗｗｗというエントリを書きまして、そこでは「結局中身がダメならどこに出してもダメ」という一応の結論を得たのですが、今日増田ことはてな匿名ダイアリーに内容が改変(加筆修正)されて投稿されるという超展開が起きました。*1 オリジナル：自分のアタマで考えるのをやめよう！ - UXエンジニアになりたい人のブログ 増田版：自分のアタマで考えるのをやめよう！ 改変版：部下がくれたアドバイス ファッ？？？せん…だ…と？？(記事執筆時点) 見ていただいた方はわかるとおもうのですが、改変というよりは加筆修正に近く、後半部分の内容はほとんど変わってません。 つまりｗｗｗ元のエントリにブクマがつかなかったのはｗｗｗ内容ではなくｗｗｗｗ純粋な文章力の問題ｗｗｗｗｗうえええええｗｗｗｗうぇっうぇっｗｗｗ しかし、自分の目から見ても明らかに“響く”エントリになってお
Pythonを書き始める前に見るべきTips - Qiita
Pythonを使ってこの方さまざまな点につまずいたが、ここではそんなトラップを回避して快適なPython Lifeを送っていただくべく、書き始める前に知っておけばよかったというTipsをまとめておく。 Python2系と3系について Pythonには2系と3系があり、3系では後方互換性に影響のある変更が入れられている。つまり、Python3のコードはPython2では動かないことがある(逆もしかり)。 Python3ではPython2における様々な点が改善されており、今から使うなら最新版のPython3で行うのが基本だ(下記でも、Python3で改善されるものは明記するようにした)。何より、Python2は2020年1月1日をもってサポートが終了した。よって今からPython2を使う理由はない。未だにPython2を使う者は、小学生にもディスられる。 しかし、世の中にはまだPython3に
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Qiitaと同じような海外のサービスを教えてください。…
GitHub - mattn/go-colorable
Vendor Microsoft C/C++ dlls · electron/electron@16a1edb
sudo でパスが通らない
Linuxの全ユーザーに向けて、まとめてパスを通したい
runstant
Prim’s Algorithm V
http://goo.gl/sxv8LN
こんなふざけた内容の求人があって良いのか？ 国際文化会館図書室・司書
Compare & Buy Insurance Policies Online – Bluebox.com
crocos.jp
僕がイラストの著作権を譲渡しない理由 2 - 加藤直之のブログ
Engadget | Technology News & Reviews
http://goo.gl/GsxzUE