Seyi Ogunyemi micrypt

Explaining Miles's Magic

Miles Sabin recently opened a pull request fixing the infamous SI-2712. First off, this is remarkable and, if merged, will make everyone's life enormously easier. This is a bug that a lot of people hit often without even realizing it, and they just assume that either they did something wrong or the compiler is broken in some weird way. It is especially common for users of scalaz or cats.

But that's not what I wanted to write about. What I want to write about is the exact semantics of Miles's fix, because it does impose some very specific assumptions about the way that type constructors work, and understanding those assumptions is the key to getting the most of it his fix.

For starters, here is the sort of thing that SI-2712 affects:

def foo[F[_], A](fa: F[A]): String = fa.toString

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.

`ld` – Wading through Mac OS X linker hell

Intro

Friend: I tried looking at static linking in Mac OS X and it seems nearly impossible. Take a look at this http://stackoverflow.com/a/3801032

Me: I have no idea what that -static flag does, but I'm pretty sure that's not how you link to a library. Let me RTFM a bit.

Minutes later...

Edward Snowden at IETF 93

Edward Snowden answered questions after a showing of CITIZENFOUR at the IETF93 meeting; this is a transcript of the video recording.

For more information, see the Internet Society article.

Introduction
Scale of Pervasive Monitoring
Returning to the US
Preserving the Internet

	<?php

	function html_table($data = array())
	{
	$rows = array();
	foreach ($data as $row) {
	$cells = array();
	foreach ($row as $cell) {
	$cells[] = "<td>{$cell}</td>";
	}

	import Reactive.Banana (compile)
	import Reactive.Banana.Frameworks (newAddHandler, fromAddHandler, actuate, reactimate)
	import Control.Concurrent (threadDelay, forkIO)
	import Control.Monad (forever)
	import Data.Char (toUpper)

	main = do
	-- newAddHandler returns an AddHandler (roughly a callback) and a
	-- way to fire the callback (fire).
	(es, fire) <- newAddHandler

	import React from 'react';

	/*
	Todo app structure

	TodoApp
	- TodoHeader
	- TodoList
	- TodoListItem #1
	- TodoListItem #2

	(ns scratch.core
	(:require [clojure.string :as str])
	(:import [java.util.stream IntStream]
	[java.lang CharSequence
	StringBuilder]))

	(defn ^IntStream str->codepoints
	"Given a string, yields a sequence of integer codepoints."
	[^String string]
	(-> string .codePoints .iterator iterator-seq))

	trait λ {
	type α
	}

	trait Functor extends λ {
	type α <: λ

	def map[A,B](x: α { type α = A })(f: A => B): α { type α = B }
	}