The Rust Programming Language
A language empowering everyone to build reliable and efficient software. Performance Rust is blazingly fast and memory-efficient: with no runtime or garbage collector, it can power performance-critical services, run on embedded devices, and easily integrate with other languages. Reliability Rust’s rich type system and ownership model guarantee memory-safety and thread-safety — enabling you to elim
C-- - Wikipedia
C-- (pronounced C minus minus) is a C-like programming language, designed to be generated mainly by compilers for high-level languages rather than written by human programmers. It was created by functional programming researchers Simon Peyton Jones and Norman Ramsey. Unlike many other intermediate languages, it is represented in plain ASCII text, not bytecode or another binary format.[1][2] There
Welcome to C--
Pada dunia teknologi yang terus berkembang, kabar terbaru mengenai peluncuran Windows 12 telah menjadi sorotan banyak pengguna komputer. Seiring dengan berbagai rumor dan spekulasi, banyak yang penasaran apakah Windows 12 benar-benar akan hadir pada tahun 2024. Mari kita telusuri bocoran fitur dan spesifikasi minimum yang mungkin akan dihadirkan oleh sistem operasi terbaru dari Microsoft ini…. Win
CAPの解決策（Brewerが間違っているって証明しよう） - winplusの日記
ついでにもうひとつ、AtomikosのCTOであるGuy Pardon氏のブログから。こちらも誤訳もいっぱいあると思うが、参考までに公開しておく。 Guy's Blog Sunday, September 07, 2008 CAPの解決策（Brewerが間違っているって証明しよう） コンピューターサイエンスの最新の挑戦のうちのひとつは、CAP定理だろう。それは、大規模でクラスタ化された（ウェブ）サービスのアーキテクチャを構築するにあたって、明らかに不可能なことについて述べている。それが（おそらく）真実だと証明されたという事実があるので、私がここで書くつもりことは、ほとんどありえないことになってしまう。そうだしても、読んでほしい。というのも、私が正しくて、最終的にはCAPが不可能でないことを証明するつもりなのだから...。CAPの不可能性の証明は数学的には正しいけれど、それはあまりに厳しすぎ
x76789の研究メモ
Learning to Order BDD Variables in Verification Orna Grumberg Shlomi Livne Shaul Markovitch Computer Science Department Technion - Israel Institute of Technology Haifa 32000, Israel Abstract The size and complexity of software and hardware systems have significantly increased in the past years. As a result, it is harder to guarantee their correct behavior. One of the most successful methods for au
なぜApache HBaseを選ぶのか？ #cwt2013
1. DO NOT USE PUBLICLY PRIOR TO 10/23/12 なぜApache HBaseを選ぶのか? Headline Goes Here Jonathan Hsieh | @jmhsieh Speaker Name or Subhead Goes Here SoHware Engineer at Cloudera | HBase PMC Member November 7th, 2013, Cloudera World Japan 2013 2. 自己紹介 • Cloudera: • ソフトウェアエンジニア • Tech Lead HBase Team • Apache HBase commiRer / PMC • Apache Flume founder / PMC • ワシントン大学: • 分散システムの研究 2 11/7/13 Cloudera
The seL4 microkernel | TS | Data61
The seL4 microkernel seL4, the secure embedded L4 microkernel, is a key element of our research program. We developed seL4 to provide a reliable, secure, fast and verified foundation for building trustworthy systems. seL4 enforces security within componentised system architectures by ensuring isolation between trusted and untrusted system components, and by carefully controlling software access to
List of model checking tools - Wikipedia
This article lists model checking tools and gives an overview of the functionality of each. The following table includes model checkers that have a web site from which it can be downloaded, a declared license, a description published in archived literature, and a Wikipedia article describing it. In the below table, the following abbreviations are used: Equivalences: SB: Strong Bisimulation WB: Wea
Ansible チュートリアル | Ansible Tutorial in Japanese
Ansible Tutorial July Tech Festa にて開催されたハンズオンの資料が公開されていたことに刺激され、Chef の代わりに Ansible を使う資料を作りました。 Ansible を使って WordPress サーバーのセットアップを行い、ServerSpec でテストを行います。 まだ Ansible を試し始めたばかりで自分の勉強がてら書いています。 Puppet にも Chef にも乗り遅れたので Ansible に飛び乗ってみようかと。 GitHub Repository Ansible Tutorial Wiki 2013年08月13日 一段落 コピペで動かないところを全体的に修正しました。今後は 詳細ページ Wiki を充実させていきます 2013年09月09日 role についての追記しました 2013年12月22日 リニューアル Ansible
Spark Internals - Hadoop Source Code Reading #16 in Japan
Apache Spark Introduction and Resilient Distributed Dataset basics and deep diveSachin Aggarwal
GREE Tech Talk #05 : 並行/並列プログラミング
About GREE Tech Talk第5回目のテーマは「並行/並列プログラミング」です。 今回は、並行、並列、分散プログラミングがテーマになっている「プログラミングの魔導書 Vol.3」の著者の方々をお招きし、みなさまと一緒に「並行/並列プログラミング」について考えてみたいと思います。 Date 2014年5月14日(水) 開場：18:30、終了：22:00 Venue 東京都港区六本木6-10-1 六本木ヒルズ森タワー グリー株式会社 Schedule 18:30 開場 18:55 開会 19:00 【基調講演】ここから始める並行プログラミング [slide] 高橋 晶（株式会社ロングゲート） 19:25 魔導書に書いていない、エラーハンドリング周りや、go/nodeの比較について(仮) 幾田 雅仁（株式会社 gumi） 19:50 20分間の休憩 20:10 STMの設計と進化 [
Vagrant基本コマンド - Qiita
Box追加 terminal Command $ vagrant box add precise32 \ http://files.vagrantup.com/precise32.box 名前：precise32 追加元：http://files.vagrantup.com/precise32.box box list http://www.vagrantbox.es/ Box list表示 terminal Command $ vagrant box list 初期化 terminal Command $ vagrant init sshログイン terminal Command $ vagrant ssh 仮想マシン起動 terminal Command $ vagrant up 仮想マシン停止 terminal Command $ vagrant halt 仮想マシン再起動 term
Let Spark Fly: Advantages and Use Cases for Spark on Hadoop
2. © 2014 MapR Technologies 2 About MapR and Databricks • Project leads for Spark, formerly with UC Berkeley’s AMPLab • Founded in June 2013 and backed by Andreessen Horowitz • Strong Engineering focus * Forrester Wave Big Data Hadoop Solutions, Q1 2014 • Top Ranked distribution for Hadoop* • Hundreds of deployments – 17 of Fortune 100 – Largest deployment in FSI (1000+ nodes) • Strong focus on ma
Cabal の dep hell 解消プロジェクト
Haskell で使われているパッケージ管理システムは Cabal といいます。Haskell のライブラリは小さく、更新が速いので、依存関係地獄(dep hell)が発生しやすいです。これは Haskell に限った問題ではありませんが、Haskell では表面化しやすいということです。これを解決するプロジェクトの話。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
C-- Home
Fluentd meetup in japan
http://events.linuxfoundation.org/sites/events/files/slides/ApacheCon16x9.pdf
GitHub - jameysharp/lotos: Tools for the LOTOS process calculus
Tutorials for CADP, LNT, and LOTOS
Spark SQL: Manipulating Structured Data Using Apache Spark
