Together and Alone, Closing the Prime Gap | Quanta Magazine
Working on the centuries-old twin primes conjecture, two solitary researchers and a massive collaboration have made enormous advances over the last six months. On May 13, an obscure mathematician — one whose talents had gone so unrecognized that he had worked at a Subway restaurant to make ends meet — garnered worldwide attention and accolades from the mathematics community for settling a long-sta
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Webフロントエンドパフォーマンスチューニング
Webフロントエンドのパフォーマンスチューニングについて全体的な話。javascript、Chrome DevToolsの紹介、ボトルネック、ポイントなど。
seaborn: statistical data visualization — seaborn 0.13.2 documentation
Seaborn is a Python data visualization library based on matplotlib. It provides a high-level interface for drawing attractive and informative statistical graphics. For a brief introduction to the ideas behind the library, you can read the introductory notes or the paper. Visit the installation page to see how you can download the package and get started with it. You can browse the example gallery
ネタ論文「「ヒャダイン」の消失についての形態論的一考察」をpdfで公開します - 誰がログ
下記のエントリで宣伝した「ドラゴンクエスト」呪文名研究シリーズ第二弾になる標記の論文をpdfファイルの形で公開します。 呪文名研究シリーズの「ヒャダイン」についての論考が出ます（紙で） - 誰がログ 上のエントリにも書いてありますが、SJLL (Semiannual Journal of Languages and Linguistics) vol.1 (in コミケ84)に寄稿したものです。 dlit.2013.SJLL1.Hyadain.pdf - Google ドライブ なお、投稿原稿を僕がpdf化したものなので実際に公刊されたものとは細部が異なる可能性があります。 SJLL vol.2についても今年の冬コミに向けて準備が進んでいるようですのでお楽しみに。一応また何か書く予定です。時間あるのかな… 参考 【研究ノート】「ドラゴンクエスト」シリーズにおける呪文名の形態論的記述に向けて
The homogenization of scientific computing, or why Python is steadily eating other languages’ lunch
[citation needed] and after the citation, some ice cream would be nice Menu and widgets Over the past two years, my scientific computing toolbox been steadily homogenizing. Around 2010 or 2011, my toolbox looked something like this: Ruby for text processing and miscellaneous scripting; Ruby on Rails/JavaScript for web development; Python/Numpy (mostly) and MATLAB (occasionally) for numerical compu
Booting to Rust
A couple nights ago I was looking over the UEFI spec, and I realized it shouldn't be too hard to write UEFI applications in Rust. It turns out, you can, and here I will tell you how. The thing that surprises me most about UEFI is that it now appears possible to boot your machine without ever writing a single line of assembly language. Booting used to require this tedious process of starting out in
Verified Vector Clocks: An Experience Report, Part 1
Verified Vector Clocks: An Experience Report, Part 1 This post outlines a bunch of experimental work I’ve completed to model data structures in Coq, leveraging Tim Carstens’ verlang project to extract the data structures into executable Erlang. Updated March 8th, 2014: A full talk about this work was presented at Erlang Factory, San Francisco 2014. Both the slides and video are available. Modeling
GIN.IO
GIN JSON-API framework Gin is an JSON-API framework, currently in its early stage. It has been designed to allow for fast development, TDD and ease of maintenance. Gin is helpful when you need an extra-boost in performance and scalability, as it runs embedded in a packaged version of nginx called OpenResty and it's entirely written in Lua. For those not familiar with Lua, don't let that scare you
フィボナッチ数・いろいろ - ツムジのひとりごと
またまたフィボナッチ数の話題です(笑) 前回の記事にも書きましたが、フィボナッチ数の定義は次のようになります。 \begin{eqnarray*} \begin{cases} F_{0} &=& 0 \\ F_{1} &=& 1 \\ F_{n+2} &=& F_{n+1} + F_{n} \end{cases} \end{eqnarray*} フィボナッチ数の求め方は、これまでもいろいろと考えられてきたようです。 今回は、私の知っているいくつかの方法を紹介するとともに、実行速度についても比較してみようと思います。 （速度の比較は "GHCi" 上で行なっているので、コンパイルして実行した場合とは少し違っているかもしれません） まずは、フィボナッチ数の定義そのままのもの。 fib1 :: Int -> Integer fib1 0 = 0 fib1 1 = 1 fib1 n = fib1
MimicDB
>>> c = S3Connection(KEY, SECRET) >>> bucket = c.get_bucket('bucket_name') >>> start = time.time() >>> bucket.get_all_keys() >>> print time.time() - start 0.425064992905 >>> c = S3Connection(KEY, SECRET) >>> bucket = c.get_bucket('bucket_name') >>> start = time.time() >>> bucket.get_all_keys() >>> print time.time() - start 0.000198841094971 Works with Python and Boto MimicDB wraps every S3 API cal
YappoLogs: 2014年に向けた JSON API の実装の方向性と X-JSON-Status 改め X-API-Status header のご提案
2014年に向けた JSON API の実装の方向性と X-JSON-Status 改め X-API-Status header のご提案 追記 2014/11/20 14:00:00 わりと JSON やら XML やら各種フォーマットで API を運用している環境がある場合に JSON API の時だけ X-JSON-Status にすると XML とかの時と整合性取れないし、 X-XML-Status みたいのを量産するのは困る的なレビューを頂いたので X-JSON-Status をやめて X-API-Status にしました。 へたに JSON に限定するから REST とか JSON-RPC とかいわれるんや！ X-API-Status にしたら全部解決したし MessagePack な API でも使い回せるって songmu さん言ってた！ XML とかからどうやって引っこ抜
いい感じに出力をインデントしてくれるモジュール #perl - 詩と創作・思索のひろば
[2013-11-20: Print::IndentedがCPANになくてしょんぼりしている。 とのことで shipit いたしました。 あざーす！] 過去のよく分からないコードの挙動を把握したいときには print (warn) するのが少なくともとりあえずの方法としては常套手段ですが、これがただ平坦に画面に現れるだけだと見づらい。例えば条件分岐やループの中にいる時は出力をインデントするようにすると動きが掴みやすくなるけれど、ただでさえ人間に単純労働を課す print デバッグにそこまで労力を使うのは辛い。そういう面倒さを減らそうという動機で、このモジュールは書かれました。 https://github.com/motemen/perl5-Print-Indented 一体何をするのかというと今書いた通りですが、print 時に、その print 関数の呼び出しコードのインデントに応じて
GitHub と homesick を使って複数 Mac 間で dotfiles を同期する | DevelopersIO
複数 Mac 間で、.vimrc や .zshrc などの設定ファイル（dotfiles）の同期って面倒くさいですよね。 dotfiles の管理には、GitHub とシェルで管理したり、Dropbox を使ったりあるようですが、 最近 homesick という gem を教えてもらい、簡単に管理することができたので、私はコレを使っています。 用意するもの GitHub のアカウント Mac *1 homesick のインストール homesick は gem install で簡単にインストールできます。 $ gem install homesick rbenv を使ってる場合は、rehash しておきましょう。 $ rbenv rehash GitHub に dotfiles リポジトリを作成 GitHub にリポジトリを作成します。 先ずは、ローカルに dotfiles ディレクトリ
mchaput / whoosh / wiki / Home — Bitbucket
Atlassian Sourcetree is a free Git and Mercurial client for Windows. Atlassian Sourcetree is a free Git and Mercurial client for Mac. About Whoosh Whoosh is a fast, featureful full-text indexing and searching library implemented in pure Python. Programmers can use it to easily add search functionality to their applications and websites. Every part of how Whoosh works can be extended or replaced to
肥大化したActiveRecordモデルをリファクタリングする7つの方法（翻訳）
更新情報: 2013/11/19: 初版公開 2021/01/08: 訳文見直し、追記 こんにちは、hachi8833です。今回は、自分が知りたかった、Active Recordモデルのリファクタリングに関する記事を翻訳いたしました。1年前の記事なのでRails 3が前提ですが、Rails 4以降でも基本的には変わらないと思います。リンクは可能なものについては日本語のものに置き換えています。 なお、ここでご紹介したオブジェクトは、app以下にそれぞれ以下のようにフォルダを追加してそこに配置します。 注記: 以下は使われそうなフォルダを列挙しただけであり、実際にはこの一部しか使いません。 Value Object Service Object Form Object Query Object View Object Policy Object Decorator ⚓ 肥大化したActive
[nginx-announce] nginx security advisory (CVE-2013-4547)
Maxim Dounin mdounin at mdounin.ru Tue Nov 19 15:02:26 UTC 2013 Previous message: [nginx-announce] nginx-1.4.4 Next message: [nginx-announce] nginx-1.5.8 Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Hello! Ivan Fratric of the Google Security Team discovered a bug in nginx, which might allow an attacker to bypass security restrictions in certain configurations by using a specially
Exploring LXC Networking - Container Ops
Daily Dilemma Recently I’ve been finding myself in various conversations about Docker and Linux Containers (LXC). Most of the time the conversations eventually end up with one and the same question and that is whether we should run containers in production. Initially this post had a few paragraphs where I philosophised about readiness of the technology, but I’ve deleted those paragraphs now as the
ECMAScript 6 modules in future browsers
Update 2013-11-22: David Herman has published the slide deck “Status Report: ES6 Modules”. [1] is an introduction to ECMAScript 6 modules and how they can be used in current browsers. In contrast, this blog post explains how future browsers will support them natively. As part of that support, we will get the <module> tag, a better version of the <script> tag. Browsers: asynchronous modules, synchr
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Peeling Back the ORM: Demystifying Relational Databases For New Web Developers
https://oredev.org/2013/wed-fri-conference/discovering-type-providers-in-f-3-0
http://substack.net/task_automation_with_npm_run
Google Summer of Code: C++ Modernizer Improvements
http://pypix.com/python/create-simple-music-streaming-app-flask/
Python on the GPU with Parakeet on Vimeo
AngularJS Announcements: Nov 2013 - Google スライド
devil
Coupled Turing pattern and particle projection feedback | WebGL GPGPU
http://www.mat.uc.pt/~picado/lawvere/interview.pdf
GitHub - getify/You-Dont-Know-JS: A book series on JavaScript. @YDKJS on twitter.
https://github.com/quchen/articles/blob/master/loeb-moeb.md
python 3.3 repr
mdaines/viz.js: A hack to put Graphviz on the web.
Verified Vector Clocks: An Experience Report, Part 2
GitHub - manshengyang/minikanren-ocaml: miniKanren in OCaml
Reddit - Dive into anything
GitHub - h5bp/server-configs-nginx: Nginx HTTP server boilerplate configs
Classical Dead Ends
Edit fiddle - JSFiddle - Code Playground
GitHub - jjasghar/chef-book: The chef-book
Continuation Passing Style
Oh My Glob
Every Nerd Will Love This Errol Morris-Benoit Mandelbrot Interview
Fixing ghoulish HTML behaviour after Ghostery breaks the web to block Disqus
Introduction to images in Go - Websockets
How to write a simple Scheme debugger
My solution to the Twitter waterflow problem
Writing a streaming twitter waterflow solution | Brandon Simmons' website