type-check - JavaScript type checking at runtime library with Haskell like type syntax
type-check demo type-check is a library which allows you to check the types of JavaScript values at runtime with a Haskell like type syntax. It is great for checking external input, for testing, or even for adding a bit of safety to your internal code. For more information, including documentation and more examples, please check out the README on GitHub. MIT License. Version 0.4.0 For updates on t
vagrant-protectで仮想マシンのうっかり削除を防止する
全国3000万人のVagrantユーザーのみなさんこんにちは。 Vagrantを使っていると気軽にvagrant upして気軽にvagrant destroyを繰り返すことになりますが、時々、削除してはまずい仮想マシンをうっかり削除して絶望感に苛まれてしまうことがあります。(僕の場合は沢山の検証用の仮想マシンを起動していてホスト側の動作が重くなってきたりすると脊髄反射的にvagrant destroyしちゃいますw) こういうポカを防ぐためのプラグインを電車の中で作ったので簡単にご紹介。 インストール方法 いつもどおりの方法です。 vagrant plugin install vagrant-protect 使い方 使い方は簡単です。destroyしてはいけない仮想マシンを起動するためのVagrantfileに、 config.protect.enabled = true の1行を追加すれ
独立しました - unknownplace.org
2013年8月末で面白法人カヤックを退職し、新しく会社を設立しました。 カヤックには約9年間お世話になり、とても多くのことを学ばせてもらいました。 とくにクリエーターとしての自分の考え方は、ほぼカヤックで養われたと言っても過言ではないでしょう。 そういう意味でカヤックは僕の第二の親のような存在であり、鎌倉方面には足を向けて寝られません。 本当にありがとうございました。 カヤックは面白法人とか名乗っていますが、実は非常にまじめな集団です。 たとえば、経営理念についても、とても真摯に向かいあっています。 経営理念とはただの飾りではなく、まさに会社の存在意義であり、社員全員がそれを意識して仕事をしなければ意味がない。 そんなことから半年に一度、全社員で経営理念について考えるための全員社長合宿、というものをやっていたりします。 そんな環境で、自分も個人としての理念を磨いてきました。 昔のカヤックス
OpenCL - Wikipedia
OpenCL（オープンシーエル、英: Open Computing Language）は、マルチコアCPUやGPU、Cellプロセッサ、DSPなどによる異種混在の計算資源（ヘテロジニアス環境、ヘテロジニアス・コンピューティング、英: Heterogeneous）を利用した並列コンピューティングのためのクロスプラットフォームなAPIである。主な用途は科学技術計算や画像処理に代表される高性能計算のためのアプリケーションソフトウェアの高速化（ハードウェアアクセラレーション）であり、シミュレーション可視化に用いるリアルタイム3次元コンピュータグラフィックスAPIとの連携も拡張機能として標準化されている。スーパーコンピュータやサーバ、ワークステーションやパーソナルコンピュータのほか、携帯機器などでの利用も想定されており、組み込みシステム向けに必要条件を下げたOpenCL Embedded Profi
報告書：実務家のための形式手法 教材「厳密な仕様記述を志すための形式手法入門」の公開：IPA 独立行政法人 情報処理推進機構
2012年12月27日更新 2012年11月13日公開 独立行政法人情報処理推進機構 技術本部 ソフトウェア・エンジニアリング・センター 概要 日常生活で使用する様々なサービスや製品には、ソフトウェアが密接に関係しています。サービスや製品の規模や利用形態の複雑さが増すにつれ、ソフトウェアの品質に問題が生じた場合の原因究明には時間がかかり、サービスや製品を利用する国民に及ぼす経済的損失や社会的影響などの発生リスクは増えていきます。 こうしたリスク抑制のためには、ソフトウェアの品質向上を図る必要があり、様々な取組みが行われてきました。その中でも「形式手法」(*1)は、数学的なアプローチを用いて厳密な仕様を記述し検証することができるため、曖昧さや抜けを防ぎ、実装の間違いを見つけ出す、といった利点があります。また、高い安全性を要求される製品に関連する国際規格であるIEC 61508(*2)や自動車
GNUプロジェクト30周年おめでとう！
我らがリチャード・ストールマン氏（以下、敬称略）がGNUプロジェクトを孤軍奮闘ながら発起してから30年を迎えた。30年前と言えばWindowsすら無かった頃であり、コンピュータの世界は今とは全く異なっていただろう。「だろう」というのは筆者が当時まだ子供であり、その頃の業界について伝聞でしか知らないからである。 GNUプロジェクトは言うまでもなく、自由なソフトウェアによるオペレーティングシステムを作ろうという一大プロジェクトである。今のようにインターネットもなく、容易に支援も得られそうにない中で、独りでOSを創りあげようなどと起ち上がるのは如何に無謀なことであったか。しかし、その無謀のおかげで今日のソフトウェア業界の姿があるのは間違いない。 今日はGNUプロジェクトの重要さについて、改めて語ろうと思う。 GNUなくして今のインターネットは無かった これまで、GNUプロジェクトが果たしてきた役
Facebook、Twitter、PayPal、LinkedInのMySQL担当者は、MySQLをどう使い、何を課題だと考えているか～MySQL Connect 2013
Facebook、Twitter、PayPal、LinkedInのMySQL担当者は、MySQLをどう使い、何を課題だと考えているか～MySQL Connect 2013 Facebook、Twitter、PayPal、LinkedInのMySQL担当エンジニアが集まり、それぞれの社内のMySQL利用状況、課題、これから期待する新機能などを語ったパネルディスカッションが、9月21日から23日までサンフランシスコで開催されたMySQLのイベント「MySQL Connect」の3番目の基調講演として行われました。 世界でもっともヘビーなMySQLユーザーといえる4社は、MySQLについてどのようなことを考えているのか、基調講演の内容をダイジェストで紹介しましょう。 Current MySQL Usage Models and Future Developments ──── まずはそれぞれの所
vagrant-execによるラクラク仮想マシン操作
全国3000万人のVagrantユーザーのみなさんこんにちは。 通常Vagrantを利用している際に仮想マシン内部でコマンドを実行したい場合はvagrant sshコマンドを使ってコマンドを実行します。この際、Vagrantの標準機能を使って、仮想マシンにログインすることなく、コマンドを実行できますが、このvagrant-execプラグインを利用することでさらに簡単に仮想マシン上のコマンドをログインせずに実行できるようになります。 たとえばログの確認や設定状況の確認のような簡単な作業は作業を効率化できます。 インストール方法インストールは以下のようにコマンドを実行します。vagrant plugin install vagrant-exec 使い方使い方はかなり簡単です。 最低限このプラグインで設定しないといけない項目は１つで、コマンド実行時のルートディレクトリの指定が必要です。 以下のよ
The Shen Group
Our mission is to bring the power of Shen technology to every major programming platform used by industry and deliver to programmers the great power of Shen. The word 'Shen' means 'highest spirit' in Chinese and indicates our goal is to transcend the divisions between computer languages. Since 2021 Shen has been based on the S series kernels. Features pattern matching, lambda calculus consistency,
HTTPSを使ってもCookieの改変は防げないことを実験で試してみた
寺田さんのブログエントリ「他人のCookieを操作する」には、通信路上の攻撃者がいる場合は、SSLを使っても、Cookieの盗聴を防ぐことはできるが、Cookieの改変を防ぐことはできないと指摘されています。いかにも寺田さんらしい簡にして要を得たエントリで、これに付け加えることはあまりないのですが、残念ながらまだ読んでいない人が多そうだと言うことと、より広い読者に向けて具体的に説明した方がよいだろうと考えました。 そこで、通信路上に攻撃者がいる典型例として、公衆無線LANの偽AP（アクセスポイント）があるケースを題材として、「HTTPSを使ってもCookieの改変は防げない」ことを説明します（Secure属性使うと盗聴は防げますが、改変は防げません）。長いエントリなので結論を先に書いておきます。 Secure属性がないCookieはHTTPSでも盗聴できる Cookieの改変についてはSe
FINDJOB!終了のお知らせ | FINDJOB!
FINDJOB! 終了のお知らせ 2023年9月29日にFINDJOB!を終了いたしました。 これまでFINDJOB!をご利用いただいた企業様、求職者様、様々なご関係者様。 大変長らくFINDJOB!をご愛顧いただき、誠にありがとうございました。 IT/Web系の仕事や求人がまだ広く普及していない頃にFind Job!をリリースしてから 約26年間、多くの方々に支えていただき、運営を続けてまいりました。 転職成功のお声、採用成功のお声など、嬉しい言葉もたくさんいただきました。 またFINDJOB!経由で入社された方が人事担当になり、 FINDJOB!を通じて、新たな人材に出会うことができたなど、 たくさんのご縁をつくることができたのではないかと思っております。 2023年9月29日をもって、FINDJOB!はその歴史の幕を下ろすこととなりましたが、 今後も、IT/Web業界やクリエイティブ
Zipkin, from Twitter
Zipkin is a distributed tracing system that helps us gather timing data for all the disparate services at Twitter. It manages both the collection and lookup of this data through a Collector and a Query service. We closely modelled Zipkin after the Google Dapper paper. Follow @ZipkinProject for updates. Why distributed tracing? Collecting traces helps developers gain deeper knowledge about how cer
TechCrunch | Startup and Technology News
Live Nation says its Ticketmaster subsidiary was hacked. A hacker claims to be selling 560 million customer records. An autonomous pod. A solid-state battery-powered sports car. An electric pickup truck. A convertible grand tourer EV with up to 600 miles of range. A “fully connected mobility device” for young urban innovators to be built by Foxconn and priced under $30,000. The next Popemobile. Ov
mrubyソースコード検索を作りました - おんがえしの blog
http://mrubysearch.ongaeshi.me/ RubyKokubanを作るにあたってmrubyのソースやmgem(mrubyのRubyGemsみたいなやつ)に登録されたソースコードを簡単に読めるようにしたいなあ、と思い作ってみました。 一日一回レポジトリを最新に更新してインデックスの再構築を行っています。新しいmgemが追加された時は今の所手動で対応しています(そのうち自動化したい所です)。 自分が追加した(もしくは検索したい)mgemが追加されていない！って人はリクエスト頂ければ追加するので教えて下さい。 mgemじゃなくてもmrubyに関係がありそうなソースコードでしたら追加しますので是非。 ※ 個人サイトのため突然停止したりするかもしれません、ご了承下さい。 使い方の例1 - "!"付きのメソッドはどうやってバインドするの？ 例えばgsub!のような!マークのついた
Google Web Designer - Home
Create engaging videos, images, and HTML5-based designs for your business that can run on any device Intended for business use only Features that help businesses bring ideas to life Google Web Designer gives you the power to create beautiful and compelling videos, images, and HTML5 ads. Use animation and interactive elements to build out your creative vision, then scale your content for different
信用情報機関への入金登録情報の誤りについて | 企業・IR | ソフトバンク
信用情報機関への入金登録情報の誤りについて 2013年10月1日 ソフトバンクモバイル株式会社 この度、弊社システムの不具合により、お客さまにご契約いただいた個別信用購入あっせん契約／割賦購入契約につきまして、分割支払金等をご入金いただいたにもかかわらず、未入金として信用情報機関※1に登録してしまうという事象が発生しておりました。 誤登録期間中に、信用情報機関※1およびその提携個人信用情報機関※2の加盟会員会社と、クレジット契約のお申し込みなど信用情報を用いた取引をされていた場合には、その取引に影響が生じた可能性がございます。現時点において、誤登録された情報は、全て正しい信用情報へと修正されております。 影響が生じた可能性のある件数は、16,827件となります。 また、本事象発生後には、経済産業省へ本事象の報告を行う一方、誤登録データの精査を社内で進め、影響があったかもしれないお客さまへの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://blog.sqreamtech.com/2013/09/using-haskell-at-sqream-technologies/
アドビ、「スマートで美しい」スタイラスペンとデジタル定規を発表