annotate paste/paste.7713 @ 9285:8320c9c4620f

<oerjan> learn Umlaut is German for "hum aloud", an important feature of the German language. It is indicated by putting two dots over the vowel of the syllable.
author HackBot
date Sat, 15 Oct 2016 00:04:47 +0000
parents 65b2ec4c4c62
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2807
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
1 2011-04-23.txt:21:07:25: -!- Saizan has joined #esoteric.
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
2 2011-04-23.txt:21:09:39: <elliott> saizan has been here before.
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
3 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
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
4 2011-04-23.txt:21:11:26: <elliott> hmm, wait, Saizan is from the haskell channel
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
5 2011-04-23.txt:21:19:05: -!- Saizan has parted #esoteric.
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
6 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
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
7 2011-12-05.txt:22:07:37: <elliott> <Saizan> got patched to be more reliable
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
8 2012-02-03.txt:20:34:36: -!- Saizan has joined #esoteric.
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
9 2012-02-03.txt:22:30:15: -!- Saizan has parted #esoteric.
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
10 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_
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
11 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_
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
12 2012-10-17.txt:23:07:34: <shachaf> 16:06 <Saizan> shachaf: btw, logarithms are easy for representable functors
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
13 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
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
14 2013-04-23.txt:23:44:11: -!- Saizan has joined #esoteric.
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
15 2013-04-23.txt:23:47:08: <copumpkin> o/ Saizan
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
16 2013-04-23.txt:23:47:22: <Saizan> hi!
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
17 2013-04-24.txt:00:29:33: <shachaf> `relcome Saizan
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
18 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.)
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
19 2013-04-24.txt:00:35:51: <Saizan> shachaf: how many make jokes about wanting help with pentacles?
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
20 2013-04-24.txt:12:14:23: <shachaf> Saizan: How did you end up in this channel?
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
21 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
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
22 2013-04-24.txt:20:29:51: -!- Saizan has parted #esoteric.
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
23 2013-04-24.txt:20:36:09: <boily> by saizan too?
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
24 2013-04-30.txt:04:14:36: <shachaf> `seen Saizan
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
25 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
65b2ec4c4c62 <shachaf> pastelogs Saizan
HackBot
parents:
diff changeset
26 2013-04-30.txt:04:15:02: <shachaf> `pastelogs Saizan