Rustで書いた自作OSをRaspberry Pi Zeroで動かす - Qiita
この記事は"Aizu Advent Calendar 2015"25日目として書かれた. はじめに ファイナルベント担当のもぷりです. 今年のAizu Advent Calendarも自作OSについて書いていこうと思います. ゆっくり書いていたらIntroductionがだいぶ長くなってしまったので読み飛ばしてもらっても全然問題ありません. 今までの自作OS ソースコードはすべてgithubに公開してある. mopp/Axel 今までは全て、C言語とアセンブラ(nasm)を使って開発を行ってきた. 対象アーキテクチャはx86_32のみで、不完全なものも含むが、物理/仮想メモリ管理、割り込み、ユーザプロセス、システムコール、ATAデバイスの読み書き、FATファイルシステム対応などなど はりぼてOSにならって、こんな感じの画面をつけたりもした. (こんなところで書くのも何だけれども、OS自作本
Haskellで書かれたおもしろいFizzBuzz ― Haskellで読めないコードに遭遇した時に解読する方法を徹底解説！ - プログラムモグモグ
Haskellには抽象的な高階関数や演算子がいくつもあり、たまにそれらを巧妙に用いたコードがでてきて感心することがあります。 他の人が書いたHaskellのコードを読んでいると、なかなか面白いものと遭遇したりします。 巧妙に書かれたコードを解読していくと、実は型クラスのinstanceをうまく組み合わせて使っていて、とてもよい教材になることがあります。 実際にアプリケーションコードを書いていてここまで技巧的なコードを書くわけではありません。しかし、こういうコードを読み解くのは型クラスのいい練習になりますし、それまで知らなかったinstanceと遭遇したりしたときは、とても勉強になるのです。 このエントリーでは、とても技巧的なFizzBuzzを紹介し、それを読み解いていく方法を紹介します。 Haskellの初心者向けに、どういうふうに関数や型を調べて言ったらいいかを丁寧に書いています。 Ha
Scalaで書くFreer Monads, More Extensible Effects - Qiita
sealed trait Freer[F[_], A] { def map[B](f: A => B): Freer[F, B] = flatMap(a => Pure(f(a))) def flatMap[B](f: A => Freer[F, B]): Freer[F, B] = this match { case Pure(a) => f(a) case Impure(fa, g) => Impure(fa, (a: Any) => g(a).flatMap(f)) } } case class Pure[F[_], A](a: A) extends Freer[F, A] case class Impure[F[_], A, B](fa: F[A], f: A => Freer[F, B]) extends Freer[F, B]
NGK2015B で AWS + Alloy について話してきました - チェシャ猫の消滅定理
先日、毎年恒例のなごや LT 大会 NGK2015B / 名古屋合同懇親会 2015 忘年会 で発表してきました。 AWS は形式手法の夢を見るか？ - モデル検査器 Alloy によるインフラ設計 from y_taka_23 www.slideshare.net 当日の動画は [3] NGK2015B（名古屋合同懇親会 2015 忘年会） - YouTube から見ることができます。 TL;DR AWS でインフラ運用中 でも設定が大人の都合でカオスになりがちだったりして辛い よろしい、ならば形式手法だ サンプルコードを動かしてみよう！ まずはインストールしてみる 公式ページ Alloy - download から、jar ファイルで提供されているものをダウンロードしましょう。 java -jar alloy4.2.jar でウィンドウが起動すれば OK です。 なお、dmg 版も提供
財布の小銭最少化問題の極北〜694円の会計に1245円出す人〜
Hetare_takumu @Hetare_Takumu 店員「694円です」 財布を確認 100円x4 10円x4 5円x1 1円x3 1045円か…いや…まだ攻めれる！！ 僕「1245円で」 店員「！？ 1245円お預かりします」 まさか外したか…攻めすぎたか…? 店員「551円のお返しです」 勝った！！！うおおお！！
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://mojobojo.com/posts/2015-12-26-haskell-game-server-part-1.html
