Benjamin Gudehus hastebrot

This is a plain-text version of Bret Victor’s reading list. It was requested by hf on Hacker News.

Highly recommended things!

This is my five-star list. These are my favorite things in all the world.

A few of these works have had an extraordinary effect on my life or way of thinking. They get a sixth star. ★

Direct links to free Springer maths books (pdf versions)

duplicates = multiple editions

A Classical Introduction to Modern Number Theory,Kenneth IrelandMichael Rosen

A Course in Arithmetic,Jean-Pierre Serre

Transducers are composable algorithmic transformations. They are independent from the context of their input and output sources and specify only the essence of the transformation in terms of an individual element. Because transducers are decoupled from input or output sources, they can be used in many different processes - collections, streams, channels, observables, etc. Transducers compose directly, without awareness of input or creation of intermediate aggregates.

Original source code (from Oct 12, 2014):

Transducers.kt: https://gist.github.com/Spasi/4052e4e8c8d88a7325fb
TransducersTest.kt: https://gist.github.com/Spasi/2a9d7d420b20f37513d5

Change notes:

Converted to Kotlin 1.0.0-beta-3595 and JUnit 4.12.

In which I begrudglingly compare MapCSS and CartoCSS because people keep asking.

I hate this kind of writing - it's annoying to try to describe one bit of software versus another, and this can and will fall out of date every time that somebody makes a big change to their library. But people want it, or whatever, so here it is.

Since CartoCSS and Cascadenik are weird cousins, the big difference is between them and MapCSS.

Let's see, differences:

CartoCSS is designed for Mapnik. That is, it tries to expose every possible Mapnik style option and ability, and supports every Mapnik datasource.
MapCSS is designed for OSM. That is, it makes it easy to style based on OpenStreetMap data types, tags, and so on.

	package io.requery.playground.modeljpa

	import io.requery.Persistable
	import io.requery.query.MutableResult
	import java.io.Serializable
	import java.net.URL
	import java.util.Date
	import java.util.Optional
	import java.util.UUID
	import javax.persistence.CascadeType

	import java.util.function.Predicate
	import javafx.beans.binding.Bindings
	import javafx.beans.property.ObjectProperty
	import javafx.beans.property.SimpleObjectProperty
	import javafx.collections.FXCollections
	import javafx.collections.ObservableList
	import javafx.collections.transformation.FilteredList
	import javafx.collections.transformation.SortedList

	class TransformatedListContext<E> {

	import javafx.fxml.FXML;
	import javafx.scene.control.TextField;
	import javafx.scene.layout.AnchorPane;

	import io.datafx.controller.ViewController;

	@ViewController("manage.fxml")
	public class ManageCtrl extends AnchorPane {
	@FXML
	private TextField email;

	# -- coding: utf-8 -- #

	module Rouge
	module Lexers
	class Kotlin < RegexLexer
	title "Kotlin"
	desc "Kotlin <http://kotlinlang.org>"

	tag 'kotlin'
	filenames '*.kt'

	# https://github.com/matplotlib/matplotlib/issues/881
	# Several of the ColorBrewer maps are "qualitative", meaning
	# they are just a group of colors that can be used together
	# for categories of data. So I remapped Accent to segments
	# instead of continuous:

	# Actually, these should be used with ListedColormap, and
	# the number of colors should depend on the number of
	# categories in the data, with colors removed from the
	# list in a certain order?

	dependencies {
	// collection query engine.
	compile "com.googlecode.cqengine:cqengine:2.5.0"
	}