Brain-filling Curves - A Fractal Bestiary by Jeffrey Ventrella Distributed by Lulu.com Cover Design by Jeffrey Ventrella
Brain-filling Curves - A Fractal Bestiary by Jeffrey Ventrella Distributed by Lulu.com Cover Design by Jeffrey Ventrella
This is a markdown version of the tutorial Learn You an Agda and Achieve Enlightenment! by Liam O’Connor-Davis. I made this version for my own reference, while working through the tutorial, making some revisions and additions, and a few corrections. You may prefer the original. $\def\N{\mathbb N} \def\true{\mathsf{true}} \def\conj{\wedge} \def\disj{\vee}$ Table of Contents 1. Introduction About th
I’d like to start this series by focussing on what I call binding extensions. These are extensions that are used in conjuction with forming bindings - such as top-level function definitions, where clauses, and let bindings. Today, we’ll begin by looking at a simple yet powerful extension - view patterns. View patterns extend our ability to pattern match on variables by also allowing us to pattern
24 Days of GHC Extensions Welcome View Patterns Pattern Synonyms Record WildCards Bang Patterns Rebindable Syntax List Comprehensions Type Operators Recursive Do Nullary Type Classes Implicit Parameters Type Families Multi Param Type Classes Functional Dependencies Deriving Derive Generic Overloaded Strings Rank N Types Existential Quantification Scoped Type Variables Arrows Template Haskell Stati
For the past two and a half weeks, I’ve been working on a procedural planet generator. This weekend I finally polished it up enough to talk myself into putting it online. You can check it out here. (It’s heavy on the JavaScript, so I recommend Chrome. Firefox and IE are slower, but manage. I haven’t tried any other browser yet. Also, I’ve never yet delved into supporting touch controls, so i
Julia Advent Calendar 2014 の2日目*1の記事です。 前回の記事X 分で学ぶJulia -- りんごがでている では、Julia の最新リリースバージョンであるv0.3 の文法や特徴について、 ざっくりと、しかしながら仕事ができるぐらいには十分に解説がなされました。 この記事では、Julia の次期リリースに向けた開発バージョンである v0.4.0-dev について、v0.3 と大きく異なる点を中心に解説していきます。 開発バージョンについて Julia は言語そのものの開発が活発であり、まだまだ仕様や文法が固まっていません。 しかしながら、ユーザを確保するためには、ある程度の期間にわたって仕様が変化しない安定バージョンが必要になります。 そのため、Julia には安定バージョン(最新リリースバージョン)と開発バージョンの2つが同時に存在します。 現在の安定バージ
Numerical Optimization: Understanding L-BFGS Numerical optimization is at the core of much of machine learning. Once you’ve defined your model and have a dataset ready, estimating the parameters of your model typically boils down to minimizing some multivariate function $f(x)$, where the input $x$ is in some high-dimensional space and corresponds to model parameters. In other words, if you solve:
Want to get blog posts over email? Enter your email address and get an email (roughly monthly) when there's a new post! ... is the founder of Modal Labs which is working on some ideas in the data/infrastructure space. I used to be the CTO at Better. A long time ago, I built the music recommendation system at Spotify. You can follow me on Twitter or see some more facts about me.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く