稼働中の Elixir/Erlang アプリケーションをお手軽デバッグトレースできる erlyberly が超便利!ErlangdebugElixir erlyberly って何? erlyberly は、Erlang の他、Elixir, LFE (Lisp Flavoured Erlang - Elang VM 上で動作する Lisp) といった Erlang 系言語向けのデバッグトレースがビジュアルに出来る GUI ソフトウェア。Java で出来ているので JDK (8u20 以上が必要) が入っている環境であれば動作する。 百聞は一見に如かず、というわけで、まずはスクリーンショットから。 Erlang 系言語にはコマンドラインのデバッガは幾つかあるが、視覚的にデバッグ・トレースできるものは余り見当たらない。 豊富な機能 できることは GitHub の READ.md に貼られている
Meet the GitLab Web IDE Here's how we went from a proof of concept to a new feature that makes it even easier for everyone to edit inside of GitLab. GitLab has been doing much more for the application development workflow than just source code management and versioning for a while – now spanning everything from portfolio management to the entire DevOps lifecycle. Having everyone work from and be f
スケーラブルでデプロイを意識しない超自立型デプロイ June 15, 2018 @PHP Conference Fukuoka 2018 前夜祭 Reject conでお話しした資料です
アグレッシブ烈子(C)2015, 2018 SANRIO サンリオ/TBS・ファンワークス 先日投票を締め切った『2018年サンリオキャラクター大賞』。海外ランキングの中間発表にてアメリカ・ヨーロッパ各国で上位にランクインしている“アグレッシブ烈子”をご存知だろうか。2016年4月から2018年3月まで『王様のブランチ』(TBS系)内で放送されたショートアニメで知ったという方も多いかもしれない。4月からはNetflixにて新作アニメの配信がスタート。海外では“Aggretsuko”にタイトルを変え、世界デビューも果たしている。日本ではまだまだマイナーなアグレッシブ烈子がなぜ海外でここまで人気があるのか、サンリオ広報に聞いた。 日本は10位圏外、アメリカ・ヨーロッパ各国ではTOP3入賞という人気 Netflixオリジナルアニメを世界190カ国以上に配信 2015年秋に開催された『サンリオキャ
『社内を動かす力』から「組織の文化を理解する」を紹介します。 組織文化は、その会社や部署の人間が空気のように感じている、行動様式や思考のパターンを規定する価値観です。時間厳守か比較的緩めか、結果重視かプロセス重視か、年功にこだわるかこだわらないかなど、組織には必ず独自の文化、言い換えると「クセ」があるものです。社内で何かを始める際には、その価値観を守り、不用意に敵を作らないことが大切です。たとえば年功が重視される会社において、年上の人に対してぞんざいな物言いをしてしまっては、本来うまくいくはずだったプロジェクトもサポートを得ることができなくて頓挫しかねません。敵は極力少なくしつつ、味方を多く作ることが、大きな成果を得る上で必須であることを再確認したいものです。 (このシリーズは、グロービス経営大学院で教科書や副読本として使われている書籍から、ダイヤモンド社のご厚意により、厳選した項目を抜粋
この記事は Theorem Prover Advent Calendar 2014 の5日目の記事です。 昨日は notogawa さんの ブラウザ上でAgdaを試せるサイトを作ってみた でした。Try Agda、前に見せていただいたときよりかなり綺麗になっててビビりました。自分の ProveEverywhere はやるやる言いながら放置なので、ダメですね… さて、本題ですが、Coq には Extraction という、Coq のコードを別の言語に変換する機能があり、この機能によってコードを検証済みの部品として実際のプログラムに使えるようになっています。標準では OCaml, Haskell, Scheme への変換が可能になっています。 この記事では、Verlang という、Coq の Extraction 対象に Erlang のコア言語である Core Erlang を加えるパッチ
Using Intel.com Search You can easily search the entire Intel.com site in several ways. Brand Name: Core i9 Document Number: 123456 Code Name: Emerald Rapids Special Operators: “Ice Lake”, Ice AND Lake, Ice OR Lake, Ice* Quick Links You can also try the quick links below to see results for most popular searches. Product Information Support Drivers & Software
深圳で何度もお世話になっているElecrowが、Raspberry Piの学習キット「CrowPi」をKickstarterに出していて、そろそろ締め切りが迫ってきているので紹介します。 https://www.kickstarter.com/projects/elecrow/crowpi-lead-you-go-from-zero-to-hero-with-raspberr/ ArduinoにしろRaspiberry Piにしろ、電子工作をすると部品や配線がごちゃごちゃしがちですよね。何かオリジナルの工作をしているときはまだ仕方ないと思うのですが、それ以前に何かの部品の使い方を勉強したいときなどでもごちゃごちゃになってしまうのはちょっといただけないです。 また、使い方を調べるのも意外と大変で、以前参考にしていたウェブサイトがいつの間にかなくなっていたりすることもよくあります。 筆者も現物
Show me an idiom Looking for something? Search 300+ idioms
佐賀県の山口由美子さん(68)の顔や手などには今も痛み・しびれが残っているという。2000年5月、当時17歳の少年が佐賀~福岡間の高速バスで起こした「西鉄バスジャック事件」。山口さんは10箇所以上切りつけられ、約1カ月半入院する大けがをした。死者1人、負傷者2人のうちの一人だ。 しかし、山口さんは彼を一方的に責めることはしない。それどころか事件以降、少年院で自身の体験を語り、少年たちの立ち直りを後押しする活動を続けている。一体どうしてなのか。 成人年齢を18歳にする改正民法が国会で成立する前日の6月12日、衆議院第二議員会館で開かれた少年法の適用年齢引き下げを考えるシンポジウムでのこと。 「事件で唇を切られているので、言葉がはっきりしない部分があると思いますけど、よろしくお願いします」。 山口さんはそう切り出し、理由を語り始めた――。 ●「直感的に彼のつらさを感じた」 「少年が牛刀を振りか
海に投棄されたプラスチックごみによる環境汚染が問題になるなか、アメリカのハンバーガーチェーン最大手のマクドナルドは、イギリスとアイルランドの全店舗で来年の終わりまでにプラスチック製ストローの提供をやめるほか、アメリカなどでも年内に試験的に提供をやめる計画を発表しました。 また、およそ1万4000店舗を展開する最大市場のアメリカをはじめ、フランス、オーストラリアなどでも年内に一部の店舗で試験的にプラスチック製ストローの提供をやめ、ほかの材料のストローに切り替えるとしています。 さらにマレーシアでは顧客から要望があった場合のみ、ストローを提供するということです。 マクドナルドのプラスチック製ストローをめぐっては、先月開かれた株主総会で提供をやめるよう求める提案が株主から出されましたが、認められませんでした。 しかし、プラスチック製ストローは小さすぎてリサイクルがほとんど進まず、海洋汚染などにつ
他人のパソコンを無断で遠隔操作して仮想通貨を得ていたとして、宮城県警察本部は2人を書類送検しました。 書類送検されたのは、東京都新宿区の24歳のIT企業の会社役員ら2人です。 このうち会社役員は、仮想通貨の動きを監視することで仮想通貨を得られるソフトを、自分が運営するアダルトサイトに組み込み、ほかの人がそのサイトを見ている間にそのパソコンを遠隔操作で無断で使って不正に利益を得ていたということです。 また、もう1人はオンラインゲームを有利に進められるよう改ざんしたプログラムの中に、仮想通貨を得られるソフトを組み込み、そのプログラムを使った人のパソコンを遠隔操作して利益を得たということです。 警察によりますと、書類送検された2人は容疑を認めているということです。 警察がインターネット上を監視するサイバーパトロールで発覚し、14日、全国10県の警察で16人を書類送検したということです。 2人が不
ボクらの世代は「愛国心=危険思想」という教育を受けた。日の丸を付けた街宣車は危ない自動車、服に日の丸が付いているのは暴走族の象徴だった。 でも心のどこかで「自分の国を好きになるのがなぜ悪いことなのか?」という疑問符がくすぶっていた… https://t.co/Q3nhLFHrqT
始めはただSassをビルドしたかった... 困ったこと、やりたかったこと sassをビルドする記事はあるけど...compass?grunt?gulp?webpack? Windows/Mac/Linux でも動く環境を作りたい。 JavaScriptもビルドしたい。 一つのファイルにまとめたい。 JavaScriptもES6を書きたい。 SourceMapを出力したい。 ヘッダーやフッター、メニューなどの共通化したい。全部のファイルを修正したくない。 ファイルが変更されたら... SassやJavaScriptは自動でビルドしたい。 ブラウザもファイル変更を検知してリロードさせたい。 ブラウザのキャッシュが残らないようバージョニング対策したい。 クリーンなHTML/CSSを書きたい。 ブラウザ特有のベンダープレフィックスは自動で付与したい。 使っていないスタイルは除去したい。 本番用のフ
Nuxt.js on GAE Nuxt.jsは、Vue.js向けのSSR用フレームワークで日本語ドキュメントも充実しており、SSRしないページでも開発するのには十分な機能をもっているといえる便利なものです。 Nuxt.js - 日本語公式ドキュメント また、GAEとはGoogle App Engineの略で、一言で言うならば PaaSです。スタンダード環境、フレキシブル環境と呼ばれる2種類の環境があり、スタンダード環境は無料枠で利用ができます。 Node.js がスタンダード環境で利用可能に スタンダード環境では、Java,Python, PHP, Go のみ利用が可能でしたが2018年6月12日にNode.jsがサポートされました。 Google App Engineがスタンダード環境でNode.jsをサポート。パッチ適用は自動、カスタムドメインでのHTTPSも利用可能 つまり、今までは
https://gaeja.connpass.com/event/90133/
対象読者 JavaScriptとWeb開発の基礎に理解がある方 Reactに興味/関心があり、これから学び始める方 前提環境 筆者の検証環境は以下の通りです。 macOS High Sierra 10.13.3 Node.js v8.9.4/npm 5.6.0 React 16.3.1 redux 3.7.2 react-redux 5.0.7 redux-thunk 2.2.0 非同期処理とRedux 本格的なGUIアプリケーションを開発する上で、避けては通れないのが非同期処理です。非同期処理はネットワークやデータベースなどの時間がかかる処理を扱う場合によく用いられる手法で、GUIアプリケーションが外の世界にアクセスしようとする場合には、ほぼ必須となる概念です。 非同期処理についておさらい まずは、非同期処理について簡単におさらいしておきましょう。「非」同期的な処理であると言うからには、
Crystal 0.25.0 has been released! As every release, it includes numerous bugfixes, cool features and performance improvements - in 400 commits since 0.24.2 from 47 contributors. There needs to be a special mention to @MakeNowJust, @straight-shoota, @Sija and @bew for their hard work in this release. There were a ton of contributions merged in master even before 0.24.2 was released. But since 0.24.
ElasticNetCV# class sklearn.linear_model.ElasticNetCV(*, l1_ratio=0.5, eps=0.001, n_alphas=100, alphas=None, fit_intercept=True, precompute='auto', max_iter=1000, tol=0.0001, cv=None, copy_X=True, verbose=0, n_jobs=None, positive=False, random_state=None, selection='cyclic')[source]# Elastic Net model with iterative fitting along a regularization path. See glossary entry for cross-validation estim
ドライブごと(パーティションテーブルごと)zpoolに割り当てる場合 パーティションテーブルをGPTで作ります。台数分実行します。パーティションは作りません。zpoolを作成するときに自動的に作られます。 # HDD全体が論理消去されるため注意 dev=/dev/disk/by-id/xxx && # ドライブを指定 sudo sgdisk -Z -o $dev # -Z 既存のGPTとMBRを消去 # -o GPT(GUIDパーティションテーブル)を作成 dev=/dev/disk/by-id/xxx && # ドライブを指定 sudo sgdisk -a 8 -n 1:40: -t 1:bf01 $dev # -a 8 4Kセクターに合わせる (4096/512=8) # -n 1:40: 第1パーティションを作成(40セクターから) # -t 1:bf01 第1パーティションのタイプ
AWS Fargate早く東京に来てくれという願いをこめて、東京で1つでも事例を増やそうと記事を書いていたら公開する前にAWS Fargateが東京に来ることが先日発表されました!めでたいです。アリネ事業部の平田です。 今日はARINEで使っていく(かもしれない) AWS Fargate を使ったRSpecの実行環境の話と、Docker Compose使っているならFargateいいかもしれませんよ、という話をします。 背景 アリネ事業部では、なりたい自分がきっと見つかる美容メディア ARINE を運用しています。 ARINEのサーバサイドはRubyで書かれており、ウェブアプリケーションフレームワークはRuby on Railsを採用し、テストにはRSpecを使っています。 テストは徐々に増えており現在テストが1000件ほどで、テストにかかる時間も徐々に長くなり、完走するのに10分以上かか
kubeadm について kubeadm は kubernetes をデプロイするためのツール。公式ドキュメントでも紹介されているツールで、まだベーダ版だが kubernetes クラスタを構築する際には今後はこのツールを使っていくことになる。他には Minikube というツールもあるが、こちらはローカルで kubernetes を構築するためのもので、主に開発者に使われることを想定している。 環境 自分の試した環境は以下のとおり。 ホストOS: MacOS Sierra ゲストOS: Ubuntu 16.04.2 LTS VirtualBox 5.1.14 Vagrant 1.9.1 用意した VM は3つ。マスターノード用に 2vCPU, 4GB の VM が1つ、ワーカーノード用に 1vCPU, 2GB の VM が2つ、それぞれのホスト名は manager, host1, hos
Using RBAC AuthorizationRole-based access control (RBAC) is a method of regulating access to computer or network resources based on the roles of individual users within your organization. RBAC authorization uses the rbac.authorization.k8s.io API group to drive authorization decisions, allowing you to dynamically configure policies through the Kubernetes API. To enable RBAC, start the API server wi
Creating Highly Available Clusters with kubeadmThis page explains two different approaches to setting up a highly available Kubernetes cluster using kubeadm: With stacked control plane nodes. This approach requires less infrastructure. The etcd members and control plane nodes are co-located.With an external etcd cluster. This approach requires more infrastructure. The control plane nodes and etcd
Software systems are prone to the build up of cruft - deficiencies in internal quality that make it harder than it would ideally be to modify and extend the system further. Technical Debt is a metaphor, coined by Ward Cunningham, that frames how to think about dealing with this cruft, thinking of it like a financial debt. The extra effort that it takes to add new features is the interest paid on t
We see so much emotional discussion about software process, design practices and the like. Many of these arguments are impossible to resolve because the software industry lacks the ability to measure some of the basic elements of the effectiveness of software development. In particular we have no way of reasonably measuring productivity. Productivity, of course, is something you determine by looki
A few months ago, a really nice Go package vektah/gqlgen for GraphQL became popular. This article describes how GraphQL is implemented in "Spidey", an exemplary microservices based online store. Some parts listed below are missing, but complete source code is available on GitHub. Architecture Spidey encompasses three services that are exposed to the user through a GraphQL gateway. Communication wi
DroidKaigi 2018のスライドです
For their entire existence, some of the world's most widely used email encryption tools have been vulnerable to hacks that allowed attackers to spoof the digital signature of just about any person with a public key, a researcher said Wednesday. GnuPG, Enigmail, GPGTools, and python-gnupg have all been updated to patch the critical vulnerability. Enigmail and the Simple Password Store have also rec
Amazon Elastic Container Service (Amazon ECS) now has a new daemon scheduling strategy that allows you to automatically run a daemon task on every one of a selected set of instances in your ECS cluster. A daemon task is a pattern used when building microservices where a task is deployed onto each instance in a cluster to provide common supporting functionality like logging, monitoring, or backups
Amazon Elastic Container Service (Amazon ECS) は今回、新しいデーモンスケジューリングストラテジーを導入し、ECS クラスター内で選択したインスタンスセット内のインスタンスすべてに対してデーモンタスクを自動で実行できるようになります。 デーモンタスクとは、ロギング、モニタリング、またはアプリケーションコードを実行するタスクのバックアップのような共通サポート機能を付与するために、クラスター内のそれぞれのインスタンスにタスクがデプロイされたマイクロサービスをビルドするときに使用されるパターンのことです。 これまでは、これらを確保するために、デーモンタスクは Auto Scaling テンプレートに結び付いた複雑なスクリプトの実行を要するクラスター内のインスタンスセットにデプロイされていました。ユーザーは代わりに各アプリケーションタスクの一部としてデー
Starting today, AWS CloudTrail’s event history will automatically log all read and write management events for supported AWS services. Event history lets you view, filter, and download your recent AWS account activity. This new release allows you to gain additional visibility into your account actions taken over the past 90 days without setting up a trail. You can now use event history to view all
Amazon API Gateway でプライベート API を作成できるようになりました。Private API は VPC エンドポイントを使用して Amazon Virtual Private Cloud (VPC) 内からのみアクセスできます。 プライベート API を使用して、公開インターネットから絶縁できる Amazon VPC 内にとどまるように API トラフィックを制限することを選択できます。プライベート API を使用して、VPC 内のリソースまたは AWS Direct Connect 経由でデータセンターに接続されているリソースにのみ REST API をセキュアに露出できるようにすることもできます。リソースポリシーを使用してクロスアカウントアクセスを可能にするだけではなく、選択した Amazon VPC および VPC Endpointsへのアクセスを制限すること
You can now create Private APIs in Amazon API Gateway. Private APIs can only be accessed from within your Amazon Virtual Private Cloud (VPC) using VPC Endpoints. Using Private APIs, you can choose to restrict API traffic to stay within your Amazon VPC which can be isolated from the public internet. Private APIs also enable you to securely expose REST APIs to resources only within your VPC or to th
Hakuro Matsuda さんをゲストに迎えて、WWDC, iOS 12, macOS Mojave, AMD, Oculus Go などについて話しました。 Show Notes Apple Events - WWDC Keynote, June 2018 iOS 12 Preview Android Jetpack What is USDZ? FBX | Autodesk ARCore Overview Siri Shortcuts FAQ Apple has acquired Workflow Android For Employees iOS 12 introduces new features to reduce interruptions and manage Screen Time Apple’s Memoji lets you create an Animoji of
This site uses cookies to enhance your user experience. By continuing to use this site you are agreeing to our COOKIE POLICY. Grab your lab coat. Let's get started Welcome! Welcome! Create an account below to get 6 C&EN articles per month, receive newsletters and more - all free. It seems this is your first time logging in online. Please enter the following information to continue. As an ACS membe
Computer Science Theory and Application. We share and discuss any content that computer scientists find interesting. People from all walks of life welcome, including hackers, hobbyists, professionals, and academics. Hello! If you're reading this, you're most likely interested in learning about quantum computing; however, you might not be sure how to get started because of a lack of people to work
TensorFlow Dev Summit 2018 All Sessions playlist → https://goo.gl/Lsaq1R Join the TensorFlow team as they kick off the 2018 TensorFlow Dev Summit! The TensorFlow Dev Summit brings together a diverse mix of machine learning users from around the world for a full day of highly technical talks, demos, and conversations with the TensorFlow team and community. Keynote Speakers: Anitha Vijayaku
William Hinman Director, Division of Corporation Finance Remarks at the Yahoo Finance All Markets Summit: Crypto Thank you Andy. I am pleased to be here today.[1] This event provides a great opportunity to address a topic that is the subject of considerable debate in the press and in the crypto-community – whether a digital asset offered as a security can, over time, become something other than a
石坂茂、セコすぎる。自分の画像を編集禁止にしてて、ワラタ・。。 http://fast-uploader.com/file/7084579846751/ そんなん、無駄ってわからんくらい、パソコン音痴。。過ぎ。。 ビューアーで開けて、拡大して、画面キャプチャーとれば、一発よ。 そんな、アホなことにお金かけるな、このパソコン音痴。
今回の相場のファーマフーズの勘違いおさらい。 1 ファーマフーズは北の達人ではない。 北の達人が利益が出るのは広告のマイクロマネジメントを行い、利益が出るものに投入するようになったから。 売上があがったからでも、広告を単純にやめたからでもない。また株価があがったのは利益が伸びたときである。ファーマフーズが利益が出ないのに、高値で買う理由は一切ない。 2 定期購入はストックそのものではない。 定期購入と呼ばれているものは、定期購入オプションという分割購入をすると安く買えるあれを指している。必ずしも1年や2年続くような購買者の数を表しているわけではない。 3 広告費用はなくせない。 ファーマフーズの売上を重回帰分析にかけると、ファーマフーズの売上というのは直近の売上よりむしろそのQ、その前のQ、その前の前のQに広告をどれだけかけたかにより強く関係していてそれらで大半が説明できる。 ファーマフー
サービス終了のお知らせ SankeiBizは、2022年12月26日をもちましてサービスを終了させていただきました。長らくのご愛読、誠にありがとうございました。 産経デジタルがお送りする経済ニュースは「iza! 経済ニュース」でお楽しみください。 このページは5秒後に「iza!経済ニュース」(https://www.iza.ne.jp/economy/)に転送されます。 ページが切り替わらない場合は以下のボタンから「iza! 経済ニュース」へ移動をお願いします。 iza! 経済ニュースへ
女児ロボットには、小児性愛者の歪んだ欲望を抑制する効果があると擁護する意見もあるが、科学的根拠はまったくない Jason Lee-REUTERS <女児のセックスロボットと交わるうち、倫理観が曖昧になり本物の子供に手を出したくなる危険は見逃せない> 女児型セックスロボットは「大人と子供のセックスは普通という勘違いの元になる」として、米議会が輸入禁止に乗り出した。禁止法案は6月13日に下院を通過し、上院に移る。 本物の女児そっくりのセックスロボットは、大きな論争を巻き起こした。大人のロボット相手のセックスでも倫理的に疑問なのに、まして子供型のセックスロボットでは小児性愛者のゆがんだ性的欲求を助長する恐れがある、と警告する専門家もいる。 「パソコンさえあれば、小児性愛者が下劣な女児ロボットを注文できる。罪のない子供を危険にさらす行為だ。セックスロボットに飽きれば、次は本物の子供に手を出したくな
This is a transcript of a talk given at ElixirDaze and CodeBEAMSF conferences in March of 2018, dealing with supervision trees and with the unexpected. Among other things, I'm a systems architect, which means that my job is mostly coming up with broad plans, and taking the merit if they go well and otherwise blaming the developers if it they go wrong. More seriously, a part of my job is helping ma
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く