00:27:48 -!- xkapastel has joined.
00:39:52 -!- ais523 has quit (Quit: quit).
00:48:34 -!- oerjan has quit (Quit: Nite).
00:58:11 -!- variable has joined.
01:27:29 -!- sleffy has quit (Ping timeout: 248 seconds).
02:12:39 -!- variable has quit (Quit: /dev/null is full).
02:14:10 -!- variable has joined.
02:14:12 -!- variable has quit (Client Quit).
02:15:37 -!- variable has joined.
02:15:48 -!- variable has quit (Client Quit).
02:16:28 -!- variable has joined.
02:16:35 -!- variable has quit (Client Quit).
02:35:41 -!- sleffy has joined.
02:48:32 -!- jaboja has quit (Remote host closed the connection).
04:09:06 -!- Bowserinator has changed nick to readability.
04:11:13 -!- sleffy has quit (Ping timeout: 248 seconds).
04:35:10 -!- sleffy has joined.
04:38:35 -!- variable has joined.
05:27:32 -!- variable has changed nick to function.
05:50:16 -!- moony has quit (Ping timeout: 260 seconds).
05:54:13 <zzo38> shachaf: Yes I know now there is card that says "destroy target player", and originally it was no meaning. I think the FAQ for Unstable says that now a player can also be destroyed not only permanents, and the effect of destroying a player is that that player loses the game.
05:55:09 <shachaf> Yes
05:57:16 <zzo38> (And that since a player can be destroyed, it can also potentially be regenerated, have indestructible, etc; such things would probably be useful only against this one effect.)
06:13:12 <function> zzo38: cadd?
06:13:14 <function> * card
06:13:18 <function> what game
06:14:53 -!- sleffy has quit (Ping timeout: 252 seconds).
06:14:55 <zzo38> Magic: the Gathering cards
06:21:58 <function> o
06:28:20 -!- sleffy has joined.
07:06:32 -!- xkapastel has quit (Quit: Connection closed for inactivity).
07:06:47 -!- function has quit (Quit: /dev/null is full).
07:08:05 -!- variable has joined.
07:08:20 -!- variable has quit (Client Quit).
07:08:56 -!- variable has joined.
07:09:08 -!- variable has quit (Client Quit).
07:09:35 -!- variable has joined.
07:09:55 -!- variable has quit (Client Quit).
07:49:31 <zzo38> Is it possible to implement Fermat's Last Theorem in Tableaux or not?
07:50:04 <zzo38> (without using Wiles's proof)
08:00:19 <zzo38> If you can solve halting problem then perhaps so, since, a program can take four natural numbers (a,b,c,n) and then check if (a+1)^(n+3)+(b+1)^(n+3)=(c+1)^(n+3) and if so then it halts; you can try all combinations by using Morton numbering or some other way.
08:24:33 -!- sleffy has quit (Ping timeout: 248 seconds).
09:25:45 -!- raf314 has joined.
09:25:56 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT tzyyzlaf: augur puckipedia heroux Taneb Warrigal Hooloovo0 zemhill_ danieljabailey Vorpal ski FreeFull BooK_ hppavilion[1] LeoLambda Sgeo_ sdfgsdfg vertrex trn zzo38
09:26:01 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT rirguj: Hooloovo0 ^arcade_droid readability fnodeuser tromp brandonson zgrepc zemhill_ pelegreno newsham Sgeo_ Melvar sdfgsdfg b_jonas 
09:26:06 <raf314> ▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT nmjtwff: grumble Warrigal jix ocharles hppavilion[1] newsham MDude GeekDude contrapumpkin heroux pikhq brandonson readability ski LeoLambda trn augur wishstudio rodgort Lymia vertrex Fr
09:26:06 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH).
09:26:11 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT mjzgeftcnb: Slereah_ hppavilion[1] danieljabailey garit puckipedia Melvar tromp dingbat Vorpal Sgeo_ trn 
09:26:16 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT ponqnms: BooK_ garit hppavilion[1] FreeFull Lymia Hooloovo0 quintopia wishstudio idris-bot puckipedia grumble vertrex pikhq M
09:26:21 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT hrwmhpr: heroux LeoLambda ski joast wishstudio contrapumpkin pelegreno hppavilion[1] GeekDude j
09:26:26 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT yxfxvfmsr: jix BooK_ rodgort pelegreno ^arcade_droid Taneb zgrepc joast GeekDude Melvar pdxleif fnodeuser MDude Roger9 danieljabailey grumble lynn sebbu zemhill_ her
09:26:31 <raf314> ▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT xxsbrj: trn fungot ^arcade_droid sebbu sdfgsdfg grumble vertrex puckipedia hppavilion[1] zemhill_ Vorpal lynn Cale doesthiswork alercah garit Warrigal Hooloovo0 pikhq Slereah_ GeekDude 
09:26:31 <fungot> raf314: i'll have to improvise 2
09:26:36 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT ihntzq: Lymia Cale newsham ski tromp ocharles zgrepc quintopia xa0 joast pikhq readability alercah Slereah_ zemhill_ idris-bot jix ATMunn Roger9 pelegreno 
09:26:41 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT labuscz: heroux zzo38 ^arcade_droid Vorpal sparr ATMunn Slereah_ Cale Taneb grumble MDude sebbu doesthiswork tromp 
09:26:46 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT fbbgi: idris-bot xa0 trn fungot danieljabailey pelegreno sparr fnodeuser jix grumble quintopia Roger9 rodgort doesthiswork Sgeo_ Taneb ocharles Melvar zzo3
09:26:46 <fungot> raf314: i realized something important over the last couple of years ago.
09:26:51 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT pnwcdi: idris-bot sparr tromp pdxleif grumble newsham Sgeo_ pelegreno doesthiswork pikhq zgrepc FreeFull joast Taneb ATMunn jix fnodeuser garit Slereah_ zz
09:26:56 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT vpkduv: jix danieljabailey fungot BooK_ wishstudio tromp Melvar lynn ocharles MDude fnodeuser b_jonas zzo38 augur newsham Lymia ski pdxleif trn readability vertrex Warrigal zg
09:26:56 <fungot> raf314: soft is the strain when zephyr gently blows,
09:27:01 <raf314> ▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT tzvwd: ski alercah newsham trn b_jonas tromp vertrex brandonson Taneb quintopia heroux rodgort fnodeuser zgrepc doesthiswork MDude Roger9 Slereah_ zemhill_ ocharles hppavilion[1] garit Vorpal puc
09:27:06 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT ayytnmexm: dingbat vertrex garit sdfgsdfg grumble Roger9 doesthiswork b_jonas trn contrapumpkin
09:27:11 <raf314> ▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT meslkg: Lymia fnodeuser joast heroux doesthiswork idris-bot Melvar sparr MDude sdfgsdfg Vorpal danieljabailey rodgort Roger9 b_jonas ski BooK_ augur Sgeo_ lynn zzo38 fungot newsham hppa
09:27:11 <fungot> raf314: one blank line too much.
09:27:16 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT xenxkp: ^arcade_droid joast xa0 pelegreno danieljabailey GeekDude doesthiswork ocharles sebbu rodgort b_jonas Hooloovo0 Warrigal fnodeuser newsham garit al
09:27:21 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT dzualzjr: idris-bot fnodeuser joast sparr Hooloovo0 b_jonas Sgeo_ heroux pelegreno Slereah_ Cale ATMunn xa0 zgrepc jix ski Warrigal Vorpal wishstudio sebbu
09:27:26 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT dvthtrsq: LeoLambda grumble quintopia vertrex tromp augur hppavilion[1] lynn Sgeo_ zzo38 heroux alercah sebbu b_jonas wishstudio ski AT
09:27:31 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT dmvur: newsham fungot puckipedia readability brandonson Sgeo_ Cale joast sebbu vertrex sdfgsdfg MDude Taneb garit ski xa0 tromp Melvar augur trn grumble Slereah_ hppavilion[1]
09:27:36 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT ifdtvas: grumble rodgort Cale FreeFull fungot puckipedia brandonson vertrex alercah Sgeo_ sparr zzo38 b_j
09:27:41 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT lcpygbqkl: b_jonas hppavilion[1] sdfgsdfg ocharles readability alercah rodgort sebbu quintopia fnodeuser GeekDude ATMunn tromp LeoLambda wishstudio newsham brandonso
09:27:46 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT gwdqjd: sebbu Cale ocharles zzo38 newsham Sgeo_ contrapumpkin Slereah_ danieljabailey alercah joast readability zgr
09:27:51 <raf314> ▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT tvfveis: puckipedia xa0 Warrigal newsham ocharles sparr pdxleif ^arcade_droid readability zemhill_ joast brandonson grumble alercah Sgeo_ MDude danieljabailey jix heroux Vorpal sdfgsdfg rodgort p
09:27:56 <raf314> ▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT iznlfpuf: zzo38 puckipedia dingbat ATMunn contrapumpkin lynn Vorpal pikhq sebbu Cale jix fnodeuser tromp heroux ^arcade_droid Sgeo_ joast GeekDude doesthiswork BooK_ LeoLambda Melvar Fr
09:28:01 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT zsobnsu: puckipedia Warrigal BooK_ pelegreno Vorpal quintopia contrapumpkin tromp b_jonas Cale FreeFull t
09:28:06 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT humnjmjlt: pdxleif danieljabailey idris-bot Hooloovo0 MDude sebbu sdfgsdfg joast xa0 sparr zemhill_ lynn Taneb LeoLambda trn zgrepc BooK_ Vorpal vertrex pelegreno jix ATMunn S
09:28:11 <raf314> ▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT enybhi: Lymia zgrepc trn MDude LeoLambda readability wishstudio garit lynn joast newsham Vorpal sdfgsdfg xa0 Cale Roger9 ATMunn pelegreno jix fungot idris-bot fnodeuser doesthiswork seb
09:28:16 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT fbkgsfsb: readability vertrex alercah jix ATMunn LeoLambda pikhq FreeFull Sgeo_ augur Warrigal 
09:28:24 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT kxlzrnuw: sebbu Slereah_ Sgeo_ vertrex sparr brandonson FreeFull tromp jix ATMunn newsham ochar
09:28:26 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT apaow: pdxleif Taneb doesthiswork Vorpal MDude brandonson zzo38 zgrepc contrapumpkin sdfgsdfg p
09:28:31 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT eiduc: sdfgsdfg doesthiswork xa0 sparr wishstudio alercah LeoLambda Warrigal newsham ATMunn heroux Sgeo_ pikhq ^arc
09:28:36 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT goszdo: alercah wishstudio garit heroux lynn Taneb Warrigal puckipedia sparr GeekDude Melvar FreeFull readability Lymia Slereah_ rodgort pdxleif b_jonas Vorpal quint
09:28:41 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT wgnzslpsx: Vorpal quintopia xa0 dingbat hppavilion[1] sebbu pelegreno Hooloovo0 Sgeo_ LeoLambda heroux sparr readability ATMunn ocharles vertrex zemhill_ a
09:28:48 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT kaztoqfjrh: Melvar joast GeekDude ski sparr ^arcade_droid Sgeo_ danieljabailey sebbu Vorpal Warrigal read
09:28:55 <raf314> ▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT tuzjnfpwwr: heroux puckipedia Lymia LeoLambda sdfgsdfg rodgort trn wishstudio Taneb Warrigal ski sparr augur contrapumpkin grumble quintopia Vorpal newsham MDude Hooloovo0 Sgeo_ dingbat
09:28:56 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT qiytrp: puckipedia Melvar garit dingbat sdfgsdfg pikhq Roger9 FreeFull doesthiswork ATMunn rodgort grumbl
09:29:01 <raf314> ▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT ydcifbs: Hooloovo0 trn puckipedia rodgort pdxleif ski quintopia brandonson sdfgsdfg Melvar fnodeuser sebbu danieljabailey heroux GeekDude Slereah_ pelegreno dingbat fungot Taneb contrapumpkin spa
09:29:06 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT ohlvwfki: rodgort xa0 contrapumpkin alercah GeekDude vertrex zgrepc Melvar zzo38 joast Hooloovo0 brandonson trn zemhill_ Lymia sparr pd
09:29:11 <raf314> ▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT xzwuak: fungot tromp Vorpal trn sdfgsdfg MDude lynn xa0 sparr Slereah_ pdxleif augur LeoLambda idris-bot ski contrapumpkin zemhill_ vertrex heroux garit quintopia pikhq Melvar Hooloovo0
09:29:17 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT cnwnep: joast hppavilion[1] vertrex danieljabailey sdfgsdfg tromp Sgeo_ readability fungot zgrepc idris-bot pikhq b
09:29:25 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT rrataayl: hppavilion[1] pdxleif tromp fnodeuser Sgeo_ newsham LeoLambda vertrex puckipedia ATMunn quintop
09:29:26 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT jvarwofycm: ocharles zgrepc Warrigal vertrex sebbu zemhill_ puckipedia trn pelegreno newsham Sgeo_ readability Melv
09:29:31 <raf314> ▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT gazvbfv: Lymia readability danieljabailey Hooloovo0 Vorpal tromp ocharles MDude sebbu pikhq jix Slereah_ brandonson augur Warrigal GeekDude alercah puckipedia dingbat pdxleif Taneb newsham hppavi
09:29:36 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT wgpbb: vertrex tromp LeoLambda pelegreno newsham readability GeekDude Roger9 Melvar Sgeo_ pdxleif fungot alercah pikhq brandonson doesthiswork ATMunn Taneb Lymia Hooloovo0 War
09:29:41 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT bhmhkm: augur heroux GeekDude pikhq fungot Warrigal Vorpal lynn hppavilion[1] Taneb Cale doesthiswork pelegreno vertrex LeoLambda Sgeo_ idris-bot wishstudi
09:29:46 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT pvcjzqlxl: vertrex ^arcade_droid FreeFull pelegreno garit Slereah_ augur wishstudio sparr Sgeo_ MDude quintopia doesthiswork Taneb zgrepc BooK_ LeoLambda C
09:29:52 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT avbcoblgx: ATMunn ski tromp Melvar jix zemhill_ Cale BooK_ Taneb trn pelegreno brandonson sdfgs
09:29:56 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT tycbr: contrapumpkin Cale fnodeuser idris-bot zgrepc readability puckipedia LeoLambda pikhq zemhill_ joast ski FreeFull rodgo
09:30:01 <raf314> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DO YOU WANT TO KEEP YOUR MAN SATISFIED DURING THE CHRISTMAS BREAK?? EL IS GIVING ANAL SEX TIPS IN ##FEMINISM RIGHT NOW DONT MISS IT ylhczhc: Cale readability pikhq vertrex MDude xa0 Taneb brandonson trn Roger9 alercah zgrepc ski ATMunn wishstudio FreeFull LeoLambda sdfgsdfg sparr newsha
09:30:04 -!- raf314 has quit (Remote host closed the connection).
09:48:29 <int-e> meh
09:49:49 <Sgeo_> Sigyn is an anti-spam bot. May I suggest inviting it in?
09:50:20 <myname> i don't get spamming. like anybody ever thought "oh, they annoyed me, i better befriend them"
09:51:04 <int-e> Sgeo_: it would be an interesting experiment... I wonder what Sigyn would think of fungot.
09:51:04 <fungot> int-e: especially if the person grading the thing is, do you intend fnord?
09:54:12 <int-e> well at least now I know that these spammers do use colors
10:00:29 <FireFly> I don't think fungot would pose a problem
10:00:29 <fungot> FireFly: you're not being serious
10:00:34 <FireFly> darn
10:01:01 <FireFly> outwitted by fungot, again
10:01:01 <fungot> FireFly: i love going back and doing so is too great, it's python
10:03:11 <int-e> In any case Sigyn is doing good work elsewhere (##math is where I see it in action most often). And it would increase the numbers of bots here, so why not.
10:21:10 <FireFly> Hehe
11:18:03 <FreeFull> Do it
12:17:53 -!- heroux has quit (Ping timeout: 252 seconds).
12:21:34 -!- ais523 has joined.
12:29:02 <esowiki> [[Brainfuck algorithms]]  https://esolangs.org/w/index.php?diff=53716&oldid=53535 * YuvalM * (+430) 
12:30:24 <esowiki> [[Brainfuck algorithms]] M https://esolangs.org/w/index.php?diff=53717&oldid=53716 * YuvalM * (+2) Added == to my edit to make it a title
12:42:27 -!- sdfgsdfg has quit (Ping timeout: 240 seconds).
14:00:49 -!- doesthiswork has quit (Quit: Leaving.).
14:01:26 <int-e> ais523: http://sprunge.us/MjWf <-- Peano Arithmetic in Tableaux. (I'm getting confused above that; do we get anything second order as well?)
14:02:16 <ais523> int-e: I think Tableaux can do certain diagonalisations that Peano Arithmetic can't, but am far from certain
14:03:53 <Vorpal> hi
14:03:59 <ais523> hi Vorpal
14:04:10 <Vorpal> had a good christmas so far?
14:04:32 <int-e> ais523: Yeah it seems that it /should/ be possible to get a variable number of quantifier alternations, but ... well as I said it's confusing.
14:05:00 <ais523> Vorpal: it's mostly just a break from work and a chance to see family
14:05:02 -!- boily has joined.
14:05:21 <ais523> although my family is fairly centralised at the moment, it's much easier to see them than it would have been a couple of years ago
14:05:25 <Vorpal> nice
14:06:02 <ais523> also I publicised an esolang on Christmas that I've been trying to pin down the details of for ages
14:06:14 <ais523> the thing about a tarpit is that you want the set of commands to be as small as possible
14:06:26 <ais523> earlier versions needed both addition /and/ multiplication, but this version gets away with just increment
14:06:46 <Vorpal> I went out to buy some stuff today. I don't think I ever seen the parking lot at the mall this filled up. Do you have sales just after christmas in UK too?
14:06:52 <int-e> Anyway PA is a very sane and natural source language for Tableaux.
14:07:09 <Vorpal> ais523: ooh, link?
14:07:22 <int-e> https://esolangs.org/wiki/Tableaux
14:08:03 <ais523> right, that
14:08:07 <ais523> my autoreplace says http not https and http is kind-of broken on the wiki
14:08:09 <ais523> so I was busy reconfiguring it
14:08:13 <ais523> so that I can say https://esolangs.org/wiki/Tableaux easily
14:10:15 <Vorpal> huh, interesting language. Not a paradigm I think I ever seen anything close to before
14:10:29 <Vorpal> though I might just be unfamiliar with said paradigm
14:10:56 <ais523> technically speaking it's declarative, but it's way more general than a declarative language would normally be
14:11:12 <Vorpal> I'm having a hard time wrapping my head around it
14:11:44 <ais523> it took me a while as well
14:11:50 <Vorpal> but you wrote it
14:12:19 <ais523> just because I create an esolang doesn't mean I fully understand it
14:12:29 <Vorpal> fair enough
14:12:33 <ais523> like, I can know what the rules are but not how to exploit them
14:14:14 <int-e> Hmm, can we translate bounded Tableaux (with a finite number of rows... let's say the rest are always 0) back to PA?
14:14:34 <Vorpal> any plans on writing an interpreter?
14:14:54 <ais523> Vorpal: I've been thinking about it but probably not in the near future, I only have a finite supply of motivation at the moment
14:15:03 <ais523> it'd have to understand a very large proportion of mathematics to get the best results
14:15:20 <ais523> as it's an uncomputable language, so the best you can do is run as many programs as possible via proving that the execution works in this particular case
14:15:21 <int-e> solving the halting problem gets very frustrating.
14:15:32 <ais523> it's like solving the halting problem, you can do it in a lot of special cases but not in general
14:15:33 <int-e> and this exceeds the difficulty of the halting problem :)
14:16:18 <Vorpal> ais523: so right after Feather? ;)
14:16:32 <ais523> there's no particular reason Feather should be uncomputable
14:16:43 <Vorpal> indeed
14:16:43 <ais523> it may be that Feather can't be implemented, but not because of that
14:17:25 <Vorpal> anyway, I would assume you could implement Tableaux by translating it to the input language for one of the already existing SAT solvers?
14:17:31 <Vorpal> Or have I missed something vital?
14:18:07 <ais523> most satisfaction problems are only finitely large
14:18:53 <Vorpal> oh, that is true, this can express infinite problems, which I guess most SAT solvers can't handle? (Haven't really looked into the details of them, nor used them)
14:19:18 <ais523> right
14:19:19 <Vorpal> What about Coq or something like that though? Or does that have similar limitations?
14:19:35 <ais523> now for many programs you can prove that only a finite subset matters, so a SAT solver would work for some, but not all
14:19:44 <ais523> Coq is a proof checker, not a proof finder
14:19:50 <Vorpal> ah
14:20:01 <ais523> it has tactics that can automate part of the proof finding but not do the whole thing unless it's very simple
14:20:04 <int-e> SAT solvers are very finite. SMT solvers may deal with some infinite stuff (integer variables most notably); automated and interactive theorem provers go beyond that.
14:20:18 <ais523> now, one possible approach would be to brute force proofs until you find one that proves the result you want and is also correct
14:20:21 <ais523> but that'd be incredibly slow
14:20:46 <Vorpal> brute forcing usually is slow yes 
14:20:50 <int-e> Hmm. I don't know of any ATP that does Peano Arithmetic... I wonder.
14:21:45 <int-e> I guess the induction principle is quite awful for automation. But still, people must have tried...
14:22:27 <Vorpal> why would proof by induction be bad for automation?
14:23:39 <Vorpal> there may be an obvious answer to this, I haven't really thought much about automated theorem proving at all.
14:23:59 <int-e> well, often you need to prove a stronger statement than given. and then the search space explodes.
14:24:14 <ais523> in general, finding closed forms is hard to automate; if not for that, automatically finding integrals would be easy
14:25:07 <Vorpal> I guess you both have points here yes
14:25:28 <int-e> so it'll work for simple cases, and then break down for lack of guidance/sense of direction. (This may be a target for machine learning. Induction patterns...)
14:26:01 <Vorpal> hm, sounds like a promising research area
14:31:19 <ais523> this makes me think of an only tangentially related question: which computational classes can self-interpret?
14:31:27 <ais523> obviously TC can, but can any of the others?
14:31:33 <fizzie> Vorpal: Hullo.
14:31:42 <Vorpal> hi
14:32:17 <Vorpal> ais523: there are obviously very simple classes that can not.
14:32:23 <Vorpal> I think
14:32:33 <Vorpal> getting more and more unsure the more I think about it
14:33:14 <myname> regular languages shouldn't
14:33:23 <ais523> NL probably can?
14:33:35 <Vorpal> what does NL stand for?
14:33:40 <ais523> at least, that's near the top of my list of classes I'd expect to be able to
14:33:44 <ais523> Vorpal: nondeterministic logspace
14:34:15 <ais523> basically, you have input as a read-only array, the only working space you're allowed is finitely many pointers into the array
14:34:39 <Vorpal> which languages fall in that?
14:34:43 <int-e> primitive recursion can't.
14:35:23 <Vorpal> so state is just a set of pointers into the input, hm.
14:35:36 <int-e> P and NP can... hmm, logspace.
14:35:56 <ais523> the thing about nondeterministic logspace though is that you can fork the program but the resulting threads can't communicate at all
14:35:59 <ais523> simply exit, or not exit
14:36:08 <ais523> and if any of them succeed, the program succeeds
14:36:14 <Vorpal> thought P an NP were complexity classes, not language classes?
14:36:34 <int-e> languages accepted by a polynomial time TM
14:36:43 <Vorpal> aah
14:36:45 <ais523> the two correspond, a language is in P if you can write a program that recognises that language and runs in P
14:37:23 <ais523> space classes are more investigated in esolang research than time classes though
14:37:49 <ais523> because people are reluctant to write languages without any form of infinite loop construct
14:37:59 <Vorpal> nondeterminism is an interesting concept
14:38:02 <ais523> and when they do, the language normally runs in linear time and constant space
14:38:27 <Vorpal> I guess a quantum computer would be ideal for implementing some of that?
14:38:40 <ais523> quantum and nondeterminism work differently
14:38:52 <ais523> with quantum, the various threads amplify/attenuate each other's probabilities
14:38:54 <Vorpal> hm
14:39:08 <ais523> with nondeterminism, you're taking a maximum of the probabilities, rather than adding phasors
14:39:15 <int-e> Actually this question is quite sensitive to how programs are encoded.
14:39:25 <Vorpal> so does quantum has a separate complexity hierarchy? Or is it part of the main one?
14:39:29 <ais523> int-e: yes, that doesn't surprise me
14:39:36 <ais523> Vorpal: BQP is the best known quantum complexity class
14:39:51 <ais523> it's known to be (non-strictly) between P and NP; it's commonly believed different from both
14:40:00 <ais523> although of course if P=NP it's the same as both
14:40:18 <ais523> wait, no
14:40:22 <ais523> it's not known to be entirely inside NP
14:41:05 <Vorpal> interesting
14:41:46 <Vorpal> is there any public key crypto that would not be easily breakable with quantum computers?
14:42:41 <ais523> yes, elliptic-curve crypto isn't known to be breakable even with a quantum computer
14:42:53 <ais523> that's one of the reasons it's attracted research interest
14:43:16 <ais523> discrete log and integer factorization /are/ both known to be solveable in BQP, so quantum computers are likely to break crypto that's based on either of those problems
14:43:48 <Vorpal> So RSA and DH?
14:44:31 <ais523> yep
14:45:09 <int-e> djb has a crazy paper about post-quantum RSA. It's crazy because it proposes a key size of 1 TB. :P
14:45:18 <int-e> https://encrypted.google.com/url?q=https://cr.yp.to/papers/pqrsa-20170419.pdf&sa=U&ved=0ahUKEwj71cbw9KfYAhWCyKQKHdEKASkQFggYMAA&usg=AOvVaw1sUPvbDPt4zf9dtOOqg7AF
14:45:25 <int-e> ah, fuck you google
14:45:27 <Vorpal> sounds impractical
14:45:31 <int-e> https://cr.yp.to/papers/pqrsa-20170419.pdf
14:48:06 <int-e> but they have one cute point... you don't need to stick to using only two primes in the product.
14:49:33 <int-e> (the other point should be boring, but djb makes it very often... you can beat any speedup by making the input large enough.)
14:51:45 <Vorpal> hm
16:00:25 -!- ais523 has quit (Quit: quit).
16:03:44 -!- doesthiswork has joined.
16:37:47 -!- xkapastel has joined.
16:45:39 -!- moony has joined.
16:46:54 -!- heroux has joined.
16:49:27 -!- lambdabot has quit (Quit: ...).
16:50:08 -!- augur has quit (Ping timeout: 252 seconds).
16:52:39 -!- lambdabot has joined.
17:03:11 <int-e> @botsnack
17:03:11 <lambdabot> :)
17:04:26 <myname> TIL sixel graphics
17:04:36 <myname> too bad i can't get them running
17:04:50 * int-e eyes myname
17:05:21 <myname> ?
17:12:07 <int-e> green on yellow on white is quite ugly...
17:14:26 <int-e> http://int-e.eu/~bf3/tmp/sixel.png
17:17:52 <myname> when i call img2sixel in xterm, it just does nothing
17:19:12 <fizzie> I think my dot matrix printer had a kind of an eixel mode. "\e*" + horizontal DPI indicator + data length + data bytes each specifying an 8-pixel column.
17:19:17 <int-e> myname: see the first line... you need to enable the vt340 emulation
17:21:08 <myname> doesn't do shit here
17:22:16 <int-e> myname: xterm -ti vt340 should give you an xterm with vt340 enabled. I just added it as a comment inside that xterm...
17:23:04 <myname> i know
17:24:51 -!- LeoLambda has quit (Quit: ZNC 1.6.5+deb2build2 - http://znc.in).
17:25:06 -!- LeoLambda has joined.
17:25:59 -!- LeoLambda has quit (Client Quit).
17:26:13 -!- LeoLambda has joined.
17:26:56 -!- LeoLambda has quit (Client Quit).
17:27:08 -!- LeoLambda has joined.
17:28:23 -!- LeoLambda has quit (Client Quit).
17:28:35 -!- LeoLambda has joined.
17:29:33 -!- LeoLambda has quit (Client Quit).
17:56:52 <zzo38> Did you try my "ffsixel" program? And, still, you do need to specify the correct kind of terminal to emulate.
18:21:13 <myname> what does it do?
18:22:04 <myname> sixel support for nethack would be fun
18:26:05 <zzo38> This program I wrote just converts a picture into sixel format.
18:26:28 <myname> so does img2pixel i thought
18:26:57 <myname> sixel*
18:28:31 <zzo38> Maybe it does; I don't know that program
18:29:03 <zzo38> However, maybe other program has some mistake I don't know
18:29:19 <myname> its what i got with libsixel
18:30:46 <zzo38> I had a problem with libsixel so I wrote my own, which seems to work better.
18:31:26 <myname> what problem?
18:32:18 <zzo38> Well, it just didn't seem to produce proper output, somehow.
18:32:50 <myname> okay
18:35:30 -!- moony has quit (Ping timeout: 272 seconds).
19:07:04 -!- moony has joined.
19:09:50 -!- contrapumpkin has quit (Ping timeout: 252 seconds).
19:20:46 -!- FreeFull has quit.
19:32:04 -!- erkin has joined.
19:34:25 -!- sleffy has joined.
19:40:26 <int-e> . o O ( Yeah, github, thanks for rubbing my nose in the fact that I created an issue that received 2 comments. I wouldn't object much except that both these comments were by myself... )
19:48:00 <fizzie> int-e: Does github have achievements yet? 
19:48:36 <int-e> not that I can see, but there's a funny icon next to that message... I'm afraid they're etching closer
19:48:45 <int-e> edging? meh
20:10:01 -!- contrapumpkin has joined.
20:17:18 -!- propumpkin has joined.
20:18:16 -!- contrapumpkin has quit (Ping timeout: 268 seconds).
20:28:53 -!- propumpkin has changed nick to contrapumpkin.
20:37:30 -!- jaboja has joined.
20:53:25 -!- sleffy has quit (Ping timeout: 268 seconds).
20:56:43 -!- fnodeuser has quit (Ping timeout: 265 seconds).
21:00:38 -!- fnodeuser has joined.
21:05:10 -!- sprocklem has joined.
21:10:17 -!- sprocklem has quit (Quit: brb).
21:10:57 -!- sprocklem has joined.
21:22:29 -!- augur has joined.
21:25:14 -!- FreeFull has joined.
21:53:13 -!- sprocklem has quit (Ping timeout: 256 seconds).
22:02:51 -!- contrapumpkin has quit (Ping timeout: 256 seconds).
22:03:08 -!- propumpkin has joined.
22:07:12 <\oren\_> https://steamuserimages-a.akamaihd.net/ugc/914660288904385733/FC7666FF8A6DDD28B8CFBCC3C0D2CEAADD71A126/
22:25:36 <boily> FEU?
22:25:53 <fizzie> FEUDA..., it looks like.
22:28:26 <Taneb> "feudal", I believe
22:28:34 <Taneb> This being the government type map mode in CK2
22:35:58 -!- propumpkin has changed nick to contrapumpkin.
22:39:16 <\oren\_> yeah and as you can see venice is gone
22:42:45 <Taneb> Oh yeah
22:42:50 <Taneb> I should get back in to CK2
22:42:57 <Taneb> I was having a game as Socotra which was quite fun
22:49:56 -!- fnodeuser has quit (Ping timeout: 260 seconds).
22:55:53 -!- jaboja has quit (Ping timeout: 252 seconds).
23:11:45 -!- fnodeuser has joined.
23:13:15 -!- oerjan has joined.
23:20:09 -!- fnodeuser has quit (Ping timeout: 264 seconds).
23:24:35 -!- fnodeuser has joined.
23:29:01 -!- fnodeuser has quit (Ping timeout: 260 seconds).
23:42:43 -!- jaboja has joined.
23:46:24 <quintopia> boily: your electrotaped shoebox arrived just in time. i finished my growler yesterday
23:46:40 <quintopia> had a hell of a time trying to read the french text on that one bottle
23:46:59 <oerjan> a growling electrotaped shoebox, check
23:47:49 -!- fnodeuser has joined.
23:47:55 <quintopia> no the box was hohoing, not growling hth
23:48:40 <oerjan> ah
23:52:25 <\oren\_> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
23:52:29 <\oren\_> https://steamuserimages-a.akamaihd.net/ugc/914660288904720745/49ACFA017328020A3BC8DD95D870A34DFA0EADE2/
23:56:04 <boily> QUINTHELLOPIA!
23:56:06 <boily> WOOHOO!
23:56:09 <boily> IT ARRIVED!
23:56:41 <boily> hellørjan. it was indeed a bona fide electrotaped shoebox. I had fun wrapping it :D
23:57:51 -!- fnodeuser has quit (Quit: Reconnecting).
23:58:16 -!- fnodeuser has joined.