George Takumi Crary gmtcrary

Erik Meijer’s List of Recommended Books

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
The Haskell School of Expression: Learning Functional Programming through Multimedia
LaTeX: A Document Preparation System (2nd Edition)
Denotational Semantics
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Programs and Machines
The Denotational Description of Programming Languages: An Introduction

	package com.trplcd.jdejava;

	import java.text.ParseException;
	import java.text.SimpleDateFormat;
	import java.util.Calendar;
	import java.util.Date;

	public class JdeJavaJulianDateTools {
	public static class Methods {
	/**

	let
	pkgs = import <nixpkgs> {};
	unixODBC-cache = pkgs.stdenv.mkDerivation {
	name = "unixODBC-cache";
	src = pkgs.fetchurl {
	url = "ftp://ftp.intersystems.com/pub/cache/odbc/2014/cache.2014.1.3.ODBC-lnxrhx64.tar.gz";
	sha256 = "0rgmpac45q126capd32gyhxk0pjjyg9kad5gqs9k0iyj022csxl8";
	};
	sourceRoot = "bin";
	installPhase = ''

	CC := gcc
	CFLAGS := -g -Wall
	LIBS := -lallegro
	SOURCES := $(shell find src/ -type f -name "*.c")
	OBJECTS := $(SOURCES:.c=.o)
	TARGET := game

	all: $(SOURCES) $(TARGET)

	$(TARGET): $(OBJECTS)

	Classes
	* Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking
	* Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction
	* Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/

	Books and Articles
	* Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/
	* x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html
	* Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
	* Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/

	#[derive(Copy, Clone)]
	pub struct Wall{
	full : bool,
	color : Color
	}
	pub fn main() {
	let render_statics = \|buffer: &mut [u8], pitch: usize\| {
	let world : &Vec<Vec<Wall>> = &w;
	println!("{}", pitch);
	for y in 0..600 {

	jq -c '.queue \| _nwise(10) ' hugeComboQueue.json \| awk '{f=NR".json";} {print "{\"mode\": \"queue\", \"replay\": \"\", \"isRealTimeMode\": false,
	\"outputOverlayFiles\":true, \"queue\" : $0 }" >f; close(f)}'

	<div class="logbox">
	<div class="text-wrap">
	<svg viewBox="0 0 500 210">
	<pattern
	id="p-img"
	viewBox="0 0 400 165"
	patternUnits="userSpaceOnUse"
	width="100%" height="100%"
	>
	<image xlink:href="https://thumbs.gfycat.com/IdioticWebbedAmurratsnake-small.gif" width="500" height="210"/>