Jack Valinsky jvalinsky

Motivation

tl;dr I want to use Rust to program robots. Help me find the best core libraries to build on.

Robotic systems require high performance and reliability, but also have enormous complexity in terms of algorithms employed, number of subsystems, embedded hardware control, and other metrics. Development is mostly split between C++ for performance and safety critical components, and MatLab or Python for quick research or task iteration.

It's occasionally useful to consider a slightly richer function definition than ->, one where you can reason about the preimage of the function's codomain.

One approach is to bundle each -> with another function describing the preimage:

data Bidirectional p q a b = Bidirectional
  { forwards :: p a b
  , backwards :: q b a
  }

Preface

TL;DR

This is a rant about how a decentralized network for storing structured data might look like.
The goal is to allow third party developers to build applications and services that use it as a data-store and allow users to switch between any application or service without loosing their data.

Common Options

-#, --progress-bar Make curl display a simple progress bar instead of the more informational standard meter.

-b, --cookie <name=data> Supply cookie with request. If no =, then specifies the cookie file to use (see -c).

-c, --cookie-jar <file name> File to save response cookies to.

System Design Cheatsheet

Picking the right architecture = Picking the right battles + Managing trade-offs

Basic Steps

Clarify and agree on the scope of the system

User cases (description of sequences of events that, taken together, lead to a system doing something useful)
- Who is going to use it?
- How are they going to use it?

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

	#include <stdlib.h>
	#include <stdio.h>
	#include <stdint.h>
	#include <sys/mman.h>
	#include <unistd.h>
	#include <err.h>
	#include <sysexits.h>

	typedef int32_t (*fptr)(int32_t);

	#!/usr/bin/env python

	"""Publish IMU msg of steam controller"""

	from __future__ import division
	import sys
	from steamcontroller import SteamController
	import struct
	import rospy
	from sensor_msgs.msg import Imu

	#![feature(lang_items, asm)]
	#![crate_type = "staticlib"]
	#![no_std]

	const GPIO_BASE: u32 = 0x3F000000;
	const GPIO_SET: u32 = 0x3F200020;
	const GPIO_CLR: u32 = 0x3F20002C;
	const GPIO47: u32 = 0x8000;

	fn sleep(value: u32){

	#[macro_use] extern crate conrod;
	extern crate find_folder;
	extern crate piston_window;

	use conrod::{Labelable, Positionable, Sizeable, Colorable, Theme, Ui, Widget};
	use conrod::color;
	use piston_window::{EventLoop, Glyphs, PistonWindow, UpdateEvent, WindowSettings};

	struct GameState {
	coins: u64,