今年も皆様にとってよい年でありますようにmylist/35335135yin69yang さま 茄箱 さま 広告ありがとうございました
One of the main symptoms of Parkinson's is an uncontrolled tremor Scientists in California say they have transformed understanding of Parkinson's disease. Their animal experiments, published in the journal Cell, external, suggest the brain disorder may be caused by bacteria living in the gut. The findings could eventually lead to new ways of treating the disease, such as drugs to kill gut bugs or
Founder/CEO Pulumi • Cloud, languages, and developer tools guy • Eat, sleep, code, repeat In a Tale of Three Safeties, we discussed three kinds of safety: type, memory, and concurrency. In this follow-on article, we will dive deeper into the last, and perhaps the most novel yet difficult, one. Concurrency-safety led me to the Midori project in the first place, having spent years on .NET and C++ co
Starting a new Rust project right, with error-chain While I was preparing the most recent release of error-chain, it dawned on me that not everyone knows the magic of error-chain, the little Rust library that makes it easy to handle errors correctly. Error handling is front-and-center in Rust, it’s subtly complex, and it’s important for the health of a project, and the sanity of its maintainers, t
Now that the language is getting stable, and that the Idris book, Type-driven Development with Idris is nearing publication, it’s getting close to time to release version 1.0. We’ll shortly be releasing Idris version 0.99, which is essentially an alpha release of 1.0, and we’ll keep releasing updates until 1.0 is ready, probably around February 2017. There’s still plenty to do, which we’ll be work
この記事はTheorem Prover Advent Calendar 2016の1日目の記事です。 今年も残り1ヶ月になったことを信じたくないと思いつつ、 まあ学生的には4月始まりだから大丈夫と自分に言い聞かせてます。 今回のアドベントカレンダーのネタを必死に1週間くらい前から頑張って探した結果 何も見つからなかったのでHaskellで証明を書きます。 みなさんHaskellで証明を書くのはつらいと思うかもしれませんが 実はEquational Reasoningも使えるし 最近バージョンが上がって少し賢くなったコンパイラの強力なサポートも受けられるので 意外とマシです。(当社比) さてHaskellで証明をすることについてですが、 ここでは定理証明界のFizzBuzzとも名高い*1、リストのreverse関数が2回やると元に戻ることを示します。 Leanで書いた同じ証明も置いとくので、
2022-05-20追記: mtl-2.3, transformers-0.5.6以降においてリークの起こらないCPS版Writerが提供されているのでそちらを用いてください: https://hackage.haskell.org/package/mtl-2.3/docs/Control-Monad-Writer-CPS.html https://hackage.haskell.org/package/transformers-0.5.6.0/docs/Control-Monad-Trans-Writer-CPS.html Writer Monadの問題点 Haskell スペースリーク アドベントカレンダーX日目(X ~ 360)です。 Writer Monadを使ってはならないという話があります。 理由は単純で、スペースリークが発生するためです。 以下の単純なアクションを評価してみま
Rustで作ってみよう -- HyperLogLogと並列処理で、ウィキペディア全記事のユニーク単語数を見積もる(その1)アルゴリズムRust 今年の始め、私が Rust を習いはじめのころ、手本となるプログラムがあまり見つからないことが不満でした。GitHub で探せば、Rust で書かれた実用的なライブラリーが数多く見つかりますが、それらを読むのは入門者にとっては敷居が高過ぎます。私が欲しかったのは、学習用に書かれたプログラムで、入門者が手軽に試せて、いろいろといじれるプログラム例でした。 そんなわけで、そういうプログラム例を書いてみようと思います。2回に分けて、Rust で簡単なツールを作ります。 今回は乱択アルゴリズムの一種である、probability cardinarity estimatior(確率的カーディナリティ推定機)を実装します。HyperLogLog という名前のデ
このエントリは言語実装 Advent Calendar 2016 - Qiita2日目の記事です。 κeenです。マクロなどのコンパイル時に何か処理をしてコード生成する機構の実現方法が言語によって様々にあるなぁと思ったのでちょっと探ってみます なんか文字だけ並んでても味気ないのでサンプルマクロも付けときますね。 コンパイラにマクロ専用言語のインタプリタ機能を付けるやつ Rustのmacro_rulesやSchemeのsyntax-rulesが該当します。 (define-syntax define-protocol (syntax-rules () ((define-protocol (name type ...) (method arg ...) ...) (begin (define method (make-generic)) ... (define name (lambda (ty
このエントリはRust その2 Advent Calendar 2016 - Qiita2日目の記事です。 Rustはシステムプログラミング言語なのでバイト列をあれこれしたいことがあると思います。その時にイテレータでバイト列を舐める以外にも色々方法があるなと気付いたので。 Read と Write 私には割と衝撃だったのですが&[u8]や&mut [u8]、Vec<u8>は直接ReadやWriteのインスタンスになってます。 例えばReadならこういう風に使えます。 let mut bytes: &[u8] = &[1, 2, 3, 4, 5, 6]; let mut buf = [0;3]; bytes.read_exact(&mut buf).unwrap(); println!("read: {:?}, rest: {:?}", buf, bytes); read: [1, 2, 3
これはJuliaアドベントカレンダー1日目の記事です。2016年におけるJuliaの「現状」を確認していこうと思います。 Julia言語とは Juliaとは一体どのような言語でしょうか。julialang.orgの最初の説明を用いると、「他の技術計算環境のユーザに馴染みのある構文を備えた、高レベル・高パフォーマンスな技術計算にための動的プログラミング言語」("a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments.")です。ここで言う「他の技術計算環境」とは、MATLABやPythonのことを指していると考えられます。実
Behind the scenes of Singapore’s nationwide ticket operating system for the National Day Parade
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く