Miëtek Bak mietek

Authors:	Merijn Verstraaten
Date:	2014/11/22

So You Want to Be a Super Cool GHC Hacker?

So you have a pet peeve/bug/feature request that you'd like to see added to GHC. You made sure there was a Trac_ ticket for it, but despite your patient waiting no one is solving your problem. Those selfish GHC hackers!

Give me back my sanity

One of the many things I do for my group at work is to take care of automating as many things as possible. It usually brings me a lot of satisfaction, mostly because I get a kick out of making people's lives easier.

But sometimes, maybe too often, I end up in drawn-out struggles with machines and programs. And sometimes, these struggles bring me to the edge of despair, so much so that I regularly consider living on a computer-less island growing vegetables for a living.

This is the story of how I had to install Pandoc in a CentOS 6 Docker container. But more generally, this is the story of how I think computing is inherently broken, how programmers (myself included) tend to think that their way is the way, how we're ultimately replicating what most of us think is wrong with society, building upon layers and layers of (best-case scenario) obscure and/or weak foundations.

*I would like to extend my gratitude to Google, StackOverflow, GitHub issues but mostly, the people who make the

Basic unit type:

λ> replTy "()"
() :: ()

Basic functions:

The introduction to Reactive Programming you've been missing

(by @andrestaltz)

This tutorial as a series of videos

If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.

	FROM ubuntu:14.04
	RUN apt-get update && apt-get install -y build-essential git pigz zlib1g-dev vim curl libpq-dev
	ADD . /halcyon
	RUN ["/halcyon/halcyon", "paths"]
	ENTRYPOINT ["/halcyon/halcyon"]

	module Main where

	import Data.Maybe
	import Debug.Trace
	import Data.JSON
	import Network.XHR

	main = get defaultAjaxOptions
	{ onReadyStateChange = onSuccess $ \response -> do
	txt <- getResponseText response

	-- \| A proof of Löb's theorem in Haskell, in reply to [1].
	--
	-- Like Dan Piponi's post on the subject [2], we end up with a function which is
	-- basically a spreadsheet evaluator.
	--
	-- Unlike Dan's post, our proof of Löb's theorem follows the Wikipedia
	-- proof [3] very closely. Since the proof is using provability logic, we
	-- need to encode the rules of provability logic inside Haskell.
	-- In particular, we avoid the common mistake of representing the rule
	--

	; /usr/local/bin/nasm -f macho 32.asm && ld -macosx_version_min 10.7.0 -o 32 32.o && ./32

	;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
	; The .data section is for storing and naming constants.
	;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
	section .data

	msg: db "Hello world!", 10
	.len: equ $ - msg


	open import Function
	open import Data.Nat hiding (_⊔_)
	open import Data.Fin renaming (_+_ to _f+_)
	open import Data.Unit
	open import Relation.Binary.PropositionalEquality
	open import Data.Product
	open import Data.Sum
	open import Data.Vec
	open import Data.Vec.Properties

	#!/usr/bin/env python
	# -- coding: utf-8 --
	# Author: Jean-Luc Deladriere
	# Description: SSI-263 Votrax SC_02 text to speech via Nanpy on Arduino
	# many thanks for the arpabet to unicode phoneme script : https://gist.github.com/liuyork/4556798


	from nanpy import Arduino
	from nanpy import serial_manager
	import time