気になる動画がみられない...そんな気持ちの歌です。動画はJohnSuさんのHalfne Miku Studio使いました。過去の作品等はこちら → mylist/28740553Twitter → O_OT_T
初音ミク オリジナル じすびでお はずびーん☆でりーてっど！
気になる動画がみられない...そんな気持ちの歌です。動画はJohnSuさんのHalfne Miku Studio使いました。過去の作品等はこちら → mylist/28740553Twitter → O_OT_T
Alone in Pico : Postmortem of a 3d demake
Plan : Inception Gameplay How to render 3D meshes in Pico 8 Pre-rendered magic Extracting meshes from Alone in the Dark Character animation Memory layout, packing and ram management Camera placement, tools Interactions, objects animations, sounds Optimization Triangle strips Future Disclaimer : my english skills are a bit low and I wrote that post a litlle too fast ... The final project can be fou
Rustでむりやりプレステ1向けプログラムをつくってみる - Qiita
この記事はRust その2 Advent Calendar 2016 4日目の記事です。 こんにちは、murachueです。 Rustについて知った時、「RustでOSを書くこともできるんだぜ～」的なことを耳にしたので、きっとCやC++でしか書けないようなモノもRustなら書けるんだろうな～と思いました。 というわけで、今回はRustでむりやり初代PlayStation(以下PS1)向けの簡単なプログラムを作ってみます。 Cという名の高級アセンブラやC++という名の超高級アセンブラに負けないぞ～。 (ちなみに、その昔「ネットやろうぜ!」という一般人でもPS1ゲームが作れるキットがあったらしいんですが、その開発言語はCだったそうです。) いちおう、RustについてはThe Rust Programming Languageの5～6章ちょっとくらいまでに書いてあることくらいを知っている前提です
Getting explicit SIMD on stable Rust
Last week, the libs team discussed SIMD stabilization. I’d like to write up some of the problems we discussed and some possible avenues to move forward on getting explicit use of SIMD on stable Rust. (Explicit use of SIMD means that the programmer takes some explicit action to vectorize their code, as opposed to relying on the compiler to vectorize it for them.) Disclaimer: I personally have very
Coqで証明付きのマージソートを書く - fetburner.core
この記事はTheorem Prover Advent Calendar 2016の4日目のために書かれました。 少し季節外れの記事になりますが、前期はプロ演A^1の季節でしたね。 僕のTLでもC言語の課題に苦しめられた学部生のツイートが良く回ってきましたが、 とりわけ彼らが苦戦していたのはマージソートを書く課題のようでした。 面白そうなので僕もCoqで実装してみましょう。 もちろん、証明付きで。 実装 とりあえず比較関数等の準備 Require Import Arith Div2 List Orders Sorted Permutation Program. Require Omega. Section MergeSort. Local Coercion is_true : bool >-> Sortclass. Local Hint Constructors Permutation St
The first release candidate of Redis 4.0 is out - <antirez>
antirez 2768 days ago. 296425 views. It’s not yet stable but it’s soon to become, and comes with a long list of things that will make Redis more useful for we users: finally Redis 4.0 Release Candidate 1 is here, and is bold enough to call itself 4.0 instead of 3.4. For me semantic versioning is not a thing, what I like instead is try to communicate, using version numbers and jumps, what’s up with
24 days of Rust - structured logging | Blog | siciarz.net
I hope you're using any sort of logging in your applications. Even if that means printing stuff to stdout and relying on shell output redirection, it's still better than no logging at all. However, most programming languages have great libraries for logging. Be it Java, Python, Elixir - there are logging utilities everywhere. But more often than not, what is logged is some sort of prose that a pro
東京都の一地区におけるホームレスの精神疾患有病率
目的 本調査は，東京の一地域における路上生活者の精神疾患患者割合に関する日本で初めての実態調査である。主要な目的は，質問票を用いたスクリーニングと精神科医による診断によって，路上生活者の精神疾患有病率を明らかにすることである。 方法 調査期間は2008年12月30日から2009年 1 月 4 日とし，調査対象者は同期間に JR 池袋駅半径 1 km 圏内で路上生活の状態にあった者とした。調査区域は，豊島区内の路上生活者数の概ね全数を把握できる地域として選定した。路上生活者の定義は，厚生労働省の実態調査で定められているホームレスの定義と同義とした。調査依頼状を受け取った路上生活者は115人で，協力を得た80人を研究対象とした。面接調査には Mini International Neuropsychiatric Interview（MINI）による質問紙と，別に作成した対象者の生活状況について
UK scientists excited by surprise £2-billion government windfall - Nature
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.
Downside of Lower Manhattan’s Boom: It’s Just Too Crowded (Published 2016)
Morning commuters on Vesey Street in Lower Manhattan.Credit...Christopher Lee for The New York Times A sidewalk war has erupted in Lower Manhattan. Paul Proulx is caught in the middle of it. Just to get to his apartment in the financial district, he has to contend with hordes of commuters and selfie-snapping tourists clogging narrow sidewalks. But these are the least of his problems. Security barr
10000行超のElmを書いて見つけたベストプラクティス - ジンジャー研究室
この記事はElm Advent Calendar 2016 の4日目です。 会社で書かせてもらってるElm製アプリが10000行を超えたので、現時点で個人的にこれはと思うベストプラクティスを実際のソース付きで書いてみる。 github.com （アプリについての情報は機会があれば） 1.必ずスタイルガイドに従う 行数が増える傾向にあるが、かなり読みやすくなるので絶対に従った方が良い。 Style Guide 関連コミット （let...in中に空行を挿入している） 2.データ構造にタプルを使わない 例えばマウスの位置などをタプルで(Int, Int)のように書きたくなる。しかし後悔するのでやめた方が良い。 -- 微妙 calculateX : Model -> Int calculateX model = let (x, y) = model.position in max 0 x --
Reflections on Rusting Trust - In Pursuit of Laziness
The Rust compiler is written in Rust. This is overall a pretty common practice in compiler development. This usually means that the process of building the compiler involves downloading a (typically) older version of the compiler. This also means that the compiler is vulnerable to what is colloquially known as the “Trusting Trust” attack, an attack described in Ken Thompson’s acceptance speech for
コンパイル中にコンパイルする「コンパイル時Cコンパイラ」をつくった話 - kw-udonの日記
僕は先日、「コンパイル時Cコンパイラ」なるプログラムをつくって、公開した。 「コンパイル時Cコンパイラ」とは、コンパイルするとC言語プログラムのコンパイルが行われるというようなC++プログラムである。 C++のコンパイル中に C言語プログラムのコンパイルを行う、 "コンパイル時Cコンパイラ"をつくりました #ELVMhttps://t.co/kKiLU3rLFX— うどん (@kw_udon_) 2016年11月18日 自分で書いておいてなんだが、「なんのこっちゃ」という感じではある。(ちゃんと記事中で説明する。) 実際、変なプログラムではあるのだが、とても嬉しいことに多くの人に面白がっていただき、予想だにしなかった大きな反響をいただいた。 Hacker Newsで1位になったり、LLVMの公式ブログで紹介されたり、果てはC++の作者であるBjarne Stroustrupにも言及されるに
How much memory is my process using?
I often want to know how much memory my processes are using. When I run top, I see this: For years I’ve been reading explanations of the VIRT, RSS, and SHARED columns and for years I’ve been like “ugh, why is this so complicated, why can’t I just know how much memory my process is using, this is silly. Today I read the super-helpful article htop explained, and together with learning a little bit m
Geneticists seek keys to bat vocalizations - Nature
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.
This year in nom: 2.0 is here! – Unhandled expression
Nearly one year ago, on November 15th 2015, I released the 1.0 version of nom, the fast parser combinators library I wrote in Rust. A lot happened around that project, and I have been really happy to interact with nom users around the world. TL;DR: it’s new nom day! The 2.0 release is here! Read the changelog. Follow the upgrade documentation if it breaks stuff. Interesting usage I wouldn’t be abl
Category Theory, Syntactically
Category Theory, Syntactically November 25, 2016 06:23 UTC (Last updated on December 26, 2023 22:13 UTC) Tags: programming, math, category theory (or: How Model Theory Got Scooped by Category Theory) Overview This will be a very non-traditional introduction to the ideas behind category theory. It will essentially be a slice through model theory (presented in a more programmer-friendly manner) with
Elm for the Frontend, Right Now (Updated for Elm 0.18) - Bendyworks
Elm for the Frontend, Right Now (Updated for Elm 0.18) The following article was originally written in July 2015 for the 0.16 release of the Elm programming language. It has been rewritten here in November 2016 to comply with the syntactic and semantic changes of Elm 0.18. Enjoy! The Changelog recently did a podcast (#191) about the Elm programming language. Go feast your ears on it right now; thi
Comonadic Markov Chain Monte Carlo · jtobin.io
Some time ago I came across a way to in-principle perform inference on certain probabilistic programs using comonadic structures and operations. I decided to dig it up and try to use it to extend the simple probabilistic programming language I talked about a few days ago with a stateful, experimental inference backend. In this post we’ll Represent probabilistic programs as recursive types paramete
Rewrite Rulesについて軽く - Qiita
Rewrite Rules(書き換え規則)について軽く説明します。 rewrite rulesはコードを書き換える最適化手法です。コードの書き換えに関してはユーザ自身が指定できるところがポイントです。 モジュラリティとパフォーマンスを両立するために使えたりします。 命令型言語で書き換え規則 javascriptを用いてfor文でArrayの変換を複数回実行することを考えます。 var doSomething1 = function (elem) { return elem + 2; }; var doSomething2 = function (elem) { return elem * elem; }; var initArr = [1,2,3,4,5]; var intermediate = []; for (var i = 0; i < initArr.length; i++) {
Idris 0.99 Released | Idris
A new version of Idris, 0.99, has been released. You can find this on hackage, or from the download page. Documentation is available from docs.idris-lang.org. The changes since version 0.12 are detailed below. This is an important step towards releasing version 1.0, with the language more or less stable now. Between now and releasing 1.0, we’ll be focussing on fixing up the most important issues,
Fenwick Treeの定数倍高速化 - よすぽの日記
Fenwick Treeの定数倍高速化 この記事はrogy advent calenderの3日目の記事です。 日本時間では4日になっているような気がしますが、地球上にはまだ3日の部分が残っているのでセーフです。 (本当は丁寧に書くつもりだったのですが、時間がないので、プロコンをしている人向けの記事になりました。悲しいね) 概要 Fenwick Treeというデータ構造があります、これを高速化しようと頑張りました Fenwick Treeって？ 調べればたくさん説明は出てくると思います。 数列について、 値の変更 区間の合計 という操作が、どちらもO(logN)で出来るデータ構造です。 例えば普通に配列でやると、O(1) / O(N)、累積和を用いると O(N) / O(1) になります。 高速化 template<class T> struct Fenwick { int N; vect
Testing with Realistic Networking Conditions
Patrick Meenan (@patmeenan) created WebPagetest while working at AOL and now works at Google with the team that is working to make the web faster. When testing performance for websites or apps that you are working on it is critical to test them with networking conditions that are representative of your users. That was one of the main reasons that I originally created WebPageTest so it was easy to
24 days of Rust - rayon | Blog | siciarz.net
Let me start this article with a confession: I suck at writing parallel code. I have only a vague idea about mutexes, locks and other low level primitives for handling data between threads. And since I work mostly with Python, I tend to use multiprocessing (if I bother to parallelize at all) rather than threads. However, one of the selling points of Rust is its approach to concurrent/parallel prog
24 days of Rust - hound | Blog | siciarz.net
My engineering diploma involved some digital signal processing (DSP), in particular sound generation and recognition. Throughout my studies I went through a ton of audio files, usually using C++ to process them. I've written a custom .wav file loader, of course missed a few edge cases and it crashed upon receiving new training data from my supervisor... A few months later I discovered that Python
24 days of Rust - cargo subcommands | Blog | siciarz.net
Welcome to the second edition of 24 Days of Rust! Two years ago in December 2014 the first edition was pretty well received by the Rust community. That was a hard time - we were still before the 1.0 release of the language. I had to keep up with updating my examples day by day since almost every nightly broke something. Even so, I managed to publish all 24 blogposts on schedule :-) This year I'm b
（C++）constexpr & static_assertによるコンパイル時テストの用途 - 千里霧中
これは ソフトウェアテスト Advent Calendar 2016 - Qiita の4日目の記事です。 C++では、C++11から以下の言語仕様が追加されました。 ・違反するとコンパイルを失敗させる表明構文：static_assert ・指定対象をコンパイル時に処理させる指定子：constexpr このstatic_assertとconstexprを組み合わせると、コンパイル時テストを柔軟に構築できるようになります。 コンパイル時テストは、コンパイルの際に実行され、テストに失敗したらコンパイルエラーを発生させるものです。これはC++のようなコンパイラ方式言語で、テストの選択肢を広げる助けとなります。今回は組み込み向けを想定して、コンパイル時テストの用途を紹介したいと思います。 コンパイル時テストの用途１：コンパイル時処理のテスト constexprで記述されたコンパイル時処理なら、大抵
Taking TRust-DNS IntoFuture
Taking TRust-DNS IntoFuture Written to explain why I paused feature development of TRust-DNS to focus on implementing futures-rs and tokio-rs support If you read my last post on TRust-DNS, A year of Rust and DNS, then you might be thinking, "why hasn't more progress been made toward supporting some more features in DNS?" The answer lies in this blog post, Zero-cost futures in Rust. I read that and
高位合成コンパイラを作ってみたい① - Qiita
これは言語実装 Advent Calendar 2016の4日目の記事です。 こちらは一般的なプログラミング言語の処理系とは目的も作り方も全く異なる言語処理系について、勉強して実際に作ってみようという企画となります。 今回は動作記述からハードウェア記述言語へとコンパイルする高位合成コンパイラがテーマです。元々はこの１回で単純なコンパイラの実装までを完結させるつもりでしたが、実装が間に合いませんでしたので、カレンダーの空いている日をもう１日頂いて１日目を勉強編、２日目を実装編という事にしたいと思います。 今回は、知人に紹介を頂きました以下の論文を勉強する事にしました。結構typoや組版崩れが多いので読む際は注意してください。回路設計の分野は非常に広範なのでもちろんこの論文の手法が全てではありません。 Chaiyakul, Viraphol, and Daniel D. Gajski. Ass
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
愛せ！
【鏡音リン】にじいろ魔法【オリジナル】
Chouchou - Fata Morgana
"Disegno" for Flute and Chamber Ensemble [w/ score] - Shai Cohen
Topcoder Div1 Hard を解いてみよう
Three Bytes and a Space
【歌愛ユキ】 雨 【オリジナル曲】
earthgrazer feat. すずきつづみ
【初音ミク】本棚の赤恥【オリジナル曲】
【初音ミク】棺の蓋の天国【オリジナル曲】
Pierre Courbois En Jasper Van 't Hof in 1981' s missing Perpetuum Mobile
Jazz Celula / Cellula in 1976 and 1978
The Fried Chicken Band's song Haunted
Care Of The Cow – I Still Don't Know Your Style (USA 1981)
Kinzoku-ebisu - Momijigari 2005
Researchers may have ‘found’ many of China’s 30 million missing girls
Ackerman Steering
notebooks/bayesian_linear_regression.ipynb at master · liviu-/notebooks · GitHub
GitHub - pypa/pipfile
Two types of BST
A Crash Course in X86 Assembly for Reverse Engineers (2013) [pdf] | Hacker News
http://blog.mbrt.it/2016-12-01-ripgrep-code-review/
i128 and u128 support by est31 · Pull Request #37900 · rust-lang/rust
Episode 6: Aaron Stump on Cedille