ポエムコアみたいなジャズみたいな何かです。細井和喜蔵さんから著作権フリーの文章をお借りしました。→http://www.aozora.gr.jp/cards/000371/card53959.html過去の曲→mylist/38702741
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.
I am pleased to announce that as of the middle of April, my Elsevier publications had received 30,752 page views and 2,025 citations. I got these numbers in a promotional e-mail from Elsevier, and although I’m not sure what they mean, I presume that it would be even better to have even bigger numbers. Indeed, the widespread availability of bibliometric data from sources such as Elsevier, Google Sc
This monograph is an ongoing revision of "Lectures On A Mathematical Theory of Computation" by Dana Scott. Scott's monograph uses a formulation of domains called neighborhood systems in which finite elements are selected subsets of a master set of objects called "tokens". Since tokens have little intuitive significance, Scott has discarded neighborhood systems in favor of an equivalent formulation
Despite recent breakthroughs in the applications of deep neural networks, one setting that presents a persistent challenge is that of "one-shot learning." Traditional gradient-based networks require a lot of data to learn, often through extensive iterative training. When new data is encountered, the models must inefficiently relearn their parameters to adequately incorporate the new information wi
Summary: QuickCheck had a space leak in property, now fixed (in HEAD). Using the techniques described in my previous blog post I found another space leak, this time in QuickCheck, which has now been fixed. Using QuickCheck we can chose to "label" certain inputs, for example: $ quickCheck $ \p -> label (if p > 0 then "+ve" else "-ve") True +++ OK, passed 100 tests: 54% -ve 46% +ve Here we label num
Rusty-machine has just reached version 0.3! What is rusty-machine? For those who haven’t heard of rusty-machine you can check out the repo and crate. Rusty-machine is a general purpose machine learning library written entirely in Rust. I wanted to create a library which could support both performance and ease of use - without a large number of external dependencies. Rust lets us write a modular li
Online tracking: A 1-million-site measurement and analysis is the largest and most detailed measurement of online tracking to date. We measure stateful (cookie-based) and stateless (fingerprinting-based) tracking, the effect of browser privacy tools, and "cookie syncing". This measurement is made possible by our web measurement tool OpenWPM, a mature platform that enables fully automated web crawl
I recently spent more than 90 hours debugging what ended up being a problem in GHC’s base libraries. I’ll explain the bug and the context in which I encountered it, then relate some lessons that would’ve let me solve it in less than ninety hours. The bug itself In December 2015, I decided to set up a CI build for Idris. I didn’t know what I was getting into. Using Stack seemed like the easiest and
Pythonでネイティブコード(x86バイトコードなど)を実行する方法のメモ。 ctypesモジュールをインポートし、次のような関数を定義すればよい。 import ctypes def native_func(bytecode): libc = ctypes.CDLL('libc.so.6') libc.mmap.restype = ctypes.c_void_p buf = libc.mmap(None, len(bytecode), 7, 0x22, -1, 0) libc.memcpy(ctypes.c_void_p(buf), ctypes.c_char_p(bytecode), len(bytecode)) return ctypes.CFUNCTYPE(ctypes.c_void_p)(buf) rdrand = native_func('\x48\x0f\xc7\xf0\x
Browse by time: December 2018 (1) November 2018 (1) October 2018 (1) September 2018 (1) May 2018 (1) April 2018 (1) March 2018 (1) November 2017 (1) August 2017 (2) July 2017 (1) January 2017 (1) September 2016 (1) July 2016 (1) June 2016 (1) May 2016 (1) October 2015 (1) September 2015 (1) August 2015 (1) July 2015 (3) June 2015 (2) May 2015 (1) April 2015 (1) March 2015 (3) February 2015 (4) Jan
For our new project “what remains”, we’re regrouping the Naked on Pluto team to build a game about climate change. In the spirit of the medium being the message, we’re interested in long term thinking as well as recycling e-waste – so in keeping with a lot of our work, we are unraveling the threads of technology. The game will run on the NES/Famicom console, which was originally released by Ninten
Hey everyone, I have been staying at a hotel for a while. It’s one of those modern ones with smart TVs and other connected goodies. I got curious and opened Wireshark, as any tinkerer would do. I was very surprised to see a huge amount of UDP traffic on port 2046. I looked it up but the results were far from useful. This wasn’t a standard port, so I would have to figure it out manually. At first,
Let's Build a Web Server in Rust - 20 May 2016 Where do we begin? Well I know that a web server basically sets up a connection to a network port and then recieves requests via text and then responds via text using the HTTP protocol. Lets define what a basic request and response looks like so that we can shoot for that when building our server. Here is a basic HTTP request and response. Request: So
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く