新しいセキュリティモデル「Capsicum (キャプシカム)」を知る
Capsicum is a lightweight OS capability and sandbox framework. UNIXやWindowsの基本的なセキュリティモデルはDAC(Discretionary Access Control, 任意アクセス制御)かMAC(Mandatory Access Control, 強制アクセス制御)に分類できる。DACは自分でアクセス権限を設定することができるもので、自分をほかのユーザからプロテクトする用途に向いている。DACは管理者がアクセス権限を設定しユーザは変更できない。強力なアクセス制御をしたい場合に向いている。 DACとMACはファイルやプロセス単位での制御になっているため、プロセスの中でいくつもの異なる処理をするようなケースにおけるアクセス制御には向いていない。たとえば古いFirefoxのようにすべての処理を単一プロセスでこなしてい
masatoi’s blog
Lisp Advent Calendar 2018参加記事 去る2018年12月10日に港区芝はポケットチェンジにてShibuya.lisp運営で集まって今年の振り返りと来年の活動方針について相談したのでまとめます。 今年やったこと、達成できたこと がんばらない これは昨年1月に「Shibuya.lispの今後を考える会」で前運営からの引き継ぎにあたって基本方針として出てきたものなんですが、月例のLispmeetupはあくまで場を提供し続けることが重要であって、運営の負担は極力少なくして、とにかく続けられるようにしようというものがありました。 その辺の方針については以下の記事に詳しく触れられています。 4年間続いたShibuya.lispのLispMeetUp なぜShibuya.lispは成功し続けているのか ここにも書かれていますが、会場を安定的に確保できたことは定期開催する上で非常に
モナドって結局何なのよ? — join to Monad v0.1 documentation
モナドって結局何なのよ?¶ Haskell を勉強しようとすると必ず「モナド」ってのが出てきます。困ったものです。数学とか圏論とか関係があるらしくって、何が書いてあるんだか分からなくって嫌になってしまいます。でもね、Haskell って凄いらしいじゃないですか、格好良いらしいじゃないですか。ここはちょっとがんばって色々考えてみましょう。 そもそも Haskell って何なのよ?¶ 何なんでしょうね、Haskell って。コンピュータ言語らしいんです、あ、それは分かってると。良く挙げられる性質は次な感じ?: 関数型言語 強い型付け 遅延評価 参照透過 ここでちょっと型に関して見てみましょう。試しに Haskell の実装の 1 つである Hugs で 1 について考えてみます: $ hugs __ __ __ __ ____ ___ _____________________________
Lisp hacks
Some small programs in Lisp Conduit packages Collecting lists forwards Memoizing functions Applicative iteration HTML generation Abstract classes Singleton classes Maintaining dynamic state Read-time packages Hierachical packages Defaulting optional arguments for generic functions Conduits The `conduits' system tries to generalise the CL package system to allow for more flexible construction of pa
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Redirecting
形式手法の活用ガイドの最終版を公開、東証のシステムでの実証実験結果を反映
Hadoop＋Hive検証環境を構築してみる
