Michael O. Church | Rants, essays, and diatribes.

Are they writing formal verification software that will save lives… or are they playing some complicated text adventure game that happens to run in emacs and just look like Haskell code?

via Michael O. Church | Rants, essays, and diatribes..

Posted on 2015-06-10

Leave a Reply Cancel reply

Enter your comment here...

Please log in using one of these methods to post your comment:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Twitter account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

Cancel

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this:

	Gon on We are back. It seems that I a…
	Fix Webkit.js Errors… on WebKit.js: It’s happenin…
	Hortonworks’ H… on How-to: Use Workbook Functions…
	datanavid on How-to: Import Excel Data (Eve…
	code review tools \|… on “goto fail;” consi…

M	T	W	T	F	S	S
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30

Share this:

Like this:

Related

Leave a Reply Cancel reply