view paste/paste.21919 @ 10881:18545542ce6f

<wob_jonas> `` perl -we \'open$I,"<",$ARGV[0]or die;local$/;$s=<$I>;$s=~s/(.*;) d.*/$1 discrete, discreet./s;print substr($s,200),"||";open$O,">",$ARGV[0];print$O $s;\' "wisdom/b_jonas can\'t spell"
author HackBot
date Wed, 10 May 2017 23:53:46 +0000
parents 6bbb7b616448
children
line wrap: on
line source

2012-01-24.txt:08:49:47: <oerjan> @tell <zzo38> Does the Haskell compiler know that equality is reflexive? <-- it actually isn't, for Double (NaN)
2012-10-04.txt:16:07:38: <oerjan> @tell <Arc_Koen> doesn't mediawiki have an easy way to display the intersection of two categories?<-- hm i think i may have wanted that yesterday when failing to find out if a kind of brainfuck derivative existed.  or maybe not, not sure what the other category should have been.
2012-10-06.txt:14:34:33: <oerjan> @tell <zzo38> I think the DotFami mapper codes actually form a idempotent commutative monoid, rather than just being a monoid. <-- i think an idempotent commutative monoid may the same as a semilattice