違いますSiri
【初音ミク】言葉のlyricism【オリジナル】
●絵 /にこらす 様（http://piapro.jp/nicoras）かっこいい絵をお借りしました■うた /初音ミク（ver2 Append DARK&SWEET）▲音楽 /ぐらんびあ------視聴 sm27975684前回 sm30426507過去 mylist/37337864tw @granviare素材 http://piapro.jp/gran_via
ここにいない 初音ミク
初投稿です。イラストはりんさんからお借りしました。 http://piapro.jp/y_fish次作（sm30611517）
Bootstrapping Haskell: part 1
Haskell is a formally specified language with potentially many alternative implementations, but in early 2017 the reality is that Haskell is whatever the Glasgow Haskell Compiler (GHC) implements. Unfortunately, to build GHC one needs a previous version of GHC. This is true for all public releases of GHC all the way back to version 0.29, which was released in 1996 and which implements Haskell 1.2.
GHC Generics Explained
Email Submitted successfully Thank you for subscribing to our newsletter! This tutorial will get you up to speed with GHC generics quickly. It should be noted that generics is not something academic and useless, quite the contrary, it's a very pragmatic way to reduce the amount of boilerplate (and associated with it errors) in your functional code with minimal mental overhead. In fact, by the time
Teaching F*
Having to teach F* provides strong motivation to dust off the cobwebs and tidy away long forgotten bread crumbs hidden deep down in remote directories to make the language easier to install and use. It is thus no coincidence that major releases have been aligned with some of us going back to school after a long summer of coding to step out there and present the newest features of the language to a
イェンセン(Jensen)の不等式の直感的理解 - Qiita
確率変数に関するイェンセン(Jensen)の不等式を、例を用いて直感的に理解してみようという記事です。 $x$を確率変数、$p(x)$をxの確率密度関数とすると、その期待値$E[x]$は が成り立つことを、 イェンセン(Jensen)の不等式と呼びます。この証明は既に色々なところで解説（例えばこちら）されていますのでここでは省略します。 この不等式 $f(E[x]) \ge E[f(x)]$ を直感的に理解するために、乱数を用いた例をグラフで表現してみます。 まず、xが正規分布に従う確率変数だとして、そこから発生する乱数を作ってみます。また、そのxを $f(x)=-x^2+10$ という上に凸な関数で変換します。 下記のグラフの上部にあるヒストグラムが正規分布に従うxの分布で、右側にあるヒストグラムが$x^2$が従う分布です。 つまり、イェンセンの不等式は下記の赤い丸（期待値をとってから、
Safer microcontrollers almost here
I’ve been spending a bunch of time recently working on the LLVM AVR backend and integrating it into the Rust programming language. In the coming months the Rust compiler should support AVR support out-of-the-box! LLVM A few years back I started getting into Rust. Around the same time I started playing around with electronics and microcontrollers. After a bit I realised that the two would be a matc
Reverse-engineering the surprisingly advanced ALU of the 8008 microprocessor
Computer history, restoring vintage computers, IC reverse engineering, and whatever A computer's arithmetic-logic unit (ALU) is the heart of the processor, performing arithmetic and logic operations on data. If you've studied digital logic, you've probably learned how to combine simple binary adder circuits to build an ALU. However, the 8008's ALU uses clever logic circuits that can perform multip
Rustler - Safe Elixir and Erlang NIFs in Rust
Natively Implemented Functions, more commonly known as NIFs, are not a new thing in Erlang. They have been around for several years, and are commonly used for speeding up simple tasks like JSON parsing. The reason why they are not more commonly used for general computation is the massive disadvantages they carry with them. While Erlang is generally built for reliability and fault tolerance, all be
Twitter image encoding challenge
As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references, or expertise, but this question will likely solicit debate, arguments, polling, or extended discussion. If you feel that this question can be improved and possibly reopened, visit the help center for guidance. If a picture's worth 1000 words, how much of a picture can
Optimizations in Syntax Highlighting, a Visual Studio Code Story
Version 1.90 is now available! Read about the new features and fixes from May. February 8, 2017 - Alexandru Dima Visual Studio Code version 1.9 includes a cool performance improvement that we've been working on and I wanted to tell its story. TL;DR TextMate themes will look more like their authors intended in VS Code 1.9, while being rendered faster and with less memory consumption. Syntax Highlig
PICO-8 lighting, part 1: thin dark line | HackerNoon
Too Long; Didn't ReadTwo weeks ago, I became intrigued with the idea of doing some form of real-time lighting on the <a href="http://www.lexaloffle.com/pico-8.php" target="_blank">PICO-8</a>, a tiny fantasy console. I figured that I would fiddle with it for a while and decide it’s impossible on the puny simulated CPU, but this turned out to be wrong — <a href="https://hackernoon.com/tagged/pico-8"
Monoids on Steroids
If there is one structure that permeates category theory and, by implication, the whole of mathematics, it’s the monoid. To study the evolution of this concept is to study the power of abstraction and the idea of getting more for less, which is at the core of mathematics. When I say “evolution” I don’t necessarily mean chronological development. I’m looking at a monoid as if it were a life form ev
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
スパッツ大千世界 / IA
【初音ミク】キュー・ローン (Kew. Rhone.)【カバー】
99αβ44bluewhite
Marti Epstein — Hidden Flowers [w/ score]