Mercurial > repo
view paste/paste.7713 @ 6894:1041408d241c
<oerjan> le/rn soviet union/In ancient history, the Soviet Union used to be the THEM. They believed in absurd principles like "Better Red than Dead". Then Ronald Reagan invented Star Wars to destroy it, after which there seemed to be no the THEM for a while.
author | HackBot |
---|---|
date | Tue, 16 Feb 2016 21:39:22 +0000 |
parents | 65b2ec4c4c62 |
children |
line wrap: on
line source
2011-04-23.txt:21:07:25: -!- Saizan has joined #esoteric. 2011-04-23.txt:21:09:39: <elliott> saizan has been here before. 2011-04-23.txt:21:10:24: <Saizan> i don't think so, anyhow it's just that this channel got mentioned elsewhere, i think 2011-04-23.txt:21:11:26: <elliott> hmm, wait, Saizan is from the haskell channel 2011-04-23.txt:21:19:05: -!- Saizan has parted #esoteric. 2011-07-28.txt:07:33:37: <oerjan> "Saizan: agda is webscale in the sense that you need half of The Cloud to run the typechecker 2011-12-05.txt:22:07:37: <elliott> <Saizan> got patched to be more reliable 2012-02-03.txt:20:34:36: -!- Saizan has joined #esoteric. 2012-02-03.txt:22:30:15: -!- Saizan has parted #esoteric. 2012-04-04.txt:17:26:30: <lambdabot> augur says: <augur> Saizan: theres someone in here named codensity <Saizan> i see <augur> im being stalked by CT concepts i dont understand :( <Saizan> it happens - Saizan is now known as kan_ 2012-04-04.txt:17:27:46: <lambdabot> augur says: <augur> Saizan: theres someone in here named codensity <Saizan> i see <augur> im being stalked by CT concepts i dont understand :( <Saizan> it happens - Saizan is now known as kan_ 2012-10-17.txt:23:07:34: <shachaf> 16:06 <Saizan> shachaf: btw, logarithms are easy for representable functors 2012-10-21.txt:02:28:45: <shachaf> elliott: So did you know 18:49 <Saizan> Either x y = exists b. if b then x else y; (x,y) = forall b. if b then x else y 2013-04-23.txt:23:44:11: -!- Saizan has joined #esoteric. 2013-04-23.txt:23:47:08: <copumpkin> o/ Saizan 2013-04-23.txt:23:47:22: <Saizan> hi! 2013-04-24.txt:00:29:33: <shachaf> `relcome Saizan 2013-04-24.txt:00:29:45: <HackEgo> 12Saizan:06 Welcome t12o the international hu04b for esot02eric progr05amm05ing 14lang09u12age d06esign a05nd depl12oyment!10 For m14ore information, check out ou12r wiki: http:/08/es07o09langs.12org11/w04iki/Main_Page. (For the06 other06 ki14nd o11f esoterica, try #e08sot06eri04c on irc.dal.04net.) 2013-04-24.txt:00:35:51: <Saizan> shachaf: how many make jokes about wanting help with pentacles? 2013-04-24.txt:12:14:23: <shachaf> Saizan: How did you end up in this channel? 2013-04-24.txt:12:18:45: <Saizan> shachaf: i've seen it mentioned here and there, and i was looking for somewhere else to lurk 2013-04-24.txt:20:29:51: -!- Saizan has parted #esoteric. 2013-04-24.txt:20:36:09: <boily> by saizan too? 2013-04-30.txt:04:14:36: <shachaf> `seen Saizan 2013-04-30.txt:04:14:40: <HackEgo> 2013-04-24 12:18:45: <Saizan> shachaf: i've seen it mentioned here and there, and i was looking for somewhere else to lurk 2013-04-30.txt:04:15:02: <shachaf> `pastelogs Saizan