Recently, two demonstrations of quantum teleportation were published in Nature: 'Quantum teleportation with independent sources and prior entanglement distribution over a network' by Qi-Chao Sun et al (arXiv preprint) 'Quantum teleportation across a metropolitan fibre network' by Valivarthi et al (arXiv preprint) I want to talk about a difference between the two. In the Valivarthi et al paper, the
名前や記号の多義的使用をオーバーロードと呼びます。オーバーロードとは「曖昧な表現を使う」ことだ、と言ってもいいでしょう。曖昧さを嫌うコンピュータに、曖昧な表現を理解させるのは難しいことです。コンピュータに関する技術や理論以前に、「我々人間は、曖昧な表現をどう使い/どう解決しているのか?」と問う必要があります。 内容: Haskellの場合 -- The・構造の仮定 要素とコレクションの事例 型クラスの境界線は引けるのか 名前・記号の問題は難しい Haskellの場合 -- The・構造の仮定 「入門的ではない型クラスの話:Haskellの型クラスがぁ (´^`;)」において: 後知恵で言えば、[注:Haskellのオーバーロード・メカニズムは]「悪いお薬」だったと思います。服用するとモノ凄く元気になるが、長期的には心身を蝕んでしまうお薬だったと。 Haskellが実装した記号の乱用はやはり
Quotient Types for Programmers September 23, 2016 05:21 UTC (Last updated on January 7, 2022 23:32 UTC) Tags: math, type theory Introduction Programmers in typed languages with higher order functions and algebraic data types are already comfortable with most of the basic constructions of set/type theory. In categorical terms, those programmers are familiar with finite products and coproducts and (
TL;DR: Sharing conduit values leads to space leaks. Make sure that conduits are completely reconstructed on every call to runConduit; this implies we have to be careful not to create any (potentially large) conduit CAFs (skip to the final section “Avoiding space leaks” for some details on how to do this). Similar considerations apply to other streaming libraries and indeed any Haskell code that us
Prologue At JustWatch, we’re collecting and aggregating millions of different streaming offers from all kinds of Video on Demand providers (such as Netflix or Amazon Instant Video) on our platform. After being collected by our custom web scraper built in Go, they get ingested into our Content API in order to be matched, combined, cleaned and finally being stored into our PostgreSQL and ElasticSear
The Rust team is happy to announce the latest version of Rust, 1.12. Rust is a systems programming language with the slogan "fast, reliable, productive: pick three." As always, you can install Rust 1.12 from the appropriate page on our website, and check out the detailed release notes for 1.12 on GitHub. 1361 patches were landed in this release. What's in 1.12 stable The release of 1.12 might be o
Rust as a language for high performance GC implementation Authors Yi Lin, Steve Blackburn, Tony Hosking and Michael Norrish NICTA Australian National University Purdue University AbstractA high performance garbage collector is built upon performance-critical low-level code, typically exhibits multiple levels of concurrency, and is prone to subtle bugs. Implementing, debugging and maintaining such
Today’s announcement of Rust 1.12 contains, among other things, this innocous little tidbit: Option implements From for its contained type If you’re not very familiar with it, From is a basic converstion trait which any Rust type can implement. By doing so, it defines how to create its values from some other type — hence its name. Perhaps the most widespread application of this trait (and its from
Lately, I've been working on a Hoare-logic-based model of the Rust MIR, which I will introduce in the post. This is a minor step towards a memory model of Rust, and it allows formalization of programs and their behavior. This project was born out of the effort to formalize the Redox kernel and the ralloc memory allocator as well as coming up with a Rust memory model. Here I will walk through the t
WaveFunctionCollapse This program generates bitmaps that are locally similar to the input bitmap. Local similarity means that (C1) The output should contain only those NxN patterns of pixels that are present in the input. (Weak C2) Distribution of NxN patterns in the input should be similar to the distribution of NxN patterns over a sufficiently large number of outputs. In other words, probability
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く