大好きhttp://seesaawiki.jp/siroyoutuber/d/%c6%b0%b2%e8%a4%cb%bb%c8%a4%ef%a4%ec%a4%bfBGM2https://dova-s.jp/
【電脳少女シロ】フリーBGM集
大好きhttp://seesaawiki.jp/siroyoutuber/d/%c6%b0%b2%e8%a4%cb%bb%c8%a4%ef%a4%ec%a4%bfBGM2https://dova-s.jp/
【初音ミク】キャンディシティロッカーズ【春ニカ祭2018】
ﾅﾏｽﾃｰ ミクさんで初のオリジナル曲ですーたくさん聴いてもらえたらイマイちゃんのスワーディシュターナチャクラが開きますあ、あと、ミクの日おめでとうございます ｺｯﾌﾟﾝｶｰ(適当)マイリス mylist/31912967 前作 ｢触れて 離れて 見つめて 逸らす(巡音ルカ)｣ sm32519067 新曲 ｢終わりの庭｣ sm33544305ついった @robodachi
A categorical view of computational effects - Cmpse::Conference
Emily Riehl Johns Hopkins University A categorical view of computational effects C◦mp◦se::Conference 1. Functions, composition, and categories 2. Categories for computational effects (monads) 3. Categories of operations and equations (Lawvere theories) 4. Lawvere theories vs monads Preview Let T denote a notion of computation. • A T-program is a function A f − → T(B) from the set of values of type
A New Preferences Parser for Firefox – Nicholas Nethercote
Firefox’s preferences system uses data files to store information about default preferences within Firefox, and user preferences in a user’s profile (such as prefs.js, which records changes to preference values, and user.js, which allows users to override default preference values). A new parser These data files use a custom format, and therefore Firefox has a custom parser for them. I recently re
Elementary knightship - ConwayLife.com
Elementary knightship Quote 9 Login to like this post Post by calcyman » March 6th, 2018, 11:27 pm This came out of ikpx (my search program, which is essentially a multithreaded hybrid of LLS and gfind) when I fed one of Tom Rokicki's long partials into it: Code: Select all x = 31, y = 79, rule = B3/S23 4b2o$4bo2bo$4bo3bo$6b3o$2b2o6b4o$2bob2o4b4o$bo4bo6b3o$2b4o4b2o3bo$o9b 2o$bo3bo$6b3o2b2o2bo$2b2o
The simple essence of automatic differentiation
Abstract Automatic differentiation (AD) in reverse mode (RAD) is a central component of deep learning and other uses of large-scale optimization. Commonly used RAD algorithms such as backpropagation, however, are complex and stateful, hindering deep understanding, improvement, and parallel execution. This paper develops a simple, generalized AD algorithm calculated from a simple, natural specifica
カン拡張における上下左右： 入門の前に整理すべきこと - 檜山正幸のキマイラ飼育記 (はてなBlog)
随伴とその絵算についてかなり詳しく説明しました。 圏論の随伴をちゃんと抑えよう 圏論の随伴をちゃんと抑えよう： お絵描き完全解説 この勢いでカン拡張の説明もいけるかな、と思ったんですが、カン拡張はやっぱり難しい。難しいつうか、上下左右がさらにめんどくさい事になります。随伴の左右と、非対称積の左右、それと“反対〈opposite〉にする”という意味の双対が絡むので、上下左右がもうシッチャカメッチャカ*1。 このシッチャカメッチャカを整理してみます。これは、カン拡張へと至る道路を整備する試みとも言えます。 内容： はじめに 随伴系の復習 随伴系の例：掛け算と指数の随伴 随伴系の例：述語の引き戻し、全称限量子、存在限量子 随伴トリオとその例 “圏の圏”と関手圏 横結合積と前結合関手／後結合関手 前結合／後結合関手の随伴としてのカン拡張／持ち上げ関手 ラムダ計算と類似の記法・図法 最良な拡張、最良
The Left Hand of Equals | Lambda the Ultimate
The Left Hand of Equals, by James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller: When is one object equal to another object? While object identity is fundamental to object-oriented systems, object equality, although tightly intertwined with identity, is harder to pin down. The distinction between identity and equality is reflected in object-oriented languages, almost all of w
Make your own build system
On this page I present a robust, custom build system for a software project written in C, in less than 500 lines of Python code. I think it is about as minimal as a practical dependency-tracking build system can get. Although it adds to the code that must be maintained as part of the project, I think that having a custom build infrastructure that can grow with the project is a good idea for medium
Copying vs. sharing in functional languages
Mostly programming language semantics with a dash of armchair philosophy. The views expressed here are personal and in no way reflect those of my employers. Debugging and profiling functional programs is a challenge, for at least two reasons. The first reason is that functional programs have no obvious step-by-step flow of control as you would find in imperative programs -- there is no semicolon t
Writing an OS in pure Rust | Writing an OS in Rust
Over the past six months we’ve been working on a second edition of this blog. Our goals for this new version are numerous and we are still not done yet, but today we reached a major milestone: It is now possible to build the OS natively on Windows, macOS, and Linux without any non-Rust dependendencies. The first edition required several C-tools for building: We used the GRUB bootloader for booting
Announcing the Tokio runtime | Tokio - An asynchronous Rust runtime
I'm happy to announce a new release of Tokio. This release includes the first iteration of the Tokio Runtime. tl;dr This is how a multi-threaded Tokio based server is now written: extern crate tokio; use tokio::net::TcpListener; use tokio::prelude::*; fn process(s: TcpStream) -> impl Future<Item = (), Error = ()> + Send { ... } let addr = "127.0.0.1:8080".parse().unwrap(); let listener = TcpListen
Writing a Microservice in Rust
Let me begin this article on Writing a Microservice in Rust by talking about C++. I’ve been a reasonably active member of the C++ community for quite a while now, attending and contributing talks to conferences, following the development and evangelism of the language’s more modern features and of course writing lots of it. C++ is a language that gives its users very fine-grained control over all
時系列分析のためのブックガイド | Logics of Blue
新規作成：2018年03月05日 最終更新：2018年03月06日 この記事は、時系列分析をこれから学ぼうとされる方のためのブックガイドです。 書籍によってカバーされている範囲、R言語などのプログラミング言語を援用しているかしていないか、そして書籍の難易度などをまとめています。 また、私自身、「時系列分析と状態空間モデルの基礎」という時系列分析の入門書を執筆しており、この本がどのような立ち位置にあるのかも説明しています。 目次 書籍紹介 時系列分析のトピック 状態空間モデルの分類 古典的な時系列モデルを学ぶことの意義 書籍で扱われている内容の比較 隼時系列本の立ち位置 1．書籍紹介 Rによる実装なし 沖本(2010)『計量時系列分析』 以下「沖本本」と略します。 実用的でバランスも良く、当サイトでも強く推している書籍です。 ARIMA・GARCH・見せかけの回帰などが丁寧に説明されています
Benjamin Kovach
Introduction I’ve been creating generative art consistently for about six months now. People are starting to ask what my stack looks like, and until now I haven’t had anything to point at; I’d like to change that today! I’m going to lay out my approach in this blog post, and we’ll put together something simple using the stack I’ve been using to generate art. The long and short of it: I use Haskell
jaspervdj - Haskell Design Patterns: The Handle Pattern
A neat and simple way to build services in Haskell Published on March 8, 2018 under the tag haskell Introduction I’d like to talk about a design pattern in Haskell that I’ve been calling the Handle pattern. This is far from novel – I’ve mentioned this before and the idea is definitely not mine. As far as I know, in fact, it has been around since basically forever1. Since it is ridiculously close t
Object Oriented Programming in Haskell
In object oriented programming an object is a value with a well-defined interface. The internal state of the object is closed to the outside world (encapsulation), but the behaviour of an object can be modified by redefining one or more of the functions in the object’s interface, typically through subclasses (inheritance). The internal state of the object is open to, and can be extended by, such s
GitHub - cgag/loc: Count lines of code quickly.
2019-10-07: I really haven't been on top of accepting pull requests or looking at issues, you guy should definitely look at SCC. It's faster and more accurate than this, and Boyter has written a great series of blog posts detailing how it got this way: https://boyter.org/posts/sloc-cloc-code/ 2018-03-08: I saw a bunch of stars pop up and thought I should mention that tokei is smarter and more accu
Inside Docker's "FROM scratch" · Do not go gentle into this good night. Rage.
The idea to this post was triggered by Julia Evans “So you want to be a wizard”… Thanks to Ajeet, Bjoern and Timo for your input and review. “Wizard skill: Understand your abstractions (sometimes)” - Julia Evans Statically compiled languages, like Go, are quiet popular these days. In combination with another blockbuster technology, Docker containers, a big advantage is the minimal size of the resu
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
わくせいまでも【初音ミク自作曲】
( world ii )
【初音ミク】或る氷河期世代の発狂【オリジナル曲】
tsumuji.pdf
Whoa, like, Jupiter is DEEP. Really, really deep.
GitHub - tpope/vim-dadbod: dadbod.vim: Modern database interface for Vim
Safe Library with better Stack Traces
Reducers and Transducers Introductory | Functional Works
Resource Polymorphism | Lambda the Ultimate
GitHub - jhspetersson/fselect: Find files with SQL-like queries
Finding bugs in systems through formalization - Superficial Reflections
Create Your Own Git Diagrams
GitHub - redox-os/relibc: Mirror of https://gitlab.redox-os.org/redox-os/relibc
A self-contained, brief and complete formulation of Voevodsky’s univalence axiom
https://www.tweag.io/posts/2018-03-08-linear-sort.html/
http://tech.frontrowed.com/2018/03/06/compact-regions-success-failure-questions/
GitHub - cobalt-org/cobalt.rs: Static site generator written in Rust
Continuations in Racket