Apache Pulsar | Apache Pulsar
Pulsar is proven at scale by hundreds of companies of different sizes, serving millions of messages per second. See case studies What is PulsarApache Pulsar is an all-in-one messaging and streaming platform. Messages can be consumed and acknowledged individually or consumed as streams with less than 10ms of latency. Its layered architecture allows rapid scaling across hundreds of nodes, without da
24b
ヤフー株式会社は、2023年10月1日にLINEヤフー株式会社になりました。LINEヤフー株式会社のコーポレートサイトはこちらです。 当ページに記載されている情報は、2023年9月30日時点の情報です。 ヤフー株式会社（以下、ヤフー）の米国現地法人Actapio, Inc.（以下、Actapio）は、クラウドインフラ領域のコンテナ自動制御技術Kubernetesの導入支援などを行う米テクノロジー企業Heptioと協力し、OpenStackとKubernetesをまたぐクラウドインフラを統合制御するソフトウェア「Gimbal（ジンバル）」を共同で開発し、4月23日よりオープンソースソフトウェア（以下、OSS）としてGitHub上に公開しました。 https://github.com/heptio/gimbal （外部サイト） 「Gimbal」は、OpenStackで構築されたインフラとKub
SAT/SMTソルバを自作してみる話 - るくすの日記 ~ Out_Of_Range ~
この記事は Kobe University Advent Calendar 2017 - Adventar 17日目の記事です。 1年ぐらい前にC3というSMTソルバをC言語でスクラッチから作ったので、その話でもします。 よりによってなぜSMTソルバをCで書いたかというと、若気の至りでハイパーバイザに組み込んだりして遊んでたからです。 ゲストシステムの検証をランタイムにしてくれる超軽量なハイパーバイザあったらカッコイイじゃないですか。 という割と適当な理由で作ったんですが、労力に対する成果があまりにも見合わなさすぎて、今はアプローチを変えています。 そういうわけで過去の遺物から生まれたC言語製SMTソルバC3なのですが、このままお蔵入りさせるのも何なのでコードの解説とかSMTソルバがどうやって動いてるのかみたいな話をしてみます。 あ あと、私は一介の情報系学生で論理学徒ではないので、ところ
【ヨシムラヒストリー01】不運な事故でパイロットの夢を絶たれ、史上最年少の航空機関士となりエンジニアに 特集記事＆最新情報 - モトRIDE
吉村秀雄は1922年10月7日、九州・福岡の雑餉隈（ざっしょのくま）で生まれた。父は木工所を営んでいて、発明家でもあった。吉村家は5人の子どもを授かり、秀雄はその真ん中だった。国民学校初等科（小学校）の頃、秀雄は飛行機乗りに憧れた。ただ、それは漠然とした夢であって、もう少し具体的な目標は野球の強い中学校へ進学し、甲子園を目指すことだった。秀雄は優秀なサウスポーピッチャーだったが、吉村家の経済状態では、有名中学校へ進学するのが難しく、秀雄はそのまま国民学校高等科（義務教育の2年生。現在の中学校2年まで）に進んだ。 野球の他に打ち込めることは何か？ そんなとき、飛行記録に挑戦中のフランスの飛行機が県境に墜落した。自宅から20kmぐらいあったが、秀雄は現場の近くまで行った。日本も含めて世界は航空機の進化を競っていた頃だった。 「やっぱりコレだ、飛行機乗りになる」 1937年（昭和12年）秀雄は海
【翻訳】「シリコンバレーから生まれた最高の文書」と絶賛されたNetflixのカルチャーガイド全文 - BppLOG
Netflixの企業文化や社員の行動規範を定めたカルチャーガイドが公開されており、FacebookのCOOのシェリル・サンドバーグが「シリコンバレーから生まれた最高の文書」と評価しています。 そのカルチャーガイドはもともと2009年にスライドとして公開され、最新版はNetflixの採用ページ上に掲載されています。今回は許可を得て翻訳することにしました。 Netflix Culture (原文) (目次) 本物の価値観 判断力 コミュニケーション 好奇心 勇気 情熱 無私無欲 イノベーション 一体性 誠実 影響力 ドリームチーム 自由と責任 情報に通じたキャプテン 統制ではなく前後関係 高度に整列し、緩く結合する 卓越性を探し求める まとめ 最後に エンターテインメントは、友情のように、人間が基本的に必要としているものです。エンターテインメントは私たちの感じ方を変え、私たちに共通点をもたらし
Kata Containers - Open Source Container Runtime Software
Kata Containers is an open source container runtime, building lightweight virtual machines that seamlessly plug into the containers ecosystem. #About Kata ContainersKata Containers is an open source community working to build a secure container runtime with lightweight virtual machines that feel and perform like containers, but provide stronger workload isolation using hardware virtualization tech
Open-sourcing gVisor, a sandboxed container runtime | Google Cloud Blog
Open-sourcing gVisor, a sandboxed container runtime Containers have revolutionized how we develop, package, and deploy applications. However, the system surface exposed to containers is broad enough that many security experts don't recommend them for running untrusted or potentially malicious applications. A growing desire to run more heterogenous and less trusted workloads has created a new inter
論文ナビ-論文紹介・解説記事 投稿プラットフォーム
正露丸が寄生虫アニサキスを殺す：世界初の特効薬なるか？ オリジナル論文のタイトル：木クレオソートを含む市販薬（正露丸）がアニサキス幼虫を殺す アニサキス幼虫は、... 23,910ビュー | 投稿者: 松岡達臣 | カテゴリ: 著者解説 論文リバイス時のResponse Letterを書くときに重要なポイントまとめ 計算生物学のジャーナルPloS Computational Biologyには10 Simple Rules... 17,872ビュー | 投稿者: Jo Nakashima | カテゴリ: ナレッジ 空中で指を動かすと文字を思い出せる謎：空書行動の実験心理学的検討 【一言で言うと】 空書しているときには，動かしている指を見ていないと意味がないよ。 【... 12,225ビュー | 投稿者: itaguchi y | カテゴリ: 著者解説 統合失調症傾向は，自己運動ではなく他者
南インド料理なら避けては通れない！インドの豆について
さて、豆です。 このタイトルで、「おお！」と思った方はそのまま読み進めてください。あなたはとても良い趣味ですね。 「豆かあ……」という方は、拾い読みで構いませんので、読んでみてください。 このコラムでは、豆が南インド料理でどのように使われているかを、代表的な豆を紹介しながら、述べていきます。 こんな豆があるんだなあ、と軽く読んでいただければ良いかと思います。 まずは、なぜ、豆を使うのか、から始めます。 豆はうまい！肉ほどじゃないけどうまい！ 豆のカレーは、日本ではあまり馴染みがありません。おそらくは、肉類を忌避する文化があまりなく、魚や肉のうまみの前では、豆の味はパンチに欠けるからだと思います。豆のカレーと、カツカレーなら、それはカツカレーの方が「うまい」と思います。 けれど豆もちゃんと、「うまい」のです。醤油や味噌、豆腐に油揚げ、または呉汁を例として挙げれば良いでしょうか。 インドは文化
NGINX Unit - Universal Web App Server | NGINX
Analytics cookies are off for visitors from the UK or EEA unless they click Accept or submit a form on nginx.com. They’re on by default for everybody else. Follow the instructions here to deactivate analytics cookies. This deactivation will work even if you later click Accept or submit a form. Check this box so we and our advertising and social media partners can use cookies on nginx.com to better
ヤフー川邊健太郎氏が教える「大企業の倒し方」 ベンチャー企業が取るべき3つの戦略を説く - ログミー[o_O]
ベンチャー企業は大企業を倒せるのか？ 川邊健太郎氏（以下、川邊）：ヤフーの川邊でございます。今までの登壇者の中で唯一襟付きの服を、ちゃんと着ております。まともです。 （会場笑） 今日はIVSでベンチャー経営者のみなさんに何か話をしてくれ、ということですので、こういったタイトルで話をさせていただきます。「ベンチャー企業は大企業を倒せるのか」。結論から言うと、私は倒せると思います。その話をさせていただきます。「川邊健太郎なんだから、自己紹介なんて必要ないだろう」と思ってたんですけれども。 （会場笑） IVSの小野さんに事前に資料を見せたところ、「川邊さん、若い経営者がけっこう来るので、自己紹介とかしてくれませんかね？」と、婉曲に知られてないということを教えていただきましたので、一応自己紹介をさせていただきます。 インターネット黎明期の1995年、大学3年生だったんですけれども、「電脳隊」という
![ヤフー川邊健太郎氏が教える「大企業の倒し方」 ベンチャー企業が取るべき3つの戦略を説く - ログミー[o_O]](https://cdn-ak-scissors.b.st-hatena.com/image/square/552a5a21af90411942b71af7a73681c85ae2ab66/height=288;version=1;width=512/https%3A%2F%2Fimg.logmi.jp%2Fwp-content%2Fuploads%2F2017%2F12%2FIMG_9378.jpg)
RundeckのJobをGitで管理できると聞いて
RundeckのジョブがGitで管理できるようになったということで使ってみました。 実際やってみたらわりとだるかったので手順をまとめておこうと思います。 Rundeck自体の使い方は こちら 。 使うRundeckのバージョンは 2.8.2-1 です。 バージョンによってバグがあったりなかったりするかもしれないので注意してください。 また、人によってはいらない手順もあるはずなので各自読み飛ばしてください。 Rundeck側の設定1この記事はDockerでRundeckを導入する記事の延長です。 そんなスケジューラで大丈夫か？ Rundeck超入門(基礎編)https://note.crohaco.net/2015/rundeck-basic/ 環境は同じものを使用しているので、同じものを使いたい人は参照してください。 Rundeckにログインしてプロジェクトがすでにあるという状態から始めま
「悪い方が良い」原則と僕の体験談｜Rui Ueyama
ソフトウェアの世界には「悪い方が良い」原則という有名なエッセイがある。キレイにレイヤ分けされた一貫性のある良いデザインよりも、一見手抜きの悪いデザインのほうが実は良いときもあるという話だ。この逆説的なデザイン原則を僕は身をもって体験したことがある。それについてちょっと書いてみようと思う。 僕はlldというリンカの現行バージョンのオリジナル作者だ。リンカというのはコンパイラと組み合わせて使うもので、実行ファイルやDLLを作るのに使用される。lldはプロダクトとしてはかなり成功していて、標準のシステムリンカとして採用しているOSがいくつかあったり、GoogleやFacebookなど皆が知っているような大規模サイトの中で広く使われていたりする。 現在のlldは2世代目で、第1世代のlldは僕がプロジェクトに参加する前から存在していたのだけど、数年前にそれを捨てて一から書き直すということになった。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - google/gvisor: Application Kernel for Containers
TechCrunch | Startup and Technology News
CMAF と CMAFを使用した低遅延 Live 配信の実現 | Akamai Japan Blog
http://arxiv.org/pdf/1709.06416
ipapi - IP Address Lookup and Geolocation API | No SignUp
CSV Dialect | Data Package (v1)
幻の科学技術立国：第１部 「改革」の果てに／１ 得意の材料分野で周回遅れ 衰退の現場を歩く | 毎日新聞
