Propellor is a configuration management system using Haskell and Git. Each system has a list of properties, which Propellor ensures are satisfied. Linux and FreeBSD are supported. Propellor is configured via a git repository, which typically lives in ~/.propellor/ on your development machine. Propellor clones the repository to each host it manages, in a secure way. See components for details. Prop
.app 1 .dev 1 #11WeeksOfAndroid 13 #11WeeksOfAndroid Android TV 1 #Android11 3 #DevFest16 1 #DevFest17 1 #DevFest18 1 #DevFest19 1 #DevFest20 1 #DevFest21 1 #DevFest22 1 #DevFest23 1 #hack4jp 3 11 weeks of Android 2 A MESSAGE FROM OUR CEO 1 A/B Testing 1 A4A 4 Accelerator 6 Accessibility 1 accuracy 1 Actions on Google 16 Activation Atlas 1 address validation API 1 Addy Osmani 1 ADK 2 AdMob 32 Ads
新党「希望の党」の小池百合子代表（東京都知事）は６日午前、衆院選の公約を発表した。都内のホテルで記者会見した小池氏は「希望の党として希求するのは党の利益ではない。国民のため、税の恩恵をすべての国民に届ける仕組みを強化する。国政を透明化し、日本に、未来に、希望を生む」とあいさつした。 公約は「消費税増税凍結」「議員定数・議員報酬の削減」「ポスト・アベノミクスの経済政策」「ダイバーシティー社会の実現」など九つの柱で構成。さらに「『希望への道』しるべ」として、「原発ゼロ」や「待機児童ゼロ」「花粉症ゼロ」など「１２のゼロ」を目指すとした。 憲法改正については、「憲法９条をふくめ憲法改正論議をすすめます。国民の知る権利、地方自治の分権を明記します」とした。 小池氏は記者会見で消費税の増税について、「好景気の実感がないまま、個人消費はまだまだ改善していない。消費税だけでなく社会保障にも不安がある。そう
texmath is a Haskell library for converting between formats used to represent mathematics. Currently it provides functions to read and write TeX math, presentation MathML, and OMML (Office Math Markup Language, used in Microsoft Office), and to write Gnu eqn, typst, and pandoc's native format (allowing conversion, using pandoc, to a variety of different markup formats). The TeX reader and writer s
Free/open-source softwareTidal Cycles (or 'Tidal' for short) is a free/open source live coding environment for algorithmic patterns, written in Haskell. Tidal is using SuperCollider, another open-source software, for synthesis and I/O. Pattern everythingTidal Cycles allows you to make patterns with code. It includes language for describing flexible (e.g. polyphonic, polyrhythmic, generative) seque
Blog Building a CPU with Haskell Part 1 October 2017 Today, we're going to build a simple CPU. We're going to write it in Haskell and use CLaSH to compile it to hardware. This entire webpage is a literate Haskell file. You can see it here on Github. To load the file into an interactive REPL, install CLaSH and run clashi CPU1.lhs. If you want to simulate the Verilog hardware code or put it on an FP
今月、川崎市の東急田園都市線の駅のホームで会社員が線路に突き落とされた事件で、警察は３３歳の男を殺人未遂の疑いで逮捕しました。調べに対し「攻撃しろと言われてやった」と供述しているということで、警察は刑事責任を問えるかどうか慎重に捜査を進めることにしています。 男性は自力でホームに戻りけがはありませんでしたが、防犯カメラには何者かが男性の背中に接触したあと立ち去る姿が映っていて、警察が映像を分析するなどして捜査していました。 その結果、警察は、川崎市宮前区に住む３３歳の無職の男が男性に体当たりして線路に突き落としたとして、殺人未遂の疑いで逮捕しました。 警察によりますと、２人は互いに面識はなかったということです。 調べに対し、突き落としたことは認めたうえで、女性アイドルの名前を挙げて「攻撃しろと言われてやった」などと意味のわからないことを供述しているということです。 警察は刑事責任を問えるか
ことしのノーベル文学賞に、イギリスで活躍する日本生まれの世界的なベストセラー作家、カズオ・イシグロ氏が選ばれました。
人口減少の兆しが見える大都市もある中、川崎市は１５０万人を超えた。人が集まり続ける同市。そのリーダーを決める市長選が８日、告示される。課題や選挙戦の構図を見た。 住みたい街――。武蔵小杉は各種の民間調査で人気だ。しかし人口の大幅な増加は課題も生んでいる。 ＪＲ武蔵小杉駅の平日朝。横須賀線の改札口に向かう人たちの長い行列ができる。 川崎市中原区に住む男性（４３）は、横須賀線で東京都内に通勤する。午前８時前に駅に着いて列に加わる。改札口に入るだけでも５分ほど待って、エスカレーターでホームにあがる。「ダイヤの乱れなどがあると、あっという間に列が伸びて改札までの時間はもっとかかります」 ２０１０年に横須賀線の新駅が武蔵小杉にできるまでは、南武線の向河原から川崎経由で東京に出ていた。通勤時間は短縮されたが、混雑はひどい。ホームはいつも人であふれ、「今も人が徐々に増えている」ように感じる。「ピリピリし
iOS版のChromeアプリ「Chrome for iOS」がオープンソース化され、Chromiumプロジェクトに完全移行することになりました。 Chromium Blog: Open-sourcing Chrome on iOS! https://blog.chromium.org/2017/01/open-sourcing-chrome-on-ios.html GoogleによるとiOSプラットフォームではブラウザはレンダリングエンジンWebKit上で構築されなければならないという制約があるとのこと。Google Chromeでは基本的に自社のレンダリングエンジンBlinkを使っているため、Chrome for iOSではBlinkとWebKitの両方をサポートする必要があり、このせいでコードが複雑化していたとのこと。 この複雑な問題をChromiumプロジェクトに持ち込みたくなかった
米Microsoftは10月5日 (現地時間)、iOS用とAndroid用の「Microsoft Edge」ブラウザを発表した。AppleのTestFlightでiOS用のプレビュー版をリリース、Android用のプレビュー版も間もなくPlay Store Early Accessから入手できるようにし、年内の正式版のリリースを目指す。 各プラットフォームでレンダリングエンジンが制限されているため、iOS用/Android用のEdgeはEdgeHTMLではなく、iOS用はWKWebViewのWebKit、Android用はBlinkを用いている。プレビュー版は、デスクトップ版Edgeとお気に入りや履歴、リーディングリストなどを共有でき、またiOS用/Android用で閲覧中のページをPCに送ってデスクトップ版で開くことが可能 (Continue on PC)。ただし、開いているタブの同期は
会談後に記者に囲まれ握手を交わす希望の党代表の小池百合子東京都知事（左）と民進党の前原誠司代表＝東京都新宿区で２０１７年１０月５日午後０時３５分、竹内紀臣撮影 希望の党の小池百合子代表（東京都知事）は５日、衆院選（１０日公示、２２日投開票）の対応をめぐり、民進党の前原誠司代表と東京都内で会談した。前原氏は小池氏に衆院選出馬を要請したが、小池氏は「考えていない」と固辞した。小池氏は会談後、記者団に選挙後の首相指名について、自民党が社会党委員長（当時）の村山富市氏を首相候補とした例をあげて「水と油で手を結んだこともある」と述べ、自民党を含め他党との連立を排除しない考えを示した。 希望の党の首相候補について小池氏は「どういう旗頭で戦うかを整理していきたい」と説明した。「首相指名は衆院選が終わってから、いろんな結果を受けて行うものだ」とも述べた。これに対し、前原氏は「（小池氏が）出馬しないなら、早
Mackerelは「エンジニアをワクワクさせる」ツールであることをサービスの大事な考え方の一つとして捉えています。 一体どういう場面でエンジニアはワクワクするのでしょうか。 簡単にインストールできるmackerel-agentや、直感的で触りやすい画面、チャットツールとの連携は大事な機能です。 しかし、監視ツールとしてもっと重要なのは、ミドルウェアのメトリックをどのように可視化し、何を監視するかということです。 Mackerelは公式のプラグインリポジトリに各種プラグインを揃えています (contributorの皆様ありがとうございます)。 これらはすべてGo言語で書かれています。 しかし、MackerelのプラグインはGo言語で書かなければいけない、ということはありません。 例えばカスタムメトリックのヘルプページのサンプルプラグインはRubyで書かれていますし、メタデータのヘルプのサンプ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
