Facebook libraのMove言語でスマートコントラクトを書いてみる｜Fintertech株式会社
こんにちは。Fintertechストラテジーグループの恩田です。 自己紹介以前はSIerでネットワークエンジニアとして証券系システムの設計、構築を担当していました。2018/10よりFintertechに入社し、新規事業の企画とエンジニアしてます。以前はインフラばかりでしたが、最近はフロントエンドも頑張ってます。 個人プロジェクトでは、自然言語処理や確率的データ構造、バイナリフォーマット（Protocol Buffersなど）をいじったりしています。主にGolangを書いていますが、ここ1～2年くらいはRustもやってます。最近はMonkey言語のRust実装を書いているので、libraの実装も読みやすかったです。 はじめに先日、川浪がlibraに関する記事を投稿しました。 libraでは、Moveという言語でスマートコントラクトを実装します。本記事の執筆時点ではstableではなく、Mo
Infer : RacerD | Infer
RacerD finds data races in your Java code. This page gives a more in-depth explanation of how the analysis works, but may be less complete than the Thread Safety Violation bug description page. To run the analysis, you can use plain infer (to run RacerD along with other analyses that are run by default) or infer --racerd-only (to run only RacerD). For example, the command infer --racerd-only -- ja
Zstandard - Real-time data compression algorithm
Zstandard is a fast compression algorithm, providing high compression ratios. It also offers a special mode for small data, called dictionary compression. The reference library offers a very wide range of speed / compression trade-off, and is backed by an extremely fast decoder (see benchmarks below). Zstandard library is provided as open source software using a BSD license. Its format is stable a
Facebook is writing a Mercurial server in Rust. This is not a drill
Facebook is writing a Mercurial server in Rust. This is not a drill Between Git and Mercurial, the two most popular distributed version control systems in use today for managing software development, Git gets most of the attention. Git was created by Linus Torvalds, which gives it a pedigree. And it has benefited from the popularity of commercial services built around the technology, like GitHub.
【退職ブログ】Facebook（Oculus)社を退職しました
この記事は Oculus Rift Advent Calendar 2016 22日目の投稿です。 もともとアドベントカレンダーには「VRにおけるキャラクタープレゼンス 〜Mikulusの未来〜」という内容で書く予定でしたが、西田宗千佳さんという昔から尊敬するライターさんが取材してくださり記事にして電ファミニコゲーマーというこれまた神のようなメディアに超長文で書いてくれるそうなので、今回は割愛することにしました。キャラクタープレゼンスについては、以前書いた VRにおけるプレゼンスの維持と破壊 を御覧ください。 以上、おわり。 ・ ・ ・ ・ では無くて、本日でOculus VR社(Facebook Japan株式会社)の最終出社日となるのでいわゆる退職ブログを書こうと思います。 Facebookといえば世界でも時価総額が4位くらいの会社でして、福利厚生は神レベルに凄いです。 ・別にタイムカ
Python in production engineering
Python aficionados are often surprised to learn that Python has long been the language most commonly used by production engineers at Facebook and is the third most popular language at Facebook, behind Hack (our in-house dialect of PHP) and C++. Our engineers build and maintain thousands of Python libraries and binaries deployed across our entire infrastructure. Every day, dozens of Facebook engine
Hello from Redex | Redex
OptimizingRedex provides a framework for reading, writing, and analyzing .dex files, and a set of optimization passes that use this framework to improve the bytecode. An APK optimized by Redex should be smaller and faster. FastFewer bytes also means faster download times, faster install times, and lower data usage for cell users. Lastly, less bytecode also typically translates into faster runtime
GitHub - facebook/wdt: Warp speed Data Transfer (WDT) is an embeddedable library (and command line tool) aiming to transfer data between 2 systems as fast as possible over multiple TCP paths.
Goal: Lowest possible total transfer time - to be only hardware limited (disc or network bandwidth not latency) and as efficient as possible (low CPU/memory/resources utilization) We keep dependencies minimal in order to maximize portability and ensure a small binary size. As a bonus, this also minimizes compile time. We aren't using exceptions for performance reasons and because using exceptions
Under the Hood: Building and open-sourcing flint
Lint programs are an odd class of program verifiers, and for a while I wasn’t convinced they were something I should focus on building out for Facebook. I don’t like the style police on my back, and false error warnings can trip up an entire task. There’s a lot of good, however, about a verifier that mechanically looks for issues that are not traditionally monitored by the compilers and that would
Watchman - A file watching service | Watchman
WatchmanA file watching service Watches files and records, or triggers actions, when they change. Watchman exists to watch files and record when they change. It can also trigger actions (such as rebuilding assets) when matching files change. ConceptsWatchman can recursively watch one or more directory trees (we call them roots).Watchman does not follow symlinks. It knows they exist, but they show
Scaling Mercurial at Facebook
With thousands of commits a week across hundreds of thousands of files, Facebook’s main source repository is enormous–many times larger than even the Linux kernel, which checked in at 17 million lines of code and 44,000 files in 2013. Given our size and complexity—and Facebook’s practice of shipping code twice a day–improving our source control is one way we help our engineers move fast. Choosing
Facebook: グローバル市場を見据えたAndroidのパフォーマンス改善 - ワザノバ | wazanova
https://www.youtube.com/watch?v=GHTO2WKDO6I#t=2h 1 comment | 1 point | by WazanovaNews ■ comment by Jshiike | 約1時間前 FacebookチームのAndroidアプリは、背景にグローバル市場でのAndroid利用者数の急増、それに伴う新興国ユーザの増加（当然そこのユーザをもっとFacebookに囲い込みたいという思惑あり。）という事情を反映して、端末バラエティ / ネットワーク接続環境のフラグメンテーションにしっかり対応して、パフォーマンス改善を重視していこうという方向性にあるようです。 1) 新興市場の理解 by Chris Marra FacebookにアクセスするAndroidデバイスは、10,000モデル。 世界中の新興国を訪問して市場調査した結果、ローエンド端末 / 中
Facebook の Mercurial に対する本気度まとめ - 彷徨えるフジワラ
Facebook のエンジニアブログで "Scaling Mercurial at Facebook" と題するエントリが 2014-01-07 に公開され、大きな注目を集めました。 また、このブログエントリについて解説した InfoQ の記事 "Facebook makes Mercurial faster than Git" や、その翻訳 "Facebook、MercurialをGitよりも速くする" も、多くの人がリツイートするなどして話題にしています。 このエントリでは、上記の記事では触れていない、Facebook の Mercurial への本気具合について、まとめてみました。 人的関与 Facebook は Mercurial の主要開発者を何人も雇用しています。最も顕著な例が、Mercurial プロジェクトのリーダーである Matt Mackall 氏その人の雇用でしょうか
A fast build tool
Use Buck2This project is no longer actively maintained. Please see https://buck2.build for the build system that replaces it. Old content continues below for historical purposes. Buck is a build system developed and used by Facebook. It encourages the creation of small, reusable modules consisting of code and resources, and supports a variety of languages on many platforms. Why Buck?Buck can help
フェイスブックは人を不幸にする！ - 山形浩生の「経済のトリセツ」
フェイスブック 若き天才の野望 (5億人をつなぐソーシャルネットワークはこう生まれた) 作者: デビッド・カークパトリック,小林弘人解説,滑川海彦,高橋信夫出版社/メーカー: 日経BP社発売日: 2011/01/13メディア: ペーパーバック購入: 33人 クリック: 2,842回この商品を含むブログ (240件) を見る Get A Life!! Facebook is Bad for You (2013/8/17号 p.68) フェイスブック参加の誘惑に抵抗し続けてきた人々は、最新の研究成果を読んだら勝ち誇ることだろう。ちょうど「Public Librarry of Science (科学の公共図書館)」誌に発表された、ミシガン大イーサン・クロス＆ベルギーのルーヴァン大フィリッペ・フェルデュンが実施した研究によれば、人はフェイスブックを使えば使うほど、人生に対する満足度が下がるとのこと
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - facebookarchive/codemod: Codemod is a tool/library to assist you with large-scale codebase refactors that can be partially automated but still require human oversight and occasional intervention. Codemod was developed at Facebook and released as
堅牢で強力なFeatureをC++11で実現するFacebook Folly Feature
FacebookのMomentsアプリがクロスプラットフォーム開発をC++で実現
Osquery
libPhenom