Coding Horror
It's my honor to announce that John Carmack and I have initiated a friendly bet of $10,000* to the 501(c)(3) charity of the winner’s choice: By January 1st, 2030, completely autonomous self-driving cars meeting SAE J3016 level 5 will be commercially available for passenger use in major cities.I am betting against, and John is betting for. I have another long-term bet: I bet @codinghorror $10k that
Clojure for Java Programmers - 2 of 2
Part 2 of a presentation by Rich Hickey to the NYC Java Study Group. A gentle introduction to Clojure, part 2 focuses on Java integration, functional programming, persistent data structures and concurrency.
Turing machine
Last upgrade to the site: august 10th, 2002. There has been access to my Lego pages since creation. This is an unofficial LEGO® web site. LEGO® is a trademark of the LEGO® Group of companies which does not sponsor, authorize or endorse this site. You can visit the official LEGO website at: http://www.lego.com Copyright 1996, 2000, Denis Cousineau A Turing machine is the simplest form of a computer
Git smart: How we're using Git to track our source code
What is Git? Git is a directory content tracker (i.e. it lets you keep track of the contacts of directories as they change over time). It was developed originally by Linus Torvalds (creator of Linux) in 2005. What do we use it for? Until a couple of weeks ago, we were using Subversion for keeping track of our source code. We’re now about a third of the way into converting everything to git (a surp
cperl-modeにanythingを使った補完機能を追加するperl-completion.elをcodereposにコミットしました - IMAKADO::BLOG
これはなに？ cperl-mode向けのマイナーモードです。 useしているメソッド、インストールされているモジュール、組み込み変数,関数、他のperlバッファの関数,変数、バッファのdabbrev候補などを補完したりperldocを引いたりする動作をanythingのUIで実行することができます。 インストール 以下から最新版をダウンロードできます。 http://svn.coderepos.org/share/lang/elisp/perl-completion/trunk/perl-completion.el ロードパスが通った場所に置いてcperl-modeのhookでマイナーモードをonにしてください、以下、設定サンプルです。 (add-hook 'cperl-mode-hook (lambda () (require 'perl-completion) (perl-comple
タダ見ハッカーとの攻防 - Radium Software
Revisiting Black Sunday Hack - Coding Horror 2001 年頃に DirecTV とハッキングコミュニティの間で繰り広げられた攻防に関してのおさらい。最近，この件に関する記事が Wired に掲載されたため，今更ながら掘り返してきている。 当時の DirecTV の視聴システムはハック耐性が弱く，スマートカードに簡単な改造を施すことによって「タダ見」することができていた。 DirecTV 側としてはこれを潰すべく，衛星放送信号にプログラムアップデートを載せて配信するのだけれど，ハッカー側もそれを無効化するテクニックを編み出して対抗する。 そこで DirecTV 側は，対ハックプログラムを 60 回もの細かなアップデートに分割して送り込むという手法をとった。それぞれは無意味に思われるアップデート（頻繁な更新による嫌がらせに見せかけた）が，裏ではハック
ありのままを書いて行こうよ | おごちゃんの雑文
前に書いたエントリ PGとSEの仕事の面白み の言及の、 SEとかPGとかIT業界とか より。 この中で、 ネットで色々情報を手に入れるなら2ch見て暗い気持ちになるぐらいなら こういうブログを就職活動中に見ておけばよかったって思った。 と書かれてしまった。 まぁ書かれたことに私は責任ないんだけど、これはちょっとショックだった。 確かに、２ちゃんを始めとするネットの諸々で、「IT業界のイメージ」は地に落ちている。よくネタにされる「ブラック企業」も、かなりの割合でIT業界だ。本来クリエイティブな仕事が出来るはずの奴等を「奴隷」と見てるようなIT企業のえらいさんもいっぱいいるし、それを臆面もなく公言したりしてしまっている人達も少なくない。そういった意味では「IT業界はロクなもんじゃない」というのがネットの常識だとさえ言えなくもない。だから、件の人のように入る前からネガティブイメージを持つ人も少
継承を禁忌すること - Radium Software
IS-A IS-A HAS-A - Raganwald IS-STRICTLY-EQUIVALENT-TO-A - Raganwald OOP に関する書籍を読むと，たいてい「継承は軽々しく使うべきではない」というようなことが載っている。「継承は IS-A の関係にのみ使うべき」とか，「実装の共有に継承を使ってはならない」とか，「継承よりも合成・包含を優先すべき」とか……。 それが Raganwald に言わせれば，「IS-A の関係は HAS-A の関係と同じこと」とか，「継承は便利機能に過ぎない」とか，「リスコフの置換原則さえ生ぬるい」というような厳しい意見にまでなる（こんな風に言い切ってはいないけれど……まあ，そのようなことを丁寧に説いている）。 このような，制限の無い継承を禁忌する意見は，一般に納得することのできる内容ではある。ただ，それを現場で適用するのは，非常に難しいことのよう
GNU Freetalk を使ってみた - 福冨諭の福冨論
GNU Freetalk でLinuxのコンソールから Google Talk を使ってみました。 起動すると ~/.freetalk/freetalk.scm ができるので、 次のところのコメントを外して設定しておきます。 (ft-set-jid! "hoge@example.com") (ft-set-sslconn! #t) (ft-set-server! "talk.google.com") 文字に色がつくのが嫌だったので、 /usr/share/freetalk/extensions/color.scm を ~/.freetalk/extensions/color.scm にコピーして、 (define enable-colors-flag "no") と設定します。 ビープも要らないので、 beep.scmについても同様にコピーして、全部コメントアウトします。 使い方がわかりに
ビジネスモデルってなんぞ？ - これ僕.com：行動分析学マニアがおくる行動戦略
昨日、飲みながら「ビジネスモデル」という言葉が出てきたのを思い出した。 しかし、この「ビジネスモデル」って何ぞ？なんか、指しているものがフワッとしているような感じ。とりあえず、自分の中だけでも具体的に「こういうものでしょ」ってのを固めたくてさらっと書いてみる。 「誰」に「どういった具体的な価値」を「どういった具体的な仕組み」で提供するのか 「誰」とはターゲットユーザー（セグメント？）。年齢・性別・収入等の基本的なものから、ライフスタイルやワークスタイルなどを具体的に限定したものかなぁ。 「具体的な価値」とは、ターゲットユーザーに与える利益？ この価格で、あなたの○○を解決します この価格で、あなたに○○という体験を提供します 「具体的な仕組み」とは 商品を誰がどうやって開発・生産するのか ターゲットユーザーに知ってもらい、興味を持ってもらい、購入してもらう手段 利益を出すための「具体的な仕
Rick Byers
The CLR, diagnostics tool support and programming languages. Leaving After 6 great years at Microsoft, my wife and I have decided it's time to spend some time living... Author: Rick Byers - exMSFT Date: 11/19/2010 Sample Reflection.Emit code for using exception filters from C# In this post, I mentioned that one way to use exception filters from C# code is to generate them... Author: Rick Byers - e
Rick Byers
The CLR, diagnostics tool support and programming languages. Leaving After 6 great years at Microsoft, my wife and I have decided it's time to spend some time living... Author: Rick Byers - exMSFT Date: 11/19/2010 Sample Reflection.Emit code for using exception filters from C# In this post, I mentioned that one way to use exception filters from C# code is to generate them... Author: Rick Byers - e
Java Genericsに見るvariance - Journal InTime(2007-07-13)
_ Java Genericsに見るvariance 20070710のみずしまさんのコメントより: Java Genericsでは型のユーザがvarianceを指定できるように なっています。 ほう。 そういえば、最近のJavaはcovariant return typeもサポートしているそうですね。 型パラメータを? extends Tという形で記述することによって、 covariantな型になります。 List<Integer> ints = new ArrayList<Integer>(); ints.add(1); List<? extends Number> nums = ints; // OK nums.add(2); // NG なるほど、面白い。 一瞬型安全じゃないのではと思ったのですが、配列の時のように実 行時にArrayStoreExceptionのような例外が発生す
Variance Annotations - うなの日記
型パラメータに「+」「-」をつけることで、パラメータ化されたクラスの代入制限を少し緩くできます。 パラメータ化されたクラスの代入制限とは? 次のような、型パラメータを受け取るクラスがあるとして、 // 型パラメータを受け取るクラス class Holder[A](value:A) { private var v:A = value // getter def get:A = { v } // setter def set(value:A):unit = { v = value } } 「AnyRef」と、その派生クラスである「String」でそれぞれインスタンスを作成した場合、両者に代入互換性はありません。 // 「AnyRef」と、その派生クラスである「String」でそれぞれインスタンスを作成 var stringHolder = new Holder[String]( "foo" )
A Theory of Objects読書会 - Journal InTime(2007-07-10)
_ A Theory of Objects読書会 A Theory of Objects (Monographs in Computer Science) 松江オープンソースラボでA Theory of Objectsの読書会。 といっても、Aさんとまつもとさんと私の3人だけだけど。 Reviewの"2. Class-Based Languages"までAさんに解説してもらったけど、Reviewまでは何とかついていけそう。 Part I以降は式ばっかりでコードが出て来ないのでつらそうだな。 covariance/contravariance/invarianceについて、ある型について getのみだったらcovariance setのみだったらcontravariance get/set両方あったらinvariance という整理はすっきりしていると思った。 だからメソッドの場合は、戻り値
subtype / covariant / contravariant - soutaroブログ
subtypeと書いて「部分型(特種型)」と言うようです。多分、普通サブタイプで通じると思います。サブタイプというのは「ある型Aをある型Bとして扱っても大丈夫なとき、AはBのサブタイプであると言い、A <: Bなどと表記する」といった概念です。JavaやC#の世界では、(あとで考えるGenericsを省けば)サブクラスの関係とほぼ一対一に対応します。(StudentがPersonのサブクラスのとき ⇒ StudentをPersonだと思っても大丈夫 ⇔ StudentはPersonのサブタイプ ⇔ Student <: Person) さて、それでは関数のサブタイプを考えてみましょう。 X = A -> BとY = A' -> B'という型X,Yがあったとき、X <: Yとなるのは、A' <: AかつB <: B'が成り立っているときです。ここで、BとB'に関してはXとYの関係がそのまま引
Scala の Variance の話の続き：Rainy Day Codings：So-net blog
Scala 2.6.0 で新規追加された existential type と Scala の既存機能の variance annotation の関係について調べたり考えたりしていた。既存の variance annotation のこともよくわかっていなかったなあ。 前回 [1] 書いたように covariant な型に対して出来る操作は基本 get のみである。逆に言うとパラメタ化された型が immutable であれば covariant な型付けは安全だし失うものは何もない。そこで Scala では従来から型パラメタに + を付けることによってコンパイラに covariant なサブタイピングを指示出来る。これを以下のような関数的なリスト構造で確認してみる。まずは + なしから。 scala> abstract class MyList[T] defined class MyLi
Scala 2.6.0-RC1 の Existential types：Rainy Day Codings：So-net blog
Scala の 2.6.0-RC1 がリリースされました。新機能のうち Existential type とは何ぞやということで過去のメーリングリストなどを読んで勉強。ちょうどオライリーの Java Generics を読み始めているのが理解の助けになりました。 Java with generics で以下のようなソースをコンパイルすると、 import java.util.*; class TryMe { public static void main(String[] args) { List<Integer> ints = Arrays.asList(1,2,3); List<Number> nums = ints; } } 以下のようなエラーになります。 TryMe.java:6: 互換性のない型 検出値 : java.util.List<java.lang.Integer> 期待
2008-05-12
http://cappuccino.jp/scala-ja/?Scala%CA%D9%B6%AF%B2%F1%A1%F7%B4%D8%C5%EC-1 いくつか印象に残ったことを。以下なんか勘違いもあるかも。 Scala も Nemerle も研究畑な感じらしい。 意外だった。研究者ってのは関数型言語だけだと思ってた。あるいは Smalltalk 。 後置制御構文の追加 これはすごいなーと思った。任意の式からその式を封じ込めたオブジェクトへの暗黙の変換を定義することによって、その式が実行される前に型変換を行わせることができるらしい。でも暗黙の変換は変換無しですむ場合は常に変換しないので、その式を実行した結果の型にその後置制御構文と同名のメソッドがあったらダメっぽい。 class When(any: => Any) { def when(b: Boolean) = if (b) any } i
The Ruby Object Model and Metaprogramming by Dave Thomas | The Pragmatic Bookshelf
Episode 1: Objects and Classes (29 minutes) Just what is a Ruby object, and how can Ruby move you away from class-oriented development and back to object-oriented development? Learn about: the internals of objects, how classes really aren’t anything special, what self does, and the two ways it can get changed the method call mantra: “one to the right, then up,” singleton methods and ghost classes,
RailsConf 2008 Session on Git - GitCasts
こだわり野菜や果物、ミールキット、冷凍おかずなどを定期的に自宅へ届けてくれる食材宅配。 食材宅配は健康で質の良い食生活を送りたい、子供に安全なご飯を食べさせたい、料理を簡単に作りたいなど様々なニーズに対応しており、子育て世帯を中心に共働きや一人暮らし、高齢者の方に人気急上昇中のサービスです。 本記事では、初めて食材宅配を利用する方に向けて食材宅配10社を比較して、当編集部のおすすめ人気ランキングを紹介します。食材宅配の選ぶコツや各社の徹底比較表も紹介しているのでぜひ選ぶときの参考にしてくださいね。 食材宅配は軽減税率対象となるため、今まで通り消費税8％で購入できます！本記事で紹介するサービスも増税対象外なので、安心して購入してください。
ブロックのdo〜endは制御構造に、{}は式に - http://rubikitch.com/に移転しました
{ } と do end の違い - gan2 の Ruby 勉強日記 require 'benchmark' puts Benchmark::CAPTION puts Benchmark.measure { a = [1, 2, 3] a.replace [4, 5, 6] } このように { } を使うのは OK なのに { } を do end に変えると require 'benchmark' puts Benchmark::CAPTION puts Benchmark.measure do a = [1, 2, 3] a.replace [4, 5, 6] end `measure': no block given (LocalJumpError) ってエラーが出る。 そう、ふたつのブロック構文{}とdo〜endの優先順位の違い。 「puts Benchmark.measure
DoCoMo 2.0スペシャルサイトは終了いたしました。
フリーランスが単価交渉する方法を、STEP形式で解説しています。単価交渉に必要な材料やコツ、タイミングなども紹介しているので、ぜひ参考にしてくださいね。
Gmail の携帯絵文字対応が強化されました(3)
メディア関係者向けお問い合わせ先 メールでのお問い合わせ: pr-jp@google.com メディア関係者以外からのお問い合わせにはお答えいたしかねます。 その他すべてのお問い合わせにつきましては、ヘルプセンターをご覧ください。
GAP-2.6 (windows binary) | GIMP Plugin Registry
The registry is dead! Long live the registry! Yes, for years users could download content to extend GIMP in various ways (plugins, scripts, brushes, etc.) from registry.gimp.org. The problem is that the entire site was hosted on a very old installation of Drupal and there was nobody who was willing to step up and take ownership (including upgrading and maintaining the site long term). This was not
GAP-2.6 (windows binary) | GIMP Plugin Registry
The registry is dead! Long live the registry! Yes, for years users could download content to extend GIMP in various ways (plugins, scripts, brushes, etc.) from registry.gimp.org. The problem is that the entire site was hosted on a very old installation of Drupal and there was nobody who was willing to step up and take ownership (including upgrading and maintaining the site long term). This was not
SRFI に getenv を提案しようその1 - higepon blog
R6RSは実用的な仕様がたくさん入っていて良いのですが getenv がなくて CGI プログラムが書けません。と文句を言うだけではもったいないのでSRFI(Scheme Requests for Implementation)に仕様を提案しようと決意。 shiroさんにアドバイス頂き 既存の実装を調査（Scheme/getenv/調査） セマンティクスは Java を参考に 書いてみました。 いやあ難しい。ダメ出しつっこみをよろしくお願いします。 title Gets the value of the specified environment variable. author Taro Minowa（Higepon） Abstract This SRFI specifies the procedure getenv, gets the value of the specified en
はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Microsoft: keep your sticky mitts off our language runtime
http://walkingwithelephants.blogspot.com/2008/06/no-longer-quiet-red-hat-and-patent.html
You are being redirected...
http://clojure.blip.tv/file/982823
Reddit - Dive into anything
Invigorating GNOME | Jono Bacon
Catalyst::Model::Xapian
Search-Xapian-1.2.25.5 - Perl XS frontend to the Xapian C++ search library. - metacpan.org
A Tour of Scala: Lower Type Bounds | The Scala Programming Language
A Tour of Scala: Upper Type Bounds | The Scala Programming Language
Abstract Type Members
A Tour of Scala: Variances | The Scala Programming Language
azito.com
Reddit - Dive into anything
ヒビルテ(2008-05-10)
2008 ICFP Programming Contest | Lambda the Ultimate
http://www.news.harvard.edu/gazette/2008/06.05/01-honorands.html
Syntax proposal for multi-methods
Reuse good -- Abstractions better! (secretGeek.net)
Reddit - Dive into anything
The Scala Center • Georgetown MA 01833 - The Scala Center
EmacsWiki: Viper Mode
dbus reconnection
ぷらっとホームの本多のオヤジさんが逝去 | スラド
May Lisp meeting recaps, June Lisp meeting schedule
http://dontstopmusic.no-ip.org/diary/20080611.html
Ready for Lift Off
Rails 2.1 Book Translation
MooHub
はてなブログ | 無料ブログを作成しよう